Filtrer vos résultats
- 207
- 9853
- 3845
- 148
- 15
- 14
- 9
- 7
- 6
- 3
- 3
- 1
- 1
- 2
- 1
- 116
- 44
- 28
- 27
- 26
- 17
- 13
- 8
- 8
- 5
- 3
- 1
- 108
- 98
- 189
- 17
- 1
- 39
- 37
- 27
- 26
- 26
- 25
- 25
- 20
- 16
- 14
- 13
- 12
- 12
- 9
- 8
- 8
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 8
- 7
- 7
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
|
A Formal Analysis of the Norwegian E-Voting ProtocolJournal of Computer Security, 2017, ⟨10.3233/JCS-15777⟩
Article dans une revue
hal-01647764v1
|
||
HeteroPar 2014, APCIE 2014, and TASUS 2014 Special IssueConcurrency and Computation: Practice and Experience, pp.2, 2016
N°spécial de revue/special issue
hal-01253278v1
|
|||
Budget-aware scheduling algorithms for scientific workflows on IaaS Cloud platformsWORKS 2017 - 12th Workshop Workflows in Support of Large-Scale Science, Nov 2017, Denver, United States. pp.1
Communication dans un congrès
hal-01678736v1
|
|||
|
|
Security of Networks and Services in an All-Connected WorldSpringer International Publishing, LNCS-10356, 2017, Lecture Notes in Computer Science, 978-3-319-60773-3. ⟨10.1007/978-3-319-60774-0⟩
Ouvrages
hal-01806060v1
|
||
|
|
Dynamic leakage - a need for a new quantitative information flow measureProceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. pp.83-88, ⟨10.1145/2993600.2993607⟩
Communication dans un congrès
hal-01409706v1
|
||
|
|
Towards a Mixed-Reality Interface for Mind-MappingACM ISS 2017 - Interactive Surfaces and Spaces, Oct 2017, Brighton, United Kingdom. pp.1-6, ⟨10.1145/3132272.3132275⟩
Poster de conférence
hal-01649725v1
|
||
Demo Abstract: How Fuzzy Logic can enhance Energy Management in autonomous Wireless Sensor Nodes ?Conference on Design and Architectures for Signal and Image Processing (DASIP), Demo Night, Oct 2016, Rennes, France
Poster de conférence
hal-01370583v1
|
|||
Protocoles de communication faibles latences et faibles consommations à base de wake-up radioColloque du GDR SoC-SiP, Jun 2016, Nantes, France
Poster de conférence
hal-01370584v1
|
|||
Semi-Lagrangian particle methods for complex fluid and fluid-structure dynamics9th International Conference on Computational Fluid Dynamics, Jul 2016, Istanbul, Turkey
Communication dans un congrès
hal-01353346v1
|
|||
|
|
Semi-parametric Markov Tree for cell lineage analysis2016
Pré-publication, Document de travail
hal-01286298v1
|
||
|
|
System Modeling and OptimizationSpringer International Publishing, AICT-494, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-55794-6. ⟨10.1007/978-3-319-55795-3⟩
Ouvrages
hal-01626887v1
|
||
Estimating continuous floodplain and major river bed topography mixing ordinal contour lines and topographic pointsAGU2017 Fall Meeting, Dec 2017, New-Orleans, United States
Communication dans un congrès
hal-01678041v1
|
|||
Federating Grid'5000GEFI Workshop, Apr 2016, Brussels, Belgium
Communication dans un congrès
hal-01313207v1
|
|||
IPv6 DOTS Signal Option2016
Autre publication scientifique
hal-01406267v1
|
|||
Theoretical challenges in continuous-variable quantum cryptographyQCrypt 2017 - 7th International Conference on Quantum Cryptography, Sep 2017, Cambridge, United Kingdom. pp.1-26
Communication dans un congrès
hal-01656419v1
|
|||
SU(p,q) coherent states and Gaussian de Finetti theoremsQIP 2017 - 20th Annual Conference on Quantum Information Processing, Jan 2017, Seattle, United States. pp.1-24
Communication dans un congrès
hal-01656414v1
|
|||
Efficient decoding of random errors for quantum expander codesConference on ”Quantum Information Theory”, Dec 2017, Paris, France. pp.1-33
Communication dans un congrès
hal-01656427v1
|
|||
Modeling and simulating the distribution of fungicide among leaves in wheat2016 IEEE International Conference on Functional-Structural Plant Growth Modeling, Simulation, Visualization and Applications (FSPMA 2016), Nov 2016, Quingdao, China
Communication dans un congrès
hal-01400029v1
|
|||
Spatio-temporal dynamics of the floods in the Guayas watersheds (Ecuatorian Pacific coast) using Envisat Asar imagesEuropean Geophysical Union General Assembly 2016, Apr 2016, Vienne, Austria
Communication dans un congrès
hal-01287182v1
|
|||
Integration and query of biological datasets with Semantic Web technologies: AskOmicsJournées Ouvertes Biologie, Informatique et Mathématiques (JOBIM 2016), Jun 2016, Lyon, France
Poster de conférence
hal-01391087v1
|
|||
On the control of PGD reduced-order approximations: error estimation and adaptivityEuropean Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2016), Jun 2016, Hersonissos, Crete Island, Greece
Communication dans un congrès
hal-01306402v1
|
|||
Gibbs distribution: from neural network dynamics to spike train statistics estimationAdvanced theoretical approaches to collective network phenomena: Bernstein Conference Satellite Workshop, Sep 2017, Goettingen, Germany
Communication dans un congrès
hal-01626784v1
|
|||
Handling spatio-temporal correlations in neuronal systemsLACONEU 2017 - Computational Neuroscience Summer School, Jan 2017, Valparaiso, Chile
Communication dans un congrès
hal-01626754v1
|
|||
BIPAA/Askomics, a new and easy approach for querying genomics and epigenomics elements in interactionXXVth International Congress of Entomology 2016, Sep 2016, Orlando, Florida, United States
Communication dans un congrès
hal-01391080v1
|
|||
Resources management on the Grid'5000 testbedGEFI 17 meeting - Global Experimentation for Future Internet, Oct 2017, Rio de Janeiro, Brazil
Communication dans un congrès
hal-01626320v1
|
|||
Shannon, Turing and Hats: Information Theory Incompleteness WITMSE 2017 - Tenth Workshop on Information Theoretic Methods in Science and Engineering, Sep 2017, Paris, France
Communication dans un congrès
hal-01675019v1
|
|||
|
|
Using Spontaneous Emission of a Qubit as a Resource for Feedback ControlPhysical Review Letters, 2016, 117, pp.060502. ⟨10.1103/PhysRevLett.117.060502⟩
Article dans une revue
hal-01395591v1
|
||
|
|
A robust implicit-explicit acoustic-transport splitting scheme for two-phase flowsJournal of Computational Physics, 2017, ⟨10.1016/j.jcp.2017.03.019⟩
Article dans une revue
hal-01448468v1
|
||
Regularized Poisson and logistic methods for spatial point processes intensity estimation with a diverging number of covariates19th workshop on Stochastic Geometry, Stereology and Image Analysis (SGSIA), May 2017, Luminy, France
Communication dans un congrès
hal-01540246v1
|
|||
Multi scale dynamics in retinal waves2nd Systems Biology meeting at Sorbonne University., Dec 2017, Paris, France. pp.1-89
Communication dans un congrès
hal-01644398v1
|