Suchergebnisse - (automation OR automatizace) programming— program synthesis general terms algorithms*

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

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

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.

Smartsynth: Synthesizing smartphone automation scripts from natural language

Autoren: Vu Le Sumit Gulwani Zhendong Su et al.

Weitere Verfasser: Vu Le Sumit Gulwani Zhendong Su et al.

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

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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 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.

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

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

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

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

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

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

Schlagwörter: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

Geografische Kategorien: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

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

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

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

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

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

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoren: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Schlagworte: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

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

Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code.

Autoren: Michaud, Eric J. Liao, Isaac Lad, Vedang et al.

Quelle: Entropy; Dec2024, Vol. 26 Issue 12, p1046, 32p

Schlagwörter: LANGUAGE models, AUTOENCODERS, FINITE state machines, GENERATIVE pre-trained transformers, ARTIFICIAL intelligence

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

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

Schlagwörter: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

Geografische Kategorien: MUNSTER (Germany : Regierungsbezirk), GERMANY

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

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

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

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

Schlagwörter: MACHINE learning, GRAPH neural networks, LONG short-term memory, TRANSFORMER models, ALGORITHMIC bias