相关论文: Description of the RHIC Sequencer System
This talk summarizes the present status of a program to quantitatively relate data from the Relativistic Heavy Ion Collider (RHIC) on collective expansion flow to the Equation of State (EOS) of hot and dense strongly interacting matter,…
The Run Control and Monitor System (RCMS) of the CMS experiment is the set of hardware and software components responsible for controlling and monitoring the experiment during data-taking. It provides users with a "virtual counting room",…
Analyses of two-particle correlations have provided the chief means for determining spatio-temporal characteristics of relativistic heavy ion collisions. We discuss the theoretical formalism behind these studies and the experimental methods…
Solid-state ion conductors (SSICs) have emerged as a promising material class for electrochemical storage devices and novel compounds of this kind are continuously being discovered. High-throughout approaches that enable a rapid screening…
The production of electron-positron pairs with the capture of the electron in an atomic orbital is investigated for the conditions of the Relativistic Heavy Ion Collider (RHIC) and the Large Hadron Collider LHC). Dirac wave functions for…
We introduce a language for formally reasoning about programs that combine differential constructs with probabilistic ones. The language harbours, for example, such systems as adaptive cruise controllers, continuous-time random walks, and…
This document provides a brief overview of the recently published report on the design of the Large Hadron Electron Collider (LHeC), which comprises its physics programme, accelerator physics, technology and main detector concepts. The LHeC…
Feedback systems are essential for stable operation of a linear collider, providing a cost-effective method for relaxing tight tolerances. In the Stanford Linear Collider (SLC), feedback controls beam parameters such as trajectory, energy,…
Today high-performance computing (HPC) platforms are still dominated by batch jobs. Accordingly, effective batch job scheduling is crucial to obtain high system efficiency. Existing HPC batch job schedulers typically leverage heuristic…
Reliably predicting human intent in hand-object interactions is an open challenge for computer vision. Our research concentrates on a fundamental sub-problem: the fine-grained classification of atomic interaction states, namely…
The field of relativistic heavy-ion collisions is introduced to the high-energy physics students with no prior knowledge in this area. The emphasis is on the two most important observables, namely the azimuthal collective flow and jet…
The performance of various systems of the Next Linear Collider (NLC) have been studied in terms of ground motion using recently developed models. In particular, the performance of the beam delivery system is discussed. Plans to evaluate the…
In this article, we outline the modeling of a realistic dynamical model for comprehensive description of high energy heavy ion collisions. Comparing theoretical calculations and experimental data at RHIC, we give detailed discussions on the…
The hydrodynamical models used to describe the evolution of heavy-ion collisions are briefly reviewed and their results compared with recent RHIC data.
The Refinement Calculus of Reactive Systems (RCRS) is a compositional formal framework for modeling and reasoning about reactive systems. RCRS provides a language which allows to describe atomic components as symbolic transition systems or…
Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system…
Computer running human machine interfaces are fast supplanting conventional hardware dedicated to monitoring and supervising tasks. This kind of approach was successfully employed to develop a new monitoring and control software, running on…
The future mobile network has the complex mission of distributing available radio resources among various applications with different requirements. The radio access network slicing enables the creation of different logical networks by…
In computer animation, driving a simulated character with lifelike motion is challenging. Current generative models, though able to generalize to diverse motions, often pose challenges to the responsiveness of end-user control. To address…
We propose Symplectic Recurrent Neural Networks (SRNNs) as learning algorithms that capture the dynamics of physical systems from observed trajectories. An SRNN models the Hamiltonian function of the system by a neural network and…