Related papers: Testing the Space-Time Structure of Event Generato…
Space-time in quantum mechanics is about bridging Hilbert and configuration space. Thereby, an entirely new perspective is obtained by replacing the Newtonian space-time theater with the image of a presumably high-dimensional Hilbert space,…
The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this…
The LHC physics programme involves a vast amount of Monte Carlo event simulation. This paper reviews current efforts towards sharing the generated events as Open Data. Open Event Generation helps reduce duplication of effort and resource…
In this article, a developed, manufactured and tested model of a new type generator is presented, which allows to differentiate and predict, with probability close to 1, coasting characteristics of the rotor during its clockwise and…
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed computing environments where we fit the parameters of the…
I consider the possibility that space experiments be used to search for quantum properties of spacetime. On the basis of recent quantum-gravity results, I argue that insight on some quantum properties of spacetime can be obtained with…
Some features of modern simulation tools for high-energy physics are reviewed.
In this contribution the new event generation framework Sherpa will be presented. It aims at the full simulation of events at current and future high-energy experiments, in particular the LHC. Some results related to the production of jets…
The provision of multilingual event-centric temporal knowledge graphs such as EventKG enables structured access to representations of a large number of historical and contemporary events in a variety of language contexts. Timelines provide…
As the landscape of devices that interact with the electrical grid expands, also the complexity of the scenarios that arise from these interactions increases. Validation methods and tools are typically domain specific and are designed to…
Time crystalline structures can be created in periodically driven systems. They are temporal lattices which can reveal different condensed matter behaviours ranging from Anderson localization in time to temporal analogues of many-body…
A large Time Projection Chamber is proposed as part of the tracking system for a detector at the TESLA electron positron linear collider. Different ongoing R&D studies are reviewed, stressing progress made on a new type readout technique…
A fundamental aspect for building intelligent autonomous robots that can assist humans in their daily lives is the construction of rich environmental representations. While advances in semantic scene representations have enriched robotic…
A satisfactory theory of quantum gravity may necessitate a drastic modification of our perception of space-time, by giving it a foamy structure at distances comparable to the Planck length. It is argued in this essay that the experimental…
We critically discuss the measure of very short time intervals. By means of a Gedankenexperiment, we describe an ideal clock based on the occurrence of completely random events. Many previous thought experiments have suggested fundamental…
We discuss the possibility that spacetime geometry may be an emergent phenomenon. This idea has been motivated by the Analogue Gravity programme. These are systems where the kinematics of small perturbations are dominated by an effective…
The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model…
This paper addresses the validation of electric vehicle supply equipment by means of a real-time capable co-simulation approach. This setup implies both pure software and real-time simulation tasks with different sampling rates dependent on…
An event generator for nuclear collisions is a microscopic model, obtained from extrapolating elementary interactions -- as electron-positron annihilation, deep inelastic scattering, and proton-proton interactions -- towards proton-nucleus…
This paper presents an infrastructure to test the functionality of the specific architectures output by a high-level compiler targeting dynamically reconfigurable hardware. It results in a suitable scheme to verify the architectures…