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

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

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

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

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

The Liver Meeting: 2025 Abstracts.

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

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

Partial bounding for recursive function synthesis.

Autori: Farzan, Azadeh Nicolet, Victor

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

Predmety: COMPUTABLE functions, RECURSIVE functions, SKELETON

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

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

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

Autori: Poggianti, Camilla Chessa, Stefano Pelagatti, Susanna a ďalší

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

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

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

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

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

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

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

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

Autori: Kodumuru, Reshma Sarkar, Soumavo Parepally, Varun a ďalší

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

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

Jungloid Mining: Helping To Navigate the API Jungle

Autori: David Mandelin Lin Xu Rastislav Bodík a ďalší

Prispievatelia: David Mandelin Lin Xu Rastislav Bodík a ďalší

Zdroj: http://pag.csail.mit.edu/reading-group/mandelin05jungloids.pdf.

Predmety: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Keywords Experimentation, Languages reuse, program synthesis, mining

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.8442
http://pag.csail.mit.edu/reading-group/mandelin05jungloids.pdf

TREAD: A New Genetic Programming Representation Aimed at Research of Long Term Complexity Growth

Autori: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf.

Predmety: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Algorithms, Design, Experimentation Keywords Artificial Intelligence, Genetic Programming, Representations

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Advanced Techniques for the Creation and Propagation of Modules

Autori: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf.

Predmety: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.6377
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf

The reliability of confidence intervals for computational effort comparisons

Autori: Matthew Walker Howard Edwards Chris Messom a ďalší

Prispievatelia: Matthew Walker Howard Edwards Chris Messom a ďalší

Zdroj: http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf.

Predmety: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Experimentation, Measurement, Performance Keywords Genetic Programming, Computational Effort, Confidence Intervals, Wilson’s Method

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706
http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

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