 |
 |
 |
 |
|
|
||
|---|---|---|
|
tel-00850265v1
Thèse
Émilien Tlapale. Modelling the dynamics of contextual motion integration in the primate Modeling and Simulation. Université Nice Sophia Antipolis, 2011. English |
||
|
inria-00620496v1
Communication dans un congrès
Slawomir Bak, Etienne Corvee, François Bremond, Monique Thonnat. Multiple-shot Human Re-Identification by Mean Riemannian Covariance Grid Advanced Video and Signal-Based Surveillance, Aug 2011, Klagenfurt, Austria. 2011 |
||
|
inria-00574954v2
Rapport
Juan Carlos Vasquez, Thierry Viéville, Bruno Cessac. Parametric Estimation of Gibbs distributions as generalized maximum-entropy models for the analysis of spike train statistics. [Research Report] RR-7561, INRIA. 2011, pp.54 |
||
|
hal-00907665v1
Direction d'ouvrage, Proceedings
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova. Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012) Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova. 104, Open Publishing Association, pp.99, 2012, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-00907397v1
Article dans une revue
Slawomir Bak, François Bremond. Person Re-identification ERCIM News, ERCIM, 2013, Image Understanding |
||
|
hal-00909389v1
Communication dans un congrès
Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited Danny De Schreye and Gerda Janssens and Andy King. Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, ACM, pp.139--150, 2012 |
||
|
hal-00907322v1
Ouvrage (y compris édition critique et traduction)
Davide Sangiorgi, Jan Rutten. Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012 |
||
|
hal-00907335v1
Chapitre d'ouvrage
Slawomir Bak, François Bremond. Re-identification by Covariance Descriptors Gong, Shaogang and Cristani, Marco and Shuicheng, Yan and Loy, Chen Change. Person Re-Identification, Springer, 2013, Advances in Computer Vision and Pattern Recognition |
||
|
hal-00907026v1
Ouvrage (y compris édition critique et traduction)
Davide Sangiorgi. Introduction to Bisimulation and Coinduction Cambridge University Press, pp.247, 2012 |
||
|
hal-00907029v1
Chapitre d'ouvrage
Davide Sangiorgi. Origins of Bisimulation and Coinduction Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012 |
||
|
inria-00506000v1
Communication dans un congrès
Xinghua Song, Bert Juettler, Adrien Poteaux. Hierarchical Spline Approximation of the Signed Distance Function SMI 2010, Jun 2010, Aix-en-provence, France. IEEE Press, pp.241-245, 2010, <10.1109/SMI.2010.18> |
||
|
hal-00755337v1
Communication dans un congrès
Aland Astudillo, Thierry Viéville, Maria-Jose Escobar, Adrian Palacios. Relevant features identification in natural images to allow there use in retinal biology VII Anual Meeting, Chilean Society for Neuroscience, Sep 2011, Santa Cruz, Chile. 2011 |
||
|
hal-00909609v1
Article dans une revue
Simone Martini. Lingua Universalis Annali della Pubblica Istruzione, Le Monnier, 2012, 4-5, pp.65--70 |
||
|
hal-00909382v1
Communication dans un congrès
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi. An Object Group-Based Component Model Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I; Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_6> |
||
|
hal-01131645v3
Rapport
N V Kartheek Medathati, Heiko Neumann, Guillaume Masson, Pierre Kornprobst. Bio-Inspired Computer Vision: Towards a Synergistic Approach of Artificial and Biological Vision [Research Report] 8698, Inria Sophia Antipolis. 2016, pp.71 |
||
|
hal-00909381v1
Communication dans un congrès
Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science; Conflict Detection in Delta-Oriented Programming. <10.1007/978-3-642-34026-0_14> |
||
|
hal-00909391v1
Chapitre d'ouvrage
Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012 |
||
|
hal-00909383v1
Communication dans un congrès
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi et al. HATS Abstract Behavioral Specification: The Architectural View Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science; Formal Methods for Components and Objects. <10.1007/978-3-642-35887-6_6> |
||
|
hal-00909385v1
Communication dans un congrès
Michael Lienhardt, Dave Clarke. Row types for delta-oriented programming VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. <10.1145/2110147.2110161> |
||
|
hal-00909386v1
Communication dans un congrès
Mila Dalla Preda. The Grand Challenge in Metamorphic Analysis Sumeet Dua and Aryya Gangopadhyay and Parimala Thulasiraman and Umberto Straccia and Michael Shepherd and Benno Stein. ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. Springer, 285, pp.439-444, 2012, Communications in Computer and Information Science; Information Systems, Technology and Management. <10.1007/978-3-642-29166-1_42> |
||
|
inria-00621201v1
Communication dans un congrès
Guido Pusiol, François Bremond, Monique Thonnat. Unsupervised Discovery, Modeling and Analysis of long term Activities international Conference in Vision Systems, Nov 2011, Sophia Antipolis, France. 2011 |
||
|
inria-00448100v2
Rapport
Abdulhalim Dandoush, Sara Alouf, Philippe Nain. Lifetime and availability of data stored on a P2P system: Evaluation of recovery schemes [Research Report] RR-7170, INRIA. 2010, pp.37 |
||
|
hal-01377307v1
Rapport
Bruno Cessac, Pierre Kornprobst, S Kraria, H Nasser, Daniela Pamplona et al. ENAS: A new software for spike train analysis and simulation [Research Report] RR-8958, Inria Sophia Antipolis; Inria Bordeaux Sud-Ouest. 2016 |
||
|
hal-00331618v1
Communication dans un congrès
Romain Veltz, Olivier Faugeras. Bifurcations in neural masses Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France |
||
|
hal-00645938v1
Communication dans un congrès
Slawomir Bak, Krzysztof Kurowski, Krystyna Napierala. Human Re-identification System On Highly Parallel GPU and CPU Architectures Dziech, Andrzej and Czyżewski, Andrzej. Multimedia Communications, Services and Security, Jun 2011, Krakow, Poland. Springer Berlin Heidelberg, 149, 2011, Communications in Computer and Information Science. <10.1007/978-3-642-21512-4_35> |
||
|
inria-00534847v1
Pré-publication, Document de travail
Juan Carlos Vasquez, Thierry Viéville, Bruno Cessac. Entropy-based parametric estimation of spike train statistics 37 pages, 8 figures. 2010 |
||
|
hal-01131199v1
Communication dans un congrès
Abdoulaye Tall, Zwi Altman, Eitan Altman. Virtual sectorization: design and self-optimization 5th International Workshop on Self-Organizing Networks (IWSON), May 2015, Glasgow, United Kingdom. <10.1109/VTCSpring.2015.7146161> |
||
|
hal-00731792v1
Communication dans un congrès
Slawomir Bak, Guillaume Charpiat, Etienne Corvee, Francois Bremond, Monique Thonnat. Learning to Match Appearances by Correlations in a Covariance Metric Space Fitzgibbon, A. and Lazebnik, S. and Perona, P. and Sato, Y. and Schmid, C. 12th European Conference on Computer Vision, Oct 2012, Florence, Italy. Springer, 7574, pp.806-820, 2012, Lecture Notes in Computer Science - LNCS; Computer Vision - ECCV 2012. <10.1007/978-3-642-33712-3_58> |
||
|
hal-00881630v1
Communication dans un congrès
Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract) Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010 |
||
|
hal-01414902v1
Pré-publication, Document de travail
Sid Visser, Rachel Nicks, Olivier Faugeras, Stephen Coombes. Standing and travelling waves in a spherical brain model: the Nunez model revisited 2016 |
||
|
|
||