Výsledky vyhľadávania - (automation OR avtomatizacija) programming– program synthesis general terms experimentation*

How fast can you invent a medicine?

Autori: Ashkar, Shireen R. Cernak, Tim

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

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

Autori: Gu, Xin Krish, Muralee Sohail, Shaleeza a ďalší

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

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

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

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

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

Predmety: EMPIRICAL research, RESEARCH personnel

The Liver Meeting: 2025 Abstracts.

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

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

Autori: Isil Dillig Serdar Tasiran

Typ zdroja: eBook.

Predmet: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

A Flexible and General-Purpose Platform for Heterogeneous Computing.

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

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

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

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

Autori: Ayandibu, Elizabeth Oluwakemi

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

Autori: Bach, Bao Gia Kundu, Akash Acharya, Tamal a ďalší

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

Predmety: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

Abstracts of the 19th European Congress of Psychology.

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

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

Autori: Mounce, Stephen Mounce, Richard Boxall, Joby

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

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

Autori: Deepika, Deepika Bharti, Kanchan Sharma, Shubh a ďalší

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

Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

Autori: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell a ďalší

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

ISEV2025 Abstract Book.

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

ASPA 25th Congress Book of Abstract.

Autori: De Palo, Pasquale (AUTHOR)

Zdroj: Italian Journal of Animal Science. Jun2023 Supplement 1, Vol. 22, p1-320. 320p.

Challenging Cognitive Load Theory: The Role of Educational Neuroscience and Artificial Intelligence in Redefining Learning Efficacy.

Autori: Gkintoni, Evgenia Antonopoulou, Hera Sortwell, Andrew a ďalší

Zdroj: Brain Sciences (2076-3425); Feb2025, Vol. 15 Issue 2, p203, 101p

Predmety: INSTRUCTIONAL systems, ARTIFICIAL intelligence, RECURRENT neural networks, GALVANIC skin response, ALGORITHMIC bias, COGNITIVE learning theory

Hybrid Quality-Based Recommender Systems: A Systematic Literature Review †.

Autori: Sabiri, Bihi Khtira, Amal El Asri, Bouchra a ďalší

Zdroj: Journal of Imaging; Jan2025, Vol. 11 Issue 1, p12, 66p

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

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Evolutionary computation in zoology and ecology.

Autori: BOONE, Randall B.¹ Randall.Boone@ColoState.edu

Zdroj: Current Zoology. 2017, Vol. 63 Issue 6, p675-686. 12p.

Predmet: Evolutionary computation, Zoology, Ecology, Multiagent systems, Genetic algorithms

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

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

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

Automated Weather Classification using Transfer Learning.

Autori: Vallabhaneni, Nagalakshmi K., Vaibhav Preetham, K. a ďalší

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

Predmety: CLIMATIC classification, MACHINE learning, DEEP learning, CONVOLUTIONAL neural networks, WEB development