Výsledky vyhledávání - Automatic Programming— program synthesis General Terms Design~

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

Autoři: Edmund K Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K Burke Matthew Hyde Graham Kendall a další

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

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

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

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

Autoři: Edmund K. Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K. Burke Matthew Hyde Graham Kendall a další

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

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

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

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

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

Autoři: Swaroopa, Sneha Mukherjee, Rijoy Debnath, Anushka a další

Témata: Computer Science - Hardware Architecture, text

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

Evolving reusable3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://delivery.acm.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8536
https://doi.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92

Evolving reusable 3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3801
http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity: Algorithmic state machine design and automatic theorem proving: Two dual approaches to the same activity

Autoři: Snyers Thayse

Zdroj: IEEE Transactions on Computers. :853-861

Témata: P-functions, binary program synthesis, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, resolution principle, declarative programming, 01 natural sciences, Prolog, Switching theory, application of Boolean algebra, Boolean functions, 0202 electrical engineering, electronic engineering, information engineering, logic design, Theorem proving (deduction, resolution, etc.), binary decision programs

Popis souboru: application/xml

Přístupová URL adresa: https://www.computer.org/csdl/trans/tc/1986/10/01676676.html
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001676676
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000001676676
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1676676
http://www.osti.gov/scitech/biblio/5311132-algorithmic-state-machine-design-automatic-theorem-proving-two-dual-approaches-same-activity
https://dblp.uni-trier.de/db/journals/tc/tc35.html#SnyersT86

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

Autoři: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. a další

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

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

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

Autoři: de la Rubia Ortí, Jose Enrique Bargues-Navarro, Guillermo Privado, Jesús a další

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

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.

The Influence of Intensive Nutritional Education on the Iron Status in Infants—Randomised Controlled Study.

Autoři: Ilnicka-Borowczyk, Kinga Woźniak, Dagmara Dobrzyńska, Małgorzata a další

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 19, p3103. 16p.

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

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

Evolving Reusable 3D Packing Heuristics with Genetic Programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://www.asap.cs.nott.ac.uk/projects/igp/igpPublications/gecco2009.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7574; http://www.asap.cs.nott.ac.uk/projects/igp/igpPublications/gecco2009.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7574
http://www.asap.cs.nott.ac.uk/projects/igp/igpPublications/gecco2009.pdf

Evolving Reusable 3D Packing Heuristics with Genetic Programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://www.cs.nott.ac.uk/%7Emvh/gecco2009.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7527; http://www.cs.nott.ac.uk/%7Emvh/gecco2009.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7527
http://www.cs.nott.ac.uk/%7Emvh/gecco2009.pdf

Automatic Verilog Code Generation through Grammatical Evolution

Autoři: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Industrial Experience with Building a Web Portal Product Line using a Lightweight, Reactive Approach

Autoři: Ulf Pettersson Stan Jarzabek The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ulf Pettersson Stan Jarzabek The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.comp.nus.edu.sg/~stan/PAPERS/Portal.pdf.

Témata: Categories and Subject Descriptors D.2.2 [SOFTWARE ENGINEERING, Design Tools and Techniques, D.2.10 [SOFTWARE ENGINEERING, Design – Representations, D.2.13 [SOFTWARE ENGINEERING, Reusable Software- Domain engineering, D.1.2 [PROGRAMMING TECHNIQUES, Automatic Programming – Program synthesis, General Terms Design, Languages, Experimentation Keywords Web engineering, reuse, software product lines, maintenance, static meta-programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.1340; http://www.comp.nus.edu.sg/~stan/PAPERS/Portal.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.1340
http://www.comp.nus.edu.sg/~stan/PAPERS/Portal.pdf

Alchemy: Transmuting Base Alloy Specifications into Implementations

Autoři: Shriram Krishnamurthi Daniel J. Dougherty Kathi Fisler a další

Přispěvatelé: Shriram Krishnamurthi Daniel J. Dougherty Kathi Fisler a další

Zdroj: http://web.cs.wpi.edu/~dd/publications/fse08.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming, H.2.3 [Database Management, Languages General Terms Design, Languages Keywords Alloy, relational specification, program synthesis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6517; http://web.cs.wpi.edu/~dd/publications/fse08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6517
http://web.cs.wpi.edu/~dd/publications/fse08.pdf

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.

Autoři: Ireland, Andrew Stark, Jamie

Zdroj: Automated Software Engineering; Jan2006, Vol. 13 Issue 1, p65-105, 40p, 4 Charts

Témata: STRUCTURED programming, HEURISTIC programming, COMPUTER programming, PROOF theory -- Data processing, PROGRAMMING languages, STRUCTURED techniques of electronic data processing, AUTOMATIC programming (Computer science)

A Memetic and Reflective Evolution Framework for Automatic Heuristic Design Using Large Language Models.

Autoři: Qi, Fubo Wang, Tianyu Zheng, Ruixiang a další

Zdroj: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8735, 26p

Témata: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming