15,183 research outputs found
Efficient data structures for backtrack search SAT solvers
The implementation of efficient Propositional Satisfiability (SAT) solvers entails the utilization of highly efficient data structures, as illustrated by most of the recent state-of-the-art SAT solvers. However, it is in general hard to compare existing data structures, since different solvers are often characterized by fairly different algorithmic organizations and techniques, and by different search strategies and heuristics. This paper aims the evaluation of data structures for backtrack search SAT solvers, under a common unbiased SAT framework. In addition, advantages and drawbacks of each existing data structure are identified. Finally, new data structures are proposed, that are competitive with the most efficient data structures currently available, and that may be preferable for the next generation SAT solvers
Finite key analysis for symmetric attacks in quantum key distribution
We introduce a constructive method to calculate the achievable secret key
rate for a generic class of quantum key distribution protocols, when only a
finite number n of signals is given. Our approach is applicable to all
scenarios in which the quantum state shared by Alice and Bob is known. In
particular, we consider the six state protocol with symmetric eavesdropping
attacks, and show that for a small number of signals, i.e. below the order of
10^4, the finite key rate differs significantly from the asymptotic value for n
approaching infinity. However, for larger n, a good approximation of the
asymptotic value is found. We also study secret key rates for protocols using
higher-dimensional quantum systems.Comment: 9 pages, 5 figure
Deriving the respiratory sinus arrhythmia from the heartbeat time series using Empirical Mode Decomposition
Heart rate variability (HRV) is a well-known phenomenon whose characteristics
are of great clinical relevance in pathophysiologic investigations. In
particular, respiration is a powerful modulator of HRV contributing to the
oscillations at highest frequency. Like almost all natural phenomena, HRV is
the result of many nonlinearly interacting processes; therefore any linear
analysis has the potential risk of underestimating, or even missing, a great
amount of information content. Recently the technique of Empirical Mode
Decomposition (EMD) has been proposed as a new tool for the analysis of
nonlinear and nonstationary data. We applied EMD analysis to decompose the
heartbeat intervals series, derived from one electrocardiographic (ECG) signal
of 13 subjects, into their components in order to identify the modes associated
with breathing. After each decomposition the mode showing the highest frequency
and the corresponding respiratory signal were Hilbert transformed and the
instantaneous phases extracted were then compared. The results obtained
indicate a synchronization of order 1:1 between the two series proving the
existence of phase and frequency coupling between the component associated with
breathing and the respiratory signal itself in all subjects.Comment: 12 pages, 6 figures. Will be published on "Chaos, Solitons and
Fractals
- …