Suchergebnisse - ((automatizacia OR automatically) OR automation) programming—program transformation general terms

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)

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

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

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

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

The MetaCoq Project.

Autoren: Sozeau, Matthieu Anand, Abhishek Boulier, Simon et al.

Quelle: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Schlagwörter: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografische Kategorien: PARIS (France)

Simultaneous optimal system and controller design for multibody systems with joint friction using direct sensitivities.

Autoren: Verulkar, Adwait Sandu, Corina Sandu, Adrian et al.

Quelle: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Autoren: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Quelle: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Schlagwörter: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

Comparing an Artificial Intelligence Planner with Traditional Optimization Methods: A Case Study in the Dairy Industry.

Autoren: Müller, Felipe Martins Schneider, Vanessa Andréia de Araujo, Olinto Cesar Bassi et al.

Quelle: Algorithms; Apr2025, Vol. 18 Issue 4, p219, 31p

Schlagwörter: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

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

Core role-based access control: Efficient implementations by transformations

Autoren: Yanhong A. Liu Chen Wang Michael Gorbovitski et al.

Weitere Verfasser: Yanhong A. Liu Chen Wang Michael Gorbovitski et al.

Quelle: http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf.

Schlagwörter: Systems, Security and Protection—access controls, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Design, Languages, Performance, Security Keywords access control, complexity guarantees, incrementalization, optimization

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.341
http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf

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

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

Equivalent Transformations of Heterogeneous Meta-Programs.

Autoren: Štuikys, Vytautas Damaševičius, Robertas

Quelle: Informatica; 2013, Vol. 24 Issue 2, p315-337, 23p

Schlagwörter: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

DIGITAL DIVIDE AND EMERGENCY REMOTE EDUCATION: RECONSIDERING THE USE OF EDUCATIONAL RADIO DURING THE PANDEMIC.

Autoren: YERSEL, Burcin KALKAN, Basak ER, Fikret et al.

Quelle: Turkish Online Journal of Distance Education (TOJDE); Oct2023, Vol. 24 Issue 4, p238-256, 19p

Schlagwörter: DIGITAL divide, DISTANCE education, COVID-19 pandemic, HABIT, COLLEGE radio stations, INTERACTIVE learning

Automatic Program Specialization for Java

Autoren: Ulrik P. Schultz Julia L. Lawall Charles Consel et al.

Weitere Verfasser: Ulrik P. Schultz Julia L. Lawall Charles Consel et al.

Quelle: http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz.

Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203
http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz

Building Information Modeling and Geographic Information System: Integrated Framework in Support of Facility Management (FM).

Autoren: Congiu, Eleonora Quaquero, Emanuela Rubiu, Giulia et al.

Quelle: Buildings (2075-5309); Mar2024, Vol. 14 Issue 3, p610, 31p

Schlagwörter: BUILDING information modeling, GEOGRAPHIC information systems, FACILITY management, REAL estate management, INFORMATION sharing, CHILDREN'S hospitals, PUBLIC buildings, GATES

Optimizing switching states using a current predictive control algorithm for multilevel cascaded H-bridge converters in solar photovoltaic integration into power grids.

Autoren: An Thi Hoai Thu Anh Tran Hung Cuong

Quelle: International Journal of Electrical & Computer Engineering (2088-8708); Jun2025, Vol. 15 Issue 3, p2726-2734, 9p

Schlagwörter: RENEWABLE energy sources, SOLAR power plants, SOLAR energy, COST functions, PHOTOVOLTAIC power systems

How open innovation specialists contribute to corporate sustainability and responsibility: A latent Dirichlet allocation approach.

Autoren: Culasso, Francesca Giacosa, Elisa Giordino, Daniele et al.

Quelle: Business Ethics, the Environment & Responsibility; Jan2025, Vol. 34 Issue 1, p174-188, 15p

Schlagwörter: SOCIAL responsibility of business, OPEN innovation, SUSTAINABLE development, JOB vacancies, CORPORATE sustainability, ARCHETYPES

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

Research on Some Control Algorithms to Compensate for the Negative Effects of Model Uncertainty Parameters, External Interference, and Wheeled Slip for Mobile Robot.

Autoren: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi et al.

Quelle: Actuators; Jan2024, Vol. 13 Issue 1, p31, 31p

Schlagwörter: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms