4044 résultats  enregistrer la recherche


...
tel-01563302v1  Thèse
Sebastián Andrés Barbieri LempShift spaces on groups : computability and dynamics
Computation and Language [cs.CL]. Université de Lyon, 2017. English. < NNT : 2017LYSEN021 >
...
tel-01563118v1  Thèse
Matthieu RosenfeldAvoidability of Abelian Repetitions in Words
Discrete Mathematics [cs.DM]. Université de Lyon, 2017. English. < NNT : 2017LYSEN033 >
...
tel-01562277v1  Thèse
Kai DangElectrical conduction models for cochlear implant stimulation
Imaging. Université Côte d'Azur, 2017. English
...
tel-01562035v1  Thèse
Lénaïc BagnèresAdaptation automatique et semi-automatique des optimisations de programmes
Architectures Matérielles [cs.AR]. Université Paris-Saclay, 2016. Français. < NNT : 2016SACLS295 >
...
tel-01561631v1  Thèse
Renyu XuSome coloring problems of graphs
Discrete Mathematics [cs.DM]. Université Paris-Saclay, 2017. English. < NNT : 2017SACLS104 >
...
tel-01561249v1  Thèse
Apollos BesseModélisation Mathématique de la Leucémie Myéloïde Chronique
Mathématiques [math]. Université Claude Bernard Lyon 1, 2017. Français. < NNT : 2017LYSE1105 >
...
tel-01560981v1  Thèse
Quentin SabahSiaam : Simple Isolation for an Actor-based Abstract Machine
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. < NNT : 2013GRENM082 >
...
tel-01558422v1  Thèse
Noran AzmyA Machine-Checked Proof of Correctness of Pastry
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2016. English. < NNT : 2016LORR0277 >
...
tel-01557524v1  HDR
Caroline AppertFrom Direct manipulation to Gestures
Human-Computer Interaction [cs.HC]. Paris-Sud XI, 2017
...
tel-01273290v1  Thèse
Damián Alberto VicinoImproved time representation in discrete-event simulation
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. < NNT : 2015NICE4078 >
...
tel-01555362v1  Thèse
Minh-Dung TranPrivacy Challenges in Online Targeted Advertising
Computers and Society [cs.CY]. Université de Grenoble, 2014. English. < NNT : 2014GRENM053 >
...
tel-01097793v2  Thèse
Kim Quyen LyAutomated verification of termination certificates
Computation and Language [cs.CL]. Université de Grenoble, 2014. English. < NNT : 2014GRENM036 >
...
tel-01551701v1  Thèse
Elise EstibalsMHD Modeling and Numerical Simulation with Finite Volume-type Methods. Application to Fusion Plasmas
Mathematical Physics [math-ph]. Université Nice Côte d'Azur, 2017. English
...
tel-01551107v1  Thèse
Hlib MykhailenkoDistributed edge partitioning
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Côte d'Azur, CNRS, I3S, France, 2017. English
...
tel-01548974v2  Thèse
Abdelberi ChaabaneOnline Social Networks : Is it the end of Privacy ?
Social and Information Networks [cs.SI]. Université de Grenoble, 2014. English. < NNT : 2014GRENM017 >
...
tel-01548658v1  Thèse
Álvaro García-RecueroDiscouraging Abusive Behavior in Privacy-Preserving Decentralized Online Social Networks
Computer Science [cs]. University of Rennes 1; Inria Rennes - Bretagne Atlantique, 2017. English
...
tel-01549014v1  Thèse
Diana StefanStructural and parametric identification of bacterial regulatory networks
Artificial Intelligence [cs.AI]. Université de Grenoble, 2014. English. <NNT : 2014GRENM019>
...
tel-00931788v3  Thèse
Paul FerrandCommunications coopératives dans les réseaux autour du corps humain
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2013. Français. <NNT : 2013ISAL0044>
...
tel-01548465v1  Thèse
Amit SangroyaTowards dependability and performance benchmarking for cloud computing services
Networking and Internet Architecture [cs.NI]. Université de Grenoble, 2014. English. < NNT : 2014GRENM016 >
...
tel-00986104v2  Thèse
Zhengjie FanConcise Pattern Learning for RDF Data Sets Interlinking
Databases [cs.DB]. Université de Grenoble, 2014. English. <NNT : 2014GRENM013>
...
tel-01548385v1  Thèse
Ferdaouss MattoussiConception et optimisation de codes AL-FEC : les codes GLDPC-Staircase
Cryptographie et sécurité [cs.CR]. Université de Grenoble, 2014. Français. <NNT : 2014GRENM012>