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, Xiao Wang, Lei Li

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

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Martin Odersky, Heather Christine Klug, Philipp Haller

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2014

A Flow-Insensitive, Modular Effect System for Purity

Martin Odersky, Nada Amin, Lukas Rytz

This article presents a modular, flow-insensitive type-and- effect system for purity with lightweight annotations. It does not enforce a global programming discipline and allows ar- bitrary effects to occur in impure parts of the program. The system is des ...

2013

Wireless Multi-hop Networks Beyond Capacity

Patrick Thiran, Adel Aziz

Wireless multi-hop local area networks use in general scheduling schemes that assume the network capacity to be known. Indeed in most of the throughput-optimal algorithms the sources are assumed to send at a rate within the capacity region. However, measur ...

IEEE2013

Querypoint Debugging (Semi-Automated Inspection of Buggy Execution)

Salman Mirghasemi

Debugging is a hard and time-consuming programming task that appears in the most stages of software development and maintenance. Therefore, any improvement in the debugging practice can significantly reduce the time and costs of software production. In thi ...

EPFL2012

Naming Anonymous JavaScript Functions

Claude Petitpierre, Salman Mirghasemi

JavaScript developers create programs by calling functions and they use functions to construct objects. JavaScript development tools need to report to developers about those functions and constructors, for example in debugger call-stacks and in object repr ...

2011

A Global Version Of The Darboux Theorem With Optimal Regularity And Dirichlet Condition

Bernard Dacorogna, Olivier Kneuss

Let n > 2 be even; r >= 1 be an integer; 0 < alpha < 1; Omega be a bounded, connected, smooth, open set in R-n; and nu be its exterior unit normal. Let f, g is an element of C-r,C-alpha((Omega) over bar; Lambda(2)) be two symplectic forms (i.e., closed and ...

2011

Observation of B- -> pbar Lambda D0 at Belle

Olivier Schneider, Remi Léandre Albert Louvot, Yiming Li, Mingkui Wang, Chao Wang, Tagir Aushev, Jun Yong Kim, Ji Hyun Kim, Xiao Wang, Jing Li

We study B- meson decays to (p) over bar Lambda D-(*)0 final states using a sample of 657 x 10(6) B (B) over bar events collected at the Gamma(4S) resonance with the Belle detector at the KEKB asymmetric-energy e(+)e(-) collider. The observed branching fra ...

American Physical Society2011

Distributed classification of multiple observation sets by consensus

Pascal Frossard, Effrosyni Kokiopoulou

We consider the problem of distributed classification of multiple observations of the same object that are collected in an ad hoc network of vision sensors. Assuming that each sensor captures a different observation of the same object, the problem is to cl ...

Institute of Electrical and Electronics Engineers2011

Systems interactions analysis for the energy efficiency improvement of a Kraft process

François Maréchal

There is a broad range of techniques available to the engineer and that should be considered in a retrofit project to enhance the energy efficiency of an operating process. The two best known techniques and most often utilized are internal heat recovery by ...

2010

Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

Martin Odersky, Tiark Rompf, Ingo Maier

We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement a simple type and effect system, which discriminates expressions with control eff ...

ACM2009