Search Results - (automation OR avtomatizacii) programming— program synthesis general terms algorithms

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

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.

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

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.

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

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

Recent advancement of metaheuristic optimization algorithms-based learning for breast cancer diagnosis: a review.

Authors: Awotwe, Samuel Dufera, Amanuel Tafese Yi, Wenhui

Source: Memetic Computing; Sep2025, Vol. 17 Issue 3, p1-22, 22p

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

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

Authors: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime et al.

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

Subject Terms: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

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

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

Artificial Intelligence (AI) in Surface Water Management: A Comprehensive Review of Methods, Applications, and Challenges.

Authors: Gacu, Jerome G. Monjardin, Cris Edward F. Mangulabnan, Ronald Gabriel T. et al.

Source: Water (20734441); Jun2025, Vol. 17 Issue 11, p1707, 27p

Subject Terms: MACHINE learning, GRAPH neural networks, LONG short-term memory, TRANSFORMER models, ALGORITHMIC bias

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

Artificial Intelligence Applications in Water Treatment and Desalination: A Comprehensive Review.

Authors: Alenezi, Anwur Alabaiadly, Yousef

Source: Water (20734441); Apr2025, Vol. 17 Issue 8, p1169, 28p

Subject Terms: REVERSE osmosis (Water purification), REVERSE osmosis in saline water conversion, DETECTION algorithms, REVERSE osmosis, WATER purification, SYSTEM downtime, SALINE water conversion

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

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

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

Subject Terms: OPERATING rooms, VALUE-based healthcare, HEURISTIC algorithms, SCHOLARLY method, SURGERY practice, HOSPITAL administration, BIBLIOMETRICS

Spatiotemporal Water Quality Assessment in Spatially Heterogeneous Horseshoe Lake, Madison County, Illinois Using Satellite Remote Sensing and Statistical Analysis (2020–2024).

Authors: Tiwari, Anuj Hsuan, Ellen Goswami, Sujata

Source: Water (20734441); Oct2025, Vol. 17 Issue 20, p2997, 27p

Subject Terms: WATER quality, NUTRIENT pollution of water, ENVIRONMENTAL management, SATELLITE-based remote sensing, LAKES, ALGAL blooms, POLLUTION monitoring, STATISTICS

Geographic Terms: ILLINOIS, MADISON County (Ill.)

AI in the healthcare system: Current viewpoint developments.

Authors: Herbert, Ernest Fournier, Dominique

Source: Health Sciences Quarterly; Oct2025, Vol. 5 Issue 4, p599-613, 15p

Program Synthesis using Abstraction Refinement

Authors: Wang, Xinyu Dillig, Isil Singh, Rishabh

Index Terms: Computer Science - Programming Languages, text

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