English
Related papers

Related papers: Computer Program Decomposition and Dynamic/Behavio…

200 papers

Computer simulation models are widely used to study complex physical systems. A related fundamental topic is the inverse problem, also called calibration, which aims at learning about the values of parameters in the model based on…

Methodology · Statistics 2024-01-03 Yang Li , Shifeng Xiong

Dynamical decoupling is a central technique in quantum computing for actively suppressing decoherence and systematic imperfections through sequences of single-qubit operations. Conventional sequences typically aim to completely freeze…

Quantum Physics · Physics 2026-03-16 Minh T. P. Nguyen , Maximilian Rimbach-Russ , Stefano Bosco

The time-dependent fields obtained by solving partial differential equations in two and more dimensions quickly overwhelm the analytical capabilities of the human brain. A meaningful insight into the temporal behaviour can be obtained by…

Numerical Analysis · Mathematics 2024-04-04 Miha Rot , Martin Horvat , Gregor Kosec

In this paper, we propose composable part-based manipulation (CPM), a novel approach that leverages object-part decomposition and part-part correspondences to improve learning and generalization of robotic manipulation skills. By…

Robotics · Computer Science 2024-05-10 Weiyu Liu , Jiayuan Mao , Joy Hsu , Tucker Hermans , Animesh Garg , Jiajun Wu

Compositionality is a cognitive mechanism that allows humans to systematically combine known concepts in novel ways. This study demonstrates how artificial neural agents acquire and utilize compositional generalization to describe…

Artificial Intelligence · Computer Science 2026-01-16 Boaz Carmeli , Ron Meir , Yonatan Belinkov

Cross-task generalization is a core challenge in open-world robotic manipulation, and the key lies in extracting transferable manipulation knowledge from seen tasks. Recent in-context learning approaches leverage seen task demonstrations to…

Robotics · Computer Science 2026-05-05 Xitie Zhang , Aming Wu , Yahong Han

An important factor in guaranteeing the quality of a system is developing a conceptual model that reflects the knowledge about its domain as well as knowledge about the functions it has to perform. In software engineering, conceptual…

Software Engineering · Computer Science 2022-06-07 Sabah Al-Fedaghi

Dynamic mode decomposition (DMD) has become a powerful data-driven method for analyzing the spatiotemporal dynamics of complex, high-dimensional systems. However, conventional DMD methods are limited to matrix-based formulations, which…

Systems and Control · Electrical Eng. & Systems 2025-08-05 Ziqin He , Mengqi Hu , Yifei Lou , Can Chen

We present a tractable method for synthesizing arbitrarily large concurrent programs, for a shared memory model with common hardware-available primitives such as atomic registers, compare-and-swap, load-linked/store conditional, etc. The…

Logic in Computer Science · Computer Science 2008-01-14 Paul C. Attie

The process of decomposing a complex system into simpler subsystems has been of interest to computer scientists over many decades, for instance, for the field of distributed computing. In this paper, motivated by the desire to distribute…

Formal Languages and Automata Theory · Computer Science 2019-08-26 Omar al Duhaiby , Jan Friso Groote

The decomposition method which makes the parallel solution of the block-tridiagonal matrix systems possible is presented. The performance of the method is analytically estimated based on the number of elementary multiplicative operations…

Computational Physics · Physics 2015-05-27 P. A. Belov , E. R. Nugumanov , S. L. Yakovlev

The decoupling of multivariate functions is a powerful modeling paradigm for learning multivariate input-output relations from data. For the single-layer case, established CPD-based methods are available, but the multi-layer case remained…

Systems and Control · Electrical Eng. & Systems 2026-04-14 Joppe De Jonghe , Konstantin Usevich , Philippe Dreesen , Mariya Ishteva

Bilevel optimization has been widely used in decision-making process. However, there still lacks an efficient algorithm to determine an optimal solution of a bilevel optimization problem, especially for a large-size problem. To bridge the…

Optimization and Control · Mathematics 2016-05-18 Xuan Liu , Zuyi Li

Usage of multiprocessor and multicore computers implies parallel programming. Tools for preparing parallel programs include parallel languages and libraries as well as parallelizing compilers and convertors that can perform automatic…

Mathematical Software · Computer Science 2022-12-12 Pavel Telegin , Anton Baranov , Boris Shabanov , Artem Tikhomirov

A set of programs for the numerical simulation of the diffusion decomposition processes was developed by using simulation methods, kinetic and particle method. The complex has been validated on the model system Ni-Al by the growth of -phase…

Materials Science · Physics 2022-08-18 A. V. Sagalovych , V. V. Sagalovich , V. N. Chabanovsky

The complexity of software-based systems has increased significantly, especially with regards to capturing requirements along with dependencies among requirements. A conceptual model is a way of thinking about and making sense of the real…

Software Engineering · Computer Science 2023-04-06 Sabah Al-Fedaghi

The Tucker tensor decomposition is a natural extension of the singular value decomposition (SVD) to multiway data. We propose to accelerate Tucker tensor decomposition algorithms by using randomization and parallelization. We present two…

Numerical Analysis · Mathematics 2023-06-12 Rachel Minster , Zitong Li , Grey Ballard

Compositional minimisation can be an effective technique to reduce the state space explosion problem. This technique considers a parallel composition of several processes. In its simplest form, each sequential process is replaced by an…

Logic in Computer Science · Computer Science 2020-12-14 Maurice Laveaux , Tim A. C. Willemse

The tensor-train (TT) decomposition expresses a tensor in a data-sparse format used in molecular simulations, high-order correlation functions, and optimization. In this paper, we propose four parallelizable algorithms that compute the TT…

Numerical Analysis · Mathematics 2021-11-23 Tianyi Shi , Maximilian Ruth , Alex Townsend

This is the second component of a two-part paper dealing with a unification of characteristic mode decomposition. This second part addresses modal tracking and losses and presents several numerical examples for both surface- and…

Classical Physics · Physics 2023-01-04 Mats Gustafsson , Lukas Jelinek , Kurt Schab , Miloslav Capek