Suchergebnisse - (((automatically 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.

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

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

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

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

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

High-level specifications for automatically generating parallel code.

Autoren: Acosta, Alejandro Almeida, Francisco Peláez, Ignacio

Quelle: Concurrency & Computation: Practice & Experience; May2013, Vol. 25 Issue 7, p989-1012, 24p, 5 Diagrams, 8 Charts, 3 Graphs

Schlagwörter: CODING theory, COMPUTER systems, TECHNICAL specifications, GRAPHICS processing units, POWER Computing computers, COMPUTER architecture, COMPUTER programming

Lighting devices for automatically switching between a visible light source and an infrared light source

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

Autoren: Culasso, Francesca Giacosa, Elisa Giordino, Daniele et al.

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

Schlagwörter: SOCIAL responsibility of business, OPEN innovation, SUSTAINABLE development, JOB vacancies, CORPORATE sustainability, ARCHETYPES

SYSTEMS AND METHODS FOR AUTOMATICALLY RECOMMENDING AN ITEM TO A CUSTOMER WHILE SHOPPING AT A RETAIL STORE

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

Systems and methods for automatically recommending an item to a customer while shopping at a retail store

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

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

A Survey on End-User Robot Programming.

Autoren: AJAYKUMAR, GOPIKA STEELE, MAUREEN CHIEN-MING HUANG

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

Schlagwörter: ROBOT programming, INDIVIDUAL needs, HUMAN-robot interaction

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

A Metrics Suite for Measuring Indirect Coupling Complexity.

Autoren: Navas-Su, J. Gonzalez-Torres, A. Hernandez-Vasquez, M. et al.

Quelle: Programming & Computer Software; Dec2023, Vol. 49 Issue 8, p735-761, 27p

Schlagwörter: SOFTWARE measurement, SOFTWARE maintenance, COMPUTER software development, UTILITIES (Computer programs), PROJECT managers, COMPUTER software quality control

A Program Testing Assistant.

Autoren: Chapman, David

Quelle: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p

Schlagwörter: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

Systems and methods for automatically determining location of an object inside a retail store

European Journal of Preventive Cardiology.

Quelle: European Journal of Preventive Cardiology; 2024 Supplement, Vol. 31, preceding pi2-i673, 674p

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