Search Results - ((automatización OR automatically) OR automation) programming-program synthesis general terms

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

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

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

Authors: Yvars, Pierre-Alain Zimmer, Laurent

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

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

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

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

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

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

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

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

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

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Authors: Wei-Chuan Wang

Source: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Subject Terms: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Authors: Geriş, Ali

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

Subject Terms: 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.

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

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

Subject Terms: GENETIC code, UNDERGRADUATES, GRAMMAR

MOGE: GP classification problem decomposition using multi-objective optimization

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

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

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

Subject Terms: 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

File Description: 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

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

Hammer for Coq: Automation for Dependent Type Theory.

Authors: Czajka, Łukasz Kaliszyk, Cezary

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

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

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

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

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

ABSTRACTS from other ACM Publications.

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

Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

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

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: 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 Study of Technological Intentionality in C++ and Generative Adversarial Model: Phenomenological and Postphenomenological Perspectives.

Authors: Mykhailov, Dmytro Liberati, Nicola

Source: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p

Subject Terms: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

Energy-Efficient Joint Partitioning and Offloading for Delay-Sensitive CNN Inference in Edge Computing.

Authors: Zha, Zhiyong Yang, Yifei Xia, Yongjun et al.

Source: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p

Subject Terms: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning

A Survey on End-User Robot Programming.

Authors: AJAYKUMAR, GOPIKA STEELE, MAUREEN CHIEN-MING HUANG

Source: ACM Computing Surveys; Nov2022, Vol. 54 Issue 8, p1-36, 36p

Subject Terms: ROBOT programming, INDIVIDUAL needs, HUMAN-robot interaction

IDE augmented with human-learning inspired natural language programming.

Authors: Young, Mitchell Nan, Zifan Shen, Xipeng

Source: ICSE: International Conference on Software Engineering; 2022, p110-114, 5p

Subject Terms: NATURAL language processing, SOURCE code, DATABASES, COMPUTER software, COMPUTER systems

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

Authors: Sagar, D. Saidi Reddy, M.

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

Subject Terms: TELECOMMUNICATION systems, TRAFFIC signs & signals, CELL phones, CRITICAL currents, MOBILE communication systems

European Journal of Preventive Cardiology.

Source: European Journal of Preventive Cardiology; 2024 Supplement, Vol. 31, preceding pi2-i673, 674p

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

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

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