Search Results - (automatic OR automation) 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.

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

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

Subject Terms: EMPIRICAL research, RESEARCH personnel

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

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

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

Subject Terms: 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.

Authors: Gu, Xin Krish, Muralee Sohail, Shaleeza et al.

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

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

How fast can you invent a medicine?

Authors: Ashkar, Shireen R. Cernak, Tim

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

Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

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

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

ISEV2025 Abstract Book.

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

The Liver Meeting: 2025 Abstracts.

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

Partial bounding for recursive function synthesis.

Authors: Farzan, Azadeh Nicolet, Victor

Source: Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p172-205, 34p

Subject Terms: COMPUTABLE functions, RECURSIVE functions, SKELETON

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.

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

Source: Software: Practice & Experience; May2022, Vol. 52 Issue 5, p1294-1304, 11p

Subject Terms: INTEGERS, GENETIC algorithms, EMPIRICAL research, ONE-way analysis of variance, GENETIC models, LOSSLESS data compression

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

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

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

A Flexible and General-Purpose Platform for Heterogeneous Computing.

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

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

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

Automated Weather Classification using Transfer Learning.

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

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

Subject Terms: 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.

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

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

Immersive Technologies for Inclusive Digital Education: A Systematic Survey.

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

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

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

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

Subject Terms: ARTIFICIAL intelligence, DRUG discovery, MACHINE learning, DATA analytics, DIGITAL technology, DEEP learning

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

Authors: Ayandibu, Elizabeth Oluwakemi

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

Abstracts of the 19th European Congress of Psychology.

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

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

Authors: Kumar, Sanjeev Sai, Siva Chamola, Vinay et al.

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

Towards Porting Operating Systems with Program Synthesis.

Authors: JINGMEI HU LU, ERIC HOLLAND, DAVID A. et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-70, 70p

Subject Terms: HARBORS, MOORE'S law, LANGUAGE ability, SYSTEMS software

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)

Authors: Zambonino Torres, Silvia Carolina Cisneros Basurto, Wilson Edmundo Vega Padilla, Flavio Raúl et al.

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