English
Related papers

Related papers: A Note on Occur-Check

200 papers

The problem of state estimation in the setting of partially-observed discrete event systems subject to cyber attacks is considered. An operator observes a plant through a natural projection that hides the occurrence of certain events. The…

Cryptography and Security · Computer Science 2021-12-15 Qi Zhang , Carla Seatzu , Zhiwu Li , Alessandro Giua

Learning performance can show non-monotonic behavior. That is, more data does not necessarily lead to better models, even on average. We propose three algorithms that take a supervised learning model and make it perform more monotone. We…

Machine Learning · Computer Science 2019-11-26 Tom J. Viering , Alexander Mey , Marco Loog

When neutrino masses arise from the exchange of neutral heavy leptons, as in most seesaw schemes, the effective lepton mixing matrix $N$ describing neutrino propagation is non-unitary, hence neutrinos are not exactly orthonormal. New CP…

High Energy Physics - Phenomenology · Physics 2017-10-11 F. J. Escrihuela , D. V. Forero , O. G. Miranda , M. Tórtola , J. W. F. Valle

Huang and Li [arXiv:2603.00885] have raised the following two points regarding our previous work [arXiv:2502.18029]:(1) The real-value conditions associated with $\mu$-$\tau$ reflection symmetry were overlooked. (2) Inverted Ordering (IO)…

High Energy Physics - Phenomenology · Physics 2026-04-08 Yuta Hyodo , Teruyuki Kitabayashi

In the standard approach to the neutrino oscillations a unitary relation among weak and mass eigenstates of light neutrinos is imposed. However, in many extensions of the SM left-handed, active neutrinos mix with additional heavy neutrino…

High Energy Physics - Phenomenology · Physics 2014-11-17 M. Czakon , J. Gluza , M. Zralek

Bloom filters, cuckoo filters, and other approximate set membership sketches have a wide range of applications. Oftentimes, expensive operations can be skipped if an item is not in a data set. These filters provide an inexpensive, memory…

Data Structures and Algorithms · Computer Science 2020-05-07 Daniel Ting , Rick Cole

To better understand quantum computation we can search for its limits or no-gos, especially if analogous limits do not appear in classical computation. Classical computation easily implements and extensively employs the addition of two bit…

Quantum Physics · Physics 2025-11-26 Zuzana Gavorová

Object detectors are at the heart of many semi- and fully autonomous decision systems and are poised to become even more indispensable. They are, however, still lacking in accessibility and can sometimes produce unreliable predictions.…

Computer Vision and Pattern Recognition · Computer Science 2023-09-07 Johannes Gilg , Torben Teepe , Fabian Herzog , Philipp Wolters , Gerhard Rigoll

We propose and analyze experiments to test distinguishability and determinism in atoms. As a first step, we consider experiments to test if atoms are distinguishable from each other due to small differences in the nuclear magnetic moment.…

Quantum Physics · Physics 2025-11-11 Mark G. Raizen

Composition is something we take for granted in classical algorithms design, and in particular, we take it as a basic axiom that composing ``efficient'' algorithms should result in an ``efficient'' algorithm -- even using this intuition to…

Quantum Physics · Physics 2025-02-14 Stacey Jeffery

It is shown that different distinguishability measures impose different orderings on ensembles of $N$ pure quantum states. This is demonstrated using ensembles of equally-probable, linearly independent, symmetrical pure states, with the…

Quantum Physics · Physics 2009-11-07 Anthony Chefles

We propose a low-computational strategy for the efficient implementation of the "atom selection step" in sparse representation algorithms. The proposed procedure is based on simple tests enabling to identify subsets of atoms which cannot be…

Signal Processing · Electrical Eng. & Systems 2018-12-06 Clément Dorffer , Angélique Drémeau , Cedric Herzet

We show that solving a multiple-unicast network coding problem can be reduced to solving a single-unicast network error correction problem, where an adversary may jam at most a single edge in the network. Specifically, we present an…

Information Theory · Computer Science 2015-04-21 Wentao Huang , Michael Langberg , Joerg Kliewer

Survival Analysis and Reliability Theory are concerned with the analysis of time-to-event data, in which observations correspond to waiting times until an event of interest such as death from a particular disease or failure of a component…

Machine Learning · Statistics 2020-08-28 Tamara Fernandez , Nicolas Rivera , Wenkai Xu , Arthur Gretton

This manuscript is inspired by the paper [2]. In the paper, they investigate a method to detect existence of an object with arbitrarily small interaction. Below, we sketch their protocol to motivate the present manuscript. The object of…

Quantum Physics · Physics 2016-06-15 Keiji Matsumoto

The data supporting neutrino oscillations are reexamined empirically, ignoring the phase space of the usual theory. An absolutely minimum description can be constructed easily without assuming oscillations. An empirical fit to a simplified…

General Physics · Physics 2007-05-23 John Michael Williams

We consider the impact of neutral-current (NC) non-standard neutrino interactions (NSI) on the determination of the neutrino mass ordering. We show that in presence of NSI there is an exact degeneracy which makes it impossible to determine…

High Energy Physics - Phenomenology · Physics 2017-04-19 Pilar Coloma , Thomas Schwetz

A number of attempts have been made to improve accuracy and/or scalability of the PC (Peter and Clark) algorithm, some well known (Buhlmann, et al., 2010; Kalisch and Buhlmann, 2007; 2008; Zhang, 2012, to give some examples). We add here…

Artificial Intelligence · Computer Science 2016-10-06 Joseph Ramsey

Several aspects of next-to-leading (NLO) order corrections to see-saw formulas are discussed and phenomenologically relevant situations are identified. We generalize the formalism to calculate the NLO terms developed for the type I see-saw…

High Energy Physics - Phenomenology · Physics 2011-05-05 Hans Hettmansperger , Manfred Lindner , Werner Rodejohann

Platform trials allow treatment arms to enter and exit over time while maintaining a shared control arm, yielding concurrent and non-concurrent controls (NCC). Pooling NCC is often motivated as a strategy to improve statistical efficiency,…

Methodology · Statistics 2026-03-12 Antonio D'Alessandro , Samrachana Adhikari , Michele Santacatterina