Publications associées à Fermeture (informatique)

Structure-preserving approaches and data-driven closure modeling for model order reduction

In this thesis, we propose model order reduction techniques for high-dimensional PDEs that preserve structures of the original problems and develop a closure modeling framework leveraging the Mori-Zwanzig formalism and recurrent neural networks. Since high ...

EPFL2022

UWB-based system for UAV Localization in GNSS-Denied Environments: Characterization and Dataset

Dario Floreano, Fabrizio Schiano

Small unmanned aerial vehicles (UAV) have penetrated multiple domains over the past years. In GNSS-denied or indoor environments, aerial robots require a robust and stable localization system, often with external feedback, in order to fly safely. Motion ca ...

2020

Observation of B+ -> p(Lambda)over-barK(+) K- and B+ -> (p)over-bar Lambda K+ K+

Olivier Schneider, Yiming Li, Mingkui Wang, Chao Wang, Tagir Aushev, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim

We report the study of B+ -> p (Lambda) over barK(+)K(-) and B+ -> (p) over barK(+)K(+) decays using a 772 x 10(6) B (B) over bar pair data sample recorded on the gamma(4S) resonance with the Belle detector at KEKB. The following branching fractions are me ...

American Physical Society2019

Initialization patterns in Dotty

Martin Odersky, Fengyun Liu

Safe object initialization is important to avoid a category of runtime errors in programming languages. In this paper, we provide a case study of the initialization patterns on the Dotty compiler. In particular, we find that calling dynamic-dispatching met ...

2018

Studies of charmed strange baryons in the Lambda D final state at Belle

Olivier Schneider, Yiming Li, Chao Wang, Ho Ling Li, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta

We report the discovery of Xi(c)(3055)(0), observed by its decay into the final-state Lambda D-0, and present the first observation and evidence of the decays of Xi(c)(3055)(+) and Xi(c)(3080)(+) into Lambda D+. We also perform a combined analysis of the L ...

American Physical Society2016

Language Support for Distributed Functional Programming

Heather Christine Klug

Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...

EPFL2015

Distributed Programming via Safe Closure Passing

Heather Christine Klug, Philipp Haller

Programming systems incorporating aspects of functional programming, e.g., higher-order func- tions, are becoming increasingly popular for large-scale distributed programming. New frameworks such as Apache Spark leverage functional techniques to provide hi ...

2015

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Luc Patiny, Julien Wist, Andrés Mauricio Castillo Robles

We present a method for the automatic assignment of small molecules' NMR spectra. The method includes an automatic and novel self-consistent peak-picking routine that validates NMR peaks in each spectrum against peaks in the same or other spectra that are ...

Wiley-Blackwell2015

Visuomotor Coordination in Reach-To-Grasp Tasks: From Humans to Humanoids and Vice Versa

Luka Lukic

Understanding the principles involved in visually-based coordinated motor control is one of the most fundamental and most intriguing research problems across a number of areas, including psychology, neuroscience, computer vision and robotics. Not very much ...

EPFL2015

TCV heating and in-vessel upgrades for addressing DEMO physics issues

Ambrogio Fasoli

TCV is presently undergoing major heating upgrades, installing a neutral beam for direct ion heating and increasing the electron cyclotron(EC) power injected in X-mode at the third harmonic(X3). The neutral beam is under construction at BINP-Plasma LLC(Rus ...

IOP Publishing Ltd2015