Výsledky vyhledávání - (((automatizacia OR automatically) OR automatizace) OR automation) programming—program modification

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

Autoři: Hocaoğlu, Mehmet Fatih

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

Témata: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

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

Autoři: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

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

Témata: 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.

Autoři: Müller, Felipe Martins Schneider, Vanessa Andréia de Araujo, Olinto Cesar Bassi a další

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

Témata: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

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

A systematic review of refactoring opportunities by software antipattern detection.

Autoři: Kalhor, Somayeh Keyvanpour, Mohammad Reza Salajegheh, Afshin

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

Fatal Software Failures in Spaceflight.

Autoři: Prause, Christian R. Gerlich, Ralf Gerlich, Rainer

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

Témata: SOFTWARE failures, SPACE flight, SPACE exploration, SOFTWARE engineering, MODERN society

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

Autoři: Chen, Zhonghao Chen, Lin Zhou, Xingyang a další

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

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

Autoři: Podvesovskii, A. G. Isaev, R. A. Kopeliovich, I. A.

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

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

Controlling Draft Interactions Between Quadcopter Unmanned Aerial Vehicles with Physics-aware Modeling.

Autoři: Matei, Ion Zeng, Chen Chowdhury, Souma a další

Zdroj: Journal of Intelligent & Robotic Systems; 2021, Vol. 101 Issue 1, p1-21, 21p

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

Autoři: Verma, Vikas Jain, Manish

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

Témata: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

How open innovation specialists contribute to corporate sustainability and responsibility: A latent Dirichlet allocation approach.

Autoři: Culasso, Francesca Giacosa, Elisa Giordino, Daniele a další

Zdroj: Business Ethics, the Environment & Responsibility; Jan2025, Vol. 34 Issue 1, p174-188, 15p

Témata: SOCIAL responsibility of business, OPEN innovation, SUSTAINABLE development, JOB vacancies, CORPORATE sustainability, ARCHETYPES

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

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.

Autoři: Wei-Chuan Wang

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

Témata: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

The MetaCoq Project.

Autoři: Sozeau, Matthieu Anand, Abhishek Boulier, Simon a další

Zdroj: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Témata: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografický termín: PARIS (France)

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

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

Autoři: Bergner, Nadine Köster, Hilde Magenheim, Johannes a další

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

Témata: COMPUTER science education, ONLINE education, ELEMENTARY education, PARENT attitudes, COMPUTER literacy, SCIENCE education, PRIMARY education

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

FEDERAL REGISTER.

Zdroj: Federal Register (National Archives & Records Service, Office of the Federal Register); 5/2/2025, Vol. 90 Issue 84, pI-ii, 153p

Témata: AVIATION policy, FISHING, GOVERNMENT agency personnel, GOVERNMENT agencies, ADMINISTRATIVE acts, ENVIRONMENTAL impact analysis

Korporace: UNITED States. Office of the Federal Register

A Survey on End-User Robot Programming.

Autoři: AJAYKUMAR, GOPIKA STEELE, MAUREEN CHIEN-MING HUANG

Zdroj: ACM Computing Surveys; Nov2022, Vol. 54 Issue 8, p1-36, 36p

Témata: ROBOT programming, INDIVIDUAL needs, HUMAN-robot interaction