Výsledky vyhledávání - (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.

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

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

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

Autoři: 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

Autoři: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: 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.

Témata: 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 souboru: 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

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

Autoři: Anatoliy Doroshenko Olena Yatsenko

Resource Type: eBook.

Témata: Parallel programming (Computer science), Automatic programming (Computer science)

Categories: COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Programming / Algorithms

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

Autoři: Dessì, Angelica Petza, Silvia Di Carlo, Alice a další

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

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

Autoři: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar a další

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

Témata: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research

Learning Programs from Traces Using Version Space Algebra

Autoři: Tessa Lau Pedro Domingos Daniel S. Weld a další

Přispěvatelé: Tessa Lau Pedro Domingos Daniel S. Weld a další

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

Témata: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors

Popis souboru: 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

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

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

Advanced Techniques for the Creation and Propagation of Modules

Autoři: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: 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.

Témata: 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 souboru: application/pdf

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

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

Autoři: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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

Autoři: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autoři: FERENCZ, Endre GOLDSCHMIDT, Balázs

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

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

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

Autoři: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai a další

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

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

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

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

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

Témata: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization

Popis souboru: application/pdf

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

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

Algorithmic Foundations for Social Advancement

Autoři: Shin-ichi Minato Takeaki Uno Norihito Yasuda a další

Resource Type: eBook.

Témata: Algorithms, Automatic differentiation

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

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

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: 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

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

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

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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

Foundations of Trusted Autonomy

Autoři: Hussein A. Abbass Jason Scholz Darryn J. Reid

Resource Type: eBook.

Témata: Electronics, Automation, Computer algorithms, Microelectronics, Robotics, Algorithms, Engineering, Computer science--Mathematics, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Electronics / General, MATHEMATICS / Numerical Analysis

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

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