Skip to Main content Skip to Navigation

tel-03245433v4  Theses
Nadim Kobeissi. Formal verification for real-world cryptographic protocols and implementations
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE065⟩
tel-03232722v1  Theses
Nicolás Jara. Optical network design considering fault tolerance to any set of link failures
Networking and Internet Architecture [cs.NI]. Université Rennes 1; Universidad técnica Federico Santa María (Valparaiso, Chili), 2018. English. ⟨NNT : 2018REN1S111⟩
tel-01956833v2  Theses
Michaël Orieux. Some properties and applications of minimum time control
Dynamical Systems [math.DS]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLED079⟩
tel-03186940v1  Theses
Salima Harrat. Statistical Machine Translation: Application to low resourced languages
Computation and Language [cs.CL]. École Supérieure d’Informatique, 2018. English
hal-03168840v1  Reports
Rima Al AliMoussa AmraniAnkica BarisicFernando BarrosDominique Blouin et al.  State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
[Technical Report] COST European Cooperation in Science and Technology. 2017
lirmm-03168308v1  Reports
Rabab BouzianeErven RohouAbdoulaye Gamatié. Deliverable D2.2 – Description of a specific optimization for low power
[Research Report] Inria Rennes - Bretagne Atlantique; LIRMM (UM, CNRS). 2017
tel-03127091v1  Theses
Alexandre Bleron. Real-time stylized rendering of 3D animated scenes
Graphics [cs.GR]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM060⟩
inria-00543949v2  Reports
Denis Roegel. A reconstruction of Edward Sang's table of logarithms (1871)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2010
inria-00543950v2  Reports
Denis Roegel. A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2010
hal-01771670v2  Reports
Kilian GebhardtFrédéric MeunierSylvain Salvati. On is an n-MCFL
[Research Report] Université de Lille, INRIA, CRIStAL CNRS. 2018
tel-03042290v1  Theses
Mounia Hendel. Méthodes bio-inspirées appliquées à l’analyse temps réel des signaux biomédicaux
Informatique [cs]. Université Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d'Oran, 2017. Français
hal-03014693v1  Reports
Karën FortBenoît Habert. Rapport d’expertise sur le processus de numérisation et d’archivage des corpus oraux du projet Corpus de la parole
[Rapport Technique] Rapport d’expertise commandé par la DGLFLF et les fédérations de linguistique du CNRS, ILF et TUL. 2013
hal-02988939v1  Reports
Frédéric CazalsChristian MuellerCharles RobertAndrea Roth. Towards Morse Theory for Point Cloud Data
hal-01533085v2  Reports
Caroline CollangeNicolas Brunie. Path list traversal: a new class of SIMT flow tracking mechanisms
[Research Report] RR-9073, Inria Rennes - Bretagne Atlantique. 2017
tel-02943919v1  Theses
Farah Slim. Design and Implementation of Resource Allocation Algorithms for a Network Operating
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0071⟩
hal-02888976v1  Reports
Georgios Papadopoulos. The Standardization Efforts at the IETF for the Internet of Things
[Research Report] RR-2018-03-SC, IMT Atlantique. 2018
tel-01674956v3  Theses
Michell Guzmán. On the expressiveness of spatial constraint systems
Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩
tel-02868490v1  Theses
Dalia-Georgiana Popescu. Hyperfractals for wireless networks modelling
Networking and Internet Architecture [cs.NI]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS264⟩
tel-01984047v2  Theses
Hussam Al Daas. Solving linear systems arising from reservoirs modelling
Numerical Analysis [cs.NA]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS329⟩
tel-01970777v2  Theses
Florent Coriat. Géolocalisation et communication en situation de crise
Réseaux et télécommunications [cs.NI]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS340⟩
hal-02791061v1  Reports
Frédérique AngevinClaude BagnisAvner Bar-HenMarie-Anne BarnyPascal Boireau et al.  EFSA-GMO-DE-2017-141 1
[Autre] Haut Conseil Des Biotechnologies. 2017