1. Recherche
21 résultats  enregistrer la recherche
...
tel-01122262v1  Thèse
Çağdaş Bozman. Profilage mémoire d’applications OCaml
Informatique [cs]. ENSTA ParisTech, 2014. Français
...
hal-00925297v1  Communication dans un congrès
Frédéric Jean, Paolo Mason, Francesca Chittaro. Geometric modeling of the movement based on an inverse optimal control approach
52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.1816-1821, 2013
...
hal-01099134v1  Communication dans un congrès
Çagdas Bozman, Grégoire Henry, Mohamed Iguernelala, Fabrice Le Fessant, Michel Mauny. ocp-memprof: un profileur mémoire pour OCaml
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), <http://jfla.inria.fr/2015>
...
hal-01413294v1  Communication dans un congrès
Michel Mauny, Benoît Vaugon. Nullable Type Inference
OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden. OCaml 2014 - The OCaml Users and Developers Workshop, <https://ocaml.org/meetings/ocaml/2014/>
...
hal-01413319v1  Communication dans un congrès
Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant. Global Semantic Analysis on OCaml programs
OCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada. 2015, OCaml 2015 - The OCaml Users and Developers Workshop
...
hal-01413061v1  Communication dans un congrès
Florent Balestrieri, Michel Mauny. Generic Programming in OCaml
OCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan. OCaml 2016 - The OCaml Users and Developers Workshop, 2016
...
hal-01413043v1  Communication dans un congrès
Benoît Vaugon, Michel Mauny. A Type Inference System Based on Saturation of Subtyping Constraints
Trends in Functional Programming, Jun 2016, College Park (MD), United States. Trends in Functional Programming. 16th International Symposium, TFP 2016, College Park (MD), USA, June 8-10, 2016. Revised Selected Papers (to appear)
...
hal-00502017v1  Communication dans un congrès
Collectif D'Auteurs Midas, Axis Inria -. Résumé généraliste de flux de données
EGC: Extraction et Gestion des Connaissances, Jan 2010, Hammamet, Tunisie. pp.255-260, 2010
...
hal-01024628v1  Documents associés à des manifestations scientifiques -- Hal-inria+
Frédéric Jean, Dario Prandi. Complexity in control-affine systems
NETCO 2014, 2014, Tours, France
...
hal-01118009v1  Communication dans un congrès
Thanh Phuong Nguyen, Antoine Manzanera, Walter G. Kropatsch. Impact of topology-related attributes from Local Binary Patterns on texture classification
ECCV Workshop on Computer Vision with Local Binary Patterns Variants, Sep 2014, Zürich, Switzerland. Lecture Notes in Computer Science, 8926
hal-00819378v1  Communication dans un congrès
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes et al.  A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, 2012, <10.1109/ICDCSW.2012.72>
hal-00819379v1  Article dans une revue
Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames et al.  A core language for executable models of cyber physical systems: work in progress report
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (2), pp.39-43. <10.1145/2000367.2000376>
hal-01490406v1  Communication dans un congrès
Walid Taha, Adam Duracz, Yingfu Zeng, Atkinson Kevin, Paul Brauner et al.  Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
Benny Mandler; Johann Marquez-Barja; Radu-Laurentiu Vieriu; Miguel Elias Mitre Campista; Dagmar Cagáňová; Hakima Chaouchi; Sherali Zeadally; Mohamad Badra; Stefano Giordano; Maria Fazio; Andrey Somov. International Internet of Things Summit, Oct 2015, Rome, Italy. Springer, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 169, pp.118-130, <http://link.springer.com/book/10.1007/978-3-319-47063-4>. <10.1007/978-3-319-47063-4_11>
...
hal-01154767v1  Communication dans un congrès
Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg et al.  When sharing computer science with everyone also helps avoiding digital prejudices.
Scratch2015AMS, Aug 2015, Amsterdam, Netherlands. 2015
...
hal-01451126v1  Article dans une revue
Thanh Nguyen, Antoine Manzanera, Walter Kropatsch, Xuan Nguyen. Topological Attribute Patterns for Texture Recognition
Pattern Recognition Letters, Elsevier, 2016, 80, pp.91 - 97. <10.1016/j.patrec.2016.06.003>
...
hal-00533141v1  Article dans une revue
Dimitris N. Papadopoulos, Frédéric Druon, Justine Boudeile, Igor Martial, Marc Hanna et al.  Low-repetition-rate femtosecond operation in extended-cavity mode-locked Yb:CALGO laser
Optics Letters, Optical Society of America, 2009, 34 (2), pp.196-198
...
hal-01166110v1  Article dans une revue
Natalia Lyubova, Serena Ivaldi, David Filliat. From passive to interactive object learning and recognition through self-identification on a humanoid robot
Autonomous Robots, Springer Verlag, 2015, pp.23. <10.1007/s10514-015-9445-0>
hal-00909748v1  Article dans une revue
Frédéric Jean, Dario Prandi. Complexity of control-affine motion planning
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2015, 53 (2), pp.816-844. <10.1137/130950793>
...
hal-00774720v1  Article dans une revue
Francesca Chittaro, Frédéric Jean, Paolo Mason. On the inverse optimal control problems of the human locomotion: stability and robustness of the minimizers
Journal of Mathematical Sciences, Springer Verlag (Germany), 2013, 195 (3), pp.269-287

Contact


archive-ouverte@inria.fr