相关论文: Equivalence-Checking on Infinite-State Systems: Te…

In this review we attempt to present an overview of some of the better known quantization techniques found in the current literature and used both by physicists and mathematicians. The treatment is more descriptive than rigorous, for we aim…

We perform a systematic comparison of various numerical schemes for the approximation of interface problems. We consider unfitted approaches in view of their application to possibly moving configurations. Particular attention is paid to the…

The article describes information model and the method for searching patent analogs for Personal Research Information System.

We present a review and discussions on characterizations and quantifications of macroscopic quantum states as well as their implementations and applications in optical systems. We compare and criticize different measures proposed to define…

In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.

Methods for quantifying the similarity of datasets are relevant in applications where two or more datasets, or their underlying distributions, need to be compared, ranging from two- and k-sample testing to applications in machine learning…

Nonlinear system identification remains an important open challenge across research and academia. Large numbers of novel approaches are seen published each year, each presenting improvements or extensions to existing methods. It is natural,…

The synthesis of infinite-state reactive systems from temporal logic specifications or infinite-state games has attracted significant attention in recent years, leading to the emergence of novel solving techniques. Most approaches are…

This paper considers the equivalence problem for quasi-cyclic codes over finite fields. The results obtained are used to construct isodual quasi-cyclic codes.

This paper presents a synchronization criterion for networks of infinite-dimensional linear systems, extending a previous result for finite-dimensional systems. Our result, established in the general framework of input-output relations,…

New proposed models are often compared to state-of-the-art using statistical significance testing. Literature is scarce for classifier comparison using metrics other than accuracy. We present a survey of statistical methods that can be used…

We call attention on the fact that recent unprecedented technological achievements, in particular in the field of quantum optics, seem to open the way to new experimental tests which might be relevant both for the foundational problems of…

The equivalent split-circuit formulation is a novel approach that has recently been applied to a range of power system related problems. As a result, a linear and a nonlinear method for power system state estimation with simultaneous…

We investigate how to experimentally detect a recently proposed measure to quantify macroscopic quantum superpositions [Phys. Rev. Lett. 106, 220401 (2011)], namely, "macroscopic quantumness" $\mathcal{I}$. Schemes based on overlap…

A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a…

Several application domains require formal but flexible approaches to the comparison problem. Different process models that cannot be related by behavioral equivalences should be compared via a quantitative notion of similarity, which is…

Existing evaluations of entity linking systems often say little about how the system is going to perform for a particular application. There are two fundamental reasons for this. One is that many evaluations only use aggregate measures…

This paper has been superseded by quant-ph/0006009, "Quantum State Estimation Using Non-separable Measurements".

We consider the transformations of quantum states obtainable by a process of the following sort. Combine the given input state with a specially prepared initial state of an auxiliary system. Apply a unitary transformation to the combined…

Relevance of key quantum information measures for analysis of quantum systems is discussed. It is argued that possible ways of measuring quantum information are based on compatibility/incompatibility of the quantum states of a quantum…