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

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

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

Autoři: Qi, Fubo Wang, Tianyu Zheng, Ruixiang a další

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

Témata: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC 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

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing.

Autoři: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen a další

Zdroj: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p725-741, 17p

Témata: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

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

Autoři: Edmund K Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K Burke Matthew Hyde Graham Kendall a další

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

Témata: 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 souboru: 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

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

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.

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

Autoři: Edmund K. Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K. Burke Matthew Hyde Graham Kendall a další

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

Témata: 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 souboru: 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

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

Mapping Collaborations in STEM Education: A Scoping Review and Typology of In-School–Out-of-School Partnerships.

Autoři: Ziegler, Albert Shiani, Maryam Wengler, Diana a další

Zdroj: Education Sciences; Nov2025, Vol. 15 Issue 11, p1513, 24p

Témata: STEM education, EDUCATIONAL cooperation, THEMATIC analysis, CLASSIFICATION, SCHOOL environment, INTERDISCIPLINARY education, COALITIONS

Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis

Autoři: Swaroopa, Sneha Mukherjee, Rijoy Debnath, Anushka a další

Témata: Computer Science - Hardware Architecture, text

URL: http://arxiv.org/abs/2408.02793

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

Evolving reusable3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://delivery.acm.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8536
https://doi.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92

Evolving reusable 3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3801
http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf

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

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

Autoři: Tao, Ning Ventresque, Anthony Nallur, Vivek a další

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

Témata: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

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.

Algorithmic program synthesis: introduction.

Autoři: Bodik, Rastislav Jobstmann, Barbara

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p397-411, 15p

Témata: ALGOL (Computer program language), COMPUTER programming, SPECTRAL synthesis (Mathematics), SYSTEMS design, COMPUTER software correctness, COMPUTER networks

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autoři: FERENCZ, Endre GOLDSCHMIDT, Balázs

Zdroj: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p

Témata: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

Adaptive Ketogenic–Mediterranean Protocol (AKMP) in Real Clinical Practice: 14-Week Pre–Post Cohort Study on Glucolipid Markers and Safety.

Autoři: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. a další

Zdroj: Nutrients. Nov2025, Vol. 17 Issue 22, p3559. 37p.

Dietary Vitamin Intake and Blood Biomarkers in Relation to Muscle Activation in Amyotrophic Lateral Sclerosis: A Cross-Sectional Study.

Autoři: de la Rubia Ortí, Jose Enrique Bargues-Navarro, Guillermo Privado, Jesús a další

Zdroj: Nutrients. Nov2025, Vol. 17 Issue 21, p3345. 16p.