中文
相关论文

相关论文: TESLA Technical Design Report Part I: Executive Su…

200 篇论文

Over the years ethical, social and environmental accounting (ESEA) has become a common practice among responsible organisations. ESEA entails assessing and reporting organisations" performance on environmental, social and governance topics.…

其他计算机科学 · 计算机科学 2024-10-21 Sergio España , Vijanti Ramautar

Within the growing domain of software engineering in the automotive sector, the number of used tools, processes, methods and languages has increased distinctly in the past years. To be able to choose proper methods for particular…

软件工程 · 计算机科学 2016-01-15 Florian Bock , Daniel Homm , Sebastian Siegl , Reinhard German

Particle accelerators represent some of the most sophisticated engineering achievements of our time. Their construction requires a unique combination of physics insight and mechanical engineering expertise. The aim of this paper is to…

加速器物理 · 物理学 2026-01-19 Marc Timmins

Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descriptions. We introduce the concepts of Failure Explanations…

软件工程 · 计算机科学 2025-08-05 Tom Yaacov , Gera Weiss , Gal Amram , Avi Hayoun

The selection of an appropriate control strategy is essential for ensuring safe operation in autonomous driving. While numerous control strategies have been developed for specific driving scenarios, a comprehensive comparative assessment of…

系统与控制 · 电气工程与系统科学 2023-11-15 Antonio Artuñedo , Marcos Moreno-Gonzalez , Jorge Villagra

The production process of data-centric infographics entails problems related to a disconnection between the supporting software environments. We investigate those problems and redesigns this process following the model-driven paradigm. We…

软件工程 · 计算机科学 2022-03-18 Sergio España , Vijanti Ramautar , Sietse Overbeek , Tijmen Derikx

This paper provides a comprehensive overview of recent advancements in autonomous electric vehicles (AEVs) within the specified region. It elaborates on the progress and comparative analysis of diverse subsystems, including energy storage,…

机器人学 · 计算机科学 2024-07-08 Qasim Ajao , Lanre Gbenga Sadeeq

This is a preliminary version of the Chapter 1 of a book "Computable Integrability"

数学物理 · 物理学 2007-05-23 A. Shabat , E. Kartashova

Comparison of RISC & CISC in details, encompassing the addressing modes, evolution, definitions and characteristics. Pre - RISC design is also elaborated. Both the architectures are explained with the help of example. Analysis is made based…

硬件体系结构 · 计算机科学 2013-02-22 Farhat Masood

We review some of the recent experimental results obtained at high-energy colliders with emphasis on LEP and SLC results.

高能物理 - 实验 · 物理学 2007-05-23 G. Giacomelli , B. Poli

This manuscript contains technical details and proofs of recent results developed by the authors, pertaining to the design of nonlinear controllers from the experimental data measured on an existing feedback control system.

系统与控制 · 计算机科学 2016-08-08 Lorenzo Fagiano , Carlo Novara

Between June 2018 and December 2022, Tesla released quarterly safety reports citing average miles between crashes for Tesla vehicles. Prior to March 2021, crash rates were categorized as 1) with their SAE Level 2 automated driving system…

计算机与社会 · 计算机科学 2024-08-09 Noah Goodall

This technical report presents the training methodology and evaluation results of the open-source multilingual E5 text embedding models, released in mid-2023. Three embedding models of different sizes (small / base / large) are provided,…

计算与语言 · 计算机科学 2024-02-09 Liang Wang , Nan Yang , Xiaolong Huang , Linjun Yang , Rangan Majumder , Furu Wei

In preparation for the planned linear collider TESLA, DESY is designing the required buildings and facilities. The accelerator and infrastructure components have to be allocated to buildings, and their required areas for installation,…

数据库 · 计算机科学 2011-11-09 Lars Hagge , Jens Kreutzkamp , Kathrin Lappe

As automated decision-making solutions are increasingly applied to all aspects of everyday life, capabilities to generate meaningful explanations for a variety of stakeholders (i.e., decision-makers, recipients of decisions, auditors,…

人工智能 · 计算机科学 2024-11-15 Niko Tsakalakis , Sophie Stalla-Bourdillon , Trung Dong Huynh , Luc Moreau

Many software developments projects fail due to quality problems. Software testing enables the creation of high quality software products. Since it is a cumbersome and expensive task, and often hard to manage, both its technical background…

软件工程 · 计算机科学 2015-03-17 Tim A. Majchrzak

The International Linear Collider Technical Design Report (TDR) describes in four volumes the physics case and the design of a 500 GeV centre-of-mass energy linear electron-positron collider based on superconducting radio-frequency…

We consider the basic features of complex dynamic and control systems, including systems having hierarchical structure. Special attention is paid to the problems of design and synthesis of complex systems and control models, and to the…

计算工程、金融与科学 · 计算机科学 2008-12-25 Armen Bagdasaryan

The lecture provides an overview of considerations relevant for achieving highly reliable operation of accelerator based user facilities. The article starts with an overview of statistical reliability formalism which is followed by high…

加速器物理 · 物理学 2016-08-10 F. J. Willeke

Part 1 of "Project X: Accelerator Reference Design, Physics Opportunities, Broader Impacts". Part 1 contains the volume Preface and a description of the conceptual design for a high-intensity proton accelerator facility being developed to…