Výsledky vyhledávání - Program Synthesis Keywords Program Synthesis

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

Effective Secondary Science Programs: A Best-Evidence Synthesis

Autoři: Society for Research on Educational Effectiveness (SREE) Cheung, Alan Slavin, Robert E. a další

Zdroj: Society for Research on Educational Effectiveness. 2016.

Peer Reviewed: Y

Page Count: 7

Descriptors: Secondary School Science, Science Programs, Middle School Students, High School Students, Program Effectiveness, Science Instruction, Science Achievement, Educational Research, Quasiexperimental Design, Randomized Controlled Trials, Synthesis, Faculty Development, Technology Uses in Education, Teaching Models

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

Program Synthesis

Autoři: Sumit Gulwani Oleksandr Polozov Rishabh Singh

Resource Type: eBook.

Categories: COMPUTERS / Languages / General

Chemical classification program synthesis using generative artificial intelligence.

Autoři: Mungall, Christopher J. Malik, Adnan Korn, Daniel R. a další

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

Témata: GENERATIVE artificial intelligence, CHEMINFORMATICS, KNOWLEDGE transfer, CHEMOTAXONOMY, ARTIFICIAL intelligence, MOLECULAR structure, BIOINFORMATICS

Towards neural-network-guided program synthesis and verification.

Autoři: Kobayashi, Naoki Sekiyama, Taro Sato, Issei a další

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

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

A Meta-Synthesis of Teacher Training Studies in the Focus of Gifted Education

Autoři: Sahin, Çigdem Çelik (ORCID 0000-0003-4118-2325)

Zdroj: International Journal of Progressive Education. 2021 17(1):97-110.

Peer Reviewed: Y

Page Count: 14

Descriptors: Teacher Education Programs, Inservice Teacher Education, Preservice Teacher Education, Elementary Secondary Education, Gifted Education, Talent, Professional Development, Program Effectiveness, Student Needs, Disproportionate Representation, Educational Practices, Data Collection, Research Methodology, Educational Research, Knowledge Level, Educational Needs, Teacher Attitudes

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus.

Autoři: Marinho Rocha, Filipe Dutra, Inês Santos Costa, Vítor a další

Zdroj: Intelligenza Artificiale; Aug2025, Vol. 19 Issue 2, p85-101, 17p

Témata: LOGIC programming, GENERALIZATION, ARTIFICIAL intelligence, INDUCTION (Logic), DOMAIN-specific programming languages, COGNITIVE ability

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

Autoři: Limin Jia Ruben Martins Yoshiki Takashima a další

Zdroj: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :899-913

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3453483.3454084
https://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#TakashimaM0P21
https://pldi21.sigplan.org/details/pldi-2021-papers/59/SyRust-Automatic-Testing-of-Rust-Libraries-with-Semantic-Aware-Program-Synthesis
https://dl.acm.org/doi/pdf/10.1145/3453483.3454084
https://doi.org/10.1145/3453483.3454084

Identifying the Components of Inclusive Leadership in Education: A Study Using Synthesis Research.

Autoři: Khakvatan, Maryam. Atalou, Jahangir. Yari Haj Heris, Zarrin. Daneshvar

Zdroj: International Journal of Innovation Management & Organizational Behavior. 2025, Vol. 5 Issue 1, p86-96. 11p.

Témata: *INCLUSIVE leadership, *ORGANIZATIONAL behavior, AFFIRMATIVE action programs in education, EDUCATIONAL leadership, SCHOOL environment

The Proliferation of Lesson Study for English Language Teachers: A Meta-Synthesis Study

Autoři: Baysal, Hülya Bümen, Nilay T.

Zdroj: International Journal of Curriculum and Instructional Studies. 2021 11(2):261-286.

Peer Reviewed: Y

Page Count: 26

Descriptors: Language Teachers, English (Second Language), Second Language Instruction, Communities of Practice, Foreign Countries, Faculty Development, Program Effectiveness, Program Implementation, Barriers, Program Development, Teacher Attitudes

Geografický termín: Turkey

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

A Meta-Synthesis Study in Interactive Learning Environments: Digital Games in Health Education

Autoři: Hacer Efe Ünsal Umdu Topsakal

Zdroj: Interactive Learning Environments. 2024 32(4):1319-1329.

Peer Reviewed: Y

Page Count: 11

Descriptors: Interaction, Educational Technology, Video Games, Health Education, Technology Uses in Education, Knowledge Level, Student Motivation, Student Attitudes, Self Efficacy, Self Concept, Usability, Experience, Program Effectiveness, Age Differences, Intellectual Disciplines, Research Methodology

Exploring Trends in 21st Century Canadian K-12 French as a Second Language Research: A Research Synthesis

Autoři: Arnott, Stephanie Masson, Mimi Lapkin, Sharon

Zdroj: Canadian Journal of Applied Linguistics / Revue canadienne de linguistique appliquée. 2019 22(1):60-84.

Peer Reviewed: Y

Page Count: 25

Descriptors: Foreign Countries, Second Language Instruction, Second Language Learning, French, Educational Trends, Educational Research, Immersion Programs, Elementary Secondary Education, Literacy, Bilingualism, Multiple Literacies, Student Characteristics, Instructional Effectiveness, Grammar, Phonological Awareness, Metalinguistics, Immigrants, Gender Differences

Geografický termín: Canada

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

Program Synthesis with Best-First Bottom-Up Search.

Autoři: Ameen, Saqib Lelis, Levi H. S.

Zdroj: Journal of Artificial Intelligence Research; 2023, Vol. 77, p1275-1310, 36p

Témata: DOMAIN-specific programming languages, TASK performance, SEARCH algorithms, EMPIRICAL research, COST functions

History-driven test program synthesis for JVM testing.

Autoři: Zhao, Yingquan Wang, Zan Chen, Junjie a další

Zdroj: ICSE: International Conference on Software Engineering; 2022, p1133-1144, 12p

Témata: JAVA programming language, ROBUST statistics, SEMANTICS, COMPILERS (Computer programs), COMPUTER software

Program synthesis using natural language

Autoři: Sailesh R Sumit Gulwani Vineet Hingorani a další

Zdroj: Proceedings of the 38th International Conference on Software Engineering. :345-356

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1509.00413
http://arxiv.org/abs/1509.00413
http://ieeexplore.ieee.org/document/7886916/
https://dl.acm.org/doi/pdf/10.1145/2884781.2884786
https://doi.org/10.1145/2884781.2884786
https://www.microsoft.com/en-us/research/publication/program-synthesis-using-natural-language-2/
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/NLPSynthesis.pdf
https://research.microsoft.com/en-us/um/people/sumitg/pubs/icse16.pdf

Program synthesis algorithm based on context consistency heuristic.

Autoři: Dou, Quansheng Pan, Hao Tang, Huanling a další

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

面向航天控制软件智能合成技术评价方法. (Chinese)

Alternate Title: Evaluation Methods for Intelligent Synthesis Technology of Aerospace Control Software. (English)

Autoři: 王鹤然 赵 明 董晓刚 a další

Zdroj: Chinese Journal of Space Science; 2025, Vol. 45 Issue 3, p847-865, 19p

Témata: ARTIFICIAL intelligence, PEARSON correlation (Statistics), EVALUATION methodology, AEROSPACE technology, COMPUTER software development