s'authentifier
version française rss feed
.:. Consultation > Par type de publication > Rapport de recherche .:.
47 documents classés par : 
1 - 2 - 3 - 4 - 5 Page Suivante Page Finale
fulltext access Program Transformation for Non-interference Verification on Programs with Pointers
Assaf M., Signoles J., Tronel F., Totel E.
Rapport de recherche (2013) 36 [hal-00814671 - version 1]
fulltext access Inapproximability proof of DSTLB and USTLB in planar graphs
Watel D., Weisser M.-A., Bentz C.
Rapport de recherche [hal-00793424 - version 2]
fulltext access A constructive study of the module structure of rings of partial differential operators
Quadrat A., Robertz D.
Rapport de recherche (2013) 124 [hal-00785003 - version 2]
fulltext access Off-policy Learning with Eligibility Traces: A Survey
Geist M., Scherrer B.
Rapport de recherche (2013) 43 [hal-00644516 - version 2]
fulltext access Sketch -metric: Comparing Data Streams via Sketching
Anceaume E., Busnel Y.
Rapport de recherche [hal-00764772 - version 1]
fulltext access Sketch *-metric: Comparing Data Streams via Sketching
Anceaume E., Busnel Y.
Rapport de recherche [hal-00721211 - version 1]
fulltext access Reaching Approximate Byzantine Consensus in Partially-Connected Mobile Networks
Li C., Hurfin M., Wang Y.
Rapport de recherche (2012) 17 [hal-00703111 - version 1]
fulltext access A measure-theoretic variational Bayesian algorithm for large dimensional problems
Fraysse A., Rodet T.
Rapport de recherche [hal-00702259 - version 1]
fulltext access Approximate Modified Policy Iteration
Scherrer B., Gabillon V., Ghavamzadeh M., Geist M.
Rapport de recherche (2012) [hal-00697169 - version 2]
fulltext access Symbolic methods for developing new domain decomposition algorithms
Cluzeau T., Dolean V., Nataf F., Quadrat A.
Rapport de recherche (2012) 71 [hal-00694468 - version 1]