Actualités du LIPN

Monday 26 April 2010

Un langage de programmation orienté interaction

By damiano

Jump from parallel to sequential proofs: exponentials

By damiano

Tuesday 20 April 2010

Résolution de problèmes de transport à la personne par génération de colonnes

By jcdubacq

Monday 19 April 2010

Quelques thèmes de la théorie de la démonstration du XXe siècle, vus d'ajourd'hui

By damiano

Tuesday 13 April 2010

Combinatoire des mots et convexité discrète

By jcdubacq

Monday 12 April 2010

Categorical Models for Simply Typed Resource Calculi

By damiano

La sémantique relationnelle de la logique linéaire est-elle injective?

By damiano

Thursday 8 April 2010

Modèle probabiliste à base de processus latent pour la description et la classification de signaux. Application au diagnostic d'un système ferroviaire

By Aomar Osmani

Tuesday 6 April 2010

Minorité stochastique et de ses particularités

By jcdubacq

Thursday 1 April 2010

TreeRank : un paquet R pour l'ordonnancement avec label binaire

By Aomar Osmani