output
20082024
most citedDiscrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps

3 citations

8 papers

cs.PL2024

Omega: The Power of Visual Simplicity

Benoit Sonntag, Dominique Colnet

We are currently developing an innovative and visually-driven programming language called Omega.Although the Omega code is stored in text files, these files are not intended for ma…

math.PR2024

Generalized Langevin And Nos{é}-hoover Processes Absorbed At The Boundary Of A Metastable Domain

Arnaud Guillin, D I Lu, Boris Nectoux +1

In this paper, we prove in a very weak regularity setting existence and uniqueness of quasi-stationary distributions as well as exponential conver- gence towards the quasi-stationa…

math.GT2014

Realizing compactly generated pseudo-groups of dimension one

Gaël Meigniez

Many compactly generated pseudo-groups of local transformations on 1-manifolds are realizable as the transverse dynamic of a foliation of codimension 1 on a compact manifold of dim…

astro-ph.IM2012

Reduction and analysis of MUSE data

J. Richard, R. Bacon, P. M. Weilbacher +10

MUSE, the Multi Unit Spectroscopic Explorer, is a 2nd generation integral-field spectrograph under final assembly to see first light at the Very Large Telescope in 2013. By capturi…

cond-mat.supr-con2012★ 2 cited

Electron irradiation of Co, Ni, and P-doped BaFe2As2 - type iron-based superconductors

Cornelis Jacominus Van Der Beek, Sultan Demirdis, Dorothée Colson +7

High energy electron irradiation is used to controllably introduce atomic-scale point defects into single crystalline Ba(Fe_1-xCo_x)_2As_2, Ba(Fe_1-xNi_x)_2As_2, and BaFe_2(As_1-xP…

cs.NI2011

Broadcast Strategies with Probabilistic Delivery Guarantee in Multi-Channel Multi-Interface Wireless Mesh Networks

Carina Teixeira De Oliveira, Fabrice Theoleyre, Andrzej Duda

Multi-channel multi-interface Wireless Mesh Networks permit to spread the load across orthogonal channels to improve network capacity. Although broadcast is vital for many layer-3…