Výsledky vyhľadávania - (((automatische OR automatically) OR automatic) OR automation) programming—program modification~

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

Autori: Hocaoğlu, Mehmet Fatih

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

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

A systematic review of refactoring opportunities by software antipattern detection.

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

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

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

Autori: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

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

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

Fatal Software Failures in Spaceflight.

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

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

Predmety: SOFTWARE failures, SPACE flight, SPACE exploration, SOFTWARE engineering, MODERN society

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

Autori: Chen, Zhonghao Chen, Lin Zhou, Xingyang a ďalší

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

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

Autori: Verma, Vikas Jain, Manish

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

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

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

Autori: Li, Zongkuo Zhang, Xianku Huang, Junpeng

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

Predmety: TANGENT function, LIQUEFIED natural gas, HYPERBOLIC functions, NONLINEAR functions, PID controllers, CONTAINER ships

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.

Autori: Wei-Chuan Wang

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

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

Hammer for Coq: Automation for Dependent Type Theory.

Autori: Czajka, Łukasz Kaliszyk, Cezary

Zdroj: 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.

Autori: Bergner, Nadine Köster, Hilde Magenheim, Johannes a ďalší

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

Predmety: COMPUTER science education, ONLINE education, ELEMENTARY education, PARENT attitudes, COMPUTER literacy, SCIENCE education, PRIMARY education

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

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

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

Predmety: SCHOOL children, ACCOUNTING ethics, SEX discrimination, ARTIFICIAL intelligence, PROGRAMMING languages

A Survey on End-User Robot Programming.

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

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

Predmety: ROBOT programming, INDIVIDUAL needs, HUMAN-robot interaction

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autori: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a ďalší

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

Predmety: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

High-level specifications for automatically generating parallel code.

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

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

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

European Journal of Preventive Cardiology.

Zdroj: 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.

Autori: Müller, Felipe Martins Schneider, Vanessa Andréia de Araujo, Olinto Cesar Bassi a ďalší

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

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

General survey of design automation of digital computers.

Autori: Breuer, M.A.

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

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

Autori: Matei, Ion Zeng, Chen Chowdhury, Souma a ďalší

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

The Evolution of Programs: Automatic Program Modification.

Autori: Dershowitz, Nachum Manna, Zohar

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

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

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

Autori: Verma, Vikas Jain, Manish

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

Predmety: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel