Skip to Main content Skip to Navigation


...
tel-00008413v2  Theses
Hamoudi Kalla. Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
...
tel-01157160v1  Theses
Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
...
inria-00407778v1  Reports
Georges GonthierRoux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
...
hal-01352700v2  Reports
François Pellegrini. L'originalité des œuvres logicielles
[Rapport de recherche] RR-8945, Inria Bordeaux Sud-Ouest; Université de bordeaux. 2016, pp.13
...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
...
cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
...
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
...
tel-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. English
...
tel-00008599v1  Theses
Bilal Atfeh. Méthode des lignes de courant appliquée à la modélisation des bassins
Modélisation et simulation. Université de Provence - Aix-Marseille I, 2003. Français
...
pastel-00576861v1  Theses
Shaoshi Chen. Some applications of differential-difference algebra to creative telescoping
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
hal-00826909v1  Journal articles
Yelva RoustanMarc BocquetLuc Musson-GenonBruno Sportisse. Modélisation du mercure, du plomb et du cadmium à l'échelle européenne
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2006, 48 (191), pp.317-327
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
hal-00826931v1  Journal articles
Anne MathieuIrène KorsakissokDenis QuéloOlivier SaunierJérôme Groëll et al.  État de la modélisation pour simuler l'accident nucléaire de la centrale Fukushima Daiichi
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2013
...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
tel-01078911v1  Theses
Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair
Software Engineering [cs.SE]. Université Lille 1, 2014. English
hal-00933358v1  Journal articles
Isabelle HerlinVivien Mallet. La qualité de l'air sous surveillance
Textes et documents pour la classe, SCEREN-CNDP (2002-2013), CANOPE (2014- ), INRDP (1967- ), 2013, Les mathématiques de la terre, pp.40-41
...
tel-00832725v1  Theses
Aude Liefooghe. Matrices score-position, algorithmes et propriétés
Bio-informatique [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
inria-00633749v1  Journal articles
Marc BocquetBruno Sportisse. Modélisation inverse pour la qualité de l'air : éléments de méthodologie et exemples
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2007, pp.395-404
...
tel-00633697v1  Theses
Ender Konukoglu. Modeling Glioma Growth and Personalizing Growth Models in Medical Images
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : 2009NICE4000⟩
...
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
...
hal-00680230v1  Journal articles
Laurent Romary. Etienne Brunet, Ce qui compte - Ecrits choisis, tome II
Literary and Linguistic Computing, Oxford University Press (OUP), 2012
...
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
...
inria-00087226v5  Journal articles
Julien CarmeRémi GilleronAurélien LemayJoachim Niehren. Interactive Learning of Node Selecting Tree Transducers
Machine Learning, Springer Verlag, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩
...
hal-01222045v1  Journal articles
Jérémy FreyAurélien AppriouFabien LotteMartin Hachet. Classifying EEG Signals during Stereoscopic Visualization to Estimate Visual Comfort
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2016, 2016, ⟨10.1155/2016/2758103⟩
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
...
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
hal-01672706v1  Journal articles
Jonathan ProtzenkoJean‐karim ZinzindohouéAseem RastogiTahina RamananandroPeng Wang et al.  Verified Low‐Level Programming Embedded in F*
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.17:1--17:29. ⟨10.1145/3110261⟩
...
inria-00470101v1  Journal articles
Isabelle Tellier. Learning Recursive Automata from Positive Examples
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006, New Methods in Machine Learning. Theory and Applications, 20 (6), pp.775-804. ⟨10.3166/ria.20.775-804⟩
hal-01497878v1  Journal articles
Jacques SaraydaryanFabrice JumelOlivier Simonin. Patrouille Multi-Agent Dynamique, application Robotique pour le Service de Personnes Mobiles
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31 (4), pp.379-400. ⟨10.3166/ria.31.379-400⟩
hal-01555429v1  Journal articles
Pedro Henrique GomesThomas WatteyneBhaskar Krishnamachari. MABO-TSCH: Multi-hop And Blacklist-based Optimized Time Synchronized Channel Hopping
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01548381v1  Journal articles
Karun M. JosephThomas WatteyneBranko Kerkez. Awa: Using Water Distribution Systems to Transmit Data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-00907158v1  Journal articles
Rosa VilardiLuigi Alfredo GriecoChadi BarakatGennaro Boggia. Lightweight Enhanced Monitoring for High-speed Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2013, ⟨10.1002/ett.2637⟩
hal-01252270v1  Journal articles
Ridha SouaPascale MinetErwan Livolant. Wave: a distributed scheduling algorithm for convergecast in IEEE 802.15.4e TSCH networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2015, pp.18
hal-01533174v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaQin Wang. CCR: Cost-Aware Cell Relocation in 6TiSCH Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
...
inria-00112838v1  Journal articles
Sylvain GellyOlivier Teytaud. Bayesian Networks: a Non-Frequentist Approach for Parametrization, and a more Accurate Structural Complexity Measure
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
hal-01055085v1  Directions of work or proceedings
Christian MuehlBrendan AllisonAnton NijholtGuillaume Chanel. Affective brain-computer interfaces: Special Issue editorial
Hill, Jeremy and Nam, Chang. Brain-Computer Interfaces, 1 (2), Taylor & Francis, pp.63-65, 2014, Special Issue: Affective Brain-Computer Interfaces, ⟨10.1080/2326263X.2014.913829⟩
hal-01055084v1  Journal articles
Christian MuehlBrendan AllisonAnton NijholtGuillaume Chanel. A survey of affective brain computer interfaces: principles, state-of-the-art, and challenges
Brain-Computer Interfaces, Taylor & Francis, 2014, Special Issue: Affective Brain-Computer Interfaces, 1 (2), ⟨10.1080/2326263X.2014.912881⟩
...
tel-00340864v1  Theses
Nicolas Palix. Langages dédiés au développement de services de communications
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français
...
hal-01635131v1  Conference papers
Qinghua Zhang. Inverse Scattering for Electrical Cable Soft Fault Diagnosis
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-2
hal-00712723v1  Conference papers
Asma RabaouiEmmanuel DuflosJuliette MaraisNicolas Viandier. On selecting the hyperparameters of the DPM models for the density estimation of observation errors
International Conference on Acoustic, Speech and Signal Processing (ICASSP°, May 2011, Prague, Czech Republic. pp.4092-4095, ⟨10.1109/ICASSP.2011.5947252⟩
hal-01379322v1  Conference papers
Guillaume BressonMohamed-Cherif RahalDominique GruyerMarc RevilloudZayed Alsayed. A Cooperative Fusion Architecture for Robust Localization: Application to Autonomous Driving
IEEE Intelligent Transportation Systems Conference 2016, Nov 2016, Rio de Janeiro, Brazil
...
hal-02373906v1  Journal articles
Qinghua ZhangLiangquan Zhang. Stability Analysis of the Kalman Predictor
International Journal of Control, Taylor & Francis, 2019, pp.1-16. ⟨10.1080/00207179.2019.1638971⟩
...
hal-01635124v1  Conference papers
Masoud PourasgharVicenç PuigCarlos Ocampo-MartinezQinghua Zhang. Reduced-order Interval-observer Design for Dynamic Systems with Time-invariant Uncertainty
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-6
...
hal-01635108v1  Conference papers
Qinghua Zhang. Adaptive Kalman Filter for Actuator Fault Diagnosis
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-6
hal-01081907v1  Book sections
Qinghua Zhang. Nonlinear System Identification
Baillieul, John; Samad, Tariq. Encyclopedia of Systems and Control, Springer, 2014, ⟨10.1007/978-1-4471-5102-9_104-1⟩
hal-00713039v1  Conference papers
Nicolas ViandierAsma RabaouiJuliette MaraisEmmanuel Duflos. Enhancement of Galileo and multi-constellation accuracy by modeling pseudorange noises
Intelligent Transport Systems Telecommunications, (ITST), Oct 2009, Lille, France. pp.459-464, ⟨10.1109/ITST.2009.5399311⟩
...
inria-00333637v1  Conference papers
Julien MercadalNicolas PalixCharles ConselJulia Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services
Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160
...
hal-01592434v1  Conference papers
Nassif BerrabahQinghua ZhangMaud FranchetDenis Vautrin. Estimation of a Cable Resistance Profile with Readaptation of Mismatched Measurement Instrument
International Conference on Electromagnetics in Advanced Applications (ICEAA 2017) , Sep 2017, Verona, Italy
hal-00713045v1  Conference papers
Juliette MaraisEmmanuel DuflosNicolas ViandierDonnay NahimanaAsma Rabaoui. Advanced signal processing techniques for multipath mitigation in land transportation environment
International IEEE Conference on Intelligent Transportation Systems (ITSC), Sep 2010, Funchal, France. pp.1480-1485, ⟨10.1109/ITSC.2010.5625065⟩
hal-01237407v1  Conference papers
Mario MarchettiVincent BoucherJean Dumoulin. statistique de la distance de visibilité par traitement d'images infrarouges
Quatorzième colloque international francophone du club CMOI/SFO « Contrôles et Mesures Optiques pour l'Industrie », Nov 2015, Lannion, France
...
hal-01232155v1  Conference papers
Qinghua Zhang. Stochastic Hybrid System Actuator Fault Diagnosis by Adaptive Estimation
9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS), Sep 2015, Paris, France
...
hal-01232177v1  Conference papers
Boyi NiQinghua Zhang. Stability of the Kalman Filter for Output Error Systems
17th IFAC Symposium on System Identification (SYSID), Oct 2015, Beijing, China
...
hal-01232174v1  Conference papers
Liangquan ZhangQinghua Zhang. Hybrid Descriptor System State Estimation through an IMM Approach
17th IFAC Symposium on System Identification (SYSID), Oct 2015, Beijing, China
...
hal-01909588v1  Conference papers
Qinghua ZhangNassif BerrabahMaud FranchetDenis Vautrin. De-embedding Unmatched Connectors for Electric Cable Fault Diagnosis
SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Warsaw, Poland. pp.1439-1444, ⟨10.1016/j.ifacol.2018.09.535⟩
...
hal-01909572v1  Conference papers
Qinghua ZhangLiangquan Zhang. State Estimation for Stochastic Time Varying Systems with Disturbance Rejection
SYSID 2018 - 18th IFAC Symposium on System Identification, Jul 2018, Stockholm, Sweden. pp.55-59, ⟨10.1016/j.ifacol.2018.09.090⟩
...
hal-01232190v1  Conference papers
Qinghua ZhangLennart Ljung. LPV System Common State Basis Estimation from Independent Local LTI Models
17th IFAC Symposium on System Identification (SYSID), Oct 2015, Beijing, France
hal-01081896v1  Journal articles
Jiandong WangQinghua Zhang. Identification of FIR systems based on quantized output measurements: a quadratic programming-based method
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2014, pp.1-6. ⟨10.1109/TAC.2014.2357133⟩
hal-00713043v1  Conference papers
Asma RabaouiNicolas ViandierJuliette MaraisEmmanuel Duflos. On the use of Dirichlet process mixtures for the modelling of pseudorange errors in multi-constellation based localisation
International Conference on Intelligent Transport Systems Telecommunications, (ITST), Oct 2009, Lille, France. pp.465-470, ⟨10.1109/ITST.2009.5399308⟩
...
inria-00333609v1  Conference papers
Wilfried JouveNicolas PalixCharles ConselPatrice Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications
2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany