Výsledky vyhľadávania - (((automatic OR automatizace) OR automatizacia) OR automation) programming—program transformation*

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

Autori: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a ďalší

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

Predmety: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Derivación deductiva de programas funcionales con patrones

Autori: Velázquez Iturbide, Ángel

Thesis Advisors: Cerrada Somolinos, José Antonio

Predmety: Informática

Prístupová URL adresa: http://hdl.handle.net/10803/453220

Modeling and system analysis of applied mathematics and programming problems.

Autori: Khodiyev, Shukhrat Nazirova, Dilorom

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

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

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

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Autori: Swapan Basu

Typ zdroja: eBook.

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

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

Autori: Verulkar, Adwait Sandu, Corina Sandu, Adrian a ďalší

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

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

Autori: Ashari, Irvan Yudhana, Anton

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

Predmety: CATFISHES, WATER quality, WATER use, STANDARD deviations, AUTOMATION, PUMPING machinery

Geografický termín: INDONESIA

The quantum monadology.

Autori: Sati, Hisham Schreiber, Urs

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

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

Method and system for automatic formality transformation

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

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

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

Autori: Yvars, Pierre-Alain Zimmer, Laurent

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

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

AUTOMAT[R]IX: learning simple matrix pipelines.

Autori: Contreras-Ochando, Lidia Ferri, Cèsar Hernández-Orallo, José

Zdroj: Machine Learning; Apr2021, Vol. 110 Issue 4, p779-799, 21p

Predmety: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

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).

Autori: Porra, Jaana Hirschheim, Rudy Land, Frank a ďalší

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

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

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

Design Maintenance Systems.

Autori: Baxter, Ira D.

Zdroj: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p

Predmety: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

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

Automatic Technology in Food Industry

Autori: Jaime, Cristina Garcia

Typ zdroja: eBook.

Predmet: Food industry and trade--Automation

Kategórie: TECHNOLOGY & ENGINEERING / General

A Convolutional Neural Network-based Interaction Behavior Analysis and Creativity Evaluation System for Programming Games for 0-6 Years Old Children in Educational Big Data Environment.

Autori: Su, Yuanyuan Sun, Xianda

Zdroj: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127b, p6133-6151, 19p

Predmety: CONVOLUTIONAL neural networks, BEHAVIORAL assessment, BIG data, EARLY childhood education, HUMAN activity recognition, GAMES