Add to ORKGAn overview of the works devoted to fragmentation of small carbon clusters is given in a first part. Fragmentation of swift neutral and (multi) charged carbon clusters studied with the AGAT spectrometer is presented and discussed in a second part
Projet M3NWe start from a mathematical model which describes the collective motion of bacteria takin...
This work is a description of the Visible to near Infrared Spectrograph system for the CHARA array. ...
We compare the block-Lanczos and the Davidson methods for computing a basis of a singular subspace a...
This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser the...
Projet COQExplicit substitutions calculi are formal systems that implement $\beta$-reduction by mean...
Abstract Accidents and disasters have happened and will occur. The Republic of North Macedonia is n...
Photos: F. Chevaldonné, P. Moity(avec l'autorisation de P. Moity pour dépôt sur halshs)To what exten...
The present generation of gamma-rays detector has allowed the study of the brightest sources (Active...
Projet PROGRAISThe system $F_\leq$, the well-known second-order polymorphic typed $\lambda$-calculus...
We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a v...
Proof Carrying Code (PCC) is a technique for downloading mobile code on a host machine while ensurin...
L'objet de cet article est d'expliquer la présence, dans la phrase averbale, de termes récurrents qu...
The aim of this work is the investigation of the structure of light neutron-rich nuclei using differ...
Projet M3NWe present in this report a mathematical modelization of a pure gas flow in strong vibrati...
This paper describes how any Identity Based Signature schemes can be used to implement a Group Signa...
Projet M3NWe start from a mathematical model which describes the collective motion of bacteria takin...
This work is a description of the Visible to near Infrared Spectrograph system for the CHARA array. ...
We compare the block-Lanczos and the Davidson methods for computing a basis of a singular subspace a...
This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser the...
Projet COQExplicit substitutions calculi are formal systems that implement $\beta$-reduction by mean...
Abstract Accidents and disasters have happened and will occur. The Republic of North Macedonia is n...
Photos: F. Chevaldonné, P. Moity(avec l'autorisation de P. Moity pour dépôt sur halshs)To what exten...
The present generation of gamma-rays detector has allowed the study of the brightest sources (Active...
Projet PROGRAISThe system $F_\leq$, the well-known second-order polymorphic typed $\lambda$-calculus...
We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a v...
Proof Carrying Code (PCC) is a technique for downloading mobile code on a host machine while ensurin...
L'objet de cet article est d'expliquer la présence, dans la phrase averbale, de termes récurrents qu...
The aim of this work is the investigation of the structure of light neutron-rich nuclei using differ...
Projet M3NWe present in this report a mathematical modelization of a pure gas flow in strong vibrati...
This paper describes how any Identity Based Signature schemes can be used to implement a Group Signa...
Projet M3NWe start from a mathematical model which describes the collective motion of bacteria takin...
This work is a description of the Visible to near Infrared Spectrograph system for the CHARA array. ...
We compare the block-Lanczos and the Davidson methods for computing a basis of a singular subspace a...