2954 articles  [english version]
.:. Consultation > Liste par type de document > Rapport de recherche .:.
19 documents classés par :
fulltext access Carleman Estimate and Inverse Source Problem for Biot's Equations Describing Wave Propagation in Porous Media
Bellassoued M., Yamamoto M.
Rapport de recherche [hal-00816142 - version 1]
fulltext access (Circular) backbone colouring: tree backbones in planar graphs
Havet F., King A. D., Liedloff M., Todinca I.
Rapport de recherche (2012) [hal-00759044 - version 1]
fulltext access Forme et Malléabilité_Topologie des Opérations Enonciatives
Delplanque A.
Rapport de recherche [hal-00745067 - version 1]
fulltext access Implementation of exponential and parametrized algorithms in the AGAPE project
Berthomé P., Lalande J.-F., Levorato V.
Research report [hal-00663866 - version 1]
fulltext access La photogrammétrie appliquée à l'archéologie minière : premiers essais
Arles A., Busdraghi F., Guyot J., Heckes J.
Research report [halshs-00656130 - version 1]
fulltext access New Hardy spaces of Musielak-Orlicz type and boundedness of sublinear operators
Ky L. D.
Rapport de recherche [hal-00578235 - version 2]
fulltext access On minimum (Kq; k) stable graphs
Fouquet J.-L., Thuillier H., Vanherpe J.-M., Wojda A. P.
Research report (2011) 9 [hal-00648505 - version 1]
fulltext access Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Florent B., Kosowski A., Nisse N., Rapaport I., Suchan K.
Rapport de recherche (2011) [inria-00627910 - version 1]
fulltext access Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut Y., Boyer B., Genet T., Legay A.
Research report (2010) [inria-00501487 - version 2]
fulltext access Systematic Development of Functional Bulk Synchronous Parallel Programs
Tesson J., Hu Z., Matsuzaki K., Loulergue F., Gesbert L.
Rapport de recherche (2010) 21 [inria-00465838 - version 2]
fulltext access Program Calculation in Coq
Tesson J., Hashimoto H., Hu Z., Loulergue F., Takeichi M.
Rapport de recherche (2009) 18 [inria-00448751 - version 1]
fulltext access Conditional Random Fields for XML Applications
Gilleron R., Jousse F., Tommasi M., Tellier I.
Rapport de recherche (2008) [inria-00342279 - version 1]
fulltext access A unified FPT Algorithm for Width of Partition Functions
Berthomé P., Nisse N.
Rapport de recherche (2008) 36 [inria-00321766 - version 1]
fulltext access Numerical study of optimal trajectories with singular arcs for space launcher problems
Martinon P., Bonnans F. J., Laurent-Varin J., Trélat E.
Rapport de recherche (2008) 26 [inria-00260180 - version 2]
fulltext access Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
Deransart P., Ducassé M., Ferrand G.
Rapport de recherche (2007) 54 [inria-00151285 - version 3]
fulltext access Singular arcs in the generalized Goddard's Problem
Bonnans J. F., Martinon P., Trélat E.
Rapport de recherche (2007) 25 [inria-00139273 - version 2]
fulltext access Mission archéologique franco-ouzbèque de Bactriane septentrionale. Rapport 10 (2002).
Leriche P., Pidaev S. R., Annaev T., D'Alascio H., Gavison S., Genequand D., Houal J.-B., Moustafakoulov S., Naoumova E., Prisco A. et al
Research report [halshs-00604184 - version 1]
fulltext access Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language
Bougé L., Cachera D., Le Guyadec Y., Utard G., Virot B.
Rapport de recherche (1996) [inria-00073660 - version 1]
fulltext access Analysis of the M/GI/1->./M/1 queueing model
Blanc H.P.C., Iasnogorodski R., Nain P.
Research report (1987) [inria-00075798 - version 1]