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

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

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.

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.

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

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

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 II

Autoři: Viktor Vafeiadis

Resource Type: eBook.

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

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

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

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

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 effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Autoři: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Zdroj: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Témata: EMPIRICAL research, RESEARCH personnel

Smart Water Management: Governance Innovation, Technological Integration, and Policy Pathways Toward Economic and Ecological Sustainability.

Autoři: Dai, Yongyu Huang, Zhengwei Khan, Naveed a další

Zdroj: Water (20734441); Jul2025, Vol. 17 Issue 13, p1932, 22p

Témata: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

Geografický termín: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

A process-centric manipulation taxonomy for the organization, classification and synthesis of tactile robot skills.

Autoři: Johannsmeier, Lars Schneider, Samuel Li, Yanan a další

Zdroj: Nature Machine Intelligence; Jun2025, Vol. 7 Issue 6, p916-927, 12p

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

How fast can you invent a medicine?

Autoři: Ashkar, Shireen R. Cernak, Tim

Zdroj: Medicinal Chemistry Research; Dec2025, Vol. 34 Issue 12, p2365-2371, 7p

Program synthesis: challenges and opportunities.

Autoři: David, Cristina Kroening, Daniel

Zdroj: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences; 10/13/2017, Vol. 375 Issue 2104, p1-20, 20p

Témata: COMPUTER programming, COMPUTER systems, SOFTWARE engineering

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Stefan Kiefer Christine Tasson

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing