Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

111 Results
Deposit type : Annex

Units in model-based clustering Units in model-based co-clustering

Christophe Biernacki , Alexandre Lourme
24e rencontres de la Société Francophone de Classification, Jun 2017, Lyon, France
Conference papers hal-01653899v1

An integrative approach for predicting the RNA secondary structure for the HIV–1 Gag UTR using probing data

Afaf Saaidi , Yann Ponty , Bruno Sargueil
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2017, Jul 2017, Lille, France. pp.102
Conference papers hal-01534587v1

Implementation and Evaluation of a Controller-Based Forwarding Scheme for NDN

Elian Aubry , Thomas Silverston , Isabelle Chrisment
AINA 2017 - IEEE 31st International Conference on Advanced Information Networking and Applications, IEEE, Mar 2017, Taipei, Taiwan. pp.144 - 151, ⟨10.1109/AINA.2017.83⟩
Conference papers hal-01616234v1

System Modeling and Optimization

Lorena Bociu , Jean-Antoine Désidéri , Abderrahmane Habbal
Springer International Publishing, AICT-494, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-55794-6. ⟨10.1007/978-3-319-55795-3⟩
Books hal-01626887v1

Multi scale dynamics in retinal waves

Bruno Cessac , Dora Karvouniari , Lionel Gil
2 nd Systems Biology meeting at Sorbonne University., Dec 2017, Paris, France. pp.1-89
Conference papers hal-01644398v1

Budget-aware scheduling algorithms for scientific workflows on IaaS Cloud platforms

Yves Caniou , Eddy Caron , Aurélie Kong Win Chang , Yves Robert
WORKS 2017 - 12th Workshop Workflows in Support of Large-Scale Science, Nov 2017, Denver, United States. pp.1
Conference papers hal-01678736v1

Handling spatio-temporal correlations in neuronal systems

Bruno Cessac
LACONEU 2017 - Computational Neuroscience Summer School, Jan 2017, Valparaiso, Chile
Conference papers hal-01626754v1

Gibbs distribution: from neural network dynamics to spike train statistics estimation

Bruno Cessac
Advanced theoretical approaches to collective network phenomena: Bernstein Conference Satellite Workshop, Sep 2017, Goettingen, Germany
Conference papers hal-01626784v1

Shannon, Turing and Hats: Information Theory Incompleteness

François Durand , Fabien Mathieu , Philippe Jacquet
WITMSE 2017 - Tenth Workshop on Information Theoretic Methods in Science and Engineering, Sep 2017, Paris, France
Conference papers hal-01675019v1

Theoretical challenges in continuous-variable quantum cryptography

Anthony Leverrier
QCrypt 2017 - 7th International Conference on Quantum Cryptography, Sep 2017, Cambridge, United Kingdom. pp.1-26
Conference papers hal-01656419v1

SU(p,q) coherent states and Gaussian de Finetti theorems

Anthony Leverrier
QIP 2017 - 20th Annual Conference on Quantum Information Processing, Jan 2017, Seattle, United States. pp.1-24
Conference papers hal-01656414v1

Efficient decoding of random errors for quantum expander codes

Anthony Leverrier
Conference on ”Quantum Information Theory”, Dec 2017, Paris, France. pp.1-33
Conference papers hal-01656427v1

Estimating continuous floodplain and major river bed topography mixing ordinal contour lines and topographic points

Jean-Stéphane Bailly , Mathieu Dartevelle , Carole Delenne , Antoine Rousseau
AGU2017 Fall Meeting, Dec 2017, New-Orleans, United States
Conference papers hal-01678041v1

Towards a Mixed-Reality Interface for Mind-Mapping

Philippe Giraudeau , Martin Hachet
ACM ISS 2017 - Interactive Surfaces and Spaces, Oct 2017, Brighton, United Kingdom. pp.1-6, ⟨10.1145/3132272.3132275⟩
Conference poster hal-01649725v1

A robust implicit-explicit acoustic-transport splitting scheme for two-phase flows

Simon Peluchon , Gérard Gallice , Luc Mieussens
Journal of Computational Physics, 2017, ⟨10.1016/j.jcp.2017.03.019⟩
Journal articles hal-01448468v1

Regularized Poisson and logistic methods for spatial point processes intensity estimation with a diverging number of covariates

Achmad Choiruddin , Jean-François Coeurjolly , Frédérique Letué
19th workshop on Stochastic Geometry, Stereology and Image Analysis (SGSIA), May 2017, Luminy, France
Conference papers hal-01540246v1

Resources management on the Grid'5000 testbed

Pierre Neyron , Lucas Nussbaum
GEFI 17 meeting - Global Experimentation for Future Internet, Oct 2017, Rio de Janeiro, Brazil
Conference papers hal-01626320v1

A Formal Analysis of the Norwegian E-Voting Protocol

Véronique Cortier , Cyrille Wiedling
Journal of Computer Security, 2017, ⟨10.3233/JCS-15777⟩
Journal articles hal-01647764v1

Security of Networks and Services in an All-Connected World

Daphné Tuncer , Robert Koch , Rémi Badonnel , Burkhard Stiller
Springer International Publishing, LNCS-10356, 2017, Lecture Notes in Computer Science, 978-3-319-60773-3. ⟨10.1007/978-3-319-60774-0⟩
Books hal-01806060v1

Rainbow Particle Imaging Velocimetry

Élodie Lamothe , Ivo Ihrke , Xavier Granier
Journées Imagerie Optique Non Conventionnelle, Mar 2017, Paris, France
Conference papers hal-02365095v1

SPAN+AVISPA for Verifying Cryptographic Protocols

Thomas Genet
2017
Other publications hal-01532086v1

Open Source Systems: Towards Robust Practices

Federico Balaguer , Roberto Di Cosmo , Alejandra Garrido , Fabio Kon , Gregorio Robles , et al.
Springer International Publishing, AICT-496, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-57734-0. ⟨10.1007/978-3-319-57735-7⟩
Books hal-01776287v1

On-site quantification of methane leaks from an agricultural biogas plant through three different methods

Nicolas Auvinet , Anthony Guibert , Pascal Peu , Philippe Loisel , Guillaume Nunez , et al.
RAMIRAN 2017 - 17th international Conference Sustainable utilisations of manures and residue resources in agriculture, Sep 2017, Wexford, Ireland
Conference papers hal-01700975v1

Numerical Robustness of Single Layer method with Fourier basis in 2D multiple obstacle scattering

Hélène Barucq , Ha Pham , Juliette Chabassier , Sébastien Tordeux
WAVES 2017 - 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation , May 2017, Minneapolis, United States. pp.1-34
Conference papers hal-01674521v1

A Simple Model of Coevolution for Macroscopic and Microscopic Levels

Matteo Morini , Sarah de Nigris
International Conference on Synthetic Populations, IMT School For Advanced Studies, Feb 2017, Lucca, Italy
Conference papers hal-01475323v1

Real-time image enhancement in virtual reality applications for low vision people

Manuela Chessa , Alberto Patino-Saucedo , Horacio Rostro , Eric Castet , Fabio Solari , et al.
Vision 2017, the 12th International Conference by the International Society for Low Vision Research and Rehabilitation (ISLRR), Jun 2017, La Hague, Netherlands
Conference papers hal-01589975v1

ECC Protections against both Observation and Pertubation Attacks

Audrey Lucas , Arnaud Tisserand
CryptArchi 2017: 15th International Workshops on Cryptographic architectures embedded in logic devices , Jun 2017, Smolenice, Slovakia
Conference papers hal-01545752v1

Simulation of Discrete-Time Controlled Cable-Driven Parallel Robots on a Trajectory

Jean-Pierre Merlet
IEEE Transactions on Robotics, 2017, 33 (3), pp.675 - 688. ⟨10.1109/TRO.2017.2664888⟩
Journal articles hal-01643460v1

Coupling Grad-Shafranov equilibrium solvers and grid generation to study plasma confinement properties in nuclear fusion devices

Adrien Loseille , Alexis Loyer , Hervé Guillard
Coupled Problems 2017 - VII International Conference on Coupled Problems in Science and Engineering, Jun 2017, Rhodes, Greece. pp.190103
Conference papers hal-01644328v1

CFPKM : A Key Encapsulation Mechanism based on Solving System of non-linear multivariate Polynomials

Olive Chakraborty , Jean-Charles Faugère , Ludovic Perret
[Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris; CNRS. 2017
Reports hal-01662175v1