7266 résultats  enregistrer la recherche


hal-01350104v1  Communication dans un congrès
Jonathan El MethniLaurent GardesStéphane GirardEstimation of risk measures for extreme pluviometrical measurements
26th Annual Conference of The International Environmetrics Society, Jul 2016, Edimbourg, United Kingdom. <http://www.ed.ac.uk/maths/international-environmetrics-society>
hal-01350239v1  Article dans une revue
Anne CanteautJoanna JongwaneÀ propos de la cryptographie
Interstices, INRIA, 2011
...
hal-01100512v1  Communication dans un congrès
Pierre HalmagrandUsing Deduction Modulo in Set Theory
SETS14, 1st International Workshop about Sets and Tools, Jun 2014, Toulouse, France. SETS14, 1st International Workshop about Sets and Tools, 2014, Toulouse, France, EasyChair., pp.12, 2014, <http://sets2014.cnam.fr/>
halshs-00200848v1  Communication dans un congrès
Pierre MaurelThierry RamadierSandrine GlatronColette CauvinAnne-Christine Bronner et al.  Cognition spatiale et gestion concertée de l'environnement. Techniques d'enquêtes et exemples d'application
Conférence québéco-française pour le développement de la géomatique, Jun 2005, Québec, Canada
...
inria-00550729v1  Rapport
Vivien MalletSergiy ZhukReduced minimax state estimation
[Research Report] RR-7500, INRIA. 2010, pp.23
...
hal-00950686v1  Communication dans un congrès
Philippe JacquetSalman MalikBernard MansAlonso SilvaOn the Throughput-Delay Trade-off in Georouting Networks
INFOCOM 2012 - 31st IEEE INFOCOM, Mar 2012, Orlando, Florida, United States. IEEE, pp.765 - 773, 2012, <10.1109/INFCOM.2012.6195823>
...
hal-01350524v1  Communication dans un congrès
Malek LhiouiKais HaddarLaurent RomaryA new method for interoperability between lexical resources using MDA approach
AISI 2016 The 2nd International Conference on Advanced Intelligent Systems and Informatics, Oct 2016, Cairo, Egypt. <http://egyptscience.net/AISI2016/home.html>
...
hal-01100519v1  Poster
Ronan SaillardDedukti : un vérificateur de preuves universel
Journées de seconde année de l'Ecole Doctorale à Mines ParisTech, Jun 2014, Paris, France
...
hal-01250613v1  Communication dans un congrès
Nadia BoufaresInes KhoufiPascale MinetLeila SaidaneYosra Ben SaiedThree dimensional mobile wireless sensor networks redeployment based on virtual forces
Wireless Communications and Mobile Computing Conference (IWCMC), Aug 2015, Dubrovnik Croatia. IEEE, pp.563-568 2015, Proceedings of Wireless Communications and Mobile Computing Conference 2015. <10.1109/IWCMC.2015.7289145>
hal-01200820v1  Communication dans un congrès
Pierre-Vincent KoseleffFabrice RouillierCuong TranOn the sign of a trigonometric expression
ISSAC ' 15, Jul 2015, Bath, United Kingdom. 2015, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation. <10.1145/2755996.2756664>
hal-00950481v1  Communication dans un congrès
Tancrède LepointJean-Sébastien CoronMehdi TibouchiScale-Invariant Fully-Homomorphic Encryption over the Integers
Hugo Krawczyk. PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. Springer, 8383, pp.311-328, 2014, Public-Key Cryptography - PKC 2014; LNCS - Lecture Notes in Computer Science. <10.1007/978-3-642-54631-0_18>
inria-00100200v1  Communication dans un congrès
Daan BroederThierry DeclerckLaurent RomaryEric De La ClergerieMarkus Uneson et al.  A large Metadata Domain for Language Resources
4th International Conference on Language Resources and Evaluation - LREC'04, 2004, Lisbonne, Portugal, France. pp.369-372, 2004
...
hal-00150387v1  Article dans une revue
Maureen ClercStéphane MallatEstimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
...
hal-00850290v1  Communication dans un congrès
Louis MandelCédric PasteurMarc PouzetTime Refinement in a Functional Synchronous Language
PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, pp.169-180, 2013, <10.1145/2505879.2505904>