Skip to Main content Skip to Navigation

tel-00745594v1  Theses
Sreenath Ramanath. Cell Design and Resource Allocation for Small Cell Networks
Networking and Internet Architecture [cs.NI]. Institut national de recherche en informatique et en automatique (INRIA), 2011. English
hal-00766929v1  Conference papers
L. MarchettiD. Pucci,Pascal Morin. Autonomous Shopping Cart Platform for People with Mobility Impairments
Workshop at IROS'12 on Assistance and Service robotics in a human environment., Oct 2012, Villamoura, Portugal
hal-01342412v1  Journal articles
Minh-Duc HuaTarek HamelPascal MorinClaude Samson. Introduction to feedback control of underactuated VTOLvehicles: A review of basic control design ideas and principles
IEEE Control Systems Magazine, Institute of Electrical and Electronics Engineers, 2013, 33 (1), pp.61-75. ⟨10.1109/MCS.2012.2225931⟩
hal-01377807v1  Conference papers
Minh-Duc HuaDaniele PucciTarek HamelPascal MorinClaude Samson. A novel approach to the automatic control of scale model airplanes
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.805 - 812, ⟨10.1109/CDC.2014.7039480⟩
hal-01342416v1  Journal articles
Robert MahonyTarek HamelPascal MorinEzio Malis. Nonlinear complementary filters on the special linear group
International Journal of Control, Taylor & Francis, 2012, 85 (10), pp.1557-1573. ⟨10.1080/00207179.2012.693951⟩
hal-00907875v1  Conference papers
Dionysios KontarinisElise BonzonNicolas MaudetAlan PerottiLeendert van der Torre et al.  Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
CLIMA - 14th International Workshop on Computational Logic in Multi-Agent Systems - 2013, Sep 2013, La Corunna, Spain. pp.51-68
hal-01473718v1  Conference papers
Cédric LopezElena CabrioFrédérique Segond. Extraction de relations pour le peuplement d'une base de connaissance à partir de tweets
EGC2017 - Conférence Extraction et Gestion des Connaissances , Jan 2017, Grenoble, France
hal-01377793v1  Conference papers
Minh-Duc HuaTarek HamelClaude Samson. Control of VTOL Vehicles with Thrust-Tilting Augmentation
19th World Congress. The International Federation of Automatic Control., Aug 2014, Cape Town, South Africa. pp.2237 - 2244, ⟨10.3182/20140824-6-ZA-1003.00097⟩
hal-00997315v1  Conference papers
Le CuiEric MarchandSinan HaliyoStéphane Régnier. 6-DoF automatic micropositioning using photometric information
IEEE/ASME Int Conf. on Advanced Intelligent Mechatronics, AIM'14, Jul 2014, Besancon, France. pp.918-923
hal-01410487v2  Journal articles
Benedikt AhrensRalph MatthesAnders Mörtberg. From signatures to monads in UniMath
Journal of Automated Reasoning, Springer Verlag, 2018, pp.1-34. ⟨10.1007/s10817-018-9474-4⟩
hal-02394369v1  Conference papers
Nicolas GirardAndrii ZhygalloYuliya Tarabalka. ClusterNet: Unsupervised Generic Feature Learning for Fast Interactive Satellite Image Segmentation
Image and Signal Processing for Remote Sensing (SPIE), Sep 2019, Strasbourg, France
inria-00345399v2  Journal articles
Nicolas ChampagnatSylvie Méléard. Polymorphic evolution sequence and evolutionary branching
Probability Theory and Related Fields, Springer Verlag, 2011, 151 (1-2), pp.45-94. ⟨10.1007/s00440-010-0292-9⟩
hal-01479838v1  Journal articles
Emmanuel GobetSylvain Maire. Sequential control variates for functionals of Markov processes
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2006, 43 (3), pp.1256-1275. ⟨10.1137/040609124⟩
hal-01243029v1  Conference papers
José Fragoso SantosThomas JensenTamara RezkAlan Schmitt. Hybrid Typing of Secure Information Flow in a JavaScript-like Language
International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain