Publications associées à Quantification of Strand Accessibility in Biostable DNA Origami with Single-Staple Resolution

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system

A method for optimizing at least one of a geometry, an implantation procedure, and/or stimulation protocol of one or more electrodes for an electrical stimulation of a target structure in a nervous system of a living being by a computer device, the method ...

2024

Development and clinical validation of computational imaging biomarkers for neurodegenerative diseases

Veronica Lily Ravano

Neurodegenerative and neuroinflammatory disorders often involve complex pathophysiological mechanisms that are â to this date â only partially understood. A more comprehensive understanding of those microstructural processes and their characterization ...

EPFL2024

Collimation simulations for the FCC-ee

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

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

Strain-based analysis on the influence of local undercut geometry on fatigue crack initiation life

Alain Nussbaumer, Heikki Tapani Remes, Abinab Niraula

The local undercut defects at the weld toe provide a potential initiation site for fatigue cracks and significantly impact the structure's fatigue strength. The influence of continuous undercut depth on fatigue performance is widely studied, but the resear ...

2024

Ghost imaging using two SPAD array detectors: a parameter study towards the realization of a 3D quantum microscope

Edoardo Charbon, Claudio Bruschini, Paul Mos, Yang Lin

Quantum ghost imaging can be an important tool in making optical measurements. One of the most useful aspects of ghost imaging is the unique ability to correlate two sets of independently collected information. We aim to use the principles of ghost imaging ...

Spie-Int Soc Optical Engineering2024

FENNECS: a novel particle-in-cell code for simulating the formation of magnetized non-neutral plasmas trapped by electrodes of complex geometries

Stefano Alberti, Jean-Philippe Hogge, Joaquim Loizu Cisquella, Jérémy Genoud, Francesco Romano, Guillaume Michel Le Bars

This paper presents the new 2D electrostatic particle -in -cell code FENNECS developed to study the formation of magnetized non -neutral plasmas in geometries with azimuthal symmetry. This code has been developed in the domain of gyrotron electron gun desi ...

2024

Stress tolerance of lightweight glass-free PV modules for vehicle integration

Christophe Ballif, Aïcha Hessler-Wyser, Antonin Faes, Jacques Levrat, Umang Bhupatrai Desai, Gianluca Cattaneo, Fahradin Mujovi, Matthieu Despeisse

Electric vehicles (EVs) currently dominate the sales in the automotive market. A big leap in this market can be made by developing a photovoltaic product that can be integrated to an EV, as it can boost the driving range of the EV while reducing the chargi ...

Edp Sciences S A2024

Geometric Learning: Leveraging differential geometry for learning and control

Bernardo Fichera

In this thesis, we concentrate on advancing high-level behavioral control policies for robotic systems within the framework of Dynamical Systems (DS). Throughout the course of this research, a unifying thread weaving through diverse fields emerges, and tha ...

EPFL2024

From low-rank retractions to dynamical low-rank approximation and back

Daniel Kressner, Axel Elie Joseph Séguin, Gianluca Ceruti

In algorithms for solving optimization problems constrained to a smooth manifold, retractions are a well-established tool to ensure that the iterates stay on the manifold. More recently, it has been demonstrated that retractions are a useful concept for ot ...

Springer2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024