Výsledky vyhledávání - ((automatizace OR automatizacia) OR automation) programming—program transformation general terms*

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

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

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

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

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

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

Autoři: Porra, Jaana Hirschheim, Rudy Land, Frank a další

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

Témata: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

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

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

Autoři: Verulkar, Adwait Sandu, Corina Sandu, Adrian a další

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

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autoři: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a další

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Témata: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

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)

Dynamic Modelling and Optimal Sliding Mode Control of the Wearable Rehabilitative Bipedal Cable Robot with 7 Degrees of Freedom.

Autoři: Sajedifar, A. Korayem, M. H. Allahverdi, F.

Zdroj: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p

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

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Autoři: Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi

Resource Type: eBook.

Témata: Software engineering, Computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science

The In-House Option : Professional Issues of Library Automation

Autoři: T.D. Webb

Resource Type: eBook.

Témata: Z678.9

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / Digital & Online Resources

AUTOMAT[R]IX: learning simple matrix pipelines.

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

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

Témata: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

Logic-Based Program Synthesis and Transformation

Autoři: Maribel Fernández

Resource Type: eBook.

Témata: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

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

Autoři: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

Equivalent Transformations of Heterogeneous Meta-Programs.

Autoři: Štuikys, Vytautas Damaševičius, Robertas

Zdroj: Informatica; 2013, Vol. 24 Issue 2, p315-337, 23p

Témata: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

Learning robot differential movements using a new educational robotics simulation tool.

Autoři: Gonzalez, Fernando

Zdroj: Education & Information Technologies; Sep2023, Vol. 28 Issue 9, p11423-11446, 24p

Témata: VELOCITY, EDUCATIONAL programs, BODY movement, CANVAS, ROBOTICS

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