Suchergebnisse - (automatizacia OR automatically) programming— program synthesis general terms experimentation*

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

Autoren: Turnbull, Kaitlin Woods-Lee, Georgiana R. T. Flanagan, John et al.

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

Towards Porting Operating Systems with Program Synthesis.

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

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

Schlagwörter: HARBORS, MOORE'S law, LANGUAGE ability, SYSTEMS software

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

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

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

Schlagwörter: EMPIRICAL research, RESEARCH personnel

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

Autoren: Meneses, Javier A. M. Nascimento, Karolina B. Galvão, Matheus Castilho et al.

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

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

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

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

Schlagwörter: 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.

Autoren: Boldi, Ryan Briesch, Martin Sobania, Dominik et al.

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

Schlagwörter: GENETIC programming, BENCHMARK problems (Computer science), POPULATION statistics, RANDOM sets, PROBLEM solving

Partial bounding for recursive function synthesis.

Autoren: Farzan, Azadeh Nicolet, Victor

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

Schlagwörter: COMPUTABLE functions, RECURSIVE functions, SKELETON

MOGE: GP classification problem decomposition using multi-objective optimization

Autoren: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Design, Experimentation. Keywords Genetic Programming, Multi-objective Classification

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631
http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

How fast can you invent a medicine?

Autoren: Ashkar, Shireen R. Cernak, Tim

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

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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

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

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

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

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

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

Schlagwörter: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

An Analysis Of The Concept Of Law And Its Importance In Society And Education Of Jean-Jacques Rousseau.

Autoren: P. P., Yathukrishna Neena, T. S.

Quelle: Journal of Advanced Zoology. 2024, Vol. 45 Issue 2, p42-44. 3p.

ESICM LIVES 2025.

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

Schlagwörter: 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.

Autoren: Mounce, Stephen Mounce, Richard Boxall, Joby

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

Schlagwörter: 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.

Autoren: Intawicha, Payungsuk Sonsiri, Kamonthip Yang, Chun-Ru et al.

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

Schlagwörter: THERMAL shock, GENE expression, MAMMALIAN embryos, HEAT shock proteins, CELL death, EMBRYOLOGY, EPIBLAST

ISEV2025 Abstract Book.

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

The Liver Meeting: 2025 Abstracts.

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

Effects of heat stress on global DNA methylation and blood parameters of two strains of laying hens.

Autoren: de Oliveira Boreli, Fernanda Paes Escaliante, Luma Oliveira de Soutello, Ricardo Velludo Gomes et al.

Quelle: Tropical Animal Health & Production. Dec2024, Vol. 56 Issue 9, p1-14. 14p.

ASPA 25th Congress Book of Abstract.

Autoren: De Palo, Pasquale (AUTHOR)

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