Výsledky vyhľadávania - ((automatic OR automatizacie) OR automation) programming— program synthesis general terms*

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

Autori: Saber, Takfarinas Tao, Ning

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

Predmety: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

Autori: Shaout, Adnan Ditty, Javid Carr, Kyle

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

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

Autori: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang a ďalší

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

Predmety: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

A Memetic and Reflective Evolution Framework for Automatic Heuristic Design Using Large Language Models.

Autori: Qi, Fubo Wang, Tianyu Zheng, Ruixiang a ďalší

Zdroj: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8735, 26p

Predmety: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

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

Autori: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a ďalší

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

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

Autori: Isil Dillig Serdar Tasiran

Typ zdroja: eBook.

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

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

Program synthesis algorithm based on context consistency heuristic.

Autori: Dou, Quansheng Pan, Hao Tang, Huanling a ďalší

Zdroj: International Journal of Machine Learning & Cybernetics; Feb2024, Vol. 15 Issue 2, p559-571, 13p

Toward Automatic Program Synthesis.

Autori: Manna, Zohar Waldinger, Richard I. Gries, D.

Zdroj: Communications of the ACM; Mar1971, Vol. 14 Issue 3, p151-165, 15p, 13 Diagrams, 3 Graphs

Predmety: PROGRAMMING languages, PROBLEM solving, COMPUTER programming, C (Computer program language), MATHEMATICAL induction, ARTIFICIAL intelligence

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

Autori: DONGKWON LEE WOOSUK LEE HAKJOO OH a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-37, 37p

Predmety: COMPILERS (Computer programs), EXPERTISE

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Autori: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

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

Predmety: EMPIRICAL research, RESEARCH personnel

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming.

Autori: Tao, Ning Ventresque, Anthony Nallur, Vivek a ďalší

Zdroj: Algorithms; Jul2024, Vol. 17 Issue 7, p287, 20p

Predmety: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

Learning programs with magic values.

Autori: Hocquette, Céline Cropper, Andrew

Zdroj: Machine Learning; May2023, Vol. 112 Issue 5, p1551-1595, 45p

Predmety: MAGIC, INDUCTION (Logic), LOGIC programming, DRUG design

Towards automatic imperative program synthesis through proof planning.

Autori: Stark, J. Ireland, A.

Zdroj: 14th IEEE International Conference on Automated Software Engineering; 1999, p44-51, 8p

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

Autori: Steffen, Bernhard Isberner, Malte Naujokat, Stefan a ďalší

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

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

Automatic heuristic generation with genetic programming: Evolving a jack-of-alltrades or a master of one

Autori: Edmund K Burke Matthew Hyde Graham Kendall a ďalší

Prispievatelia: Edmund K Burke Matthew Hyde Graham Kendall a ďalší

Zdroj: http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf.

Predmety: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958; http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958
http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Parenting Style and Social Media: Impact on Children's Dietary Patterns.

Autori: Dessì, Angelica Petza, Silvia Di Carlo, Alice a ďalší

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3254. 25p.

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

Autori: Grivas, Gerasimos V. Safari, Kousar

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

The Influence of Intensive Nutritional Education on the Iron Status in Infants—Randomised Controlled Study.

Autori: Ilnicka-Borowczyk, Kinga Woźniak, Dagmara Dobrzyńska, Małgorzata a ďalší

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 19, p3103. 16p.

Automatic Heuristic Generation with Genetic Programming: Evolving a Jack-of-all-Trades or a Master of One

Autori: Edmund K. Burke Matthew Hyde Graham Kendall a ďalší

Prispievatelia: Edmund K. Burke Matthew Hyde Graham Kendall a ďalší

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf.

Predmety: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5044; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5044
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf

Handbook of Digital 3D Reconstruction of Historical Architecture

Autori: Sander Münster Fabrizio Ivan Apollonio Ina Bluemel a ďalší

Typ zdroja: eBook.

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

Kategórie: 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