Suchergebnisse - (automatic OR automatische) programming– program synthesis general terms experimentation~

The reliability of confidence intervals for computational effort comparisons

Autoren: Matthew Walker Howard Edwards Chris Messom et al.

Weitere Verfasser: Matthew Walker Howard Edwards Chris Messom et al.

Quelle: http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Experimentation, Measurement, Performance Keywords Genetic Programming, Computational Effort, Confidence Intervals, Wilson’s Method

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706
http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

Jungloid Mining: Helping to Navigate the API Jungle

Autoren: David Mandelin Lin Xu Rastislav Bodík et al.

Weitere Verfasser: David Mandelin Lin Xu Rastislav Bodík et al.

Quelle: http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf.

Schlagwörter: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415; http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415
http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Autoren: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Quelle: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Schlagwörter: EMPIRICAL research, RESEARCH personnel

Partial bounding for recursive function synthesis.

Autoren: Farzan, Azadeh Nicolet, Victor

Quelle: Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p172-205, 34p

Schlagwörter: COMPUTABLE functions, RECURSIVE functions, SKELETON

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.

Autoren: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Quelle: Software: Practice & Experience; May2022, Vol. 52 Issue 5, p1294-1304, 11p

Schlagwörter: INTEGERS, GENETIC algorithms, EMPIRICAL research, ONE-way analysis of variance, GENETIC models, LOSSLESS data compression

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Autoren: Bach, Bao Gia Kundu, Akash Acharya, Tamal et al.

Quelle: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Schlagwörter: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

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

Abstract Jungloid Mining: Helping to Navigate the API Jungle ∗

Autoren: David Mandelin Lin Xu Rastislav Bodík et al.

Weitere Verfasser: David Mandelin Lin Xu Rastislav Bodík et al.

Quelle: http://www.cs.berkeley.edu/~bodik/research/pldi05-prospector.pdf.

Schlagwörter: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.783
http://www.cs.berkeley.edu/~bodik/research/pldi05-prospector.pdf

An abstraction-based genetic programming system

Autoren: Franck Binard Amy Felty The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Franck Binard Amy Felty The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—lambda calculus and related systems General Terms Experimentation, Languages, Theory Keywords genetic programming

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2080; http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2080
http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf

Towards Porting Operating Systems with Program Synthesis.

Autoren: JINGMEI HU LU, ERIC HOLLAND, DAVID A. et al.

Quelle: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-70, 70p

Schlagwörter: HARBORS, MOORE'S law, LANGUAGE ability, SYSTEMS software

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

Neutrality and Variability: Two Sides of Evolvability in Linear Genetic Programming ABSTRACT

Autoren: Ting Hu Wolfgang Banzhaf The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ting Hu Wolfgang Banzhaf The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.mun.ca/~banzhaf/papers/gecco09-1.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming, Program Synthesis General Terms Experimentation, Measurement, Performance Keywords Evolvability, Rate of Evolution, Neutrality, Variability

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.9124
http://www.cs.mun.ca/~banzhaf/papers/gecco09-1.pdf

ESICM LIVES 2025.

Quelle: Intensive Care Medicine Experimental; 11/23/2025, Vol. 13 Issue 1, p1-863, 863p

Schlagwörter: HALLUCINATIONS, NATURAL language processing, NEUROBEHAVIORAL disorders, CRITICALLY ill patient care, ANTIPSYCHOTIC agents, KETAMINE, INTENSIVE care units

Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

Autoren: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell et al.

Quelle: Neurosymbolic Artificial Intelligence; 10/08/2025, Vol. 1, p1-34, 34p

ISEV2025 Abstract Book.

Quelle: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

The Liver Meeting: 2025 Abstracts.

Quelle: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Adaptive Personalized Learning System with Generative AI.

Autoren: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Quelle: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Schlagwörter: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

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