Search Results - automation programming—program

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

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

Exploring Explainable AI for Symbol Detection in Construction Drawings

Authors: Michalak, Jan Faltin, Benedikt

Subject Terms: Machine Learning, Symbol Detection, Computer Science, Information and General Works::004: Computer Sciences, Computer Science, Information and General Works::006: Special computer methods, XAI, XAI | Machine Learning | Symbol Detection | YOLO | Eigen-CAM, YOLO, Arts::720: Architecture, Eigen-CAM, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

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

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/

Software Support for Building End-User Programming Environments in the Automation Domain.

Authors: Prähofer, Herbert Hurnaus, Dominik Schatz, Roland et al.

Source: ICSE: International Conference on Software Engineering; 2008, p76-80, 5p, 3 Color Photographs, 2 Diagrams

Subject Terms: AUTOMATION, COMPUTER software development, ELECTRONIC systems, INTELLIGENT agents, ARTIFICIAL intelligence

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

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

Automation for Dependently Typed Functional Programming.

Authors: Wilson, Sean Fleuriot, Jacques Smaill, Alan

Source: Fundamenta Informaticae; 2010, Vol. 102 Issue 2, p209-228, 20p, 8 Diagrams, 1 Chart

Subject Terms: MATHEMATICAL functions, AUTOMATION, ARITHMETIC, MATHEMATICS, NONLINEAR systems, COMPUTER programming

Industrial Automation and Robotics : A Comprehensive Guide to Automated Systems and Robotics

Authors: Mercury Learning and Information Jean Riescher Westcott A.K. Gupta et al.

Resource Type: eBook.

Subjects: Automation, Robots, Industrial

Categories: TECHNOLOGY & ENGINEERING / Robotics, TECHNOLOGY & ENGINEERING / Automation, TECHNOLOGY & ENGINEERING / Industrial Design / 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

Industrial Automation and Robotics

Authors: Jean Riescher Westcott A.K. Gupta S.K. Arora

Resource Type: eBook.

Subjects: Automation, Robots, Industrial

Categories: TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Manufacturing, TECHNOLOGY & ENGINEERING / History

Evolution of Self-Assembling Patterns in Cellular Automata using Development.

Authors: ÖZTÜRKERI, CAN JOHNSON, COLIN G.

Source: Journal of Cellular Automata; 2011, Vol. 6 Issue 4/5, p257-300, 44p

Subject Terms: CELLULAR automata, GENETIC programming, MACHINE theory, TURING machines, OPEN source intelligence

Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version

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

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2205.06535

Hammer for Coq: Automation for Dependent Type Theory.

Authors: Czajka, Łukasz Kaliszyk, Cezary

Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Subject Terms: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

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

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Automation of Programming at the M.V. Keldysh Institute of Applied Mathematics, Russian Academy of Sciences (KIAM RAS).

Authors: Krukov, Victor

Source: 2014 Third International Conference on Computer Technology in Russia & in the Former Soviet Union; 2014, p127-130, 4p

Interval partition-based feedrate scheduling with axial drive constraints for five-axis spline toolpaths.

Authors: Song, De-Ning Ma, Jian-Wei

Source: International Journal of Advanced Manufacturing Technology; Dec2019, Vol. 105 Issue 11, p4701-4714, 14p, 4 Diagrams, 12 Graphs

Subject Terms: NUMERICAL control of machine tools, SCHEDULING, IRRIGATION scheduling, AUTOMATION, MACHINE tools, SPLINES