Publication

New Capabilities of the FLUKA Multi-Purpose Code

Publications associées (28)

Collimation simulations for the FCC-ee

Tatiana Pieloni, Félix Simon Carlier, Guillaume Clément Broggi, Milica Rakic, Giovanni Iadarola, Bruce Roderik

The collimation system of the Future Circular Collider, operating with leptons (FCC-ee), must protect not only the experiments against backgrounds, but also the machine itself from beam losses. With a 17.8 MJ stored energy of the electron and positron beam ...

Iop Publishing Ltd2024

Energy-Efficient Particle Accelerators for Research

Mike Seidel

Particle accelerators are the drivers for large-scale research infrastructures for particle physics but also for many branches of condensed matter research. The types of accelerator-driven research infrastructures include particle colliders, neutron, muon ...

2024

High power electrostatic beam splitter for a proton beamline

Hua Zhang, Mike Seidel

The High Intensity Proton Accelerator facility (HIPA) delivers a 590 MeV cw (50.6 MHz) proton beam with up to 1.4 MW beam power (2.4 mA) to spallation and meson production targets serving particle physics experiments and material research. The main acceler ...

2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

Studies of crystal collimation for heavy ion operation at the LHC

Rongrong Cai

At CERN's Large Hadron Collider (LHC), proton and heavy-ion beams are accelerated to multi-TeV energies to be collided for the needs of the scientific community around the world. The total stored beam energy of tens to hundreds ofMJ creates potential threa ...

EPFL2024

Precision luminosity measurement at hadron colliders

Joanna Malgorzata Wanczyk

This thesis links two realms of particle accelerator dynamics and precision particle physics. The achievement of precise luminosity measurement at hadron colliders is enabled with dedicated luminometers. For the Run 3 period, the luminometer upgrade was ...

EPFL2024

Optimizing Dynamic Aperture Studies with Active Learning

Tatiana Pieloni, Massimo Giovannozzi, Ekaterina Krymova, Mike Seidel, Davide Di Croce

Dynamic aperture is an important concept for the study of non-linear beam dynamics in circular accelerators. It describes the extent of the phase-space region where a particle's motion remains bounded over a given number of turns. Understanding the feature ...

Iop Publishing Ltd2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

A model of non-Maxwellian electron distribution function for the analysis of ECE data in JET discharges

Mikhail Maslov, Javier García Hernández, Samuele Mazzi

Recent experiments performed in JET at high level of plasma heating, in preparation of, and during the DT campaign have shown significant discrepancies between electron temperature measurements by Thomson Scattering (TS) and Electron Cyclotron Emission (EC ...

E D P SCIENCES2023

Development of the self-modulation instability of a relativistic proton bunch in plasma

Patrick Blanchard, Ambrogio Fasoli, Ivo Furno, Samuel Rey-Mermet, Yanis Andrebe, Alban Sublet, Sun Hee Kim, Ana Francisca Leal Silva Soares, Riccardo Agnello, Christine Stollberg, Shuai Liu

Self-modulation is a beam-plasma instability that is useful to drive large-amplitude wakefields with bunches much longer than the plasma skin depth. We present experimental results showing that, when increasing the ratio between the initial transverse size ...

2023

impresso Text Reuse at Scale. An interface for the exploration of text reuse data in semantically enriched historical newspapers

Maud Ehrmann, Matteo Romanello

Text Reuse reveals meaningful reiterations of text in large corpora. Humanities researchers use text reuse to study, e.g., the posterior reception of influential texts or to reveal evolving publication practices of historical media. This research is often ...

2023

Creating Trust by Abolishing Hierarchies

Adrien Ghosn, Edouard Bugnion, Evangelos Marios Kogias, Mathias Josef Payer, Charly Nicolas Lucien Castes, Yuchen Qian, Neelu Shivprakash Kalani

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Adapting Haptic Feedback for Guided Meditation

Nicolas Henchoz, Cédric Duchene, Andreas Sonderegger, Romain Simon Collaud, Emily Clare Groves, Yoann Pierre Douillet

Technology supporting meditation is a multimillion-dollar market that continues to grow. There is also strong academic interest to understand and improve the impact technology can have for the user experience of practitioners. However, little work investig ...

2023

Vlasov description of the beam response to noise in the presence of wakefields in high-energy synchrotrons: beam transfer function, diffusion, and loss of Landau damping

Xavier Buffat, Sondre Vik Furuseth

Noise can have severe impacts on particle beams in high-energy synchrotrons. In particular, it has recently been discovered that noise combined with wakefields can cause a diffusion that leads to a loss of Landau damping after a latency. Such instabilities ...

SPRINGER HEIDELBERG2022

Design, prototyping, and thermo-mechanical modelling of a neutron spallation target impacted by high-energy proton-beam pulses in the n_TOF facility at CERN

Raffaele Esposito

This manuscript describes the design work and the R&D activities carried out for the third-generation neutron production target in the neutron Time-Of-Flight (n_TOF) facility at the European Laboratory for Particle Physics (CERN). The facility is composed ...

EPFL2022

SYNAPSE: An international roadmap to large brain imaging

Giorgio Margaritondo

Since 2020, synchrotron radiation facilities in several Asia-Pacific countries have been collaborating in a major project called "SYNAPSE"(Synchrotrons for Neuroscience: an Asia-Pacific Scientific Enterprise). They use x-ray imaging to attack in a coordina ...

ELSEVIER2022

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types ...

ASSOC COMPUTING MACHINERY2022

Spectroscopy and dynamics at liquid water interfaces

Bruno Credidio

This thesis is a detailed description of three experimental investigations on aqueous interfaces. All projects made use of the microjet technology or the more recently developed flat-jet technique which enables the implementation of liquid water in vacuum ...

EPFL2022

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki, Yichen Xu

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

Assoc Computing Machinery2022