Skip to Main content Skip to Navigation

hal-01286519v1  Journal articles
Stephan De BièvreArthur VavasseurThierry Goudon. Particles interacting with a vibrating medium: existence of solutions and convergence to the Vlasov–Poisson system
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2016, 48 (6), pp.3984--4020
hal-01438710v1  Documents associated with scientific events
Brigitte Trousse. «MyGreenservices, un projet en mode « living lab » piloté par Inria Sophia Antipolis relatif à la co-création de services environnementaux basés sur des capteurs (citoyens, Ville de Nice)»
Congrès ACFAS (Association Francophone pour le savoir) Colloque 44 - " L'effet buzz autour des laboratoires vivants : qu'advient-il après?", May 2016, Montréal, Canada
hal-01337712v1  Journal articles
Beniamino AccattoliUgo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
hal-01433682v1  Conference papers
Joëlle Despeyroux. (Mathematical) Logic for Systems Biology (Invited Paper)
Computational Methods in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.3 - 12, ⟨10.1007/978-3-319-45177-0_1⟩
lirmm-01375099v1  Conference papers
Jean-François BagetZied BouraouiFarid NouiouaOdile PapiniSwan Rocher et al.  ∃-ASP for Computing Repairs with Existential Ontologies
SUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245, ⟨10.1007/978-3-319-45856-4_16⟩
hal-01300727v1  Conference papers
Joost RenesPeter SchwabeBenjamin SmithLejla Batina. $\mu$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers
Cryptographic Hardware and Embedded Systems – CHES 2016, IACR, Aug 2016, Santa Barbara, United States. pp.20, ⟨10.1007/978-3-662-53140-2_15⟩
hal-01165187v3  Journal articles
Vít DolejšíAlexandre ErnMartin Vohralík. $hp$-adaptation driven by polynomial-degree-robust a posteriori error estimates for elliptic problems
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2016, 38 (5), pp.A3220-A3246. ⟨10.1137/15M1026687⟩
hal-01399468v1  Journal articles
Ionescu BogdanHenning MüllerGuillaume GravierYiannis Kompatsiaris. 2016 14th International Workshop on Content-Based Multimedia Indexing
IEEE MultiMedia, Institute of Electrical and Electronics Engineers, 2016
hal-01415503v1  Directions of work or proceedings
Assefaw GebremedhinErik BomanBora Uçar. 2016 Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific Computing
Assefaw Gebremedhin; Erik Boman; Bora Uçar. Seventh SIAM Workshop on Combinatorial Scientific Computing, Oct 2016, Albuquerque, United States. 2016, eISBN: 978-1-61197-469-0. ⟨10.1137/1.9781611974690⟩
hal-01410972v1  Conference papers
Madalena ChavesJean-Luc Gouzé. 2D piecewise affine models approximate real continuous dynamics up to invariant sets
NOLCOS 2016 - 10th IFAC Symposium on Nonlinear Control Systems, Aug 2016, Monterey, United States
hal-01494860v1  Directions of work or proceedings
Matti HiltunenSébastien Tixeuil. 35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016)
35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. IEEE Computer Society, 2016, 978-1-5090-3513-7
hal-01692180v1  Conference papers
Cordelia RobinsonDominique HeitzAlejandro GronskisEtienne Mémin. 3D assimilation with PIV orthogonal-plane observations and a DNS dynamical model in a circular cylinder wake flow
Workshop on CFD Processing Techniques for Particle Image and Tracking Velocimetry, Jul 2016, Lisbon, Portugal
hal-01417208v1  Conference papers
Damien ClergeaudFrançois GuillaumePascal Guitton. 3D Collaborative Interaction for Aerospace Industry
3D CVE Workshop (IEEE VR), Mar 2016, Greenville, United States. pp.2
hal-01819211v1  Conference papers
Patrick Reuter. 3D Geometry for all with tangible interaction
ETIS 2016 - European Tangible Interaction Studio - Winter School, Jan 2016, Fribourg, Switzerland
hal-01348939v2  Conference papers
Julien PansiotEdmond Boyer. 3D Imaging from Video and Planar Radiography
MICCAI 2016 - 19th International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2016, Athens, Greece. pp.450-457, ⟨10.1007/978-3-319-46726-9_52⟩
hal-01254388v1  Conference papers
Raffaella TrivisonneIgor PeterlikStéphane CotinHadrien Courtecuisse. 3D Physics-Based Registration of 2D Dynamic MRI Data
MMVR - Medicine Meets Virtual Reality, Apr 2016, Los Angeles, United States
hal-01436263v1  Conference papers
Shijie ZhuAbel CherouatHouman Borouchaki. 3D reconstitution and numerical modeling of aluminum foams using remeshing procedure
12th World Congress on Computational Mechanics, Jul 2016, Seoul, South Korea
hal-01436463v1  Conference papers
Shijie ZhuAbel CherouatHouman Borouchaki. 3D Reconstitution and Simulation of Aluminum Foams
8th IFAC Conference on Manufacturing Modelling, Management and Control, UTT, Jun 2016, Troyes, France
hal-01377995v1  Directions of work or proceedings
David PointchevalAbderrahmane NitajTajjeeddine Rachidi. 8th International Conference on Cryptology in Africa - Africacrypt 2016
David Pointcheval; Abderrahmane Nitaj; Tajjeeddine Rachidi. Africacrypt 2016, Apr 2016, Fes, Morocco. LNCS (9646), Springer Verlag, 2016, Africacrypt 2016, 978-3-319-31517-1. ⟨10.1007/978-3-319-31517-1⟩
hal-01374810v1  Conference papers
Kathryn LeonardGéraldine MorinStefanie HahmannAxel Carlier. A 2D Shape Structure for Decomposition and Part Similarity
ICPR 2016 - 23rd International Conference on Pattern Recognition, Dec 2016, Cancun, Mexico. pp.3216-3221, ⟨10.1109/ICPR.2016.7900130⟩
hal-01318763v1  Journal articles
Victoria Fernández AbrevayaSandeep ManandharFranck Hétroy-WheelerStefanie Wuhrer. A 3D+t Laplace operator for temporal mesh sequences
Computers and Graphics, Elsevier, 2016, Shape Modeling International 2016, 58, pp.12-22. ⟨10.1016/j.cag.2016.05.018⟩
hal-01211810v1  Journal articles
Chun-Hao HuangCedric CagniartEdmond BoyerSlobodan Ilic. A Bayesian Approach to Multi-view 4D Modeling
International Journal of Computer Vision, Springer Verlag, 2016, 116 (2), pp.115-135. ⟨10.1007/s11263-015-0832-y⟩
hal-01319046v1  Conference papers
Alexandre ArmandDavid FilliatJavier Ibañez-Guzman. A Bayesian Framework for Preventive Assistance at Road Intersections
2016 IEEE Intelligent Vehicles Symposium (IV'16), Jun 2016, Göteborg, Sweden
hal-01405277v1  Conference papers
Fatma SomaaCédric AdjihInès KorbiLeila Saidane. A Bayesian Model for Mobility Prediction in Wireless Sensor Networks
5th IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN 2016), Nov 2016, Paris, France
inserm-01349557v1  Conference papers
Benoit CombèsAnne KerbratOlivier CommowickChristian Barillot. A Bayesian Model to Assess T2 Values and Their Changes Over Time in Quantitative MRI
19th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Oct 2016, Athens, Greece. pp.570 - 578, ⟨10.1007/978-3-319-46726-9_66⟩
hal-01262024v1  Conference papers
Anna Maria VegniValeria LoscrìAlessandro NeriMarco Leo. A Bayesian Packet Sharing Approach for Noisy IoT Scenarios
1st International Workshop on Interoperability, Integration, and Interconnection of Internet of Things Systems (I4T 2016), Apr 2016, Berlin Germany
hal-01261955v1  Conference papers
Paul-André MellièsNoam Zeilberger. A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
IEEE/ACM Logic in Computer Science (LICS) 2016, Jun 2016, New York, United States
hal-02274355v1  Conference papers
Mohammed-Tahar LarabaM. HovdSorin OlaruSilviu-Iulian Niculescu. A bilevel optimization approach for D-invariant set design
6th symposium on system structure and control (SSSC), Jun 2016, Istanbul, Turkey. pp.235-240