Suchergebnisse - Automatic Programming— program synthesis General Terms Design

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

Autoren: Edmund K Burke Matthew Hyde Graham Kendall et al.

Weitere Verfasser: Edmund K Burke Matthew Hyde Graham Kendall et al.

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

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

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

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

Autoren: Edmund K. Burke Matthew Hyde Graham Kendall et al.

Weitere Verfasser: Edmund K. Burke Matthew Hyde Graham Kendall et al.

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

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

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

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

Autoren: Swaroopa, Sneha Mukherjee, Rijoy Debnath, Anushka et al.

Index Begriffe: Computer Science - Hardware Architecture, text

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

Evolving reusable3D packing heuristics with genetic programming

Autoren: Sam Allen Edmund K. Burke Matthew Hyde et al.

Weitere Verfasser: Sam Allen Edmund K. Burke Matthew Hyde et al.

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

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

Dateibeschreibung: application/pdf

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

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

Autoren: Sam Allen Edmund K. Burke Matthew Hyde et al.

Weitere Verfasser: Sam Allen Edmund K. Burke Matthew Hyde et al.

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

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

Dateibeschreibung: application/pdf

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

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

Autoren: Snyers Thayse

Quelle: IEEE Transactions on Computers. :853-861

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

Dateibeschreibung: application/xml

Zugangs-URL: 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.

Autoren: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. et al.

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

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

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

Autoren: de la Rubia Ortí, Jose Enrique Bargues-Navarro, Guillermo Privado, Jesús et al.

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

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.

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

Autoren: Ilnicka-Borowczyk, Kinga Woźniak, Dagmara Dobrzyńska, Małgorzata et al.

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

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

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

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

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

Autoren: Sam Allen Edmund K. Burke Matthew Hyde et al.

Weitere Verfasser: Sam Allen Edmund K. Burke Matthew Hyde et al.

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

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

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

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

Autoren: Sam Allen Edmund K. Burke Matthew Hyde et al.

Weitere Verfasser: Sam Allen Edmund K. Burke Matthew Hyde et al.

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

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

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

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

Autoren: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Autoren: Ulf Pettersson Stan Jarzabek The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ulf Pettersson Stan Jarzabek The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Autoren: Shriram Krishnamurthi Daniel J. Dougherty Kathi Fisler et al.

Weitere Verfasser: Shriram Krishnamurthi Daniel J. Dougherty Kathi Fisler et al.

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

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

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

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

Autoren: Ireland, Andrew Stark, Jamie

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

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

Autoren: Qi, Fubo Wang, Tianyu Zheng, Ruixiang et al.

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

Schlagwörter: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming