Výsledky vyhledávání - ((automatizacia OR automatizacie) OR automation) programming— program synthesis general terms

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Autoři: Fred Mesnard Peter J. Stuckey

Resource Type: eBook.

Témata: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

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

Review and Mapping of Search-Based Approaches for Program Synthesis.

Autoři: Saber, Takfarinas Tao, Ning

Zdroj: Information; May2025, Vol. 16 Issue 5, p401, 28p

Témata: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

Answer Set Programming for Regular Inference

Autoři: Wojciech Wieczorek Tomasz Jastrzab Olgierd Unold

Zdroj: Applied Sciences, Vol 10, Iss 21, p 7700 (2020)

Témata: answer set programming, non-deterministic automata induction, grammatical inference, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Popis souboru: electronic resource

Relation: https://www.mdpi.com/2076-3417/10/21/7700; https://doaj.org/toc/2076-3417

Přístupová URL adresa: https://doaj.org/article/e5ea278b1a864866ad0b378de4bebd72

The Role of Interactive Program Synthesis in the Future of Software Development.

Autoři: Shaout, Adnan Ditty, Javid Carr, Kyle

Zdroj: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p

Synthesis of Interface Automata.

Autoři: Peled, Doron A. Tsay, Yih-Kuen Bhaduri, Purandar

Zdroj: Automated Technology for Verification & Analysis. 2005, p338-353. 16p.

Handbook of Digital 3D Reconstruction of Historical Architecture

Autoři: Sander Münster Fabrizio Ivan Apollonio Ina Bluemel a další

Resource Type: eBook.

Témata: Three-dimensional imaging in architecture--Handbooks, manuals, etc, Historic buildings--Reconstruction--Computer programs--Handbooks, manuals, etc, Digital humanities

Categories: COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, ART / General, COMPUTERS / Image Processing, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, SOCIAL SCIENCE / Archaeology

Artificial Intelligence for Quality Defects in the Automotive Industry: A Systemic Review.

Autoři: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime a další

Zdroj: Sensors (14248220); Mar2025, Vol. 25 Issue 5, p1288, 39p

Témata: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

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

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

Zdroj: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Autoři: Grivas, Gerasimos V. Safari, Kousar

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 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 I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Synthesising Programs with Non-trivial Constants.

Autoři: Abate, Alessandro Barbosa, Haniel Barrett, Clark a další

Zdroj: Journal of Automated Reasoning; Jun2023, Vol. 67 Issue 2, p1-25, 25p

Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Autoři: Fabio Fioravanti John P. Gallagher

Resource Type: eBook.

Témata: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

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

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 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 II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Behavioral Program Synthesis with Genetic Programming

Autoři: Krzysztof Krawiec

Resource Type: eBook.

Témata: Computational intelligence, Artificial intelligence, Software engineering

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Property-driven benchmark generation: synthesizing programs of realistic structure.

Autoři: Steffen, Bernhard Isberner, Malte Naujokat, Stefan a další

Zdroj: International Journal on Software Tools for Technology Transfer. Oct2014, Vol. 16 Issue 5, p465-479. 15p.

Témata: *VERIFICATION of computer systems, *BENCHMARK testing (Engineering), *AUTOMATION software, *COMPUTER software development, *LOGIC programming

AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model.

Autoři: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang a další

Zdroj: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p

Témata: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

Program Synthesis for Program Analysis.

Autoři: DAVID, CRISTINA KESSELI, PASCAL KROENING, DANIEL a další

Zdroj: ACM Transactions on Programming Languages & Systems; May2018, Vol. 40 Issue 2, p5-45, 45p

Témata: REASONING, MATHEMATICAL logic, FREQUENCY synthesizers, MATHEMATICAL optimization, MATHEMATICAL analysis

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Autoři: Gopal Gupta Ricardo Peña

Resource Type: eBook.

Témata: Computer programming, Software engineering, Machine theory, Artificial intelligence, Computer science—Mathematics, Discrete mathematics, Computer science

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Autoři: Germán Vidal

Resource Type: eBook.

Témata: Conference proceedings, Logic programming--Congresses, Program transformation (Computer programming)--C, Computational complexity--Congresses, Computational complexity, Logic programming, Program transformation (Computer programming)

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics