Výsledky vyhľadávania - (((automatic OR automatizace) OR automatización) OR automation) programming—program synthesis~

Derivación deductiva de programas funcionales con patrones

Autori: Velázquez Iturbide, Ángel

Thesis Advisors: Cerrada Somolinos, José Antonio

Predmety: Informática

Prístupová URL adresa: http://hdl.handle.net/10803/453220

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autori: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Predmety: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

DEPS: a model- and property-based language for system synthesis problems.

Autori: Yvars, Pierre-Alain Zimmer, Laurent

Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Predmety: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis.

Autori: Chung, Michael Jae-Yoon Cakmak, Maya

Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p

Predmety: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Autori: Porra, Jaana Hirschheim, Rudy Land, Frank a ďalší

Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Predmety: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Autori: Sati, Hisham Schreiber, Urs

Zdroj: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

A Convolutional Neural Network-based Interaction Behavior Analysis and Creativity Evaluation System for Programming Games for 0-6 Years Old Children in Educational Big Data Environment.

Autori: Su, Yuanyuan Sun, Xianda

Zdroj: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127b, p6133-6151, 19p

Predmety: CONVOLUTIONAL neural networks, BEHAVIORAL assessment, BIG data, EARLY childhood education, HUMAN activity recognition, GAMES

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

THE CONTRIBUTION OF TOMSK RESEARCH AND EDUCATIONAL PARK TO DEVELOPMENT OF RESEARCH ON CYBERNATICS IN THE 1950-1960s.

Autori: Sorokin, Alexander N.

Zdroj: International Multidisciplinary Scientific Conference on Social Sciences & Arts SGEM; 2014, p609-616, 8p

Predmety: CYBERNETICS research, TOMSK State University (Siberia, Russia), COMPUTER engineering, TECHNOLOGICAL innovations

Osoby: TARASENKO, F. P., MEDVEDEV, G. A., ZAKREVSKY, A. D., TARASENKO, V. P.

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

Autori: Edmund K Burke Matthew Hyde Graham Kendall a ďalší

Prispievatelia: Edmund K Burke Matthew Hyde Graham Kendall a ďalší

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

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

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

Autori: Edmund K. Burke Matthew Hyde Graham Kendall a ďalší

Prispievatelia: Edmund K. Burke Matthew Hyde Graham Kendall a ďalší

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

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

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

Automatic Verilog Code Generation through Grammatical Evolution

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

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

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

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

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

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

Synthesis of Concurrent Programs for an Atomic Read/Write Model of Computation

Autori: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://theory.lcs.mit.edu/tds/papers/Attie/TOPLAS-2001.pdf.

Predmety: Logic and Formal Languages, Mathematical Logic—temporal logic, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Atomic registers, concurrent programs, program synthesis, specification, temporal logic

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6388
http://theory.lcs.mit.edu/tds/papers/Attie/TOPLAS-2001.pdf

A review of horse welfare literature from 1980 to 2023 with a text mining and topic analysis approach.

Autori: Benedetti, Beatrice Felici, Martina Nanni Costa, Leonardo a ďalší

Zdroj: Italian Journal of Animal Science. Dec2023, Vol. 22 Issue 1, p1095-1109. 15p.

Predmet: Text mining, Horses, Animal welfare, Pets, Pain measurement, Horse breeds

Geografický termín: Europe

Synthesis of fault-tolerant concurrent programs

Autori: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf.

Predmety: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163
http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf

The estimation of Hölderian regularity using genetic programming

Autori: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques a ďalší

Prispievatelia: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques a ďalší

Zdroj: GECCO'10 Proceedings of the 12th annual conference on Genetic and evolutionary computation ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming" ; https://inria.hal.science/inria-00538943 ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming", Jul 2010, Portland Oregon, United States. pp.861-868

Predmety: Signal regularity, Hölder exponent, Genetic Programming, I.2.2 [Artificial Intelligence]: Automatic Programming--program synthesis, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Geografické téma: Portland Oregon, United States

Dostupnosť: https://inria.hal.science/inria-00538943
https://inria.hal.science/inria-00538943/document
https://inria.hal.science/inria-00538943/file/t10fp182-trujillo.pdf

Logic program proportions.

Autori: Antić, Christian

Zdroj: Annals of Mathematics & Artificial Intelligence; Apr2025, Vol. 93 Issue 2, p321-342, 22p

A linear MPC with control barrier functions for differential drive robots.

Autori: Ali, Ali Mohamed Shen, Chao Hashim, Hashim A.

Zdroj: IET Control Theory & Applications (Wiley-Blackwell); Dec2024, Vol. 18 Issue 18, p2693-2704, 12p

Predmety: MOBILE robot control systems, PREDICTIVE control systems, EUCLIDEAN distance, COMPUTATIONAL complexity, PREDICTION models

SedTrace 1.0: a Julia-based framework for generating and running reactive-transport models of marine sediment diagenesis specializing in trace elements and isotopes.

Autori: Du, Jianghui

Zdroj: Geoscientific Model Development; 2023, Vol. 16 Issue 20, p5865-5894, 30p

Predmety: DIAGENESIS, AUTOMATIC differentiation, ISOTOPES, STABLE isotopes, DIFFERENTIAL equations, TRACE elements

Geografický termín: PLOVDIV (Bulgaria)

Plant Intelligent Automation and Digital Transformation : Volume I: Process and Factory Automation

Autori: Swapan Basu

Typ zdroja: eBook.

Predmet: Factories--Technological innovations, Automation, Automatic control--Industrial applications

Kategórie: TECHNOLOGY & ENGINEERING / Power Resources / Electrical