English
Related papers

Related papers: A Relational Approach to Functional Decomposition …

200 papers

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary "propositional" logic should in general be the logic of subsets of a given universe set. Partitions on…

Logic · Mathematics 2009-12-30 David Ellerman

A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…

Logic · Mathematics 2016-08-17 Eduardo Mizraji

This paper applies the Thomas decomposition technique to nonlinear control systems, in particular to the study of the dependence of the system behavior on parameters. Thomas' algorithm is a symbolic method which splits a given system of…

Optimization and Control · Mathematics 2020-01-24 Markus Lange-Hegermann , Daniel Robertz

As a new type of series expansion, the so-called one-dimensional adaptive Fourier decomposition (AFD) and its variations (1D-AFDs) have effective applications in signal analysis and system identification. The 1D-AFDs have considerable…

Numerical Analysis · Mathematics 2017-10-26 You Gao , Tao Qian , Vladimir Temlyakov , Long-fei Cao

Dynamic mode decomposition (DMD) is a data-driven method that models high-dimensional time series as a sum of spatiotemporal modes, where the temporal modes are constrained by linear dynamics. For nonlinear dynamical systems exhibiting…

Dynamical Systems · Mathematics 2019-06-17 Seth M. Hirsh , Kameron Decker Harris , J. Nathan Kutz , Bingni W. Brunton

Recent advances in neuroimaging along with algorithmic innovations in statistical learning from network data offer a unique pathway to integrate brain structure and function, and thus facilitate revealing some of the brain's organizing…

Signal Processing · Electrical Eng. & Systems 2021-12-21 Yang Li , Gonzalo Mateos , Zhengwu Zhang

The proposed method introduces a parameter determination approach based on the minimum Fractal box dimension (FBD) of Variational Mode Decomposition (VMD) components, aiming to address the issue of manual determination of VMD decomposition…

Signal Processing · Electrical Eng. & Systems 2024-05-17 Pei Yuhang , Yu Min , Yu Yan

The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five…

Logic in Computer Science · Computer Science 2021-07-16 Andrzej Indrzejczak , Michał Zawidzki

We propose a novel robust decentralized graph clustering algorithm that is provably equivalent to the popular spectral clustering approach. Our proposed method uses the existing wave equation clustering algorithm that is based on…

Machine Learning · Computer Science 2024-02-05 Hongyu Zhu , Stefan Klus , Tuhin Sahai

The problem of decomposing networks into modules (or clusters) has gained much attention in recent years, as it can account for a coarse-grained description of complex systems, often revealing functional subunits of these systems. A variety…

Mathematical Physics · Physics 2014-08-01 Natasa Djurdjevac Conrad , Ralf Banisch , Christof Schütte

The NL2SQL task involves parsing natural language statements into SQL queries. While most state-of-the-art methods treat NL2SQL as a slot-filling task and use feature representation learning techniques, they overlook explicit correlation…

Computation and Language · Computer Science 2023-07-03 Chenduo Hao , Xu Zhang , Chuanbao Gao , Deyu Zhou

Migrating monolithic software systems into microservices requires the application of decomposition techniquesto find and select appropriate service boundaries. These techniques are often based on domain knowledge, static code analysis, and…

Software Engineering · Computer Science 2020-03-06 Alexander Krause , Christian Zirkelbach , Wilhelm Hasselbring , Stephan Lenga , Dan Kröger

Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of…

Computation and Language · Computer Science 2017-09-04 Guy Emerson , Ann Copestake

We present an approach based on density-functional theory for the calculation of fundamental gaps of both finite and periodic two-dimensional (2D) electronic systems. The computational cost of our approach is comparable to that of total…

Materials Science · Physics 2021-08-11 Alberto Guandalini , Alice Ruini , Esa Räsänen , Carlo Andrea Rozzi , Stefano Pittalis

We introduce a new approach to decomposable submodular function minimization (DSFM) that exploits incidence relations. Incidence relations describe which variables effectively influence the component functions, and when properly utilized,…

Machine Learning · Computer Science 2018-09-26 Pan Li , Olgica Milenkovic

Relational reasoning lies at the core of many NLP tasks, drawing on complementary signals from text and graphs. While prior research has investigated how to leverage this dual complementarity, a detailed and systematic understanding of…

Artificial Intelligence · Computer Science 2026-01-28 Zhen Wu , Ritam Dutt , Luke M. Breitfeller , Armineh Nourbakhsh , Siddharth Parekh , Carolyn Rosé

In autonomous driving, transparency in the decision-making of perception models is critical, as even a single misperception can be catastrophic. Yet with multi-sensor inputs, it is difficult to determine how each modality contributes to a…

Computer Vision and Pattern Recognition · Computer Science 2025-11-04 Jaehyun Park , Konyul Park , Daehun Kim , Junseo Park , Jun Won Choi

Codd's relational model describes just one possible world. To better cope with incomplete information, extended database models allow several possible worlds. Vague tables are one such convenient extended model where attributes accept sets…

Databases · Computer Science 2018-03-01 Antonio Badia , Daniel Lemire

Originally introduced in the fluid mechanics community, dynamic mode decomposition (DMD) has emerged as a powerful tool for analyzing the dynamics of nonlinear systems. However, existing DMD theory deals primarily with sequential time…

Numerical Analysis · Mathematics 2014-12-17 Jonathan H. Tu , Clarence W. Rowley , Dirk M. Luchtenburg , Steven L. Brunton , J. Nathan Kutz

The notion of a local fractional derivative (LFD) was introduced recently for functions of a single variable. LFD was shown to be useful in studying fractional differentiability properties of fractal and multifractal functions. It was…

Mathematical Physics · Physics 2008-11-06 Kiran M. Kolwankar , Anil D. Gangal