Výsledky vyhľadávania - (automatizacii OR automation) programming—program transformation general terms algorithms

Optimizing switching states using a current predictive control algorithm for multilevel cascaded H-bridge converters in solar photovoltaic integration into power grids.

Autori: An Thi Hoai Thu Anh Tran Hung Cuong

Zdroj: International Journal of Electrical & Computer Engineering (2088-8708); Jun2025, Vol. 15 Issue 3, p2726-2734, 9p

Predmety: RENEWABLE energy sources, SOLAR power plants, SOLAR energy, COST functions, PHOTOVOLTAIC power systems

The quantum monadology.

Autori: 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.

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

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)

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

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

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

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Autori: Adrian-Horia Dediu Jan Janoušek Carlos Martín-Vide a ďalší

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer science, Machine theory, Algorithms, Computer science—Mathematics, Discrete mathematics

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

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

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Predmety: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Autori: LIU, YANHONG A. STOLLER, SCOTT D.

Zdroj: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Predmety: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

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

Autori: Gonzalez, Fernando

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

Predmety: VELOCITY, EDUCATIONAL programs, BODY movement, CANVAS, ROBOTICS

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

Research on Some Control Algorithms to Compensate for the Negative Effects of Model Uncertainty Parameters, External Interference, and Wheeled Slip for Mobile Robot.

Autori: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi a ďalší

Zdroj: Actuators; Jan2024, Vol. 13 Issue 1, p31, 31p

Predmety: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

The MetaCoq Project.

Autori: Sozeau, Matthieu Anand, Abhishek Boulier, Simon a ďalší

Zdroj: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Predmety: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografický termín: PARIS (France)

Glushkov's evidence algorithm.

Autori: Letichevsky, A. Lyaletski, A. Morokhovets, M.

Zdroj: Cybernetics & Systems Analysis; Jul2013, Vol. 49 Issue 4, p489-500, 12p

Predmety: ALGORITHMS, ALGEBRA, ARTIFICIAL intelligence, BIONICS

Osoby: GLUSHKOV, V. M.

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

A Variability-Aware Robust Design Methodology for Integrated Circuits by Geometric Programming.

Autori: Zhang, Yi Zhou, Junlong Chen, Li a ďalší

Zdroj: Journal of Circuits, Systems & Computers; May2019, Vol. 28 Issue 5, pN.PAG-N.PAG, 19p

Predmety: ROBUST control, GEOMETRIC programming, INTEGRATED circuit design, ROBUST optimization, INTEGRATED circuits, GEOMETRIC modeling