Suchergebnisse - (((automatic OR automatizace) OR automatizacni) 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

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

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

Tank-level robust control of LNG carrier based on hyperbolic tangent function nonlinear modification.

Autoren: Li, Zongkuo Zhang, Xianku Huang, Junpeng

Quelle: Transportation Safety & Environment; Oct2024, Vol. 6 Issue 4, p1-7, 7p

Schlagwörter: TANGENT function, LIQUEFIED natural gas, HYPERBOLIC functions, NONLINEAR functions, PID controllers, CONTAINER ships

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

Plant Intelligent Automation and Digital Transformation : Volume I: Process and Factory Automation

Autoren: Swapan Basu

Resource Type: eBook.

Schlagworte: Factories--Technological innovations, Automation, Automatic control--Industrial applications

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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

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

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

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

Design Maintenance Systems.

Autoren: Baxter, Ira D.

Quelle: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p

Schlagwörter: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

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.

Autoren: Wei-Chuan Wang

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

Schlagwörter: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

Detection of harmful gases present in the environment.

Autoren: Rai, Pratiksha Saeed, Syed Hasan

Quelle: Indonesian Journal of Electrical Engineering & Computer Science; Apr2023, Vol. 30 Issue 1, p70-80, 11p

Schlagwörter: POISONOUS gases, ELECTRONIC noses, SENSOR arrays, GAS detectors, LEAST squares

FEDERAL REGISTER.

Quelle: Federal Register (National Archives & Records Service, Office of the Federal Register); 2/25/2025, Vol. 90 Issue 36, p1-115, 115p

Schlagwörter: HOUSE construction, HUMAN services, ENGINEERING standards, INTERNET forums, UNFAIR competition

A Goal Dimensions of Computer Science Education at the Elementary and Primary Level.

Autoren: Bergner, Nadine Köster, Hilde Magenheim, Johannes et al.

Quelle: Wissenschaftliche Untersuchungen zur Arbeit der Stiftung 'Haus der kleinen Forscher'; 2023, p41-235, 195p

Schlagwörter: COMPUTER science education, ONLINE education, ELEMENTARY education, PARENT attitudes, COMPUTER literacy, SCIENCE education, PRIMARY education

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autoren: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Schlagwörter: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

Using LSTM to Identify Help Needs in Primary School Scratch Students.

Autoren: Imbernón Cuadrado, Luis Eduardo Manjarrés Riesco, Ángeles de la Paz López, Félix

Quelle: Applied Sciences (2076-3417); Dec2023, Vol. 13 Issue 23, p12869, 22p

Schlagwörter: SCHOOL children, ACCOUNTING ethics, SEX discrimination, ARTIFICIAL intelligence, PROGRAMMING languages

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

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

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

Schlagwörter: DECISION making, MANAGEMENT information systems, COGNITIVE structures, PROCESS control systems, CYBERNETICS, COGNITIVE radio