Skip to Main content Skip to Navigation


hal-01406655v1  Book sections
Bernt ØksendalAgnès SulemTusheng Zhang. A stochastic HJB equation for optimal control of forward-backward SDEs
The Fascination of Probability, Statistics and their Applications, Springer Verlag, pp.11, 2016
...
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
...
hal-01610541v1  Book sections
P.-A JosephB GlizeM CognéE SoritaH. Sauzéon. La cognition sociale au-delà du cerveau : une cognition inclusive
Jean-Michel Mazaux; P-A Joseph; A Prouteau; V Brun. La cognition sociale, Sauramps Médical pp.135-142, 2016, 979-10-303-0048-2
hal-01376212v1  Book sections
Francesco SoldovieriJean Dumoulin. Integrated monitoring at a modern architectural masterpiece: the case of Viaduct Basento in Potenza
Sensing the past , Springer, pp.499-514, 2017, Geoscience and Sensing Technologies for cultural heritage
hal-00624354v1  Book sections
Arnaud AnantharamanRonan CostaouecClaude Le BrisFrédéric LegollFlorian Thomines. Introduction to numerical stochastic homogenization and the related computational challenges: some recent developments
Weizhu Bao and Qiang Du. Multiscale modeling and analysis for materials simulation, World Scientific, 2011, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore ; vol. 22
hal-00519766v1  Book sections
Frédéric Legoll. Multiscale methods coupling atomistic and continuum mechanics: some examples of mathematical analysis
Analytical and Numerical Aspects of Partial Differential Equations, de Gruyter, pp.193-245, 2009, Proceedings in Mathematics
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-01376217v1  Book sections
Jean Dumoulin. Infrared thermography: from sensing principle to non destructive testing considerations
Sensing the past, Springer, 2017, Geoscience and Sensing Technologies for cultural heritage
...
hal-00830122v1  Book sections
Lucian BusoniuAlessandro LazaricMohammad GhavamzadehRémi MunosRobert Babuska et al.  Least-squares methods for policy iteration
Reinforcement Learning: State of the Art, Springer, pp.75-109, 2011
...
inria-00114958v3  Book sections
Michel FliessHebertt Sira-Ramirez. Closed-loop parametric identification for continuous-time linear systems via new algebraic techniques
H. Garnier & L. Wang. Identification of Continuous-time Models from Sampled Data, Springer, pp.362-391, 2008, Advances in Industrial Control, ISBN-13:9781848001602
...
hal-00643496v1  Book sections
Milos HauskrechtRichard PelikanMichal ValkoJames Lyons-Weiler. Feature Selection and Dimensionality Reduction in Genomics and Proteomics
Werner Dubitzky, Martin Granzow and Daniel Berrar. Fundamentals of Data Mining in Genomics and Proteomics, Springer, pp.149-172, 2006, ⟨10.1007/978-0-387-47509-7⟩
...
hal-00772626v1  Book sections
Alessandro Lazaric. Transfer in Reinforcement Learning: a Framework and a Survey
Marco Wiering, Martijn van Otterlo. Reinforcement Learning - State of the art, 12, Springer, pp.143-173, 2012, ⟨10.1007/978-3-642-27645-3_5⟩
inria-00533451v1  Book sections
Wei KangJean-Pierre BarbotLiang Xu. On the Observability of Nonlinear and Switched Systems
Ghosh, Bijoy; Martin, Clyde F.; Zhou, Yishao. Emergent Problems in Nonlinear Systems and Control, 393, Springer, 2010, Lecture Notes in Control and Information Sciences,, 978-3-642-03626-2
...
hal-00830192v1  Book sections
Rémi Munos. Programmation dynamique avec approximation de la fonction valeur
Processus décisionnels de Markov et intelligence artificielle, Hermes, pp.19-50, 2008
...
hal-00840479v1  Book sections
Nikos VlassisMohammad GhavamzadehShie MannorPascal Poupart. Bayesian Reinforcement Learning
Marco Wiering and Martijn van Otterlo. Reinforcement Learning: State of the Art, Springer Verlag, 2012
...
hal-00527022v1  Book sections
Eric CancèsMathieu LewinGabriel Stoltz. The Microscopic Origin of the Macroscopic Dielectric Permittivity of Crystals: A Mathematical Viewpoint
Björn Engquist, Olof Runborg and Yen-Hsi R. Tsai. Numerical Analysis of Multiscale Computations. Proceedings of a Winter Workshop at the Banff International Research Station 2009, Springer, pp.87--125, 2011, Lecture Notes in Computational Science and Engineering, ⟨10.1007/978-3-642-21943-6⟩
...
hal-01882558v1  Book sections
Nicholas Ayache. L'imagerie médicale à l'heure de l'intelligence artificielle
Cédric Villani; Bernard Nordlinger. Santé et intelligence artificielle, CNRS Editions, pp.151-154, 2018
hal-01257952v1  Book sections
Frédéric MalletZholtkevych Grygoriy. Co-Algebraic Semantic Model for the Clock Constraint Specification Language
Communications in Computer and Information Science, 476, Springer, pp.174-188, 2015, ⟨10.1007/978-3-319-17581-2_12⟩
...
hal-00755407v1  Book sections
Gianlorenzo d'AngeloGabriele Di StefanoAlfredo Navarra. Gathering asynchronous and oblivious robots on basic graph topologies under the Look -Compute-Move model
Steve Alpern and Robbert Fokkink and Leszek Gasieniec and Roy Lindelauf and VS Subrahmanian. Search Games and Rendezvous, Springer, 2012
hal-01409009v1  Book sections
Maureen Clerc. Electroencephalography Data Preprocessing
Maureen Clerc; Laurent Bougrain; Fabien Lotte. Brain-Computer Interfaces 1, Wiley-ISTE, 2016, 978-1-84821-826-0. ⟨10.1002/9781119144977.ch6⟩
hal-00904989v1  Book sections
Xavier Descombes. Markov Models and MCMC Algorithms in Image Processing
Rama Chelappa. Academic Press Library in Signal Processing, 4, Elsevier Ltd, 2014, Image, Video Processing and Analysis, Hardware, Audio, Acoustic and Speech 978-0-12-396501-1
...
inria-00170886v1  Book sections
Lionel AlbertiBernard Mourrain. Regularity criteria for the topology of algebraic curves and surfaces
Ralph Martin and Malcom Sabin and Joab Winkler. Mathematics of Surfaces XII, 4647, Springer, pp.1-28, 2007, LNCS, 0302-9743
inria-00422469v1  Book sections
Camille ConstantThierry JéronHervé MarchandVlad Rusu. Validation of Reactive Systems
S, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008
...
inria-00579668v2  Book sections
Zhihao CenJ. Frederic BonnansThibault Christel. Sensitivity analysis of energy contracts management problem by stochastic programming techniques
R. Carmona, P. Del Moral, P. Hu, N. Oudjane. Numerical Methods in Finance, 12 (2012), Springer, pp.447-471., 2012, Springer Proceeding in Mathematics
...
hal-01066445v1  Book sections
Enrique D. Fernandez-NietoPaul Vigneaux. Some Remarks on Avalanches Modelling: An Introduction to Shallow Flows Models
Parés, Carlos; Vazquez Cendon, Carlos; Coquel, Frederic. Advances in Numerical Simulation in Physics and Engineering - Lecture Notes of the XV 'Jacques-Louis Lions' Spanish-French School, 3, Springer, pp.51-106, 2014, SEMA SIMAI Springer Series, 978-3-319-02838-5. ⟨10.1007/978-3-319-02839-2_2⟩
...
hal-02350777v1  Book sections
Konstantinos ChatzikokolakisGeoffrey Smith. Refinement Metrics for Quantitative Information Flow
Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩
hal-00904524v1  Book sections
Thierry DespeyrouxFrancisco de A.T. de CarvahloYves LechevallierFilipe de Melo. Multi-View Clustering on Relational Data
Fabrice Guillet and Bruno Pinaud and Gilles Venturini and Djamel Abdelkader Zighed. Advances in Knowledge Discovery and management, vol. 4, 527, Springer International Publishing, pp.37-51, 2013, Studies in Computational Intelligence, 978-3-319-02998-6 (Print) 978-3-319-02999-3 (Online). ⟨10.1007/978-3-319-02999-3⟩
hal-00755009v1  Book sections
Jordi CabotMartin Gogolla. Object Constraint Language (OCL): A Definitive Guide
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 7320, Springer, pp.58-90, 2012, Lecture Notes in Computer Science
hal-01406649v1  Book sections
Bernt ØksendalAgnès Sulem. Optimal control of predictive mean-field equations and applications to finance
Springer Proceedings in Mathematics & Statistics, 138, Springer Verlag, pp.319, 2016, Stochastic of Environmental and Financial Economics, 978-3-319-23424-3. ⟨10.1007/978-3-319-23425-0⟩
...
hal-01947855v1  Book sections
Ahmed BouajjaniConstantin EneaKailiang JiShaz Qadeer. On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
International Conference on Computer Aided Verification, CAV 2018: Computer Aided Verification, Springer International Publishing, pp.372-391, 2018
...
inria-00499605v1  Book sections
Vincent MartinMonique Thonnat. A Learning Approach for Adaptive Image Segmentation
Rustram Stolkin. Scene reconstruction, Pose Estimation, and Tracking, I-Tech Education and Publishing, pp.431-454, 2007, 9783902613066
...
hal-00448672v1  Book sections
Nicolas Bouleau. Irregular and Simulatable Functionals on Wiener Space
Nicolas Bouleau, Denis Talay. Probabilités Numériques, INRIA, pp.39 - 53, 1992, Collection Didactique
hal-00784177v1  Book sections
Cuc BuiVanessa LlerasOlivier Pantz. Dynamics of red blood cells in 2D
Mourad, Ismail and Bertrand, Maury AND Jean-Frédéric, Gerbeau,. CEMRACS 2008---Modelling and numerical simulation of complex fluids, 28, EDP Sciences, pp.182--194, 2009, ⟨10.1051/proc/2009046⟩
hal-00165924v1  Book sections
François BaccelliBruno GaujalJean MairesseAlain Jean-Marie. Analysis of parallel processing systems via the (max,+) algebra
Quantitative Methods in Parallel Systems, Springer-Verlag, pp.69-98, 1995, ESPRIT Basic Research Series
hal-00165914v1  Book sections
Stéphane GaubertJean Mairesse. Task resource models and max-plus automata
Idempotency, Cambridge University Press, pp.133-144, 1998, Publications of the Newton Institute
...
hal-00760068v1  Book sections
Pascal BarlaAdrien Bousseau. Gradient Art: Creation and Vectorization
John Colomosse, Paul Rosin. Image and Video based Artistic Stylization, Springer, 2012
...
hal-00165920v1  Book sections
François BaccelliSerguei FossJean Mairesse. Stationary ergodic Jackson networks: results and counter-examples
Stochastic Networks: Theory and Applications, Oxford University Press, pp.281-307, 1996
...
hal-01542504v1  Book sections
Jelena MladenovićJérémie MattoutFabien Lotte. A generic framework for adaptive EEG-based BCI training and operation
Chang S. Nam; Anton Nijholt; Fabien Lotte. Brain-Computer Interfaces Handbook: Technological and Theoretical Advances, 1, CRC Press: Taylor & Francis Group, 2017, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances, 9781498773430
...
hal-01541939v1  Book sections
Charles ConselLucile DupuyHélène Sauzéon. HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach
Advances in Human Factors and Ergonomics in Healthcare and Medical Devices, 16, Springer, pp.165 - 140, 2017, ⟨10.1007/978-3-319-60483-1_14⟩
hal-01408947v1  Book sections
Nathanael FoyThéodore PapadopouloMaureen Clerc. Illustration OpenViBE d'un clavier virtuel P300
Maureen Clerc; Laurent Bougrain; Fabien Lotte. Les interfaces cerveau-ordinateur 2, ISTE, 2016, 978-1-78405-148-8
hal-00793038v1  Book sections
Valentina BaldazziPedro T. MonteiroMichel PageDelphine RopersHans Geiselmann et al.  Qualitative analysis of genetic regulatory networks in bacteria
W. Dubitzky and J. Southgate and H. Fuss. Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology, Springer, pp.111-130, 2011, 978-1-4419-7964-3. ⟨10.1007/978-1-4419-7964-3_6⟩
...
hal-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
...
inria-00293881v1  Book sections
Chris EdwardsThierry FloquetSarah Spurgeon. Circumventing the relative degree condition in sliding mode design
Giorgio Bartolini and Leonid Fridman and Alessandro Pisano and Elio Usai. Modern Sliding Mode Control Theory, New Perspectives and Applications, 375, Spinger Verlag, pp.137-158, 2008, Lecture Notes in Control and Information Sciences
...
inria-00629057v1  Book sections
Gordon BlairMassimo PaolucciPaul GraceNikolaos Georgantas. Interoperability in Complex Distributed Systems
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, Springer, 2011
hal-00745783v1  Book sections
Phil GreenwoodVander AlvesJohn HutchinsonChrista SchwanningerNicolas Anquetil. Empirical research in software product line engineering
Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, Cambridge University Press, pp.411--443, 2011, 978-0-521-76722-4. ⟨10.1017/CBO9781139003629.014⟩
...
hal-01018734v1  Book sections
Amel BennaceurRobert FranceGiordano TamburrelliThomas VogelPieter J. Mosterman et al.  Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
Nelly Bencomo; Robert France; Betty H. Cheng; Uwe Assmann. Models@run.time, 8378, Springer, pp.19-46, 2014, Lecture Notes in Computer Science, 978-3-319-08914-0. ⟨10.1007/978-3-319-08915-7_2⟩
...
inria-00586638v1  Book sections
Paul GraceNikolaos GeorgantasAmel BennaceurGordon BlairFranck Chauvel et al.  The CONNECT Architecture
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩