Výsledky vyhledávání - ((avtomatizacija OR automatisation) OR automation) programming— program synthesis general terms

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

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

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

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

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

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

Autoři: Grivas, Gerasimos V. Safari, Kousar

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

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

Autoři: Johannsmeier, Lars Schneider, Samuel Li, Yanan a další

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

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

Autoři: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang a další

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

Témata: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

How fast can you invent a medicine?

Autoři: Ashkar, Shireen R. Cernak, Tim

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

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: 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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: 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.

Autoři: Lederman, Oscar Llana, Alessandro Murray, James a další

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

Témata: 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.

Autoři: Gu, Xin Krish, Muralee Sohail, Shaleeza a další

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

Témata: 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.

Autoři: Amin, Md Al Hadid, Majed Elomri, Adel a další

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

Témata: 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.

Autoři: Bousba, Fadia Nouna Elouali, Nadia Benslimane, Sidi Mohammed

Zdroj: 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.

Autoři: Barbosa, Lucas Amparo Apolinario Jr., Antonio Lopes

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

Answer Set Programming for Regular Inference

Autoři: Wojciech Wieczorek Tomasz Jastrzab Olgierd Unold

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

Témata: 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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/e5ea278b1a864866ad0b378de4bebd72

Cognitive-Motor Training Improves Reading-Related Executive Functions: A Randomized Clinical Trial Study in Dyslexia.

Autoři: Ramezani, Mehdi Fawcett, Angela J.

Zdroj: Brain Sciences (2076-3425); Feb2024, Vol. 14 Issue 2, p127, 22p

Témata: EXECUTIVE function, STROOP effect, CLINICAL trials, COGNITIVE processing speed, CHILDREN with dyslexia, MEMORY span

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

Autoři: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

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

Témata: EMPIRICAL research, RESEARCH personnel

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

Autoři: Dai, Yongyu Huang, Zhengwei Khan, Naveed a další

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

Témata: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

Geografický termín: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

Mental Health, AI-based Care Robots and Fair Access to Healthcare.

Autoři: Kropf, Mario

Zdroj: Canadian Journal of Bioethics / Revue canadienne de bioéthique; 2025, Vol. 8 Issue 3, p55-64, 10p

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

Autoři: Shaikh, Muneer Ahmed Khuhro, Mansoor Ahmed Shaikh, Sarmad Ahmed a další

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