New Capabilities of the FLUKA Multi-Purpose Code

Publications associées (28)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Dynamic Personalized Ranking

Jérémie Rappaz

Personalized ranking methods are at the core of many systems that learn to produce recommendations from user feedbacks. Their primary objective is to identify relevant items from very large vocabularies and to assist users in discovering new content. These ...

EPFL2022

Towards Beam-Beam Simulations for FCC-ee

Tatiana Pieloni, Xavier Buffat, Mike Seidel, Giovanni Iadarola, Péter Kicsiny

The FCC-ee (Future Circular Collider) lepton collider is currently the most favored next generation research infrastructure project at CERN, aimed at studying properties of standard model particles with the highest precision ever. The chosen parameters of ...

JACoW Publishing, Geneva, Switzerland2022

Enclosure: Language-Based Restriction of Untrusted Libraries

James Richard Larus, Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn

Programming languages and systems have failed to address the security implications of the increasingly frequent use of public libraries to construct modern software. Most languages provide tools and online repositories to publish, import, and use libraries ...

ACM2021

Tomographic reconstruction of the runaway distribution function in TCV using multispectral synchrotron images

Basil Duval, Joan Decker, Umar Sheikh, Artur Perek, Gergely Papp

Synchrotron radiation observed in a quiescent Tokamak a Configuration Variable (TCV) runaway discharge is studied using filtered camera images targeting three distinct wavelength intervals. Through the tomographic simultaneous algebraic reconstruction tech ...

IOP Publishing Ltd2021

Representing Monads with Capabilities

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Jonathan Immanuel Brachthäuser

Programming with monads can be advantageous even in imperative languages with builtin support for side effects. However, in these languages composing monadic programs is different from composing side effecting imperative programs. This does not need to be ...

2021

How Florist Apprentices Explore Bouquet Designs: Supporting Design Space Exploration for Vocational Students

Pierre Dillenbourg, Kevin Gonyop Kim, Catharine Regina Monika Maria Oertel Genannt Bierbach

Context: Exploring the design space is an important process in a design task. In this study, we considered design space exploration for the learners in vocational education and training (VET). The goal of the study was to investigate how they explore the d ...

2021

Analysis of a Novel Toroidal Configuration for Hadron Therapy Gantries

Enrico Felcini

Hadron therapy refers to a medical treatment that uses hadron beams (i.e. protons and ions) to deliver localized energy that suppresses cancerous cells, sparing the neighbouring healthy tissues from unwanted radiation. The major technical components of a h ...

EPFL2021

Page 3 sur 3