Search Results - (automatizacia OR automatically) programming— program synthesis general terms experimentation

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

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

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

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

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

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

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

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

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

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

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

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

Subject Terms: GENETIC programming, BENCHMARK problems (Computer science), POPULATION statistics, RANDOM sets, PROBLEM solving

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

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

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

Authors: Viktor Vafeiadis

Resource Type: eBook.

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

Authors: Stephanie Weirich

Resource Type: eBook.

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

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

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

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

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

ESICM LIVES 2025.

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

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

Authors: Mounce, Stephen Mounce, Richard Boxall, Joby

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

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

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

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

Subject Terms: THERMAL shock, GENE expression, MAMMALIAN embryos, HEAT shock proteins, CELL death, EMBRYOLOGY, EPIBLAST

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

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

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

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

ASPA 25th Congress Book of Abstract.

Authors: De Palo, Pasquale (AUTHOR)

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

Maternal Behavior in Beef Cattle: The Physiology, Assessment and Future Directions—A Review.

Authors: Nevard, Rory P. Pant, Sameer D. Broster, John C. et al.

Source: Veterinary Sciences. Jan2023, Vol. 10 Issue 1, p10. 25p.