Search Results - ((automatic OR avtomatizacija) OR automation) programming— program synthesis general terms*

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

Authors: Saber, Takfarinas Tao, Ning

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

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

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

Authors: Shaout, Adnan Ditty, Javid Carr, Kyle

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

Authors: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

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

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

Authors: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang et al.

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

Subject Terms: 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.

Authors: Qi, Fubo Wang, Tianyu Zheng, Ruixiang et al.

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

Subject Terms: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

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

Authors: Dessì, Angelica Petza, Silvia Di Carlo, Alice et al.

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

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

Authors: Grivas, Gerasimos V. Safari, Kousar

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

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

Authors: Ilnicka-Borowczyk, Kinga Woźniak, Dagmara Dobrzyńska, Małgorzata et al.

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

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

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

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

Subject Terms: EMPIRICAL research, RESEARCH personnel

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

Authors: Tao, Ning Ventresque, Anthony Nallur, Vivek et al.

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

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

An Asset-Based Examination of Contextual Factors Influencing Nutrition Security: The Case of Rural Northern New England.

Authors: Ryan, Claire H. Morgan, Caitlin Malacarne, Jonathan G. et al.

Source: Nutrients. Jan2025, Vol. 17 Issue 2, p295. 14p.

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

Authors: Edmund K Burke Matthew Hyde Graham Kendall et al.

Contributors: Edmund K Burke Matthew Hyde Graham Kendall et al.

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

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

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

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

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

Authors: Edmund K. Burke Matthew Hyde Graham Kendall et al.

Contributors: Edmund K. Burke Matthew Hyde Graham Kendall et al.

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

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

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

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

Applications and Considerations of Artificial Intelligence in Veterinary Sciences: A Narrative Review.

Authors: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar et al.

Source: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.

Subjects: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research

Impacts of early postpartum behavioral patterns on the fertility and milk production of tropical dairy cows.

Authors: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai et al.

Source: Veterinary World. May2025, Vol. 18 Issue 5, p1109-1126. 18p.

Subjects: Milk yield, Estrus, K-means clustering, Dairy cattle, Lactation, Intelligent sensors, Tropical climate

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

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

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

Goals as reward-producing programs.

Authors: Davidson, Guy Todd, Graham Togelius, Julian et al.

Source: Nature Machine Intelligence; Feb2025, Vol. 7 Issue 2, p205-220, 16p

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

Authors: Johannsmeier, Lars Schneider, Samuel Li, Yanan et al.

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

Synthesis of fault-tolerant concurrent programs

Authors: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Contributors: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Source: http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf.

Subject Terms: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163
http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf

CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection.

Authors: Tang, Yixuan Zeng, Junwei Zhang, Jingxuan et al.

Source: Empirical Software Engineering; Jun2025, Vol. 30 Issue 3, p1-33, 33p