Search Results - Automatic Programming— program synthesis General Terms Performance

Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis

Authors: Swaroopa, Sneha Mukherjee, Rijoy Debnath, Anushka et al.

Index Terms: Computer Science - Hardware Architecture, text

URL: http://arxiv.org/abs/2408.02793

Modeling the weaning diet of piglets with fermented feed material: effects on growth performance and health parameters.

Authors: Badaras, Sarunas Starkute, Vytaute Mockus, Ernestas et al.

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

Influence of in Ovo Injection of Phytochemicals and Post-Hatch Feeding on Hatching Traits, Physiological Aspects, Productive Performance, Duodenal Morphology, and Digestibility of Broiler Chickens.

Authors: Al-Shammari, Karrar Imad Abdulsahib¹ karrar.al-shammari@atu.edu.iq

Source: Poultry Science Journal. Jun2025, Vol. 13 Issue 2, p215-232. 18p.

Impacts of early postpartum behavioral patterns on the fertility and milk production of tropical dairy cows.

Authors: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai et al.

Source: Veterinary World. May2025, Vol. 18 Issue 5, p1109-1126. 18p.

Subjects: Milk yield, Estrus, K-means clustering, Dairy cattle, Lactation, Intelligent sensors, Tropical climate

Adaptive Ketogenic–Mediterranean Protocol (AKMP) in Real Clinical Practice: 14-Week Pre–Post Cohort Study on Glucolipid Markers and Safety.

Authors: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3559. 37p.

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Authors: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Dietary Vitamin Intake and Blood Biomarkers in Relation to Muscle Activation in Amyotrophic Lateral Sclerosis: A Cross-Sectional Study.

Authors: de la Rubia Ortí, Jose Enrique Bargues-Navarro, Guillermo Privado, Jesús et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 21, p3345. 16p.

Parenting Style and Social Media: Impact on Children's Dietary Patterns.

Authors: Dessì, Angelica Petza, Silvia Di Carlo, Alice et al.

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3254. 25p.

Searching for Novel Clustering Programs

Authors: Enrique Naredo Leonardo Trujillo The Pennsylvania State University CiteSeerX Archives

Contributors: Enrique Naredo Leonardo Trujillo The Pennsylvania State University CiteSeerX Archives

Source: http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Performance, Theory, Experimentation Keywords Novelty Search, Genetic Programming, Clustering

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.5063
http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo.pdf

Antimicrobial susceptibility profiles of Escherichia coli isolates from domestic pigeons in Hungary.

Authors: Kerek, Ádám Szabó, Ábel Jerzsele, Ákos

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

A Behavior-based Analysis of Modal Problems

Authors: Leonardo Trujillo Enrique Naredo Yuliana Martínez et al.

Contributors: Leonardo Trujillo Enrique Naredo Yuliana Martínez et al.

Source: http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo-Spector.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms Performance, Experimentation, Theory Keywords Genetic Programming, Modal Problems, Behaviors, Novelty Search, Semantics

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.5266
http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo-Spector.pdf

Abiotic stressors in poultry production: A comprehensive review.

Authors: Ncho, Chris Major Berdos, Janine I. Gupta, Vaishali et al.

Source: Journal of Animal Physiology & Animal Nutrition. Jan2025, Vol. 109 Issue 1, p30-50. 21p.

Evaluating the interaction response of broiler chickens to in ovo feeding of Citrus aurantiifolia seed extract and its powder supplementation.

Authors: Kpossou, Romario Florent Adjei-Mensah, Benjamin Everaert, Nadia et al.

Source: Italian Journal of Animal Science. Dec2024, Vol. 23 Issue 1, p970-980. 11p.

Subjects: Broiler chickens, Dietary supplements, Oxidant status, Citrus, Body weight, Weight gain

Hepatic transcriptomic analysis reveals differential regulation of metabolic and immune pathways in three strains of chickens with distinct growth rates exposed to mixed parasite infections.

Authors: Oladosu, Oyekunle John Reyer, Henry Weikard, Rosemarie et al.

Source: Veterinary Research. 9/28/2024, Vol. 55 Issue 1, p1-17. 17p.

Subjects: Mixed infections, Antibody titer, Intestinal infections, Weight gain, Gene expression

Physical

Authors: Jon Klein The Pennsylvania State University CiteSeerX Archives

Contributors: Jon Klein The Pennsylvania State University CiteSeerX Archives

Source: http://hampshire.edu/lspector/pubs/unwitting-gecco-2007.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications General Terms Performance Keywords JavaScript, XML, AJAX, Push, PushGP, stack-based genetic programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2369
http://hampshire.edu/lspector/pubs/unwitting-gecco-2007.pdf

Physical

Authors: Jon Klein The Pennsylvania State University CiteSeerX Archives

Contributors: Jon Klein The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1628.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications General Terms Performance Keywords JavaScript, XML, AJAX, Push, PushGP, stack-based genetic programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.164
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1628.pdf

Automatic heuristic generation with genetic programming: Evolving a jack-of-alltrades or a master of one

Authors: Edmund K Burke Matthew Hyde Graham Kendall et al.

Contributors: Edmund K Burke Matthew Hyde Graham Kendall et al.

Source: http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf.

Subject Terms: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958; http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958
http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Automatic Heuristic Generation with Genetic Programming: Evolving a Jack-of-all-Trades or a Master of One

Authors: Edmund K. Burke Matthew Hyde Graham Kendall et al.

Contributors: Edmund K. Burke Matthew Hyde Graham Kendall et al.

Source: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf.

Subject Terms: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5044
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf

Applications and Considerations of Artificial Intelligence in Veterinary Sciences: A Narrative Review.

Authors: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar et al.

Source: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.

Subjects: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research

Synthesis of fault-tolerant concurrent programs

Authors: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Contributors: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Source: http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf.

Subject Terms: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163
http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf