Search Results - ((automatic OR automatische) OR automation) programming—program

Automation of water circulation regulation and nutritional administration in catfish cultivation ponds with Bioflocculation technology.

Authors: Ashari, Irvan Yudhana, Anton

Source: Signal & Image Processing Letters; 2023, Vol. 5 Issue 1, p19-30, 12p

Subject Terms: CATFISHES, WATER quality, WATER use, STANDARD deviations, AUTOMATION, PUMPING machinery

Geographic Terms: INDONESIA

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

Authors: Hocaoğlu, Mehmet Fatih

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

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

Presentation of Control Algorithm for Cooling System in Business Building.

Alternate Title: ПРЕЗЕНТАЦИЈА АЛГОРИТМА УПРАВЉАЊА РАСХЛАДНИМ СИСТЕМОМ У ПОСЛОВНОЈ ЗГРАДИ (Serbian)

Authors: Osman, Krešimir Topčić, Andrija Perić, Mato et al.

Source: FME Transactions; 2024, Vol. 52 Issue 2, p206-213, 8p

Subject Terms: INDUSTRIALIZED building, COOLING systems, AUTOMATIC control systems, SUPERVISORY control & data acquisition systems, ALGORITHMS, UNIFIED modeling language

Company/Entity: SIEMENS AG

Automatic conversion of real-world data from a German road infrastructure management system into a labelled property graph

Authors: Heise, Ina

Subject Terms: road infrastructure, Computer Science, Information and General Works::006: Special computer methods, Social Sciences::388: Transportation, digital twin, labelled property graphs, GML, LOCenter, GIS, Technology::624: Civil Engineering, Environmental Engineering, ddc, road infrastructure | labelled property graphs | GIS | GML | digital twin, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Access URL: https://mediatum.ub.tum.de/doc/1756354/document.pdf

Modeling and system analysis of applied mathematics and programming problems.

Authors: Khodiyev, Shukhrat Nazirova, Dilorom

Source: AIP Conference Proceedings; 2025, Vol. 3356 Issue 1, p1-12, 12p

Subject Terms: APPLIED mathematics, SYSTEMS theory, TEMPERATURE distribution, UNIVERSITY research, COMPUTER simulation, MATHEMATICAL programming, PROGRAM transformation, AUTOMATION

Simultaneous optimal system and controller design for multibody systems with joint friction using direct sensitivities.

Authors: Verulkar, Adwait Sandu, Corina Sandu, Adrian et al.

Source: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p

Derivación deductiva de programas funcionales con patrones

Authors: Velázquez Iturbide, Ángel

Thesis Advisors: Cerrada Somolinos, José Antonio

Subject Terms: Informática

Access URL: http://hdl.handle.net/10803/453220

INFLUENCE OF LAYER TIME ON THE MECHANICAL PROPERTIES OF THIN-WALLED PARTS PRODUCED FROM MODIFIED POLYCARBONATE REINFORCED WITH CARBON FIBRES BY A PELLET EXTRUSION MODELLING (PEM) PROCESS.

Authors: Rytir, M. Hadrava, T. Havlan, T. et al.

Source: MM Science Journal; Nov2025, p8806-8810, 5p

Subject Terms: THIN-walled structures, MECHANICAL behavior of materials, EXTRUSION process, POLYCARBONATES, THREE-dimensional printing, CARBON fibers, TEMPERATURE effect

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

Authors: Swapan Basu

Resource Type: eBook.

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

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

A systematic review of refactoring opportunities by software antipattern detection.

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

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

PYTHON PROGRAMMING LANGUAGE AS A MEANS OF TRAINING FUTURE TEACHERS OF COMPUTER SCIENCE WHEN WORKING WITH ARDUINO.

Alternate Title: МОВА ПРОГРАМУВАННЯ PUTHON ЯК ЗАСІБ ПІДГОТОВКИ МАЙБУТНІХ ВЧИТЕЛІВ ІНФОРМАТИКИ ПРИ РОБОТІ З ARDUINO. (Ukrainian)

Authors: Kyslitsyn, Vitalii Shevchenko, Lyudmila Umanets, Volodymyr

Source: Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov; 2024, Vol. 16 Issue 4, p88-93, 6p

Subject Terms: SCIENCE teachers, COMPUTER science, ROBOT programming, TEACHING methods, COMPUTER training, DIGITAL technology, PYTHON programming language

Design and Development of a Low-Cost Automated All-Terrain Intelligent Robotic Vehicle for Detection to Study Its Faults and Vulnerabilities from SWOT Perspective.

Authors: Covaciu, Florin Bec, Persida Băldean, Doru-Laurean

Source: Interdisciplinarity in Engineering; 2020, Vol. 14, p1-11, 11p

Subject Terms: ROBOTICS, COMPUTER simulation, STATISTICAL hypothesis testing, KINEMATICS, AUTOMATION

Automatic Technology in Food Industry

Authors: Jaime, Cristina Garcia

Resource Type: eBook.

Subjects: Food industry and trade--Automation

Categories: TECHNOLOGY & ENGINEERING / General

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

Authors: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

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

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

The Intelligent Composite Panels Manufacturing Technology Based on Tape-laying Automatic System.

Authors: He, Kai Nie, Haiping Yan, Chao

Source: Procedia CIRP. 2016, Vol. 56, p610-613. 4p.

Design-By-Contract for Flexible Multiparty Session Protocols

Authors: Gheri L. Lanese I. Sayers N. et al.

Contributors: Gheri L. Lanese I. Sayers N. et al.

Subject Terms: Choreography automata, design by contract, deadlock freedom, Communicating Finite State Machines, TypeScript programming

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783959772259; ispartofbook:36th European Conference on Object-Oriented Programming (ECOOP 2022); 36th European Conference on Object-Oriented Programming, ECOOP 2022; volume:222; firstpage:1; lastpage:28; numberofpages:28; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; https://hdl.handle.net/11585/907379; https://drops.dagstuhl.de/opus/volltexte/2022/16236/

Availability: https://hdl.handle.net/11585/907379
https://doi.org/10.4230/LIPIcs.ECOOP.2022.8
https://drops.dagstuhl.de/opus/volltexte/2022/16236/

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

Source: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

DEPS: a model- and property-based language for system synthesis problems.

Authors: Yvars, Pierre-Alain Zimmer, Laurent

Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Design-By-Contract for Flexible Multiparty Session Protocols

Authors: Gheri, Lorenzo Lanese, Ivan Sayers, Neil et al.

Index Terms: Choreography automata, design by contract, deadlock freedom, Communicating Finite State Machines, TypeScript programming, Data processing Computer science, InProceedings, publishedVersion

Industrial Automation and Robotics

Authors: A K Gupta S K Arora

Resource Type: eBook.

Subjects: Robotics--Textbooks, Automatic control--Textbooks

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