Related papers: TESLA Technical Design Report Part I: Executive Su…
The TESLA Technical Design Report Part III: Physics at an e+e- Linear Collider
TESLA Technical Design Report, Part VI, Chapter 1: The Photon Collider at TESLA
The status of the design of a detector for the TESLA collider is presented.
This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".
This technical report contains the formal definitions and metatheory for the act specification and verification language. It documents the syntax, the operational pointer semantics, the type system and the main metatheoretic results…
For the superconducting linear collider TESLA a multi purpose detector has been designed. This detector is optimised for the important physics processes expected at a next generation linear collider up to around 1 TeV and is designed for…
I review progress on investigations concerning top quark physics and QCD at a future linear e+e- collider that has been achieved since the presentation of the TESLA technical design report in spring 2001. I concentrate on studies that have…
As next generation e+e- linear collider the superconducting accelerator project TESLA has been proposed. In this note the physics potential goals of this project, which is highly complementary to LHC, are described.
This report is a survey of the different autonomous driving datasets which have been published up to date. The first section introduces the many sensor types used in autonomous driving datasets. The second section investigates the…
We developed a textual concrete syntax and a textual editor that supports it for the domain-specific language EAST-ADL, which we named EATXT. This document is a technical report that describes potential advanced features that could be added…
This technical report provides a more thorough treatment of the proofs and derivations contained in a recent conference paper submission. The description of the anchoring controller is reproduced here without abridgement, and additional…
Tesla turbines are an attractive but less explored area in low-power applications. This article presents an experimental investigation of a centimeter scale Tesla turbine in bi and unidirectional outlet configuration with compressed air at…
We present a brief summary of the International Linear Collider as documented in the 2013 Technical Design Report. The Technical Design Report has detailed descriptions of the accelerator baseline design for a 500 GeV e+e- linear collider,…
This is a survey paper of Shelah's pcf theory. In this part the theory is developed up to the pcf theorem.
This paper introduces a framework to systematically optimize the control and design of an electric vehicle transmission, connecting powertrain sizing studies to detailed gearbox design methods. To this end, we first create analytical models…
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code…
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.