Výsledky vyhľadávania - ((automatic OR automatically) 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

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

Autori: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen a ďalší

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

Predmety: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

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

On Program Synthesis and Large Language Models.

Autori: Hüttel, Hans

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

Predmety: COMPUTER programming, ARTIFICIAL intelligence, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER science

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

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autori: FERENCZ, Endre GOLDSCHMIDT, Balázs

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

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

Chemical classification program synthesis using generative artificial intelligence.

Autori: Mungall, Christopher J. Malik, Adnan Korn, Daniel R. a ďalší

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

Predmety: GENERATIVE artificial intelligence, CHEMINFORMATICS, KNOWLEDGE transfer, CHEMOTAXONOMY, ARTIFICIAL intelligence, MOLECULAR structure, BIOINFORMATICS

Towards neural-network-guided program synthesis and verification.

Autori: Kobayashi, Naoki Sekiyama, Taro Sato, Issei a ďalší

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

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

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.

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

MP: motion program synthesis with machine learning interpretability and knowledge graph analogy.

Autori: Cai, Cheng-Hao

Zdroj: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-40, 40p

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

Autori: Ziegler, Albert Shiani, Maryam Wengler, Diana a ďalší

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

Predmety: STEM education, EDUCATIONAL cooperation, THEMATIC analysis, CLASSIFICATION, SCHOOL environment, INTERDISCIPLINARY education, COALITIONS

Artificial Intelligence for Quality Defects in the Automotive Industry: A Systemic Review.

Autori: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime a ďalší

Zdroj: Sensors (14248220); Mar2025, Vol. 25 Issue 5, p1288, 39p

Predmety: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

Algorithmic program synthesis: introduction.

Autori: Bodik, Rastislav Jobstmann, Barbara

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

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

Global Research Trends and Thematic Development on the Biological Protective Effects of Boron: A Comprehensive Bibliometric Analysis (1990-2025).

Alternate Title: Borun Biyolojik Koruyucu Etkileri Üzerine Küresel Araştırma Eğilimleri ve Tematik Gelişmeler: Kapsamlı Bir Bibliyometrik Analiz (1990-2025).

Autori: Aşkın TEKİN¹ askin.tekin@giresun.edu.tr

Zdroj: Journal of Anatolian Environmental & Animal Science. 2025, Vol. 10 Issue 6, p844-860. 17p.

SOAR: A Synthesis Approach for Data Science API Refactoring.

Autori: Ansong Ni Ramos, Daniel Yang, Aidan Z. H. a ďalší

Zdroj: ICSE: International Conference on Software Engineering; 5/22/2021, p112-124, 13p

Predmety: DATA science, SOFTWARE engineering, SOFTWARE libraries (Computer programming), ARTIFICIAL intelligence, COMPUTER software development