Výsledky vyhľadávania - (automatizacia OR automatically) programming—program transformation general terms algorithms~

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)

The quantum monadology.

Autori: Sati, Hisham Schreiber, Urs

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

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

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)

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

How open innovation specialists contribute to corporate sustainability and responsibility: A latent Dirichlet allocation approach.

Autori: Culasso, Francesca Giacosa, Elisa Giordino, Daniele a ďalší

Zdroj: Business Ethics, the Environment & Responsibility; Jan2025, Vol. 34 Issue 1, p174-188, 15p

Predmety: SOCIAL responsibility of business, OPEN innovation, SUSTAINABLE development, JOB vacancies, CORPORATE sustainability, ARCHETYPES

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

A Theory of Slicing for Imperative Probabilistic Programs.

Autori: AMTOFT, TORBEN BANERJEE, ANINDYA

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2020, Vol. 42 Issue 2, p1-71, 71p

Predmety: ALGORITHMS, SEMANTICS, EVIDENCE, PROBABILITY theory, PROOF theory

Refactoring Using Type Constraints.

Autori: Tip, Frank Fuhrer, Robert M. Kieźun, Adam a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2011, Vol. 33 Issue 3, p9:1-9:47, 47p

Predmety: SOFTWARE refactoring, CONSTRAINT satisfaction, PROGRAM transformation, ALGORITHMS, COMPUTER software development, COMPUTER programming, PROGRAMMING languages, SOURCE code, SOFTWARE engineering

Today's TBB

Autori: Michael J. Voss James R. Reinders

Typ zdroja: eBook.

Predmet: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

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

Controlling Draft Interactions Between Quadcopter Unmanned Aerial Vehicles with Physics-aware Modeling.

Autori: Matei, Ion Zeng, Chen Chowdhury, Souma a ďalší

Zdroj: Journal of Intelligent & Robotic Systems; 2021, Vol. 101 Issue 1, p1-21, 21p

Equivalent Transformations of Heterogeneous Meta-Programs.

Autori: Štuikys, Vytautas Damaševičius, Robertas

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

Predmety: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

Introduction to deep learning: minimum essence required to launch a research.

Autori: Wataya, Tomohiro Nakanishi, Katsuyuki Suzuki, Yuki a ďalší

Zdroj: Japanese Journal of Radiology; Oct2020, Vol. 38 Issue 10, p907-921, 15p

ABSTRACTS from other ACM Publications.

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

Predmety: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

Literature survey of deep learning‐based vulnerability analysis on source code.

Autori: Semasaba, Abubakar Omari Abdallah Zheng, Wei Wu, Xiaoxue a ďalší

Zdroj: IET Software (Wiley-Blackwell); Dec2020, Vol. 14 Issue 6, p654-664, 11p