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

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

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.

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

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.

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

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

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Autoři: Manuel V Hermenegildo Pedro Lopez-Garcia

Resource Type: eBook.

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

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

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

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

Smartsynth: Synthesizing smartphone automation scripts from natural language

Autoři: Vu Le Sumit Gulwani Zhendong Su a další

Přispěvatelé: Vu Le Sumit Gulwani Zhendong Su a další

Zdroj: http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.pdf.

Témata: General Terms Algorithms, Design, Languages, Human Factors Keywords Program synthesis, natural language processing, smartphone, automation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4380

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4380
http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.pdf

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

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

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

Foundations of Trusted Autonomy

Autoři: Hussein A. Abbass Jason Scholz Darryn J. Reid

Resource Type: eBook.

Témata: Electronics, Automation, Computer algorithms, Microelectronics, Robotics, Algorithms, Engineering, Computer science--Mathematics, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Electronics / General, MATHEMATICS / Numerical Analysis

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

Exploring the Landscape of Operating Room Scheduling: A Bibliometric Analysis of Recent Advancements and Future Prospects.

Autoři: Amin, Md Al Hadid, Majed Elomri, Adel a další

Zdroj: Biomedical Engineering & Computational Biology; 8/16/2025, p1-16, 16p

Témata: OPERATING rooms, VALUE-based healthcare, HEURISTIC algorithms, SCHOLARLY method, SURGERY practice, HOSPITAL administration, BIBLIOMETRICS

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / 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

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

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

A Bibliometric-Systematic Literature Review (B-SLR) of Machine Learning-Based Water Quality Prediction: Trends, Gaps, and Future Directions.

Autoři: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo a další

Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 20, p2994, 36p

Témata: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis