Search Results - (automation OR avtomatizacija) 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

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.

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

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.

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

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

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

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

Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

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

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

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 Flexible and General-Purpose Platform for Heterogeneous Computing.

Authors: Garcia-Hernandez, Jose Juan Morales-Sandoval, Miguel Elizondo-Rodríguez, Erick

Source: Computation; May2023, Vol. 11 Issue 5, p97, 15p

Subject Terms: DEEP learning, COMPUTING platforms, HETEROGENEOUS computing, BIG data, DATA science

The impact of artificial intelligence on remote healthcare: Enhancing patient engagement, connectivity, and overcoming challenges.

Authors: Chaturvedi, Udit Chauhan, Shikha Baghel Singh, Indu

Source: Intelligent Pharmacy; Oct2025, Vol. 3 Issue 5, p323-329, 7p

Promises and perils of generative artificial intelligence: a narrative review informing its ethical and practical applications in clinical exercise physiology.

Authors: Lederman, Oscar Llana, Alessandro Murray, James et al.

Source: BMC Sports Science, Medicine & Rehabilitation; 5/26/2025, Vol. 17 Issue 1, p1-11, 11p

Subject Terms: GENERATIVE artificial intelligence, PATHOLOGICAL physiology, EXERCISE physiology, DATA privacy, ARTIFICIAL intelligence

Foundations of Trusted Autonomy

Authors: Hussein A. Abbass Jason Scholz Darryn J. Reid

Resource Type: eBook.

Subjects: Electronics, Automation, Computer algorithms, Microelectronics, Robotics, Algorithms, Engineering, Computer science--Mathematics, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Electronics / General, MATHEMATICS / Numerical Analysis

HAZOP, FMECA, monitoring algorithm, and Bayesian network integrated approach for an exhaustive risk assessment and real‐time safety analysis: Case study.

Authors: Nehal, Naima Mekkakia‐Mehdi, Mokhtaria Lounis, Zakia et al.

Source: Process Safety Progress; Dec2024, Vol. 43 Issue 4, p784-813, 30p

Subject Terms: BAYESIAN analysis, FAILURE mode & effects analysis, PETROLEUM chemicals industry, RISK assessment, FURNACES

3D Printed EM Lens Focusing Antenna Design for Location-Based Services in 5G/6G Systems: Complexity Reduction and Performance Improvement.

Authors: Shaikh, Muneer Ahmed Khuhro, Mansoor Ahmed Shaikh, Sarmad Ahmed et al.

Source: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 12, p142-153, 12p

From Physically Based to Generative Models: A Survey on Underwater Image Synthesis Techniques.

Authors: Barbosa, Lucas Amparo Apolinario Jr., Antonio Lopes

Source: Journal of Imaging; May2025, Vol. 11 Issue 5, p161, 27p

A Systematic Review of Digital Applications Accuracy for Calculating and Assessing Nutritional Status of Children Under Five Years.

Alternate Title: Tinjauan Pustaka Sistematis Analisis Akurasi Aplikasi Digital dalam Perhitungan dan Penilaian Status Gizi Anak di Bawah Lima Tahun. (Indonesian)

Authors: Kurniawan, Dedik Wirawan, Nia Novita Tolle, Herman

Source: Amerta Nutrition; Sep2025, Vol. 9 Issue 3, p545-556, 12p

Answer Set Programming for Regular Inference

Authors: Wojciech Wieczorek Tomasz Jastrzab Olgierd Unold

Source: Applied Sciences, Vol 10, Iss 21, p 7700 (2020)

Subject Terms: answer set programming, non-deterministic automata induction, grammatical inference, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/10/21/7700; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/e5ea278b1a864866ad0b378de4bebd72