Search Results - automation programming—program modification

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Authors: Hocaoğlu, Mehmet Fatih

Source: Simulation; Sep2025, Vol. 101 Issue 9, p951-979, 29p

Subject Terms: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

An Approach to Generating Formal Fuzzy Cognitive Maps for Experimental Studies in Cognitive Modeling.

Authors: Podvesovskii, A. G. Isaev, R. A. Kopeliovich, I. A.

Source: Pattern Recognition & Image Analysis; Sep2024, Vol. 34 Issue 3, p665-672, 8p

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Authors: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Source: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Subject Terms: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

Comparing an Artificial Intelligence Planner with Traditional Optimization Methods: A Case Study in the Dairy Industry.

Authors: Müller, Felipe Martins Schneider, Vanessa Andréia de Araujo, Olinto Cesar Bassi et al.

Source: Algorithms; Apr2025, Vol. 18 Issue 4, p219, 31p

Subject Terms: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

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

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

A systematic review of refactoring opportunities by software antipattern detection.

Authors: Kalhor, Somayeh Keyvanpour, Mohammad Reza Salajegheh, Afshin

Source: Automated Software Engineering; Nov2024, Vol. 31 Issue 2, p1-65, 65p

A brain-inspired intention prediction model and its applications to humanoid robot.

Authors: Yuxuan Zhao Yi Zeng

Source: Frontiers in Neuroscience; 10/21/2022, Vol. 16, p1-11, 11p

Subject Terms: HUMANOID robots, HUMAN-robot interaction, PREDICTION models, ARTIFICIAL neural networks, ROBOTICS

Fatal Software Failures in Spaceflight.

Authors: Prause, Christian R. Gerlich, Ralf Gerlich, Rainer

Source: Encyclopedia; Jun2024, Vol. 4 Issue 2, p936-965, 30p

Subject Terms: SOFTWARE failures, SPACE flight, SPACE exploration, SOFTWARE engineering, MODERN society

Towards automated modification of legacy assets.

Authors: Verhoef, C.

Source: Annals of Software Engineering; May2000, Vol. 9 Issue 1-4, p315-336, 22p

A computer approach toward automation of a chemical services laboratory: I. Instrument support.

Authors: Schneider, E. Munson, A.

Source: Journal of the American Oil Chemists' Society (JAOCS); May1971, Vol. 48 Issue 5, p217-219, 3p

Optimization of the cycle time of robotics resistance spot welding for automotive applications.

Authors: Banga, Harish Kumar Kalra, Parveen Kumar, Raman et al.

Source: Journal of Advanced Manufacturing & Processing; Jul2021, Vol. 3 Issue 3, p1-11, 11p

Subject Terms: ROBOTIC welding, AUTOMOBILE industry, SPOT welding, ENVIRONMENTAL impact analysis, COST control, ASSEMBLY line balancing

Recent Technological Advancements in BIM and LCA Integration for Sustainable Construction: A Review.

Authors: Chen, Zhonghao Chen, Lin Zhou, Xingyang et al.

Source: Sustainability (2071-1050); Feb2024, Vol. 16 Issue 3, p1340, 30p

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

The Evolution of Programs: Automatic Program Modification.

Authors: Dershowitz, Nachum Manna, Zohar

Source: IEEE Transactions on Software Engineering; Nov77, Vol. 3 Issue 6, p377-386, 10p, 2 Color Photographs

Subject Terms: AUTOMATIC programming (Computer science), COMPUTER software, COMPUTER files, COMPUTER programming, MATHEMATICAL programming, ELECTRONIC data processing

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

Authors: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

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

Subject Terms: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

COGNITIVE TECHNOLOGIES IN THE PROFESSIONAL KNOWLEDGE AS A MEANS OF THE OPTIMIZING MANAGEMENT DECISIONS.

Authors: Punchenko, Nataliia Korchenko, Oleksandr Tsyra, Oleksandra et al.

Source: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2019, Vol. 19 Issue 1, p161-166, 6p

Subject Terms: DECISION making, MANAGEMENT information systems, COGNITIVE structures, PROCESS control systems, CYBERNETICS, COGNITIVE radio

General survey of design automation of digital computers.

Authors: Breuer, M.A.

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

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