Suchergebnisse - ((automatische OR avtomatizacija) OR automation) programming— program synthesis general terms*

Review and Mapping of Search-Based Approaches for Program Synthesis.

Autoren: Saber, Takfarinas Tao, Ning

Quelle: Information; May2025, Vol. 16 Issue 5, p401, 28p

Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

The Role of Interactive Program Synthesis in the Future of Software Development.

Autoren: Shaout, Adnan Ditty, Javid Carr, Kyle

Quelle: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Autoren: Grivas, Gerasimos V. Safari, Kousar

Quelle: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

A process-centric manipulation taxonomy for the organization, classification and synthesis of tactile robot skills.

Autoren: Johannsmeier, Lars Schneider, Samuel Li, Yanan et al.

Quelle: Nature Machine Intelligence; Jun2025, Vol. 7 Issue 6, p916-927, 12p

AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model.

Autoren: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang et al.

Quelle: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p

Schlagwörter: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

How fast can you invent a medicine?

Autoren: Ashkar, Shireen R. Cernak, Tim

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

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Schlagworte: 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

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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

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

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

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

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

Schlagwörter: GENERATIVE artificial intelligence, PATHOLOGICAL physiology, EXERCISE physiology, DATA privacy, ARTIFICIAL intelligence

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

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

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

Schlagwörter: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

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

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

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

Schlagwörter: OPERATING rooms, VALUE-based healthcare, HEURISTIC algorithms, SCHOLARLY method, SURGERY practice, HOSPITAL administration, BIBLIOMETRICS

Enhancing multimodal interaction in resource-constrained environments: a case study on smart TV control.

Autoren: Bousba, Fadia Nouna Elouali, Nadia Benslimane, Sidi Mohammed

Quelle: Journal on Multimodal User Interfaces; Dec2025, Vol. 19 Issue 4, p375-389, 15p

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

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

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

Answer Set Programming for Regular Inference

Autoren: Wojciech Wieczorek Tomasz Jastrzab Olgierd Unold

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

Schlagwörter: 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

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/e5ea278b1a864866ad0b378de4bebd72

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Autoren: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Quelle: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Schlagwörter: EMPIRICAL research, RESEARCH personnel

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

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

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

Nucleic Acid‐Based Molecular Machines for Biological Applications.

Autoren: Guo, Yirong Zuo, Xiaolei Yin, Fangfei

Quelle: Advanced Nanobiomed Research; Nov2025, Vol. 5 Issue 11, p1-24, 24p

Predictive Model for Managing the Clinical Risk of Emergency Department Patients: A Systematic Review.

Autoren: Rente, Maria João Baptista Mota, Liliana Andreia Neves da João, Ana Lúcia da Silva

Quelle: Journal of Clinical Medicine; Oct2025, Vol. 14 Issue 20, p7245, 28p

Schlagwörter: PREDICTION models, PATIENT safety, HOSPITAL emergency services, MACHINE learning, ARTIFICIAL intelligence, HOSPITAL mortality

The Liver Meeting: 2025 Abstracts.

Quelle: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p