Search Results - ((automatic OR automatizace) OR automation) programming|program modication
-
1
Authors: et al.
Source: ACM/IEEE International Conference on Human-Robot Interaction; Mar2024, p361-370, 10p
Subject Terms: LANGUAGE models, LOGIC programming, SYSTEMS design, ROBOT programming, NATURAL languages, ROBOTS
-
2
Authors:
Source: Journal of Big Data; 7/26/2025, Vol. 12 Issue 1, p1-57, 57p
Subject Terms: DATA science, MATHEMATICAL formulas, MATHEMATICAL functions, LAYPERSONS
-
3
Authors: Eberbach, Eugene
Source: Fundamenta Informaticae; 2022, Vol. 188 Issue 2, p63-90, 28p
Subject Terms: TURING machines, ALGORITHMS, PROBLEM solving, COST, METAHEURISTIC algorithms
-
4
Source: Pediatric Blood & Cancer; Apr2024 Supplement 1, Vol. 71, p1-268, 268p
-
5
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
6
Authors: et al.
Source: Applied Physics Reviews; Dec2023, Vol. 10 Issue 4, p1-93, 93p
-
7
Authors: et al.
Source: Advanced Robotics; 2010, Vol. 24 Issue 5/6, p719-737, 19p, 9 Graphs
Subject Terms: PREDICTIVE control systems, ROBOT motion, WALKING, FOOTSTEPS, ROBOTICS
-
8
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
-
9
Authors: et al.
Source: Synthesis Lectures on Computer Architecture; 8/11/2021, Vol. 16 Issue 2, pix-124, 132p
-
10
Authors: et al.
Source: Asian Journal of Engineering, Sciences & Technology (AJEST); Mar2018, Vol. 8 Issue 1, p1-8, 8p
-
11
Authors:
Source: BMC Bioinformatics; 2008, Vol. 9, Special section p1-6, 6p, 1 Diagram, 1 Graph
Subject Terms: STATISTICS, COMPUTER software, BIOINFORMATICS, ALGORITHMS, COMPUTERS
-
12
Authors: et al.
Source: PLoS ONE; 9/21/2020, Vol. 15 Issue 9, p1-23, 23p
Subject Terms: CARTESIAN coordinates, COORDINATES, IMAGE segmentation, OPTIC disc, IMAGE analysis, COST functions, PETRI nets
-
13
Authors:
Source: IEEE Transactions on Industrial Informatics; May2005, Vol. 1 Issue 2, p112-123, 12p
-
14
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / .NET
-
15
Alternate Title: Le rôle de l'ordinateur dans la technologie des stimulateurs cardiaques. (French)
Authors:
Source: Pacing & Clinical Electrophysiology; Nov1984, Vol. 7 Issue 6, p1217-1227, 11p, 10 Diagrams, 1 Chart
-
16
Source: Movement Disorders Clinical Practice; Apr2019 Supplement S1, Vol. 6, pS11-S164, 154p
-
17
Authors: et al.
Resource Type: eBook.
Subjects: Plant genetic engineering, Agriculture
Categories: SCIENCE / Life Sciences / Botany, SCIENCE / Life Sciences / Genetics & Genomics, TECHNOLOGY & ENGINEERING / Agriculture / General
PDF Full Text ePub Full Text -
18
Authors: Norbert E. Fuchs
Resource Type: eBook.
Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science
-
19
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science
-
20
Authors:
Source: 2015 IEEE 28th Canadian Conference on Electrical & Computer Engineering (CCECE); 2015, p355-360, 6p
Full Text Finder
Nájsť tento článok vo Web of Science