Výsledky vyhľadávania - (((automatic OR automatische) OR avtomatizacija) 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

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

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

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

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

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; Feb2024, Vol. 153 Issue 1, p1-22, 22p

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

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

Autori: Swapan Basu

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

Development of the ECAT Preprocessor with the Trust Communication Approach.

Autori: Ovaz Akpinar, Kevser Ozcelik, Ibrahim

Zdroj: Security & Communication Networks; 4/18/2018, p1-16, 16p

Predmety: COMPUTER network protocols, AUTOMATIC control systems, INTERNET protocols, COMPUTER security, DATA security

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

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

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

Migrating protocols in multi-threaded message-passing systems

Autori: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf.

Predmety: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972
http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Advances in Automation and Robotics, Vol.1 : Selected Papers From the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011

Autori: Gary Lee

Typ zdroja: eBook.

Predmet: Automation--Congresses, Automatic control--Congresses, Robotics--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Electrical

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

Detection of harmful gases present in the environment.

Autori: Rai, Pratiksha Saeed, Syed Hasan

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

Predmety: POISONOUS gases, ELECTRONIC noses, SENSOR arrays, GAS detectors, LEAST squares

Testing and Improving an ISO 14119-Inspired Tool to Prevent Bypassing Safeguards on Industrial Machines.

Autori: Haghighi, Aida Jocelyn, Sabrina Chinniah, Yuvin

Zdroj: Safety; Sep2020, Vol. 6 Issue 3, p1-28, 28p

Kleene Algebra with Tests

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Predmety: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

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

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

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

Predmety: MOBILE robot control systems, PREDICTIVE control systems, EUCLIDEAN distance, COMPUTATIONAL complexity, PREDICTION models