Suchergebnisse - (automatizované OR automatic) programming— program synthesis general terms algorithms*

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

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

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

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

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

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

Verfügbarkeit: 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

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

Weitere Verfasser: Tessa Lau Pedro Domingos Daniel S. Weld et al.

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

Schlagwörter: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors

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

Verfügbarkeit: 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

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

Weitere Verfasser: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

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

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Meta-Optimizing Semantic Evolutionary Search Categories and Subject Descriptors I.2.2 [Artificial Intelligence]: Automatic Programming – Program synthesis General Terms

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.metacog.org/papers/gecco07c.pdf.

Schlagwörter: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706; http://www.metacog.org/papers/gecco07c.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706
http://www.metacog.org/papers/gecco07c.pdf

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

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

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

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

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

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

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

Towards Identifying Populations that Increase the Likelihood of

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

Weitere Verfasser: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

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

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

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

Verfügbarkeit: 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.

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

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

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

Order-Sorted Generalization

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

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

Schlagwörter: Generalization, Algorithms, Mathematical proofs, Automatic theorem proving, Programming languages, Inference (Logic), Computer science

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

Autoren: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

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

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

Dateibeschreibung: application/pdf

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

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

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

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

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

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

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoren: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Schlagworte: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Algorithmic Foundations for Social Advancement

Autoren: Shin-ichi Minato Takeaki Uno Norihito Yasuda et al.

Resource Type: eBook.

Schlagworte: Algorithms, Automatic differentiation

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autoren: FERENCZ, Endre GOLDSCHMIDT, Balázs

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

Schlagwörter: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

Goals as reward-producing programs.

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

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

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

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

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

Schlagwörter: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

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 Investigation into Using Genetic Programming as a Means of Inducing Solutions to Novice Procedural Programming Problems

Autoren: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf.

Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms, Algorithms, Experimentation, Theory. Keywords Genetic programming

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7997
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 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: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation