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

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

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)

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

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

Autoři: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi a další

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

Témata: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

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

Autoři: Arie Gurfinkel Marijn Heule

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

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

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

Today's TBB

Autoři: Michael J. Voss James R. Reinders

Resource Type: eBook.

Témata: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Multi-Scale Information Collaborative Management Method in Hierarchical Construction Projects Based on Building Information Modeling.

Autoři: Zhao, Xuefeng Yan, Wenkai Xia, Yu a další

Zdroj: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 24, p12053, 29p

Témata: BUILDING information modeling, INFORMATION resources management, CONSTRUCTION projects, DATA management, INFORMATION modeling, CONSTRUCTION project management

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

A Program Testing Assistant.

Autoři: Chapman, David

Zdroj: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p

Témata: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Témata: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

European Journal of Preventive Cardiology.

Zdroj: European Journal of Preventive Cardiology; 2024 Supplement, Vol. 31, preceding pi2-i673, 674p

A Short Cut to Optimal Sequences.

Autoři: Morihata, Akimasa

Zdroj: New Generation Computing; Jan2011, Vol. 29 Issue 1, p31-59, 29p

Témata: ALGORITHMS, PROGRAM transformation, COMPUTER programming, COMPUTER software, COMPUTER science

Intelligent Character Recognition System Using Convolutional Neural Network.

Autoři: Suriya, S. S., Dhivya M., Balaji

Zdroj: EAI Endorsed Transactions on Cloud Systems; 2020, Vol. 6 Issue 19, p1-25, 25p

Témata: PATTERN recognition systems, CLASSIFICATION algorithms, CONVOLUTIONAL neural networks, ARTIFICIAL neural networks, NEURAL computers

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)

Fifty Years of Prolog and Beyond.

Autoři: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO a další

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Témata: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

Effect of the Fourth Industrial Revolution on Road Transport Asset Management Practice in Nigeria.

Autoři: Gambo, Nuru Musonda, Innocent

Zdroj: Journal of Construction in Developing Countries; 2021, Vol. 26 Issue 1, p19-43, 25p

Témata: INDUSTRY 4.0, THREE-dimensional printing, ARTIFICIAL intelligence, ASSET management, BLOCKCHAINS, ROAD construction, STRUCTURAL equation modeling

Geografický termín: NIGERIA

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Autoři: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Témata: Computer science, Computer software, Data structures (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

Autoři: Anjorin, Anthony Buchmann, Thomas Westfechtel, Bernhard a další

Zdroj: Software & Systems Modeling; May2020, Vol. 19 Issue 3, p647-691, 45p

Témata: BENCHMARKING (Management), HETEROGENEITY, EVALUATION, SYNCHRONIZATION