Jos C. Vermeulen

Learn More
In this paper simulation (”computer modeling”) of the Trigger/DAQ system of the ATLAS experiment at the LHC accelerator is discussed. The system will consist of a few thousand end-nodes, which are interconnected by a large Local Area Network. The nodes will run various applications under the Linux OS. The purpose of computer modeling is to verify the rate(More)
The base-line design and implementation of the ATLAS DAQ DataFlow system is described. The main components of the DataFlow system, their interactions, bandwidths, and rates are discussed and performance measurements on a 10% scale prototype for the final ATLAS TDAQ DataFlow system are presented. This prototype is a combination of custom design components(More)
For the future CERN Large Hadron Collider (LHC) experiments, real-time algorithms capable of selecting interesting physics events at 100 KHz frequency in the second-level trigger are central to the data acquisition scheme. The parallel decomposition of the problem has been motivated by the necessity to cope with an expected input data rate of several(More)
Treatment strategies for penetrating rectal injuries (PRI) in civilian settings are still not uniformly agreed, in part since high-energy transfer PRI, such as is frequently seen in military settings, are not taken into account. Here, we describe three cases of PRI, treated in a deployed combat environment, and outline the management strategies successfully(More)
Introduction In this paper we prove a conjecture of Andrew Pitts which states that the Beck Chevalley condition holds for lax pullbacks or comma squares of coherent toposes see Theorem below Pitts conjecture was put forward as a way towards the lax descent theorem for coherent toposes Theorem below The latter entails a dual version for pretoposes which was(More)
  • 1