Výsledky vyhledávání - (((automatic OR automatizacia) OR automatizacie) 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

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

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

Automatic code generation from unified modelling language sequence diagrams.

Autoři: Kundu, Debasish Samanta, Debasis Mall, Rajib

Zdroj: IET Software (Wiley-Blackwell); Feb2013, Vol. 7 Issue 1, p12-28, 17p

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

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

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

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

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

Autoři: Gary Lee

Resource Type: eBook.

Témata: Automation--Congresses, Automatic control--Congresses, Robotics--Congresses

Categories: TECHNOLOGY & ENGINEERING / Electrical

Embracing the Algol Effort in Czechoslovakia.

Autoři: Durnova, Helena

Zdroj: IEEE Annals of the History of Computing; Oct2014, Vol. 36 Issue 4, p26-37, 12p

Témata: ALGOL (Computer program language), TECHNOLOGICAL innovations, COMPUTER programming, COMPUTER engineering, PROGRAMMING languages, INFORMATION processing, CZECHOSLOVAKIAN history, 1945-1992, TWENTIETH century, HISTORY

Geografický termín: CZECHOSLOVAKIA

People: SVOBODA, Antonin

Process Automation Handbook : A Guide to Theory and Practice

Autoři: Jonathan Love

Resource Type: eBook.

Témata: Automation, Automatic control, Process control--Handbooks, manuals, etc, Automation--Handbooks, manuals, etc, Process control

Categories: TECHNOLOGY & ENGINEERING / Manufacturing, SCIENCE / Chemistry / Industrial & Technical, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Industrial Engineering

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

Autoři: Swapan Basu

Resource Type: eBook.

Témata: Factories--Technological innovations, Automation, Automatic control--Industrial applications

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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

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)

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

Autoři: Li, Zongkuo Zhang, Xianku Huang, Junpeng

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

Témata: TANGENT function, LIQUEFIED natural gas, HYPERBOLIC functions, NONLINEAR functions, PID controllers, CONTAINER ships

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

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

Application of sequential quadratic programming software program to an actual problem.

Autoři: Tamura, M. Kobayashi, Y.

Zdroj: Mathematical Programming; May1991, Vol. 52 Issue 1-3, p19-27, 9p

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

Industrial Automation and Robotics

Autoři: A K Gupta S K Arora

Resource Type: eBook.

Témata: Robotics--Textbooks, Automatic control--Textbooks

Categories: TECHNOLOGY & ENGINEERING / Automation, EDUCATION / Teaching / Subjects / Science & Technology, TECHNOLOGY & ENGINEERING / Robotics