Výsledky vyhľadávania - (((automatic OR automatizace) OR automatizacia) OR automation) programming|program modication*

Alchemist: LLM-Aided End-User Development of Robot Applications.

Autori: Karli, Ulas Berk Chen, Juo-Tung Antony, Victor Nikhil a ďalší

Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2024, p361-370, 10p

Predmety: LANGUAGE models, LOGIC programming, SYSTEMS design, ROBOT programming, NATURAL languages, ROBOTS

A guide to similarity measures and their data science applications.

Autori: Levy, Avivit Shalom, B. Riva Chalamish, Michal

Zdroj: Journal of Big Data; 7/26/2025, Vol. 12 Issue 1, p1-57, 57p

Predmety: DATA science, MATHEMATICAL formulas, MATHEMATICAL functions, LAYPERSONS

On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus.

Autori: Eberbach, Eugene

Zdroj: Fundamenta Informaticae; 2022, Vol. 188 Issue 2, p63-90, 28p

Predmety: TURING machines, ALGORITHMS, PROBLEM solving, COST, METAHEURISTIC algorithms

2024 ASPHO Conference Papers and Posters.

Zdroj: Pediatric Blood & Cancer; Apr2024 Supplement 1, Vol. 71, p1-268, 268p

Roadmap for focused ion beam technologies.

Autori: Höflich, Katja Hobler, Gerhard Allen, Frances I. a ďalší

Zdroj: Applied Physics Reviews; Dec2023, Vol. 10 Issue 4, p1-93, 93p

Predmety: FOCUSED ion beams, MATERIALS science, ION sources, SCIENTIFIC community, ION beams, SEMICONDUCTOR industry, NANOSTRUCTURED materials

Online Walking Motion Generation with Automatic Footstep Placement.

Autori: Herdt, Andrei Diedam, Holger Wieber, Pierre-Brice a ďalší

Zdroj: Advanced Robotics; 2010, Vol. 24 Issue 5/6, p719-737, 19p, 9 Graphs

Predmety: PREDICTIVE control systems, ROBOT motion, WALKING, FOOTSTEPS, ROBOTICS

Revising UNITY Programs: Possibilities and Limitations

Autori: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni a ďalší

Prispievatelia: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni a ďalší

Zdroj: http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf.

Predmety: Categories and Subject Descriptors, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, F.2.3 [Analysis of Algorithms and Problem Complexity, Tradeos between Complexity Mea- sures, D.1.2 [Programming Techniques, Automatic Programming|Program modication, synthesis, transformation, D.4.7 [Operating Systems, Organization and Design|Real-time and embedded systems General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, UNITY, Formal Methods, Stabilization

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334
http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf

In-/Near-Memory Computing.

Autori: Fujiki, Daichi Xiaowei Wang Subramaniyan, Arun a ďalší

Zdroj: Synthesis Lectures on Computer Architecture; 8/11/2021, Vol. 16 Issue 2, pix-124, 132p

The Role of the Computer in Cardiac Pacemaker Technology.

Alternate Title: Le rôle de l'ordinateur dans la technologie des stimulateurs cardiaques. (French)

Autori: Benedek, Z. Michael Furman, Seymour

Zdroj: Pacing & Clinical Electrophysiology; Nov1984, Vol. 7 Issue 6, p1217-1227, 11p, 10 Diagrams, 1 Chart

Predmety: CARDIAC pacemakers, IMPLANTED cardiovascular instruments, COMPUTER systems, ELECTRONICS in cardiology, MEDICAL electronics

BUILDING GENERALIZE QA SYSTEM, SLR.

Autori: Suleman, Muhammad Asghar, Hatim Ali Zoaib, Mohammad a ďalší

Zdroj: Asian Journal of Engineering, Sciences & Technology (AJEST); Mar2018, Vol. 8 Issue 1, p1-8, 8p

Predmety: QUESTION answering systems, DEEP learning, INFORMATION retrieval, PROGRAMMING language semantics

Joint disc and cup segmentation based on recurrent fully convolutional network.

Autori: Gao, Jing Jiang, Yun Zhang, Hai a ďalší

Zdroj: PLoS ONE; 9/21/2020, Vol. 15 Issue 9, p1-23, 23p

Predmety: CARTESIAN coordinates, COORDINATES, IMAGE segmentation, OPTIC disc, IMAGE analysis, COST functions, PETRI nets

Automatic Generation of Adaptive Programs

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.migration-population.ch/files/content/sites/imi/files/shared/documents/papers/Automatic_generation.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.3601

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.3601
http://www.migration-population.ch/files/content/sites/imi/files/shared/documents/papers/Automatic_generation.pdf

Abstracts.

Zdroj: Movement Disorders Clinical Practice; Apr2019 Supplement S1, Vol. 6, pS11-S164, 154p

Predmety: DYSKINESIAS, ORTHOSTATIC hypotension, SCIENTIFIC literature, GLIAL cell line-derived neurotrophic factor, DARDARIN, NEURAL cell adhesion molecule, BOTULINUM A toxins

R/parallel -- speeding up bioinformatics analysis with R.

Autori: Vera, Gonzalo Jansen, Ritsert C. Suppi, Remo L.

Zdroj: BMC Bioinformatics; 2008, Vol. 9, Special section p1-6, 6p, 1 Diagram, 1 Graph

Predmety: STATISTICS, COMPUTER software, BIOINFORMATICS, ALGORITHMS, COMPUTERS

A Roadmap for Plant Genome Editing

Autori: Agnès Ricroch Dennis Eriksson Dragana Miladinović a ďalší

Typ zdroja: eBook.

Predmet: Plant genetic engineering, Agriculture

Kategórie: SCIENCE / Life Sciences / Botany, SCIENCE / Life Sciences / Genetics & Genomics, TECHNOLOGY & ENGINEERING / Agriculture / General

Structuring and composability issues in Petri nets modeling.

Autori: Gomes, L. Joao Paulo Barros

Zdroj: IEEE Transactions on Industrial Informatics; May2005, Vol. 1 Issue 2, p112-123, 12p

C# 6 and .NET Core 1.0: Modern Cross-Platform Development : Modern Cross-Platform Development

Autori: Mark J. Price Roman Atachiants

Typ zdroja: eBook.

Predmet: Application software--Development, C# (Computer program language), Internet programming

Kategórie: COMPUTERS / Languages / C#, COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / .NET

The Pangenome : Diversity, Dynamics and Evolution of Genomes

Autori: Hervé Tettelin Duccio Medini

Typ zdroja: eBook.

Predmet: Human genetics--Variation, Genetics, Molecular evolution, Human genetics, Microbial genomics, Microbial genetics, Evolution (Biology), Microbial ecology, Biomathematics

Kategórie: SCIENCE / Life Sciences / Microbiology, MEDICAL / Genetics, SCIENCE / Life Sciences / Ecology, SCIENCE / Life Sciences / Evolution, SCIENCE / Life Sciences / Genetics & Genomics

Machine Learning and Data Mining in Pattern Recognition : 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings

Autori: Petra Perner

Typ zdroja: eBook.

Predmet: Compilers (Computer programs), Data mining, Application software, Artificial intelligence, Machine theory, Database management

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Autori: Norbert E. Fuchs

Typ zdroja: eBook.

Predmet: Computer programming, Artificial intelligence, Computer science, Machine theory

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science