Výsledky vyhledávání - (automatización OR automatically) programming— program synthesis general terms experimentation

A Bayesian analysis of variables causally associated with hair cortisol concentration in dogs with obesity.

Autoři: Turnbull, Kaitlin Woods-Lee, Georgiana R. T. Flanagan, John a další

Zdroj: Frontiers in Veterinary Science. 2025, p1-22. 22p.

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

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

Autoři: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

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

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

Informed Down-Sampled Lexicase Selection: Identifying Productive Training Cases for Efficient Problem Solving.

Autoři: Boldi, Ryan Briesch, Martin Sobania, Dominik a další

Zdroj: Evolutionary Computation; Winter2024, Vol. 32 Issue 4, p307-337, 31p

Témata: GENETIC programming, BENCHMARK problems (Computer science), POPULATION statistics, RANDOM sets, PROBLEM solving

Partial bounding for recursive function synthesis.

Autoři: Farzan, Azadeh Nicolet, Victor

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

Témata: COMPUTABLE functions, RECURSIVE functions, SKELETON

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

Towards Porting Operating Systems with Program Synthesis.

Autoři: JINGMEI HU LU, ERIC HOLLAND, DAVID A. a další

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

Témata: HARBORS, MOORE'S law, LANGUAGE ability, SYSTEMS software

Protein supplementation during mid‐gestation affects maternal voluntary feed intake, performance, digestibility, and uterine blood flow of beef cows.

Autoři: Meneses, Javier A. M. Nascimento, Karolina B. Galvão, Matheus Castilho a další

Zdroj: Journal of Animal Physiology & Animal Nutrition. Nov2024, Vol. 108 Issue 6, p1678-1691. 14p.

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

ESICM LIVES 2025.

Zdroj: Intensive Care Medicine Experimental; 11/23/2025, Vol. 13 Issue 1, p1-863, 863p

Témata: HALLUCINATIONS, NATURAL language processing, NEUROBEHAVIORAL disorders, CRITICALLY ill patient care, ANTIPSYCHOTIC agents, KETAMINE, INTENSIVE care units

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

Heat Shock Differentially Compromises Embryonic Development and Gene Expression in a Mouse Embryoid Body Model System.

Autoři: Intawicha, Payungsuk Sonsiri, Kamonthip Yang, Chun-Ru a další

Zdroj: Animals (2076-2615); Nov2025, Vol. 15 Issue 22, p3293, 18p

Témata: THERMAL shock, GENE expression, MAMMALIAN embryos, HEAT shock proteins, CELL death, EMBRYOLOGY, EPIBLAST

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

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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

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

A Flexible and General-Purpose Platform for Heterogeneous Computing.

Autoři: Garcia-Hernandez, Jose Juan Morales-Sandoval, Miguel Elizondo-Rodríguez, Erick

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

Témata: DEEP learning, COMPUTING platforms, HETEROGENEOUS computing, BIG data, DATA science

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

System-level brain modeling.

Autoři: Johansson, Birger Tjøstheim, Trond A. Balkenius, Christian

Zdroj: Frontiers in Computational Neuroscience; 2025, p1-16, 16p

Témata: COGNITIVE ability, HUMAN behavior models, EMPIRICAL research, KNOWLEDGE transfer, NEURAL circuitry, BRAIN mapping, COGNITIVE psychology, SYSTEM of systems