Výsledky vyhledávání - (automatizace OR automation) programming—program synthesis*

Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis.

Autoři: Chung, Michael Jae-Yoon Cakmak, Maya

Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p

Témata: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings

DEPS: a model- and property-based language for system synthesis problems.

Autoři: Yvars, Pierre-Alain Zimmer, Laurent

Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Témata: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

A linear MPC with control barrier functions for differential drive robots.

Autoři: Ali, Ali Mohamed Shen, Chao Hashim, Hashim A.

Zdroj: IET Control Theory & Applications (Wiley-Blackwell); Dec2024, Vol. 18 Issue 18, p2693-2704, 12p

Témata: MOBILE robot control systems, PREDICTIVE control systems, EUCLIDEAN distance, COMPUTATIONAL complexity, PREDICTION models

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Energy-Efficient Joint Partitioning and Offloading for Delay-Sensitive CNN Inference in Edge Computing.

Autoři: Zha, Zhiyong Yang, Yifei Xia, Yongjun a další

Zdroj: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p

Témata: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning

A Study of Technological Intentionality in C++ and Generative Adversarial Model: Phenomenological and Postphenomenological Perspectives.

Autoři: Mykhailov, Dmytro Liberati, Nicola

Zdroj: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p

Témata: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

THE CONTRIBUTION OF TOMSK RESEARCH AND EDUCATIONAL PARK TO DEVELOPMENT OF RESEARCH ON CYBERNATICS IN THE 1950-1960s.

Autoři: Sorokin, Alexander N.

Zdroj: International Multidisciplinary Scientific Conference on Social Sciences & Arts SGEM; 2014, p609-616, 8p

Témata: CYBERNETICS research, TOMSK State University (Siberia, Russia), COMPUTER engineering, TECHNOLOGICAL innovations

People: TARASENKO, F. P., MEDVEDEV, G. A., ZAKREVSKY, A. D., TARASENKO, V. P.

Logic-Based Program Synthesis and Transformation

Autoři: Maribel Fernández

Resource Type: eBook.

Témata: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Dynamic Modelling and Optimal Sliding Mode Control of the Wearable Rehabilitative Bipedal Cable Robot with 7 Degrees of Freedom.

Autoři: Sajedifar, A. Korayem, M. H. Allahverdi, F.

Zdroj: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p

Hammer for Coq: Automation for Dependent Type Theory.

Autoři: Czajka, Łukasz Kaliszyk, Cezary

Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

Evolution of Self-Assembling Patterns in Cellular Automata using Development.

Autoři: ÖZTÜRKERI, CAN JOHNSON, COLIN G.

Zdroj: Journal of Cellular Automata; 2011, Vol. 6 Issue 4/5, p257-300, 44p

Témata: CELLULAR automata, GENETIC programming, MACHINE theory, TURING machines, OPEN source intelligence

Formal methods for semi-autonomous driving.

Autoři: Seshia, Sanjit A. Sadigh, Dorsa Sastry, S. Shankar

Zdroj: 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC); 2015, p1-5, 5p

Sketching Robot Programs On the Fly.

Autoři: Porfrio, David Stegner, Laura Cakmak, Maya a další

Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2023, p584-593, 10p

Témata: ROBOT programming, ROBOTS, HUMAN-robot interaction, ORAL communication

The Impact of Code Bloat on Genetic Program Comprehension: Replication of a Controlled Experiment on Semantic Inference.

Autoři: Kosar, Tomaž Kovačević, Željko Mernik, Marjan a další

Zdroj: Mathematics (2227-7390); Sep2023, Vol. 11 Issue 17, p3744, 20p

Témata: GENETIC code, UNDERGRADUATES, GRAMMAR

Research Trends and Issues of Engineering Design Process for STEM Education in K-12: A Bibliometric Analysis.

Autoři: Ali, Muhammad Tse, Alex Wing Cheung

Zdroj: International Journal of Education in Mathematics, Science & Technology; 2023, Vol. 11 Issue 3, p695-727, 33p

AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties.

Autoři: Lefan Zhang Weijia He Martinez, Jesse a další

Zdroj: ICSE: International Conference on Software Engineering; 5/25/2019, p281-291, 11p

Témata: END-user computing software, COMPUTER software testing, COMPUTER science, ARTIFICIAL intelligence, SOFTWARE engineering

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Autoři: Wei-Chuan Wang

Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Témata: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Automated Reasoning: Some Successes and New Challenges.

Autoři: Janičić, Predrag

Zdroj: Central European Conference on Information & Intelligent Systems; 9/21/2011, p13-22, 10p

Témata: AUTOMATION, INDUSTRIAL engineering, MECHANIZATION, TECHNOLOGICAL innovations, CREATIVE ability in technology