.:. Browse > By laboratory > Centre d'Etude et De Recherche en Informatique du Cnam .:.

22 documents ordered by : Date Title first author name document type Submit date

1 - 2

The four-in-a-tree problem in triangle-free graphs Derhy N., Picouleau C., Trotignon N. Documents de travail du Centre d'Economie de la Sorbonne 2008.23 - ISSN : 1955-611X (2008) [halshs-00270623 - version 1]

Contributions aux modèles d'équations structurelles à variables latentes Jakobowicz E. Conservatoire national des arts et metiers - CNAM (2007-10-22), Gilbert Saporta (Dir.) [tel-00207990 - version 2]

Kernel logistic PLS: a tool for supervised nonlinear dimensionality reduction and binary classification Tenenhaus A., Giron A., Viennet E., Béra M., Saporta G., Fertil B. Computational Statistics & Data Analysis 51, 9 (2007) 4083-4100 [hal-00152898 - version 1]

Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs Bonichon R., Delahaye D., Doligez D. Dans Logic for Programming, Artificial Intelligence, and Reasoning 4790 (2007) 151-165 [inria-00315920 - version 1]

Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant Delahaye D., Mayero M. [hal-00009425 - version 1]

Lois limites des écarts extrêmes associés aux histogrammes et à diverses statistiques d'ordre dans l'estimation d'une densité de probabilité Béra M. Université Pierre et Marie Curie - Paris VI Université Pierre et Marie Curie - Paris VI (13/06/1977), M Geffroy (Dir.) [tel-00751542 - version 1]

Liaisons entre plusieurs ensembles de variables et codage de données qualitatives Saporta G. Université Pierre et Marie Curie - Paris VI (15/05/1975), Paul Krée (Dir.) [tel-00649127 - version 1]