相关论文: A Note on Occur-Check

Centrality, as a geometrical property of the collision, is crucial for the physical interpretation of nucleus-nucleus and proton-nucleus experimental data. However, it cannot be directly accessed in event-by-event data analysis. Common…

We discuss short-baseline and very-short-baseline electron neutrino disappearance at a neutrino factory. We take into account geometric effects, such as from averaging over the decay straights, and the uncertainties of the cross sections.…

Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually…

A major challenge in estimating treatment effects in observational studies is the reliance on untestable conditions such as the assumption of no unmeasured confounding. In this work, we propose an algorithm that can falsify the assumption…

Model-checking is one of the most powerful techniques for verifying systems and programs, which since the pioneering results by Knapik et al., Ong, and Kobayashi, is known to be applicable to functional programs with higher-order types…

In this work we investigate the usefulness of nuSTORM as a probe of two new-physics scenarios which are sterile neutrinos and non-unitarity of the neutrino mixing matrix. For the sterile neutrino we show the importance of the neutral…

In neutral atom quantum computers, readout and preparation of the atomic qubits are usually based on fluorescence imaging and subsequent analysis of the acquired image. For each atom site, the brightness or some comparable metric is…

Model checking is an automatic formal verification technique that is widely used in hardware verification. The state-of-the-art complete model-checking techniques, based on IC3/PDR and its general variant CAR, are based on computing…

The problem of verifying whether a multi-component system has anomalies or not is addressed. Each component can be probed over time in a data-driven manner to obtain noisy observations that indicate whether the selected component is…

When simultaneously reasoning with evidences about several different events it is necessary to separate the evidence according to event. These events should then be handled independently. However, when propositions of evidences are weakly…

Suppose we want to implement a unitary $U$, for instance a circuit for some quantum algorithm. Suppose our actual implementation is a unitary $\tilde{U}$, which we can only apply as a black-box. In general it is an exponentially-hard task…

We propose an algorithm that test membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The advantage of this algorithm over traditional ones is that the…

After a brief review of the results of solar, atmospheric and long-baseline neutrino oscillation experiments which led to the current three-neutrino mixing paradigm, we discuss indications of neutrino oscillation experiments in favor of…

Unsufficiency of conditions for the formation of interference in monoparticle "which path" experiments is proven. The version of corpuscular interpretation of diffraction pattern based on the action discreteness is presented, which makes…

This paper proposes a thought experiment to search for efficient bounded algorithms of NPC problems by machine enumeration. The key contributions are: -- On Universal Turing Machines, a program's time complexity should be characterized as:…

Neutron-antineutron oscillation (nnbar-osc) is a baryon-number-violating process and a sensitive probe for physics beyond the Standard Model. Ultra-cold neutrons (UCNs) are attractive for nnbar-osc searches because of their long storage…

We discuss about effects of the non-standard interaction of neutrinos with matter on the nu_e appearance search in the MINOS experiment. We consider the effects of the complex phase of the interaction and of the uncertainty on theta_23…

Out-of-distribution (OOD) detection aims to identify test examples that do not belong to the training distribution and are thus unlikely to be predicted reliably. Despite a plethora of existing works, most of them focused only on the…

Recent experiment proposed to observe induced radiative neutrino transitions are confronted to existing bounds on neutrino magnetic moments from earth-based experiments. These are found to exclude any observation by several orders of…

The factorization scheme, based on the impulse approximation and the spectral function formalism, has been recently generalized to allow the description of electromagnetic nuclear interactions driven by two-nucleon currents. We have…