Suchergebnisse - ((automatizacii OR automatically) OR automation) programming-program synthesis general terms*

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

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

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

Autoren: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

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

Schlagwörter: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

Autoren: Yvars, Pierre-Alain Zimmer, Laurent

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

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

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).

Autoren: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

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

Schlagwörter: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

Hammer for Coq: Automation for Dependent Type Theory.

Autoren: Czajka, Łukasz Kaliszyk, Cezary

Quelle: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Behavioral Traces and Player Typologies in Gamified VR: Insights for Adaptive and Inclusive Design.

Autoren: Geriş, Ali

Quelle: Systems; Sep2025, Vol. 13 Issue 9, p739, 23p

Schlagwörter: MOTIVATION (Psychology), IMMERSIVE design, USER-centered system design, UNIVERSAL design

The Impact of Code Bloat on Genetic Program Comprehension: Replication of a Controlled Experiment on Semantic Inference.

Autoren: Kosar, Tomaž Kovačević, Željko Mernik, Marjan et al.

Quelle: Mathematics (2227-7390); Sep2023, Vol. 11 Issue 17, p3744, 20p

Schlagwörter: GENETIC code, UNDERGRADUATES, GRAMMAR

MOGE: GP classification problem decomposition using multi-objective optimization

Autoren: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

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

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

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

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

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

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

A methodological approach to the development of a technological platform for intelligent integrated energy system modelling.

Autoren: Novitsky, N.N. Serttter, B. Chupin, V.R. et al.

Quelle: E3S Web of Conferences; 12/15/2020, Vol. 219, p1-6, 6p

Synthesis: Dream → Programs.

Autoren: Manna, Zohar Waldinger, Richard

Quelle: IEEE Transactions on Software Engineering; Mar79, Vol. 5 Issue 2, p294-328, 35p

Schlagwörter: LISP (Computer program language), PROGRAMMING languages, LIST processing (Electronic computers), SOFTWARE engineering, COMPUTER software

Dynamic Modelling and Optimal Sliding Mode Control of the Wearable Rehabilitative Bipedal Cable Robot with 7 Degrees of Freedom.

Autoren: Sajedifar, A. Korayem, M. H. Allahverdi, F.

Quelle: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p

Evolution of Self-Assembling Patterns in Cellular Automata using Development.

Autoren: ÖZTÜRKERI, CAN JOHNSON, COLIN G.

Quelle: Journal of Cellular Automata; 2011, Vol. 6 Issue 4/5, p257-300, 44p

Schlagwörter: CELLULAR automata, GENETIC programming, MACHINE theory, TURING machines, OPEN source intelligence

AUTOMAT[R]IX: learning simple matrix pipelines.

Autoren: Contreras-Ochando, Lidia Ferri, Cèsar Hernández-Orallo, José

Quelle: Machine Learning; Apr2021, Vol. 110 Issue 4, p779-799, 21p

Schlagwörter: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

Automated Reasoning: Some Successes and New Challenges.

Autoren: Janičić, Predrag

Quelle: Central European Conference on Information & Intelligent Systems; 9/21/2011, p13-22, 10p

Schlagwörter: AUTOMATION, INDUSTRIAL engineering, MECHANIZATION, TECHNOLOGICAL innovations, CREATIVE ability in technology

ABSTRACTS from other ACM Publications.

Quelle: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Schlagwörter: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

A brief review on security issues and counter measure techniques for future generation communication system (LTE/LTE-A).

Autoren: Sagar, D. Saidi Reddy, M.

Quelle: Multimedia Tools & Applications; Feb2024, Vol. 83 Issue 7, p19327-19368, 42p

Schlagwörter: TELECOMMUNICATION systems, TRAFFIC signs & signals, CELL phones, CRITICAL currents, MOBILE communication systems

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autoren: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Schlagwörter: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

Autoren: Du, Jianghui

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

Schlagwörter: DIAGENESIS, AUTOMATIC differentiation, ISOTOPES, STABLE isotopes, DIFFERENTIAL equations, TRACE elements

Geografische Kategorien: PLOVDIV (Bulgaria)