Search Results - (automatizace OR automation) programming—program synthesis~

Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis.

Authors: Chung, Michael Jae-Yoon Cakmak, Maya

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

Subject Terms: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings

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

Authors: Yvars, Pierre-Alain Zimmer, Laurent

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

Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

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

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

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

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Subject Terms: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

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

Authors: Ali, Ali Mohamed Shen, Chao Hashim, Hashim A.

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

Subject Terms: 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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: 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.

Authors: Zha, Zhiyong Yang, Yifei Xia, Yongjun et al.

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

Subject Terms: 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.

Authors: Mykhailov, Dmytro Liberati, Nicola

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

Subject Terms: 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.

Authors: Sorokin, Alexander N.

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

Subject Terms: 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

Authors: Maribel Fernández

Resource Type: eBook.

Subjects: 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.

Authors: Sajedifar, A. Korayem, M. H. Allahverdi, F.

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

Hammer for Coq: Automation for Dependent Type Theory.

Authors: Czajka, Łukasz Kaliszyk, Cezary

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

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

Authors: ÖZTÜRKERI, CAN JOHNSON, COLIN G.

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

Subject Terms: CELLULAR automata, GENETIC programming, MACHINE theory, TURING machines, OPEN source intelligence

Formal methods for semi-autonomous driving.

Authors: Seshia, Sanjit A. Sadigh, Dorsa Sastry, S. Shankar

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

Sketching Robot Programs On the Fly.

Authors: Porfrio, David Stegner, Laura Cakmak, Maya et al.

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

Subject Terms: 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.

Authors: Kosar, Tomaž Kovačević, Željko Mernik, Marjan et al.

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

Subject Terms: GENETIC code, UNDERGRADUATES, GRAMMAR

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

Authors: Ali, Muhammad Tse, Alex Wing Cheung

Source: 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.

Authors: Lefan Zhang Weijia He Martinez, Jesse et al.

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

Subject Terms: 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.

Authors: Wei-Chuan Wang

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

Subject Terms: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance