.:. 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

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

Fluid flows through fractured porous media along Beavers-Joseph interfaces Gruais I., Polisevski D. Rapport de recherche [hal-00823227 - version 1]

From security protocols to pushdown automata Chrétien R., Cortier V., Delaune S. Rapport de recherche (2013) [hal-00817230 - version 1]

The Webdamlog System Managing Distributed Knowledge on the Web Abiteboul S., Antoine E., Stoyanovich J. Rapport de recherche (2013) [hal-00813300 - version 1]

Médiation Scientifique : une facette de nos métiers de la recherche Rousseau A., Darnaud A., Goglin B., Acharian C., Leininger C., Godin C., Holik C., Kirchner C., Rives D., Darquie E. et al Rapport de recherche (2013) 34 [hal-00804915 - version 1]

On the inequalities of Babuška-Aziz, Friedrichs and Horgan-Payne Costabel M., Dauge M. Rapport de recherche [hal-00804385 - version 1]

On Friedrichs constant and Horgan-Payne angle for LBB condition Dauge M., Bernardi C., Costabel M., Girault V. Rapport de recherche [hal-00797642 - version 1]

A fast algorithm for exact histogram speci cation. Simple extension to colour images Nikolova M. Rapport de recherche [hal-00780326 - version 2]

Tree Automata Completion for Static Analysis of Functional Programs Genet T., Salmon Y. Rapport de recherche [hal-00780124 - version 2]

Corner asymptotics of the magnetic potential in the eddy-current model Dauge M., Dular P., Krähenbühl L., Péron V., Perrussel R., Poignard C. Rapport de recherche (2013) [hal-00779067 - version 1]

Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach Arnold A., Boyer B., Legay A. Rapport de recherche (2013) 21 [hal-00778039 - version 1]