output
20072025
most citedOptomechanical mass spectrometry

111 citations

24 papers

quant-ph2025

Fabrication and characterization of vacuum-gap microstrip resonators

Christian Schlager, Romain Albert, Gerhard Kirchmair

In traveling-wave parametric amplifiers (TWPAs) low-loss capacitors are necessary to provide 50 impedance matching to the increased inductance that is brought in by the nonline…

eess.SY2024★ 10 cited

A quantitative model of takeover request time budget for conditionally automated driving

Foghor Tanshi, Dirk Söffker

In conditional automation, the automated driving system assumes full control and only issues a takeover request to a human driver to resume driving in critical situations. Previous…

eess.SP2023

Implementation of hyperspectral inversion algorithms on FPGA: Hardware comparison using High Level Synthesis

El Mehdi Abdali, Daniele Picone, Mauro Dalla-Mura +1

Hyperspectral imaging is gathering significant attention due to its potential in various domains such as geology, agriculture, ecology, and surveillance. However, the associated pr…

physics.app-ph2020★ 111 cited

Optomechanical mass spectrometry

Marc Sansa, Martial Defoort, Ariel Brenac +8

It has been demonstrated in the recent years that nanomechanical mass spectrometry was well suited for the analysis of specific high mass species such as viruses. Still, the exclus…

cs.LO2018

Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL

Mnacho Echenim, Hervé Guiol, Nicolas Peltier

We formalize in the proof assistant Isabelle essential basic notions and results in financial mathematics. We provide generic formal definitions of concepts such as markets, portfo…

cs.DC2016

Demonstration of a context-switch method for heterogeneous reconfigurable systems

Arief Wicaksana, Alban Bourge, Olivier Muller +1

Nowadays, FPGAs are integrated in high-performance computing systems, servers, or even used as accelerators in System-on-Chip (SoC) platforms. Since the execution is performed in h…