Suchergebnisse - (automation OR automatically) programming— program synthesis general terms algorithms*

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

Autoren: Saber, Takfarinas Tao, Ning

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

Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

Autoren: Shaout, Adnan Ditty, Javid Carr, Kyle

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

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

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

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

Schlagwörter: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

On Program Synthesis and Large Language Models.

Autoren: Hüttel, Hans

Quelle: Communications of the ACM; Jan2025, Vol. 68 Issue 1, p33-35, 3p

Schlagwörter: COMPUTER programming, ARTIFICIAL intelligence, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER science

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

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

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

Schlagwörter: EMPIRICAL research, RESEARCH personnel

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

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

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

Schlagwörter: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

Chemical classification program synthesis using generative artificial intelligence.

Autoren: Mungall, Christopher J. Malik, Adnan Korn, Daniel R. et al.

Quelle: Journal of Cheminformatics; 10/1/2025, Vol. 17 Issue 1, p1-23, 23p

Schlagwörter: GENERATIVE artificial intelligence, CHEMINFORMATICS, KNOWLEDGE transfer, CHEMOTAXONOMY, ARTIFICIAL intelligence, MOLECULAR structure, BIOINFORMATICS

Towards neural-network-guided program synthesis and verification.

Autoren: Kobayashi, Naoki Sekiyama, Taro Sato, Issei et al.

Quelle: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p222-254, 33p

Schlagwörter: ARTIFICIAL neural networks, COMPUTER software correctness, MODEL validation, CODE generators, PREDICATE calculus, CONSTRAINT satisfaction

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

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

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

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

Autoren: Amin, Md Al Hadid, Majed Elomri, Adel et al.

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

Schlagwörter: OPERATING rooms, VALUE-based healthcare, HEURISTIC algorithms, SCHOLARLY method, SURGERY practice, HOSPITAL administration, BIBLIOMETRICS

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

Autoren: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen et al.

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

Schlagwörter: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

How fast can you invent a medicine?

Autoren: Ashkar, Shireen R. Cernak, Tim

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

A Comprehensive Behavioral Dataset for the Abstraction and Reasoning Corpus.

Autoren: LeGris, Solim Vong, Wai Keen Lake, Brenden M. et al.

Quelle: Scientific Data; 8/7/2025, Vol. 12 Issue 1, p1-10, 10p

Schlagwörter: COGNITIVE science, HUMAN behavior, MACHINE learning, VISUAL programming languages (Computer science), ACQUISITION of data, GENERALIZATION

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

Autoren: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo et al.

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

Schlagwörter: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

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

Autoren: DONGKWON LEE WOOSUK LEE HAKJOO OH et al.

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

Schlagwörter: COMPILERS (Computer programs), EXPERTISE

From Integer Programming to Machine Learning: A Technical Review on Solving University Timetabling Problems.

Autoren: Gu, Xin Krish, Muralee Sohail, Shaleeza et al.

Quelle: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p

Schlagwörter: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

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

Autoren: Grivas, Gerasimos V. Safari, Kousar

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

Search-based program synthesis.

Autoren: Alur, Rajeev Singh, Rishabh Fisman, Dana et al.

Quelle: Communications of the ACM; Dec2018, Vol. 61 Issue 12, p84-93, 10p, 1 Illustration

Schlagwörter: COMPUTER programming, COMPUTER input-output equipment, ELECTRONIC information resource searching, INFORMATION retrieval, SEARCH engines, SEARCH algorithms, INPUT-output analysis

Template-based program verification and program synthesis.

Autoren: Srivastava, Saurabh Gulwani, Sumit Foster, Jeffrey S.

Quelle: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p497-518, 22p

Schlagwörter: DESIGN templates, COMPUTER software, SPECTRAL synthesis (Mathematics), AUTOMATION, SEARCH algorithms, COMPUTER network resources

Relationship between training load and recovery rate in artificial intelligence-based sports rehabilitation training.

Autoren: Chen, Tianyi Xian, Yue Chen, Tong

Quelle: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 4, p1-18, 18p

Schlagwörter: ARTIFICIAL intelligence, REHABILITATION, MEDICAL rehabilitation, MACHINE learning, WOUNDS & injuries, TREATMENT programs, EXERCISE intensity