Search Results - (automaticky OR automatic) programming— program synthesis general terms algorithms~

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

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

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

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

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

File Description: 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

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

Learning Programs from Traces Using Version Space Algebra

Authors: Tessa Lau Pedro Domingos Daniel S. Weld et al.

Contributors: Tessa Lau Pedro Domingos Daniel S. Weld et al.

Source: http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf.

Subject Terms: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2438; http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2438
http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf

Advanced Techniques for the Creation and Propagation of Modules

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

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

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

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

File Description: application/pdf

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

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

MOGE: GP classification problem decomposition using multi-objective optimization

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

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

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

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

File Description: 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

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

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.

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.

Towards Identifying Populations that Increase the Likelihood of

Authors: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Contributors: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation, Theory. Keywords Population dynamics, initial populations, binomial-3, GP problem difficulty

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8098
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.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

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.

Order-Sorted Generalization

Authors: Alpuente, María Escobar, Santiago Meseguer, José et al.

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Aug2009, Vol. 246, p27-38. 12p.

Subject Terms: Generalization, Algorithms, Mathematical proofs, Automatic theorem proving, Programming languages, Inference (Logic), Computer science

Goals as reward-producing programs.

Authors: Davidson, Guy Todd, Graham Togelius, Julian et al.

Source: Nature Machine Intelligence; Feb2025, Vol. 7 Issue 2, p205-220, 16p

Water Networks Management: Assessment of Heuristic and Exact Approaches for Optimal Valve Location and Operation Settings Schedule.

Authors: Cunha, Maria Marques, João Creaco, Enrico

Source: Water (20734441); Nov2025, Vol. 17 Issue 22, p3249, 32p

Subject Terms: MATHEMATICAL optimization, SIMULATED annealing, ENVIRONMENTAL infrastructure, LEAKAGE, MIXED integer linear programming, OPERATIONS management, DISASTER resilience

A Bibliometric-Systematic Literature Review (B-SLR) of Machine Learning-Based Water Quality Prediction: Trends, Gaps, and Future Directions.

Authors: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo et al.

Source: Water (20734441); Oct2025, Vol. 17 Issue 20, p2994, 36p

Subject Terms: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

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

Authors: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Contributors: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Source: http://www.dcs.bbk.ac.uk/~gmagoulas/t12pap515-lewis.pdf.

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

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.4458
http://www.dcs.bbk.ac.uk/~gmagoulas/t12pap515-lewis.pdf

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Authors: FERENCZ, Endre GOLDSCHMIDT, Balázs

Source: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p

Subject Terms: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

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

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

Automatic- and Transformer-Based Automatic Item Generation: A Critical Review.

Authors: Sommer, Markus Arendasy, Martin

Source: Journal of Intelligence; Aug2025, Vol. 13 Issue 8, p102, 42p

Subject Terms: PSYCHOMETRICS, TEST validity, TRANSFORMER models, CALIBRATION, CRITICAL analysis, UNIVERSITY research

Analysis of Interdependencies in the Characteristics of Graphs of Goals and Tasks of Long-Term Planning Documents.

Authors: Sharafiev, A. F. Lemtyuzhnikova, D. V. Avdeeva, Z. K.

Source: Pattern Recognition & Image Analysis; Sep2025, Vol. 35 Issue 3, p359-375, 17p