English
Related papers

Related papers: On Functions Weakly Computable by Pushdown Petri N…

200 papers

The front-end factor analysis (FEFA), an extension of principal component analysis (PPCA) tailored to be used with Gaussian mixture models (GMMs), is currently the prevalent approach to extract compact utterance-level features (i-vectors)…

Audio and Speech Processing · Electrical Eng. & Systems 2018-05-04 Ville Vestman , Tomi Kinnunen

This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak equivalence focuses mainly on a traditional trace language and a new homology language, which captures the overall independence…

Logic in Computer Science · Computer Science 2023-06-22 Thomas Kahl

Reversible computations constitute an unconventional form of computing where any sequence of performed operations can be undone by executing in reverse order at any point during a computation. It has been attracting increasing attention as…

Computation and Language · Computer Science 2023-06-22 Kamila Barylska , Anna Gogolińska

Complex-valued neural networks (CVNNs) are nonlinear filters used in the digital signal processing of complex-domain data. Compared with real-valued neural networks~(RVNNs), CVNNs can directly handle complex-valued input and output signals…

Neural and Evolutionary Computing · Computer Science 2024-08-20 Kayol Soares Mayer , Jonathan Aguiar Soares , Ariadne Arrais Cruz , Dalton Soares Arantes

The empirical copula has proved to be useful in the construction and understanding of many statistical procedures related to dependence within random vectors. The empirical beta copula is a smoothed version of the empirical copula that…

Statistics Theory · Mathematics 2018-01-12 Betina Berghaus , Johan Segers

Weak values are the fundamental values for observables in a pre- and post-selected system. Weak values are typically measured by weak measurement, in which weak values appear in the change of not the pre- and post-selected system but the…

Quantum Physics · Physics 2020-04-21 Kazuhisa Ogawa , Hirokazu Kobayashi , Akihisa Tomita

We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a…

Logic · Mathematics 2016-05-12 Vasco Brattka , Guido Gherardi , Rupert Hölzl

In calculating integral or discrete transforms, use has been made of fast algorithms for multiplying vectors by matrices whose elements are specified as values of special (Chebyshev, Legendre, Laguerre, etc.) functions. The currently…

Numerical Analysis · Mathematics 2022-08-11 Andrew V. Terekhov

Some important applicative problems require the evaluation of functions $\Psi$ of large and sparse and/or \emph{localized} matrices $A$. Popular and interesting techniques for computing $\Psi(A)$ and $\Psi(A)\mathbf{v}$, where $\mathbf{v}$…

Numerical Analysis · Mathematics 2022-04-25 Daniele Bertaccini , Marina Popolizio , Fabio Durastante

Let $\mathbb{N}_0$ denote the set of all non-negative integers and $\mathcal{P}(\mathbb{N}_0)$ be its power set. An integer additive set-indexer (IASI) of a given graph $G$ is an injective function $f:V(G)\to \mathcal{P}(\mathbb{N}_0)$ such…

General Mathematics · Mathematics 2015-05-15 Naduvath Sudev , Augustine Germina

Edge-computing requires high-performance energy-efficient embedded systems. Fixed-function or custom accelerators, such as FFT or FIR filter engines, are very efficient at implementing a particular functionality for a given set of…

Hardware Architecture · Computer Science 2022-06-03 Benoît Walter Denkinger , Miguel Peón-Quirós , Mario Konijnenburg , David Atienza , Francky Catthoor

We consider a semantic class, weakly-chase-sticky (WChS), and a syntactic subclass, jointly-weakly-sticky (JWS), of Datalog+- programs. Both extend that of weakly-sticky (WS) programs, which appear in our applications to data quality. For…

Databases · Computer Science 2015-04-15 Mostafa Milani , Leopoldo Bertossi

Reversible computation is an unconventional form of computing that extends the standard forward-only mode of computation with the ability to execute a sequence of operations in reverse at any point during computation. As such, in this…

Logic in Computer Science · Computer Science 2021-01-19 Kyriaki Psara

A weak value is an effective description of the influence of a pre and post-selected 'principal' system on another 'meter' system to which it is weakly coupled. Weak values can describe anomalously large deflections of the meter, and…

Quantum Physics · Physics 2018-08-13 George C. Knee , G. Andrew D. Briggs

We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reachability set for this model can be refined into two decision problems…

Formal Languages and Automata Theory · Computer Science 2015-07-28 Jérôme Leroux , Grégoire Sutre , Patrick Totzke

We consider a weak adversarial network approach to numerically solve a class of inverse problems, including electrical impedance tomography and dynamic electrical impedance tomography problems. We leverage the weak formulation of PDE in the…

Numerical Analysis · Mathematics 2020-12-02 Gang Bao , Xiaojing Ye , Yaohua Zang , Haomin Zhou

We introduce an equivariant version of the weak expectation property (WEP) at the level of operator modules over completely contractive Banach algebras $A$. We prove a number of general results---for example, a characterization of the…

Operator Algebras · Mathematics 2020-09-15 Alex Bearden , Jason Crann

Vector addition systems with states (VASS) are a popular model for concurrent systems. However, many decision problems have prohibitively high complexity. Therefore, it is sometimes useful to consider overapproximating semantics in which…

Logic in Computer Science · Computer Science 2023-09-14 Pascal Baumann , Khushraj Madnani , Filip Mazowiecki , Georg Zetzsche

Deep neural networks have revolutionized many fields, but their black-box nature also occasionally prevents their wider adoption in fields such as healthcare and finance, where interpretable and explainable models are required. The recent…

Machine Learning · Computer Science 2024-03-20 Wei Zhang , Brian Barr , John Paisley

Weak supervision combines the advantages of training on real data with the ability to exploit signal properties. However, training a neural network using weak supervision often requires an excessive amount of signal data, which severely…

High Energy Physics - Phenomenology · Physics 2024-12-23 Zong-En Chen , Cheng-Wei Chiang , Feng-Yang Hsieh