Publication

Evaluation of Input Parameterization for Batch Process Optimization

Publications associées (32)

Shortwave Infrared-Sensitive, Narrowband Organic Upconversion Devices with a Gain

Sensing and imaging of light in the shortwave infrared (SWIR) range is increasingly used in various fields, including bio-imaging, remote sensing, and semiconductor process control. SWIR-sensitive organic photodetectors (OPDs) are promising because organic ...

EPFL2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Stability: a search for structure

Wouter Jongeneel

In this thesis we study stability from several viewpoints. After covering the practical importance, the rich history and the ever-growing list of manifestations of stability, we study the following. (i) (Statistical identification of stable dynamical syste ...

EPFL2024

Accurate and agile flight with winged drones

Valentin Wüest

Drones hold promise to assist in civilian tasks. To realize this application, future drones must operate within large cities, covering large distances while navigating within cluttered urban landscapes. The increased efficiency of winged drones over rotary ...

EPFL2024

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

Design of an Open-Loop Pile-Oscillation Program in the CROCUS Reactor

Andreas Pautz, Vincent Pierre Lamirand, Thomas Jean-François Ligonnet, Axel Guy Marie Laureau

As a follow-up to the CEA-EPFL PETALE experimental program on stainless steel nuclear data, the EPFL initiated an open-loop pile-oscillation experimental program in the CROCUS reactor: BLOOM. A reproduction of the critical experiments of PETALE, the progra ...

2024

Optimizing Atomic Layer Deposition Processes with Nanowire-Assisted TEM Analysis

Johann Michler, Ivo Utke, Xavier Maeder

Atomic layer deposition (ALD) is one of the premier methods to synthesize ultra-thin materials on complex surfaces. The technique allows for precise control of the thickness down to single atomic layers, while at the same time providing uniform coverage ev ...

Wiley2024

Biophysically accurate and machine learning-based surrogate models to optimize neuroprosthesis design and operation

Simone Romeni

Electrical stimulation of the nervous system has emerged as a promising assistive technology in case of many injuries and illnesses across various parts of the nervous system. In particular, the invasive neuromodulation of the peripheral nervous system see ...

EPFL2024

ZigZag: Universal Sampling-free Uncertainty Estimation Through Two-Step Inference

Nikita Durasov, Nik Joel Dorndorf, Minh Hieu Lê

Whereas the ability of deep networks to produce useful predictions on many kinds of data has been amply demonstrated, estimating the reliability of these predictions remains challenging. Sampling approaches such as MC-Dropout and Deep Ensembles have emerge ...

2024

Spatial Modeling for Building Design Evaluation: from Visual Landscape Quality Assessment to Devaluation Risk Estimation

Adam Robert Swietek

Zoning reform is a crucial tool for cities to adapt to contemporary challenges. However, its implementation remains challenging. Property owners, with a vested interest in the value of their neighborhoods, are sensitive to local developments and the potent ...

EPFL2024

A ride time-oriented scheduling algorithm for dial-a-ride problems

Nikolaos Geroliminis, Claudia Bongiovanni, Mor Kaspi

This paper offers a new algorithm to efficiently optimize scheduling decisions for dial-a-ride problems (DARPs), including problem variants considering electric and autonomous vehicles (e-ADARPs). The scheduling heuristic, based on linear programming theor ...

Pergamon-Elsevier Science Ltd2024

Is the powersave governor really saving power?

David Atienza Alonso, Luis Maria Costero Valero, Darong Huang

A frequency scaling governor is critical for the performance management of cloud servers, as it enhances energy efficiency and helps to control operational temperatures, thereby ensuring system reliability. However, our in-depth analysis of the application ...

2024