中文
相关论文

相关论文: A Note on Occur-Check

200 篇论文

The possibility to observe quantum Zeno and anti-Zeno scenarios for atom-diatom reactive collisions is investigated for two diferent processes (F+HD and H+O_2) by means of time-dependent wave packet propagations. A novel approach is…

化学物理 · 物理学 2011-11-14 C. Sanz-Sanz , A. S. Sanz , T. Gonzalez-Lezana , O. Roncero , S. Miret-Artes

Using a neutron double-slit setup, we construct a quantum bit commitment scheme in which time development of quantum states plays an essential role. Our scheme evades the widely accepted no-go theorem by the fact that it is neither possible…

量子物理 · 物理学 2010-10-25 Chi-Yee Cheung

We make use of the comparison between measurements of various pairs of atomic clocks to impose constraints on coupled variations of fundamental constants in severs unification scenarios. We obtain null results for the proton-to-electron…

高能物理 - 唯象学 · 物理学 2013-10-01 M. D. Julião , M. C. Ferreira , C. J. A. P. Martins , A. M. R. V. L. Monteiro

We provide the theoretical basis for understanding the phenomenon in which an ultra cold atom incident on a possibly warm target will not stick, even in the large $n$ limit where $n$ is the number of internal degrees of freedom of the…

原子物理 · 物理学 2007-05-23 Areez Mody , Michael Haggerty , Eric J. Heller

This paper focusses on "safe" screening techniques for the LASSO problem. Motivated by the need for low-complexity algorithms, we propose a new approach, dubbed "joint" screening test, allowing to screen a set of atoms by carrying out one…

机器学习 · 计算机科学 2017-11-10 C. Herzet , A. Drémeau

We verify the correctness of a variety of mutual exclusion algorithms through model checking. We look at algorithms where communication is via shared read/write registers, where those registers can be atomic or non-atomic. For the…

计算机科学中的逻辑 · 计算机科学 2026-04-03 Rob van Glabbeek , Bas Luttik , Myrthe Spronck

In applied settings, tests of hypothesis where a nuisance parameter is only identifiable under the alternative often reduces into one of Testing One Hypothesis Multiple times (TOHM). Specifically, a fine discretization of the space of the…

统计方法学 · 统计学 2022-04-06 Sara Algeri , David A. van Dyk

Low-rank matrix completion concerns the problem of estimating unobserved entries in a matrix using a sparse set of observed entries. We consider the non-uniform setting where the observed entries are sampled with highly varying…

机器学习 · 统计学 2024-03-04 Xumei Xi , Christina Lee Yu , Yudong Chen

Kolmogorov complexity and algorithmic probability are defined only up to an additive resp. multiplicative constant, since their actual values depend on the choice of the universal reference computer. In this paper, we analyze a natural…

信息论 · 计算机科学 2010-03-29 Markus Mueller

We discuss the usage of measurements of the stability of nature's fundamental constants coming from comparisons between atomic clocks as a means to constrain coupled variations of these constants in a broad class of unification scenarios.…

高能物理 - 唯象学 · 物理学 2012-12-19 M. C. Ferreira , M. D. Julião , C. J. A. P. Martins , A. M. R. V. L. Monteiro

At long-baseline neutrino experiments, neutral-current (NC) events accumulate in large numbers but are seldom exploited for new physics searches. We demonstrate their potential using non-standard neutrino interactions (NSI) with quarks as a…

高能物理 - 唯象学 · 物理学 2026-04-20 Julia Gehrlein , Jaime Hoefken Zink , Pedro A. N. Machado , João Paulo Pinheiro

A sample of two proton and no pion events selected in the ArgoNeuT neutrino scattering experiment on liquid argon target [Phys. Rev. D90 (2014) 012008] is analyzed with NuWro Monte Carlo event generator. An attempt is made to estimate how…

高能物理 - 实验 · 物理学 2016-03-23 Kajetan Niewczas , Jan T. Sobczyk

We propose an annealing scheme usable on modern Ising machines for crystal structures prediction (CSP) by taking into account the general n-body atomic interactions, and in particular three-body interactions which are necessary to simulate…

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although occurrence typing was tied from its inceptionto set-theoretic…

编程语言 · 计算机科学 2022-02-25 Giuseppe Castagna , Victor Lanvin , Mickaël Laurent , Kim Nguyen

Neutron and x-ray scattering experiments traditionally rely upon histogrammed data sets, which are analysed using least-squares curve fitting of multiple probability distribution components to quantify separately the various scientific…

仪器与探测器 · 物理学 2026-04-30 Phillip M. Bentley , Thomas H. Rod

Unstable particles decay sooner or later, so they are not described by asymptotic one-particle states and they should not be included as independent states in unitarity relations such as the optical theorem. The same applies to any…

高能物理 - 唯象学 · 物理学 2024-07-19 Eugenio Megias , Manuel Perez-Victoria , Mariano Quiros

Algorithms with unitary oracles can be nested, which makes them extremely versatile. An example is the phase estimation algorithm used in many candidate algorithms for quantum speed-up. The search for new quantum algorithms benefits from…

量子物理 · 物理学 2024-04-01 Zuzana Gavorová , Matan Seidel , Yonathan Touati

Nonunitarity can arise in neutrino oscillation when the matrix with elements $\mathbf{U}_{\alpha i}$ which relate the neutrino flavor $\alpha$ and mass $i$ eigenstates is not unitary when sum over the kinematically accessible mass…

高能物理 - 唯象学 · 物理学 2023-06-01 Chee Sheng Fong

We study the unsorted database search problem with items $N$ from the viewpoint of unitary discrimination. Instead of considering the famous $O(\sqrt{N})$ Grover's the bounded-error algorithm for the original problem, we seek for the…

量子物理 · 物理学 2009-11-13 Xiaodi Wu , Runyao Duan

The generalized egg dropping problem is a classic challenge in sequential decision-making. Standard dynamic programming evaluates the minimax minimum number of tests in $\mathcal{O}(K \cdot N^2)$ time. A known approach formulates the…

数据结构与算法 · 计算机科学 2026-05-18 Kleitos Papadopoulos