Výsledky vyhledávání - 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

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)

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

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

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.

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

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

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

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

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

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

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

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

Development of Domestic Programming Technology.

Autoři: Lavrischeva, E.

Zdroj: Cybernetics & Systems Analysis; May2014, Vol. 50 Issue 3, p452-464, 13p

Témata: COMPUTER systems, AUTOMATION, ASSEMBLY line methods, COMPUTER programming, COMPUTATIONAL complexity

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

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

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Autoři: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a další

Zdroj: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Témata: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Synthesis: Dream → Programs.

Autoři: Manna, Zohar Waldinger, Richard

Zdroj: IEEE Transactions on Software Engineering; Mar79, Vol. 5 Issue 2, p294-328, 35p

Témata: LISP (Computer program language), PROGRAMMING languages, LIST processing (Electronic computers), SOFTWARE engineering, COMPUTER software

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

General survey of design automation of digital computers.

Autoři: Breuer, M.A.

Zdroj: Proceedings of the IEEE; 1966, Vol. 54 Issue 12, p1708-1721, 14p