Search Results - (automatizace 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

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

Synthesis of Interface Automata.

Authors: Peled, Doron A. Tsay, Yih-Kuen Bhaduri, Purandar

Source: Automated Technology for Verification & Analysis. 2005, p338-353. 16p.

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

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.

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.

Smartsynth: Synthesizing smartphone automation scripts from natural language

Authors: Vu Le Sumit Gulwani Zhendong Su et al.

Contributors: Vu Le Sumit Gulwani Zhendong Su et al.

Source: http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.pdf.

Subject Terms: General Terms Algorithms, Design, Languages, Human Factors Keywords Program synthesis, natural language processing, smartphone, automation

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4380
http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.pdf

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

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

Smart Water Management: Governance Innovation, Technological Integration, and Policy Pathways Toward Economic and Ecological Sustainability.

Authors: Dai, Yongyu Huang, Zhengwei Khan, Naveed et al.

Source: Water (20734441); Jul2025, Vol. 17 Issue 13, p1932, 22p

Subject Terms: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

Geographic Terms: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Authors: Fred Mesnard Peter J. Stuckey

Resource Type: eBook.

Subjects: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

How fast can you invent a medicine?

Authors: Ashkar, Shireen R. Cernak, Tim

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

Handbook of Digital 3D Reconstruction of Historical Architecture

Authors: Sander Münster Fabrizio Ivan Apollonio Ina Bluemel et al.

Resource Type: eBook.

Subjects: Three-dimensional imaging in architecture--Handbooks, manuals, etc, Historic buildings--Reconstruction--Computer programs--Handbooks, manuals, etc, Digital humanities

Categories: COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, ART / General, COMPUTERS / Image Processing, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, SOCIAL SCIENCE / Archaeology

Abstracts of the 20th Annual Conference of the German Society for Epidemiology (DGEpi) 2025, 23 – 26 September 2025, Münster.

Source: Public Health Forum; 2025, Vol. 33 Issue 1, p1-575, 575p

Subject Terms: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

Geographic Terms: MUNSTER (Germany : Regierungsbezirk), GERMANY

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Authors: Bach, Bao Gia Kundu, Akash Acharya, Tamal et al.

Source: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Subject Terms: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

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

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

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

Subject Terms: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Program synthesis using abstraction refinement

Authors: Isil Dillig Xinyu Wang Rishabh Singh

Source: Proceedings of the ACM on Programming Languages. 2:1-30

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, Programming Languages (cs.PL)

Access URL: http://dl.acm.org/ft_gateway.cfm?id=3158151&type=pdf
http://arxiv.org/abs/1710.07740

The Role of Smart Infrastructure in Residential Water Demand Management: A Global Survey.

Authors: Alzahrani, Ateyah Alogla, Ageel Aljlil, Saad et al.

Source: Water (20734441); Nov2025, Vol. 17 Issue 21, p3119, 43p

Subject Terms: WATER demand management, WATER conservation, INTERNET of things, GLOBAL studies, DIGITAL technology, WATER shortages, ARTIFICIAL intelligence, RESIDENTIAL water consumption