Suchergebnisse - ((automatizace OR automatizacia) OR automation) programming—program modification*

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

Autoren: Hocaoğlu, Mehmet Fatih

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

Schlagwörter: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

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

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

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

Schlagwörter: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

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

Autoren: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

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

Schlagwörter: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

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

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

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

Hammer for Coq: Automation for Dependent Type Theory.

Autoren: Czajka, Łukasz Kaliszyk, Cezary

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

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

Autoren: Verma, Vikas Jain, Manish

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

Schlagwörter: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

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

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

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

Schlagwörter: MOBILE robot control systems, PREDICTIVE control systems, EUCLIDEAN distance, COMPUTATIONAL complexity, PREDICTION models

A systematic review of refactoring opportunities by software antipattern detection.

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

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

Industrial Automation and Robotics : A Comprehensive Guide to Automated Systems and Robotics

Autoren: Mercury Learning and Information Jean Riescher Westcott A.K. Gupta et al.

Resource Type: eBook.

Schlagworte: Automation, Robots, Industrial

Categories: TECHNOLOGY & ENGINEERING / Robotics, TECHNOLOGY & ENGINEERING / Automation, TECHNOLOGY & ENGINEERING / Industrial Design / General

Industrial Automation and Robotics

Autoren: Jean Riescher Westcott A.K. Gupta S.K. Arora

Resource Type: eBook.

Schlagworte: Automation, Robots, Industrial

Categories: TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Manufacturing, TECHNOLOGY & ENGINEERING / History

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

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

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

Schlagwörter: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Fatal Software Failures in Spaceflight.

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

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

Schlagwörter: SOFTWARE failures, SPACE flight, SPACE exploration, SOFTWARE engineering, MODERN society

METHOD FOR GENERATING A CONTROL PROGRAM FOR AN AUTOMATION SYSTEM AND PROGRAMMING TOOL

General survey of design automation of digital computers.

Autoren: Breuer, M.A.

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

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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Schlagworte: 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

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Autoren: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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

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

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

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

Autoren: Verma, Vikas Jain, Manish

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

Schlagwörter: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

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

Autoren: Yuxuan Zhao Yi Zeng

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

Schlagwörter: HUMANOID robots, HUMAN-robot interaction, PREDICTION models, ARTIFICIAL neural networks, ROBOTICS

Era of digital revolution: Digital entrepreneurship and digital transformation in emerging economies.

Autoren: Jawad, Muhammad Naz, Munazza Maroof, Zaib

Quelle: Business Strategy & Development; Sep2021, Vol. 4 Issue 3, p220-228, 9p

Schlagwörter: ENTREPRENEURSHIP, DIGITIZATION, BUSINESSPEOPLE, ECONOMIC development, DIGITAL technology