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

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

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autoři: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Témata: Computer software--Verification--Congresses

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

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

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Autoři: Wei-Chuan Wang

Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Témata: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

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

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Daily Program.

Zdroj: American Journal of Health-System Pharmacy; 10/15/2023, Vol. 80 Issue 20, p1411-1500, 90p

Témata: PROFESSIONAL employee training, PHARMACOLOGY, INFORMATION resources

Geografický termín: UNITED States

An Approach to Generating Formal Fuzzy Cognitive Maps for Experimental Studies in Cognitive Modeling.

Autoři: Podvesovskii, A. G. Isaev, R. A. Kopeliovich, I. A.

Zdroj: Pattern Recognition & Image Analysis; Sep2024, Vol. 34 Issue 3, p665-672, 8p

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

Autoři: Yvars, Pierre-Alain Zimmer, Laurent

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

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

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

Autoři: Adrian-Horia Dediu Jan Janoušek Carlos Martín-Vide a další

Resource Type: eBook.

Témata: Artificial intelligence, Computer science, Machine theory, Algorithms, Computer science—Mathematics, Discrete mathematics

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

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)

Convex risk-bounded continuous-time trajectory planning and tube design in uncertain nonconvex environments.

Autoři: Jasour, Ashkan Han, Weiqiao Williams, Brian C.

Zdroj: International Journal of Robotics Research; Sep2023, Vol. 42 Issue 10, p705-728, 24p

Témata: SUM of squares, TIME perspective, TUBES, SCHEDULING, PARAMETERIZATION, POINT set theory

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)

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

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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

FEDERAL REGISTER.

Zdroj: Federal Register (National Archives & Records Service, Office of the Federal Register); 2/25/2025, Vol. 90 Issue 36, p1-115, 115p

Témata: HOUSE construction, HUMAN services, ENGINEERING standards, INTERNET forums, UNFAIR competition