相关论文: PHOTOS as a pocket parton shower: flexibility test…
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support…
The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm…
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have…
Flexible microelectronics has shown tremendous promise in a broad spectrum of applications, especially those that cannot be addressed by conventional microelectronics in rigid materials and constructions1-3. These unconventional yet…
The LEP experiments measure the QED and QCD structure of the photon in deep-inelastic electron-photon scattering. The status of these measurements is discussed in this short review.
We present first results from a new parton shower event generator, Deductor. Anticipating a need for an improved treatment of parton color and spin, the structure of the generator is based on the quantum density matrix in color and spin…
The interpretation of measurements of high-energy particle collisions relies heavily on the performance of full event generators. By far the largest amount of time to predict the kinematics of multi-particle final states is dedicated to the…
The goal of this work is to follow the displacement and possible deformation of a free particle in a fluid flow in 2D axi-symmetry, 2D or 3D using the classical finite elements method without the usual drawbacks finite elements bring for…
The framework of measurement operators plays a fundamental role in extracting information about quantum systems. Recently, techniques based on induced coherence have been developed to access the same information for undetected photons.…
The design of an Airwatch type space mission can greatly benefit from a flexible simulation code for establishing the values of the main parameters of the experiment. We present here a code written for this purpose. The cosmic ray primary…
What makes living systems flexible so that they can react quickly and adapt easily to changing environments? This question has not only engaged biologists for decades but is also of great interest to computer scientists and engineers who…
Quantum storage of light in a collective ensemble of atoms plays an important role in quantum information processing. Consisting of a quantum repeater together with quantum entanglement swapping, quantum memory has been intensively studied…
Multiphoton interference is at the very heart of quantum foundations and applications in quantum sensing and information processing. In particular, boson sampling experiments have the potential to demonstrate quantum computational supremacy…
Bloom filters are space-efficient probabilistic data structures that are used to test whether an element is a member of a set, and may return false positives. Recently, variations referred to as learned Bloom filters were developed that can…
We describe new methods for deciding the stability of switching systems. The methods build on two ideas previously appeared in the literature: the polytope norm iterative construction, and the lifting procedure. Moreover, the combination of…
Methods exhibiting linear scaling with respect to the size of the system, so called O(N) methods, are an essential tool for the calculation of the electronic structure of large systems containing many atoms. They are based on algorithms…
The joint design of the optical system and the downstream algorithm is a challenging and promising task. Due to the demand for balancing the global optimal of imaging systems and the computational cost of physical simulation, existing…
Context: The importance of the feature modeling for the software product lines considering the modeling and management of the variability. Objective: Define a protocol to conduct a systematic mapping study to summarize and synthesize the…
Numerous challenges in science and engineering can be framed as optimization tasks, including the maximization of reaction yields, the optimization of molecular and materials properties, and the fine-tuning of automated hardware protocols.…
Several LHC experiments exploit the high acceptance in the forward region. Most of them use the possibility of measuring the intact proton in an elastic event. This approach can enhance the purity of selecting jet-gap-jet events, leading to…