.:. Listes > Par type de document > Rapport de recherche .:.

296 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 2 - 3 - 4 - 5 - 6 - 7 - 8 ...

BMO Martingales and Positive Solutions of Heat Equations Hu Y., Qian Z. Research report [hal-00662973 - version 1]

Facets of the set theoretic representation of categorical data Lerman I.-C. Research report (2012) 34 [hal-00661473 - version 1]

Stability of isotropic steady states for the relativistic Vlasov-Poisson system Rigault C. Rapport de recherche [hal-00804493 - version 1]

Faut-il (vraiment) augmenter les frais d'inscription à l'université ? Flacher D., Harari-Kermadec H., Moulin L. Rapport de recherche [hal-00749625 - version 1]

Regular Set of Representatives for Time-Constrained MSC Graphs Sundararaman A., Genest B., Hélouët L., Yang S. Rapport de recherche (2011) 15 pages [hal-00647720 - version 1]

Quels modes de négociation face à des politiques salariales renouvelées ? Castel N., Delahaie N., Petit H. Rapport de recherche [hal-00646434 - version 1]

A simulation study of maximum likelihood estimation in logistic regression with cured individuals Diop A., Diop A., Dupuy J.-F. Research report [hal-00636486 - version 1]

Formal Verification of an SSA-based Middle-end for CompCert Barthe G., Demange D., Pichardie D. Rapport de recherche (2011) [inria-00634702 - version 3]

Automated verification of equivalence properties of cryptographic protocols Chadha R., Ciobaca S., Kremer S. Rapport de recherche (2011) [inria-00632564 - version 2]

Negation for Free! Lazaar N., Aribi N., Gotlieb A., Lebbah Y. Rapport de recherche (2011) 16 [inria-00629657 - version 1]