Výsledky vyhledávání - (avtomatizacii OR automation) programming– program synthesis general terms experimentation~

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

Autoři: Ayandibu, Elizabeth Oluwakemi

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

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

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

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

Autoři: Mounce, Stephen Mounce, Richard Boxall, Joby

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

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

Autoři: Deepika, Deepika Bharti, Kanchan Sharma, Shubh a další

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

Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

Autoři: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell a další

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

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

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

Autoři: Madsen, Dag Øivind Toston II, David Matthew

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

Automated Weather Classification using Transfer Learning.

Autoři: Vallabhaneni, Nagalakshmi K., Vaibhav Preetham, K. a další

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

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

Autoři: Awotwe, Samuel Dufera, Amanuel Tafese Yi, Wenhui

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

Immersive Technologies for Inclusive Digital Education: A Systematic Survey.

Autoři: Poggianti, Camilla Chessa, Stefano Pelagatti, Susanna a další

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

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

Autoři: Kodumuru, Reshma Sarkar, Soumavo Parepally, Varun a další

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

Témata: ARTIFICIAL intelligence, DRUG discovery, MACHINE learning, DATA analytics, DIGITAL technology, DEEP learning

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

Autoři: Bach, Bao Gia Kundu, Akash Acharya, Tamal a další

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

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

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

Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review.

Autoři: Matzko, Richard Konur, Savas

Zdroj: Network Modeling & Analysis in Health Informatics & Bioinformatics; 5/3/2024, Vol. 13 Issue 1, p1-23, 23p

Peeping into the Future: Understanding and Combating Generative AI-Based Fake News.

Autoři: Kumar, Sanjeev Sai, Siva Chamola, Vinay a další

Zdroj: Cognitive Computation; Jun2025, Vol. 17 Issue 3, p1-33, 33p

Global Research Trends in Circular Economy: A Bibliometric Analysis in E‐Commerce.

Autoři: Tran, Anh Viet Khoa, Bui Thanh Junça Silva, Ana

Zdroj: Human Behavior & Emerging Technologies; 5/28/2025, Vol. 2025, p1-20, 20p

Non-Invasive Brain-Computer Interfaces: State of the Art and Trends.

Autoři: Edelman, Bradley J. Zhang, Shuailei Schalk, Gerwin a další

Zdroj: IEEE Reviews in Biomedical Engineering; 2025, Vol. 18, p26-49, 24p

Digital Skills and Sustainability in Teacher Training: The Use of AI for Continuous Improvement.

Alternate Title: Competencias Digitales y Sostenibilidad en la Formación Docente: El Uso de la IA para la Mejora Continua. (Spanish)

Autoři: Zambonino Torres, Silvia Carolina Cisneros Basurto, Wilson Edmundo Vega Padilla, Flavio Raúl a další

Zdroj: Data & Metadata; 2025, Vol. 4, p1-25, 25p