English
Related papers

Related papers: Model-based construction of Open Non-uniform Cylin…

200 papers

Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system.…

Logic in Computer Science · Computer Science 2022-07-05 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We introduce a new adaptive decomposition tool, which we refer to as Nonlinear Mode Decomposition (NMD). It decomposes a given signal into a set of physically meaningful oscillations for any waveform, simultaneously removing the noise. NMD…

Numerical Analysis · Mathematics 2015-10-07 Dmytro Iatsenko , Peter V. E. McClintock , Aneta Stefanovska

In this paper, we prove that the self-dual morphological hierarchical structure computed on a n-D gray-level wellcomposed image u by the algorithm of G{\'e}raud et al. [1] is exactly the mathematical structure defined to be the tree of…

Discrete Mathematics · Computer Science 2022-06-13 Thierry GÉraud , Nicolas Boutry , Sébastien Crozet , Edwin Carlinet , Laurent Najman

The modular decomposition is a technique that applies but is not restricted to graphs. The notion of module naturally appears in the proofs of many graph theoretical theorems. Computing the modular decomposition tree is an important…

Discrete Mathematics · Computer Science 2009-12-10 Michel Habib , Christophe Paul

Addressing the challenge of modular architectural design, this study presents a novel approach through the implementation of a shape grammar system using functional and object-oriented programming principles from computer science. The focus…

Software Engineering · Computer Science 2024-04-24 Rohan Agarwal

We introduce shift algebras as certain crossed product algebras based on general function spaces and study properties, as well as the classification, of a particular class of modules depending on a set of matrix parameters. It turns out…

Quantum Algebra · Mathematics 2022-01-13 Joakim Arnlind , Andreas Sykora

Being inspired by phasor analysis in linear circuit theory, and its algebraic counterpart - the AC-(operational)-calculus for sinusoids developed by W. Marten and W. Mathis - we define a complex structure on several spaces of real-valued…

Classical Analysis and ODEs · Mathematics 2007-09-20 Eberhard H. -A. Gerbracht

We obtain the exact Dirac algebra obeyed by the conserved non-local charges in bosonic non-linear sigma models. Part of the computation is specialized for a symmetry group $O(N)$. As it turns out the algebra corresponds to a cubic…

High Energy Physics - Theory · Physics 2009-10-22 E. Abdalla , M. C. B. Abdalla , J. C. Brunelli , A. Zadra

We expose (without proofs) a unified computational approach to integrable structures (including recursion, Hamiltonian, and symplectic operators) based on geometrical theory of partial differential equations. We adopt a coordinate based…

Exactly Solvable and Integrable Systems · Physics 2012-07-17 Iosif Krasil'shchik , Alexander Verbovetsky , Raffaele Vitolo

Based on results for real deformation parameter q we introduce a compact non- commutative structure covariant under the quantum group SOq(3) for q being a root of unity. To match the algebra of the q-deformed operators with necesarry…

High Energy Physics - Theory · Physics 2008-11-26 B. -D. Doerfel

A deformed differential calculus is developed based on an associative star-product. In two dimensions the Hamiltonian vector fields model the algebra of pseudo-differential operator, as used in the theory of integrable systems. Thus one…

High Energy Physics - Theory · Physics 2020-12-16 I. A. B. Strachan

We introduce neural dual contouring (NDC), a new data-driven approach to mesh reconstruction based on dual contouring (DC). Like traditional DC, it produces exactly one vertex per grid cell and one quad for each grid edge intersection, a…

Computer Vision and Pattern Recognition · Computer Science 2022-06-02 Zhiqin Chen , Andrea Tagliasacchi , Thomas Funkhouser , Hao Zhang

The concept of the "modulus" in the CAD system drawings is characterized, being a base of developing of the problem-oriented extensions. The modulus consists of visible geometric elements of the drawing and invisible parametric…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 Vladimir V. Migunov

This work is concerned with a representation of shapes that disentangles fine, local and possibly repeating geometry, from global, coarse structures. Achieving such disentanglement leads to two unrelated advantages: i) a significant…

Computer Vision and Pattern Recognition · Computer Science 2022-04-06 Luca Morreale , Noam Aigerman , Paul Guerrero , Vladimir G. Kim , Niloy J. Mitra

Derivation-based differential calculi are of great importance in noncommutative geometry, noncommutative gauge theory and integrable systems. In this paper, we propose the connection and curvature from a class of deformed derivation-based…

Mathematical Physics · Physics 2014-12-02 Yongqiang Bai , Ming Pei , Huijuan Fu

Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…

Logic in Computer Science · Computer Science 2022-06-06 Damian Arellanes

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple…

Logic in Computer Science · Computer Science 2023-06-22 Dror Fried , Axel Legay , Joël Ouaknine , Moshe Y. Vardi

A generalization of the semisimplicity concept for polyadic algebraic structures is proposed. If semisimple structures can be presented in block diagonal matrix form (resulting in the Wedderburn decomposition), a general form of polyadic…

Rings and Algebras · Mathematics 2022-09-20 Steven Duplij

Intrinsic Image Decomposition is an open problem of generating the constituents of an image. Generating reflectance and shading from a single image is a challenging task specifically when there is no ground truth. There is a lack of…

Computer Vision and Pattern Recognition · Computer Science 2021-12-21 Harshana Weligampola , Gihan Jayatilaka , Suren Sritharan , Parakrama Ekanayake , Roshan Ragel , Vijitha Herath , Roshan Godaliyadda

Over the past decades, the increasing dimensionality of data has increased the need for effective data decomposition methods. Existing approaches, however, often rely on linear models or lack sufficient interpretability or flexibility. To…

Methodology · Statistics 2026-03-24 Jiaji Su , Zhigang Yao