Suchergebnisse - (automatische OR automatically) programming—program transformation general terms algorithms~

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)

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

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

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

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

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

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

Today's TBB

Autoren: Michael J. Voss James R. Reinders

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

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

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

Online vibration state identification of multi-rigid-body system based on self-healing model.

Autoren: Wang, Guoyu Tian, Yang Hou, Chunming et al.

Quelle: Scientific Reports; 12/30/2024, Vol. 14 Issue 1, p1-12, 12p

Schlagwörter: NUMERICAL control of machine tools, MECHANICAL models, SYSTEM identification, ARTIFICIAL intelligence, IMAGE processing

Multi-Scale Information Collaborative Management Method in Hierarchical Construction Projects Based on Building Information Modeling.

Autoren: Zhao, Xuefeng Yan, Wenkai Xia, Yu et al.

Quelle: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 24, p12053, 29p

Schlagwörter: BUILDING information modeling, INFORMATION resources management, CONSTRUCTION projects, DATA management, INFORMATION modeling, CONSTRUCTION project management

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

A Program Testing Assistant.

Autoren: Chapman, David

Quelle: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p

Schlagwörter: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

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

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

A Short Cut to Optimal Sequences.

Autoren: Morihata, Akimasa

Quelle: New Generation Computing; Jan2011, Vol. 29 Issue 1, p31-59, 29p

Schlagwörter: ALGORITHMS, PROGRAM transformation, COMPUTER programming, COMPUTER software, COMPUTER science

European Journal of Preventive Cardiology.

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

Intelligent Character Recognition System Using Convolutional Neural Network.

Autoren: Suriya, S. S., Dhivya M., Balaji

Quelle: EAI Endorsed Transactions on Cloud Systems; 2020, Vol. 6 Issue 19, p1-25, 25p

Schlagwörter: PATTERN recognition systems, CLASSIFICATION algorithms, CONVOLUTIONAL neural networks, ARTIFICIAL neural networks, NEURAL computers