Suchergebnisse - (automation OR automatizace) programming— program synthesis general terms experimentation~

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

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

Impact of entrepreneurship education on students' understanding of global markets and the productive economy: A literature review.

Autoren: Ayandibu, Elizabeth Oluwakemi

Quelle: International Journal of Research in Business & Social Science; Nov2025, Vol. 14 Issue 8, p661-673, 13p

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Autoren: Bach, Bao Gia Kundu, Akash Acharya, Tamal et al.

Quelle: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Schlagwörter: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

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

AI-Augmented Water Quality Event Response: The Role of Generative Models for Decision Support.

Autoren: Mounce, Stephen Mounce, Richard Boxall, Joby

Quelle: Water (20734441); Nov2025, Vol. 17 Issue 22, p3260, 24p

Schlagwörter: WATER quality, DECISION support systems, DATA management, CLIMATE change, CHATBOTS, PROBABILISTIC generative models, ARTIFICIAL intelligence

Advancing human health risk assessment: the role of new approach methodologies.

Autoren: Deepika, Deepika Bharti, Kanchan Sharma, Shubh et al.

Quelle: Frontiers in Toxicology; 2025, p1-18, 18p

Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

Autoren: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell et al.

Quelle: Neurosymbolic Artificial Intelligence; 10/08/2025, Vol. 1, p1-34, 34p

ISEV2025 Abstract Book.

Quelle: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

The Liver Meeting: 2025 Abstracts.

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

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 II

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

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

ChatGPT and Digital Transformation: A Narrative Review of Its Role in Health, Education, and the Economy.

Autoren: Madsen, Dag Øivind Toston II, David Matthew

Quelle: Digital; Sep2025, Vol. 5 Issue 3, p24, 20p

Automated Weather Classification using Transfer Learning.

Autoren: Vallabhaneni, Nagalakshmi K., Vaibhav Preetham, K. et al.

Quelle: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 3, p4633-4655, 23p

Schlagwörter: CLIMATIC classification, MACHINE learning, DEEP learning, CONVOLUTIONAL neural networks, WEB development

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

Immersive Technologies for Inclusive Digital Education: A Systematic Survey.

Autoren: Poggianti, Camilla Chessa, Stefano Pelagatti, Susanna et al.

Quelle: Human Behavior & Emerging Technologies; 8/22/2025, Vol. 2025, p1-38, 38p

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 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 II

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

Artificial Intelligence and Internet of Things Integration in Pharmaceutical Manufacturing: A Smart Synergy.

Autoren: Kodumuru, Reshma Sarkar, Soumavo Parepally, Varun et al.

Quelle: Pharmaceutics; Mar2025, Vol. 17 Issue 3, p290, 50p

Schlagwörter: ARTIFICIAL intelligence, DRUG discovery, MACHINE learning, DATA analytics, DIGITAL technology, DEEP learning

A Flexible and General-Purpose Platform for Heterogeneous Computing.

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

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

Schlagwörter: DEEP learning, COMPUTING platforms, HETEROGENEOUS computing, BIG data, DATA science

Abstracts of the 19th European Congress of Psychology.

Quelle: European Journal of Psychology Open; 2025 Supplement 1, Vol. 84, p1-692, 692p