Výsledky vyhľadávania - (automation OR (automaticky OR automatic)) programming— program synthesis general terms algorithms~

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

Autori: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a ďalší

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

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Autori: Grivas, Gerasimos V. Safari, Kousar

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

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

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

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

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

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

Popis súboru: 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

Dostupnosť: 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

Formal and Adaptive Methods for Automation of Parallel Programs Construction : Emerging Research and Opportunities

Autori: Anatoliy Doroshenko Olena Yatsenko

Typ zdroja: eBook.

Predmet: Parallel programming (Computer science), Automatic programming (Computer science)

Kategórie: COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Programming / Algorithms

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

Autori: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. a ďalší

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

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

Autori: Dessì, Angelica Petza, Silvia Di Carlo, Alice a ďalší

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

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

Autori: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar a ďalší

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

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

Learning Programs from Traces Using Version Space Algebra

Autori: Tessa Lau Pedro Domingos Daniel S. Weld a ďalší

Prispievatelia: Tessa Lau Pedro Domingos Daniel S. Weld a ďalší

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

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

Popis súboru: 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

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

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 I

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autori: FERENCZ, Endre GOLDSCHMIDT, Balázs

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

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

Advanced Techniques for the Creation and Propagation of Modules

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

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

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

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

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

Popis súboru: 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

Dostupnosť: 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

Towards Identifying Populations that Increase the Likelihood of

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

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

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

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

Popis súboru: 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

Dostupnosť: 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

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

Autori: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai a ďalší

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

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

Algorithmic Foundations for Social Advancement

Autori: Shin-ichi Minato Takeaki Uno Norihito Yasuda a ďalší

Typ zdroja: eBook.

Predmet: Algorithms, Automatic differentiation

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

Goals as reward-producing programs.

Autori: Davidson, Guy Todd, Graham Togelius, Julian a ďalší

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

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

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

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

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

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

Autori: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo a ďalší

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

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

Autori: Gu, Xin Krish, Muralee Sohail, Shaleeza a ďalší

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

Predmety: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving