Skip to Main content Skip to Navigation


...
tel-02921424v1  Theses
Maximilian Jaritz. 2D-3D scene understanding for autonomous driving
Machine Learning [cs.LG]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM007⟩
...
tel-00006129v1  Theses
Marta Wilczkowiak. 3D Modeling From Images Using Geometric Constraints
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2004. English
...
tel-00834344v1  Theses
Halim Benhabiles. 3D-mesh segmentation: automatic evaluation and a new learning-based method
Computer Vision and Pattern Recognition [cs.CV]. Université des Sciences et Technologie de Lille - Lille I, 2011. English
...
tel-00459780v1  Theses
Sandrine Chemla. A biophysical cortical column model for optical signal analysis
Neurons and Cognition [q-bio.NC]. INRIA Sophia-Antipolis, 2010. English
...
tel-00459007v1  Theses
Brice Rebsamen. A Brain Controlled Wheelchair to Navigate in Familiar Environments
Human-Computer Interaction [cs.HC]. national university of singapore, 2009. English
...
tel-01988073v2  Theses
Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE062⟩
...
tel-00726510v1  Theses
Ali Assaf. A Common Aspect Languages Interpreter
Software Engineering [cs.SE]. Université de Nantes, 2011. English
...
tel-02105743v2  Theses
João Paulo de Araujo. A communication-efficient causal broadcast publish/subscribe system
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS081⟩
...
tel-01749525v2  Theses
Shahram Nourizadeh. A context-aware and QoS-aware telehomecare system
Ubiquitous Computing. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL044N⟩
...
tel-01749599v2  Theses
Hien Thi Thu Truong. A Contract-based and Trust-aware Collaboration Model
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0181⟩
...
tel-00758118v1  Theses
Tomas Navarrete Gutierrez. A control architecture for complex systems, based on multi-agent simulation.
Multiagent Systems [cs.MA]. Université de Lorraine, 2012. English
...
tel-00832487v1  Theses
Julia Flötotto. A Coordinate System associated to a Point Cloud issued from a Manifold: Definition, Properties and Applications
Computational Geometry [cs.CG]. Université Nice Sophia Antipolis, 2003. English
...
tel-00760992v1  Theses
Imene Mami. A Declarative Approach to Modeling and Solving the View Selection Problem
Databases [cs.DB]. Université Montpellier II - Sciences et Techniques du Languedoc, 2012. English
...
tel-01632727v1  Theses
Justin Mathew. A design framework for user interfaces of 3D audio production tools
Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS328⟩
...
tel-01784869v1  Theses
Ngoc Tho Huynh. A development process for building adaptative software architectures
Software Engineering [cs.SE]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0026⟩
...
tel-00592207v1  Theses
Thomas Colleu. A floating polygon soup representation for 3D video
Human-Computer Interaction [cs.HC]. Université Rennes 1, 2010. English
...
tel-01692550v1  Theses
Walid Benghabrit. A formal model for accountability
Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0043⟩
...
tel-01563979v1  Theses
Evmorfia-Iro Bartzia. A formalization of elliptic curves for cryptography
Cryptography and Security [cs.CR]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX002⟩
...
tel-01426029v1  Theses
Everton Ranielly de Sousa Cavalcante. A Formally Founded Framework for Dynamic Software Architectures
Software Engineering [cs.SE]. Université de Bretagne Sud; Universidade federal do Rio Grande do Norte (Natal, Brésil), 2016. English. ⟨NNT : 2016LORIS403⟩
...
tel-01235303v4  Theses
Ali Assaf. A framework for defining computational higher-order logics
Computer Science [cs]. École polytechnique, 2015. English
...
tel-01251719v1  Theses
Jean-François Dollinger. A framework for efficient execution on GPU and CPU+GPU systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
...
tel-03447718v1  Theses
Giorgi Rukhaia. A FreeForm Optics Application of Entropic Optimal Transport
Mathematics [math]. PSL Université Paris Dauphine; INRIA Paris, 2021. English
...
tel-00441540v3  Theses
Tom Gundersen. A General View of Normalisation through Atomic Flows
Mathematics [math]. The University of Bath, 2009. English
...
tel-01208153v1  Theses
Alina Quereilhac. A generic approach to network experiment automation
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4036⟩
...
tel-01094765v1  Theses
Andrei Arusoaie. A Generic Framework for Symbolic Execution:Theory and Applications
Computer Science [cs]. Alexandru Ioan Cuza, University of Iasi, 2014. English
...
tel-00484788v2  Theses
Sebastien Pavel. A Hierarchical Component Model with Interaction Protocols
Software Engineering [cs.SE]. Université de Nantes, 2008. English
...
tel-00765575v1  Theses
François Vilar. A high-order Discontinuous Galerkin discretization for solving two-dimensional Lagrangian hydrodynamics
Numerical Analysis [math.NA]. Université Sciences et Technologies - Bordeaux I, 2012. English
...
tel-00666669v1  Theses
Ismail El Sayad. A Higher-level Visual Representation for Semantic Learning in Image Databases
Graphics [cs.GR]. Université des Sciences et Technologie de Lille - Lille I, 2011. English
...
tel-01178394v1  Theses
Alexis Praga. A large-scale atmospheric chemistry-transport model for massively parallel architectures
Computer Science [cs]. Université Toulouse III - Paul Sabatier, 2015. English
...
tel-01126927v1  Theses
Guilhem Jaber. A logical study of program equivalence
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0124⟩
...
tel-01558422v1  Theses
Noran Azmy. A Machine-Checked Proof of Correctness of Pastry
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0277⟩
...
tel-00940575v2  Theses
Edouard Grave. A Markovian approach to distributional semantics
Computation and Language [cs.CL]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066002⟩
...
tel-00497248v1  Theses
Yu Huafeng. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
...
tel-01247085v1  Theses
Pierre-Marie Pédrot. A Materialist Dialectica
Logic in Computer Science [cs.LO]. Paris Diderot, 2015. English
...
pastel-00667368v1  Theses
Mathieu Galtier. A mathematical approach to unsupervised learning in recurrent neural networks
Neural and Evolutionary Computing [cs.NE]. École Nationale Supérieure des Mines de Paris, 2011. English. ⟨NNT : 2011ENMP0057⟩
...
tel-00650399v1  Theses
Mahsa Behzadi. A Mathematical Model of Phospholipid Biosynthesis
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English
...
pastel-00838322v1  Theses
Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-01441608v2  Theses
Quentin Viville. A method of hp-adaptation for Residual Distribution schemes
General Mathematics [math.GM]. Université de Bordeaux, 2016. English. ⟨NNT : 2016BORD0408⟩
...
tel-00923305v1  Theses
Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-01651738v2  Theses
Marco Naddeo. A Modular Approach to Object Initialization for Pharo
Programming Languages [cs.PL]. Dipartimento di Informatica, Università degli Studi di Torino; Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2017. English
...
tel-00535886v1  Theses
Mark Hills. A MODULAR REWRITING APPROACH TO LANGUAGE DESIGN, EVOLUTION AND ANALYSIS
Software Engineering [cs.SE]. University of Illinois at Urbana Champaign, 2009. English
...
tel-00936845v1  Theses
Jean Peyhardi. A new generalized linear model (GLM) framework for analysing categorical data; application to plant structure and development.
Statistics [math.ST]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. English
...
tel-00690743v1  Theses
Marco Cisternino. A parallel second order Cartesian method for elliptic interface problems and its application to tumor growth model
Modeling and Simulation. Université Sciences et Technologies - Bordeaux I; Politecnico di Torino, 2012. English
...
tel-00656649v1  Theses
Angel Núñez. A Programming Model Integrating Classes, Events and Aspects
Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
...
tel-00737199v1  Theses
Adrien Friggeri. A Quantitative Theory of Social Cohesion
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0734⟩
...
pastel-00960808v1  Theses
Pierre Neron. A Quest for Exactness: Program Transformation for Reliable Real Numbers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00839380v1  Theses
Iryna Veryzhenko. A reexamination of modern finance issues using Artificial Market Frameworks
Multiagent Systems [cs.MA]. Université Panthéon-Sorbonne - Paris I, 2012. English
...
tel-02089352v1  Theses
Lina Maria Garcès Rodriguez. A reference architecture for healthcare supportive home systems from a systems-of-systems perspective
Multiagent Systems [cs.MA]. Université de Bretagne Sud; Universidade de São Paulo (Brésil), 2018. English. ⟨NNT : 2018LORIS493⟩
...
tel-00978732v1  Theses
Fahad Rafique Golra. A Refinement based methodology for software process modeling
Software Engineering [cs.SE]. Télécom Bretagne, Université de Rennes 1, 2014. English
...
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
...
tel-00464475v1  Theses
Jorge-Arnulfo Quiane-Ruiz. A SATISFACTION-BASED QUERY ALLOCATION FRAMEWORK FOR DISTRIBUTED INFORMATION SYSTEMS
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English
...
tel-01426486v2  Theses
Saliha Lallali. A Scalable Search Engine for the Personal Cloud
Computer science. Université Paris-Saclay, 2016. English. ⟨NNT : 2016SACLV009⟩
...
tel-02093561v1  Theses
Saad El Jaouhari. A secure design of WoT services for smart cities
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0120⟩
...
tel-01746351v2  Theses
Khaled Gaaloul. A Secure Framework for Dynamic Task Delegation in Workflow Management Systems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10058⟩
...
tel-00406399v1  Theses
Roberto Speicys Cardoso. A Service-oriented Middleware for Privacy Protection in Pervasive Computing
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2009. English
...
tel-03178310v1  Theses
Ziqiang Zou. A sharp interface method for low Mach two-phase flows with phase change
Fluid mechanics [physics.class-ph]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPAST057⟩
...
tel-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
tel-01962082v1  Theses
Rafael Keller Tesser. A Simulation Workflow to Evaluate the Performance of Dynamic Load Balancing with Over-decomposition for Iterative Parallel Applications
Distributed, Parallel, and Cluster Computing [cs.DC]. Universidade Federal Do Rio Grande Do Sul, 2018. English
...
tel-02146340v1  Theses
Valdemar Vicente Graciano Neto. A simulation-driven model-based approach for designing softwareintensive systems-of-systems architectures
Multiagent Systems [cs.MA]. Université de Bretagne Sud; Universidade de São Paulo (Brésil), 2018. English. ⟨NNT : 2018LORIS489⟩
...
tel-01095420v1  Theses
Pierre Fernique. A statistical modeling framework for analyzing tree-indexed data
Statistics [math.ST]. Universite de Montpellier 2, 2014. English
...
tel-00768862v1  Theses
Andrei Banciu. A Stochastic Approach For The Range Evaluation
Signal and Image processing. Université Rennes 1, 2012. English. ⟨NNT : 2012REN1E002⟩
...
tel-01714954v1  Theses
Pratibha Mitharwal. A study of IP network mobility in a multihomed context
Networking and Internet Architecture [cs.NI]. Ecole Nationale Supérieure des Télécommunications de Bretagne - ENSTB, 2016. English. ⟨NNT : 2016TELB0407⟩
...
tel-01507595v2  Theses
Guillaume Baudart. A synchronous approach to quasi-periodic systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE007⟩
...
tel-01490431v1  Theses
Adrien Guatto. A synchronous functional language with integer clocks
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE020⟩
...
tel-02129544v2  Theses
Anca Nitulescu. A tale of SNARKs : quantum resilience, knowledge extractability and data privacy
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE014⟩
...
tel-01749159v2  Theses
Cláudia Tavares. A type system for embedded rewriting programming
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
...
tel-03236271v1  Theses
Gaëtan Gilbert. A type theory with definitional proof-irrelevance
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0169⟩