Search - Inria EPFL Access content directly

Filter your results

27 Results
Deposit type : Fulltext
Image document

Exploiting Task Constraints for Self-Calibrated Brain-Machine Interface Control Using Error-Related Potentials

Iñaki Iturrate , Jonathan Grizou , Omedes Jason , Pierre-Yves Oudeyer , Manuel Lopes et al.
Journal articles hal-01246436v1
Image document

Hide & Share: Landmark-based Similarity for Private KNN Computation

Antoine Boutet , Davide Frey , Rachid Guerraoui , Anne-Marie Kermarrec , Antoine Rault et al.
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2015, Rio de Janeiro, Brazil. pp.263-274, ⟨10.1109/DSN.2015.60⟩
Conference papers hal-01171492v1
Image document

Privacy-Conscious Information Diffusion in Social Networks

George Giakkoupis , Rachid Guerraoui , Arnaud Jégou , Anne-Marie Kermarrec , Nupur Mittal et al.
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_32⟩
Conference papers hal-01184246v1
Image document

Rigid Geometric Constraints for Kappa Models

Vincent Danos , Ricardo Honorato-Zimmer , Sebastián Jaramillo-Riveri , Sandro Stucki
Electronic Notes in Theoretical Computer Science, 2015, 313, pp.23-46. ⟨10.1016/j.entcs.2015.04.017⟩
Journal articles hal-01976400v1
Image document

Linearized numerical homogenization method for nonlinear monotone parabolic multiscale problems

Assyr Abdulle , Martin Huber , Gilles Vilmart
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, 2015, 13 (3), pp.916-952. ⟨10.1137/140975504⟩
Journal articles hal-01017106v3
Image document

Solvability analysis and numerical approximation of linearized cardiac electromechanics

Boris Andreianov , Mostafa Bendahmane , Alfio Quarteroni , Ricardo Ruiz-Baier
Mathematical Models and Methods in Applied Sciences, 2015, ⟨10.1142/S0218202515500244⟩
Journal articles hal-01256811v1
Image document

A Decision Procedure for (Co)datatypes in SMT Solvers

Andrew Reynolds , Jasmin Christian Blanchette
CADE-25 - The 25th jubilee edition of the International Conference on Automated Deduction, Aug 2015, Berlin, Germany. pp.197-213, ⟨10.1007/978-3-319-21401-6_13⟩
Conference papers hal-01212585v1
Image document

Exploration input modalities for interacting with augmented paper maps

Julia Chatain , Marie Demangeat , Anke Brock , Didier Laval , Martin Hachet et al.
Conférence Francophone sur l’interaction Homme-Machine, Oct 2015, Toulouse, France. Conférence Francophone sur l’interaction Homme-Machine
Conference poster hal-01218417v1
Image document

Reduced basis finite element heterogeneous multiscale method for quasilinear elliptic homogenization problems

Assyr Abdulle , Yun Bai , Gilles Vilmart
Discrete and Continuous Dynamical Systems - Series S, 2015, 8 (1), pp.91-118. ⟨10.3934/dcdss.2015.8.91⟩
Journal articles hal-00811490v2
Image document

Anisotropic, Adaptive Finite Elements for a Thin 3D Plate

Marco Picasso , Adrien Loseille
New Challenges in Grid Generation and Adaptivity for Scientic Computing, pp.217 - 230, 2015, ⟨10.1007/978-3-319-06053-8_11⟩
Book sections hal-01438876v1
Image document

Exploring input modalities for interacting with augmented paper maps

Julia Chatain , Marie Demangeat , Anke Brock , Didier Laval , Martin Hachet et al.
IHM'15 - 27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.w01, ⟨10.1145/2820619.2825002⟩
Conference papers hal-01219065v1
Image document

Model Finding for Recursive Functions in SMT

Andrew Reynolds , Jasmin Christian Blanchette , Cesare Tinelli
SMT Workshop 2015 - 13th International Workshop on on Satisfiability Modulo Theories, Jul 2015, San Francisco, United States
Conference papers hal-01242509v1
Image document

SyMAPse: Augmented Interactive Maps for Subjective Expression

Julia Chatain
Human-Computer Interaction [cs.HC]. 2015
Master thesis hal-01191429v2
Image document

Collaborative Filtering Under a Sybil Attack: Analysis of a Privacy Threat

Davide Frey , Rachid Guerraoui , Anne-Marie Kermarrec , Antoine Rault
Eighth European Workshop on System Security EuroSec 2015, Apr 2015, Bordeaux, France. ⟨10.1145/2751323.2751328⟩
Conference papers hal-01158723v1
Image document

Moment Semantics for Reversible Rule-Based Systems

Vincent Danos , Tobias Heindel , Ricardo Honorato-Zimmer , Sandro Stucki
7th International Conference, Reversible Computation 2015, Jul 2015, Grenoble, France. pp.3-26, ⟨10.1007/978-3-319-20860-2_1⟩
Conference papers hal-01263633v1
Image document

Quel potentiel des personnes face à la grande mobilité ? Réflexions exploratoires autour de la notion de motilité

Yann Dubois , Emmanuel Ravalet , Vincent Kaufmann
RTS - Recherche Transports Sécurité, 2015, Usages de la vitesse, 2015 (01), pp.47-61. ⟨10.4074/S0761898015001053⟩
Journal articles hal-01670603v1
Image document

Long time accuracy of Lie-Trotter splitting methods for Langevin dynamics

Assyr Abdulle , Gilles Vilmart , Konstantinos Zygalakis
SIAM Journal on Numerical Analysis, 2015, 53 (1), pp.1-16. ⟨10.1137/140962644⟩
Journal articles hal-00965354v2
Image document

IniRobot : a pedagogical kit to initiate children to concepts of robotics and computer science

Didier Roy , Gordana Gerber , Stéphane Magnenat , Fanny Riedo , Morgane Chevalier et al.
RIE 2015, May 2015, Yverdon-Les-Bains, Switzerland
Conference papers hal-01144435v1
Image document

The Tower Number Field Sieve

Razvan Barbulescu , Pierrick Gaudry , Thorsten Kleinjung
ASIACRYPT 2015, International Association of Cryptologic Research, Nov 2015, Auckland, New Zealand. pp.31-58
Conference papers hal-01155635v1
Image document

Strong LP formulations for scheduling splittable jobs on unrelated machines

José Correa , Alberto Marchetti-Spaccamela , Jannik Matuschke , Leen Stougie , Ola Svensson et al.
Mathematical Programming, 2015, 154 (1-2), pp.305-328. ⟨10.1007/s10107-014-0831-8⟩
Journal articles hal-01249090v1
Image document

Implementing Candidate Graded Encoding Schemes from Ideal Lattices

Martin R. Albrecht , Catalin Cocis , Fabien Laguillaumie , Adeline Langlois
Asiacrypt 2015, Nov 2015, Auckland, New Zealand. ⟨10.1007/978-3-662-48800-3_31⟩
Conference papers hal-01237355v1
Image document

Efficient Process Replication for MPI Applications: Sharing Work Between Replicas

Thomas Ropars , Arnaud Lefray , Dohyun Kim , André Schiper
29th IEEE International Parallel & Distributed Processing Symposium (IPDPS2015), 2015, Hyderabad, India
Conference papers hal-01121959v1
Image document

Coarse-graining the Dynamics of Ideal Branched Polymers

Vincent Danos , Ricardo Honorato-Zimmer , Sebastián Jaramillo-Riveri , Sandro Stucki
Electronic Notes in Theoretical Computer Science, 2015, 313, pp.47-64. ⟨10.1016/j.entcs.2015.04.018⟩
Journal articles hal-01976312v1
Image document

Homogenization of a Multiscale Viscoelastic Model with Nonlocal Damping, Application to the Human Lungs

Paul Cazeaux , Céline Grandmont
Mathematical Models and Methods in Applied Sciences, 2015, 25 (6), pp.1125. ⟨10.1142/S0218202515500293⟩
Journal articles hal-00873549v1
Image document

Sparse Support Recovery with Non-smooth Loss Functions

Kévin Degraux , Gabriel Peyré , Jalal M. Fadili , Laurent Jacques
Advances in Neural Information Processing Systems (NIPS), Nov 2015, Barcelone, Spain
Conference papers hal-01658855v1
Image document

Optimized distributed implementation of multiparty interactions with Restriction

Saddek Bensalem , Marius Bozga , Jean Quilbeuf , Joseph Sifakis
Science of Computer Programming, 2015, 98, pp.293 - 316. ⟨10.1016/j.scico.2014.02.013⟩
Journal articles hal-01864700v1
Image document

Control of interbank contagion under partial information

Hamed Amini , Andreea Minca , Agnès Sulem
SIAM Journal on Financial Mathematics, 2015, 6 (1), pp.24
Journal articles hal-01027540v3