2010
Journal articles
- auteur
- Benoit Cottereau, Jean Lorenceau, Alexandre Gramfort, Maureen Clerc, Bertrand Thirion, Sylvain Baillet
- titre
- Phase delays within visual cortex shape the response to steady-state visual stimulation.
- article
- NeuroImage, 2010, 54 (3), pp.1919-1929. ⟨10.1016/j.neuroimage.2010.10.004⟩
- Accès au bibtex
-
- auteur
- Jean-Yves Audibert, Sébastien Bubeck
- titre
- Regret Bounds and Minimax Policies under Partial Monitoring
- article
- Journal of Machine Learning Research, 2010, 11, pp.2785-2836
- Accès au texte intégral et bibtex
-
- auteur
- Sylvain Arlot, Alain Celisse
- titre
- Segmentation of the mean of heteroscedastic data via cross-validation
- article
- Statistics and Computing, 2010, 21 (4), ⟨10.1007/s11222-010-9196-x⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marc Pouzet, Pascal Raymond
- titre
- Modular static scheduling of synchronous data-flow networks
- article
- Design Automation for Embedded Systems, 2010, 14 (3), pp.165-192. ⟨10.1007/s10617-010-9053-3⟩
- Accès au texte intégral et bibtex
-
- auteur
- Hui Kong, Jean-Yves Audibert, Jean Ponce
- titre
- General Road Detection From a Single Image
- article
- IEEE Transactions on Image Processing, 2010, 19 (8), pp.2211-2220. ⟨10.1109/TIP.2010.2045715⟩
- Accès au bibtex
-
- auteur
- Hui Kong, Jean-Yves Audibert, Jean Ponce
- titre
- Detecting Abandoned Objects With a Moving Camera
- article
- IEEE Transactions on Image Processing, 2010, 19 (8), pp.2201-2210. ⟨10.1109/TIP.2010.2045714⟩
- Accès au bibtex
-
- auteur
- Thomas Deneux, Olivier Faugeras
- titre
- EEG-fMRI Fusion of Paradigm-Free Activity Using Kalman Filtering
- article
- Neural Computation, 2010, 22 (4), pp.906-948. ⟨10.1162/neco.2009.05-08-793⟩
- Accès au bibtex
-
- auteur
- van Minh Nguyen, François Baccelli, Laurent Thomas, Chung Shue Chen
- titre
- Best Signal Quality in Cellular Networks: Asymptotic Properties and Applications to Mobility Management in Small Cell Networks
- article
- EURASIP Journal on Wireless Communications and Networking, 2010, 2010 (1), pp.14. ⟨10.1155/2010/690161⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sylvain Arlot, Gilles Blanchard, Etienne Roquain
- titre
- Some nonasymptotic results on resampling in high dimension, II: Multiple tests
- article
- Annals of Statistics, 2010, 38 (1), pp.83-99. ⟨10.1214/08-AOS668⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sylvain Arlot, Gilles Blanchard, Etienne Roquain
- titre
- Some nonasymptotic results on resampling in high dimension, I: Confidence regions
- article
- Annals of Statistics, 2010, 38 (1), pp.51-82. ⟨10.1214/08-AOS667⟩
- Accès au texte intégral et bibtex
-
- auteur
- Julien Mairal, Francis Bach, Jean Ponce, Guillermo Sapiro
- titre
- Online Learning for Matrix Factorization and Sparse Coding
- article
- Journal of Machine Learning Research, 2010, 11 (1), pp.19--60
- Accès au texte intégral et bibtex
-
- auteur
- Sylvain Arlot, Gilles Blanchard, Etienne Roquain
- titre
- Some non-asymptotic results on resampling in high dimension, I: Confidence regions, II: Multiple tests
- article
- Annals of Statistics, 2010, 38 (1), pp.51-99. ⟨10.1214/08-AOS667⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jeffrey G. Andrews, François Baccelli, Radha Krishna Ganti
- titre
- A Tractable Approach to Coverage and Rate in Cellular Networks
- article
- IEEE Transactions on Communications, 2010, 59 (11), pp.3122-3134. ⟨10.1109/TCOMM.2011.100411.100541⟩
- Accès au bibtex
-
- auteur
- Xiaojian Li, Arnaud Messé, Guillaume Marrelec, Mélanie Pélégrini-Issac, Habib Benali
- titre
- An enhanced voxel-based morphometry method to investigate structural changes: application to Alzheimer's disease
- article
- Neuroradiology, 2010, 52 (3), pp.203-13. ⟨10.1007/s00234-009-0600-1⟩
- Accès au bibtex
-
- auteur
- Aurélien Cord, Francis Bach, Dominique Jeulin
- titre
- Texture Classification By Statistical Learning From Morphological Image Processing: Application To Metallic Surfaces
- article
- Journal of Microscopy, 2010, 239 (2), pp.159-166. ⟨10.1111/j.1365-2818.2010.03365.x⟩
- Accès au bibtex
-
- auteur
- Fabien Laguillaumie, Damien Vergnaud
- titre
- Time-Selective Convertible Undeniable Signatures with Short Conversion Receipts
- article
- Information Sciences, 2010, pp.2458-2475
- Accès au texte intégral et bibtex
-
- auteur
- Charles Bordenave, Marc Lelarge
- titre
- Resolvent of large random graphs
- article
- Random Structures and Algorithms, 2010, 37 (3), pp.332-352. ⟨10.1002/rsa.2031⟩
- Accès au bibtex
-
- auteur
- Sylvain Arlot, Alain Celisse
- titre
- A survey of cross-validation procedures for model selection
- article
- Statistics Surveys, 2010, 4, pp.40--79. ⟨10.1214/09-SS054⟩
- Accès au texte intégral et bibtex
-
- auteur
- Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, Walter Fontana
- titre
- Intrinsic Information carriers in combinatorial dynamical systems
- article
- Chaos: An Interdisciplinary Journal of Nonlinear Science, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Bartlomiej Blaszczyszyn, Paul Mühlethaler
- titre
- Time-Space Opportunistic Routing in Wireless Ad hoc Networks: Algorithms and Performance Optimization by Stochastic Geometry
- article
- The Computer Journal, 2010, 53 (5), pp.592-609. ⟨10.1093/comjnl/bxp049⟩
- Accès au bibtex
-
Conference papers
- auteur
- Dohy Hong, Danny de Vleeschauwer, François Baccelli
- titre
- A chunk-based caching algorithm for streaming video
- article
- NET-COOP 2010 - 4th Workshop on Network Control and Optimization, Nov 2010, Gent, Belgium
- Accès au texte intégral et bibtex
-
- auteur
- Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
- titre
- Static Analysis by Abstract Interpretation of Embedded Critical Software
- article
- the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
- Accès au texte intégral et bibtex
-
- auteur
- Amir Pasha Mirbaha, Jean-Max Dutertre, Anne-Lise Ribotta, Michel Agoyan, Assia Tria, David Naccache
- titre
- Single-Bit DFA Using Multiple-Byte Laser Fault Injection.
- article
- 10th IEEE International Conference on Technologies for Homeland Security, Nov 2010, Boston, United States
- Accès au bibtex
-
- auteur
- Albert Benveniste, Anne Bouillard, Paul Caspi
- titre
- A unifying view of loosely time-triggered architectures
- article
- EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software , Oct 2010, Scottsdale, Arizona, United States. pp.189 - 198, ⟨10.1145/1879021.1879047⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bartlomiej Blaszczyszyn, Paul Mühlethaler, Skander Banaouas
- titre
- Coexistence of radio networks using Aloha
- article
- IFIP Wireless Days Conference, Oct 2010, Venice, Italy. ⟨10.1109/WD.2010.5657746⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray, Francois-Xavier Klepper
- titre
- Impact of the Geometry, Path-Loss Exponent and Random Shadowing on the Mean Interference Factor in Wireless Cellular Networks
- article
- Third Joint IFIP Wireless and Mobile Networking Conference (WMNC), Obuda University and Scientific Association for Infocommunications Hungary, Budapest University of Technology and Economics., Oct 2010, Budapest, Hungary. ⟨10.1109/WMNC.2010.5678764⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bartlomiej Blaszczyszyn, Dhandapani Yogeshwaran
- titre
- Connectivity in Sub-Poisson Networks
- article
- 48th Annual Allerton Conference, University of Illinois at Urbana-Champaign, Sep 2010, Urbana-Champaign, United States. ⟨10.1109/ALLERTON.2010.5707086⟩
- Accès au texte intégral et bibtex
-
- auteur
- van Minh Nguyen, Holger Claussen
- titre
- Efficient Self-optimization of Neighbour Cell Lists in Macrocellular Networks
- article
- PIMRC 2010 - IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, Sep 2010, Istambul, Turkey. pp.1923 - 1928, ⟨10.1109/PIMRC.2010.5671609⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
- titre
- Automatic reduction of stochastic rules-based models in a nutshell
- article
- International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ana Bušić, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent
- titre
- PSI2 : Envelope Perfect Sampling of Non Monotone Systems
- article
- QEST 2010 - International Conference on Quantitative Evaluation of Systems, Sep 2010, Williamsburg, VA, United States. pp.83-84
- Accès au bibtex
-
- auteur
- Pascal Sotin, Bertrand Jeannet, Xavier Rival
- titre
- Concrete Memory Models for Shape Analysis
- article
- NSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩
- Accès au bibtex
-
- auteur
- Sylvain Arlot
- titre
- Sélection de modèles
- article
- Journées MAS et Journée en l'honneur de Jacques Neveu, Aug 2010, Talence, France
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Delaitre, Ivan Laptev, Josef Sivic
- titre
- Recognizing human actions in still images: a study of bag-of-features and part-based representations
- article
- BMVC 2010 - 21st British Machine Vision Conference, British Machine Vision Association, Aug 2010, Aberystwyth, United Kingdom
- Accès au texte intégral et bibtex
-
- auteur
- Jérôme Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov
- titre
- Lumpability Abstractions of Rule-based Systems
- article
- The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Ciobanu, G. and Koutny, M., Aug 2010, Jena, Germany
- Accès au texte intégral et bibtex
-
- auteur
- Malika Izabachène, David Pointcheval, Damien Vergnaud
- titre
- Mediated Traceable Anonymous Encryption
- article
- First International Conference on Cryptology and Information Security (LatinCrypt '10), Aug 2010, Puebla, Mexico. pp.40--60
- Accès au texte intégral et bibtex
-
- auteur
- Marc Joye, Mehdi Tibouchi, Damien Vergnaud
- titre
- Huff's Model for Elliptic Curves
- article
- Algorithmic Number Theory, 9th International Symposium, ANTS-IX, Jul 2010, Nancy, France. pp.234-250, ⟨10.1007/978-3-642-14518-6_20⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jean-Max Dutertre, Amir-Pasha Mirbaha, David Naccache, Assia Tria
- titre
- Reproducible Single-Byte Laser Fault Injection
- article
- 6th Conference on Ph.D. Research in Microelectronics & Electronics, PRIME 2010, Jul 2010, Berlin, Germany
- Accès au texte intégral et bibtex
-
- auteur
- Michel Agoyan, Jean-Max Dutertre, Amir-Pasha Mirbaha, David Naccache, Anne-Lise Ribotta, Assia Tria
- titre
- How to Flip a Bit?
- article
- On-Line Testing Symposium (IOLTS), 2010 IEEE 16th International, Jul 2010, Corfu, Greece. ⟨10.1109/IOLTS.2010.5560194⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jean-Yves Audibert, Sébastien Bubeck
- titre
- Best Arm Identification in Multi-Armed Bandits
- article
- COLT - 23th Conference on Learning Theory - 2010, Jun 2010, Haifa, Israel. 13 p
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Blazy, Georg Fuchsbauer, Malika Izabachène, Amandine Jambert, Hervé Sibert, Damien Vergnaud
- titre
- Batch Groth-Sahai
- article
- Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Jun 2010, Beijing, China. pp.218-235, ⟨10.1007/978-3-642-13708-14⟩
- Accès au texte intégral et bibtex
-
- auteur
- Aurélie Bauer, Jean-Sébastien Coron, David Naccache, Mehdi Tibouchi, Damien Vergnaud
- titre
- On The Broadcast and Validity-Checking Security of PKCS #1 v1.5 Encryption
- article
- Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Jun 2010, Beijing, China. pp.1-18, ⟨10.1007/978-3-642-13708-2_1⟩
- Accès au texte intégral et bibtex
-
- auteur
- Paola Bermolen, François Baccelli
- titre
- Multiple Access Mechanisms with Performance Guarantees for Ad-Hoc Networks
- article
- SECON 2010 -7th Annual IEEE Communications Society Conference on Sensor Mesh and Ad Hoc Communications and Networks, Jun 2010, Boston, MA, United States. pp.37-45, ⟨10.1109/SECON.2010.5508198⟩
- Accès au bibtex
-
- auteur
- Guillaume Batog, Xavier Goaoc, Jean Ponce
- titre
- Admissible Linear Map Models of Linear Cameras
- article
- 23rd IEEE Conference on Computer Vision and Pattern Recognition - CVPR 2010, Jun 2010, San Francisco, United States. pp.1578 - 1585, ⟨10.1109/CVPR.2010.5539784⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jérôme Feret
- titre
- Fragments-based model reduction: some case studies
- article
- First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Minh Nguyen Van, François Baccelli
- titre
- A Stochastic Geometry Model for the Best Signal Quality in a Wireless Network
- article
- WiOpt'10: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, May 2010, Avignon, France. pp.465-471
- Accès au texte intégral et bibtex
-
- auteur
- Viet Nguyen Tien, François Baccelli
- titre
- Stochastic Modeling of Carrier Sensing Based Cognitive Radio Networks
- article
- WiOpt'10: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, May 2010, Avignon, France. pp.594-601
- Accès au texte intégral et bibtex
-
- auteur
- Nicolas Gama, Phong Q. Nguyen, Oded Regev
- titre
- Lattice Enumeration Using Extreme Pruning
- article
- Proceedings of the 29th International Conference on Cryptology - EUROCRYPT 2010, May 2010, Nice, France. pp.257 - 278, ⟨10.1007/978-3-642-13190-5_13⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chung Shue Chen, François Baccelli
- titre
- Self-Optimization in Mobile Cellular Networks: Power Control and User Association
- article
- IEEE International Conference on Communications, IEEE, May 2010, Cape Town, South Africa. ⟨10.1109/ICC.2010.5501928⟩
- Accès au texte intégral et bibtex
-
- auteur
- Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
- titre
- Astree: Proving the Absence of Runtime Errors
- article
- Embedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
- Accès au texte intégral et bibtex
-
- auteur
- Steffen Grünewälder, Jean-Yves Audibert, Manfred Opper, John Shawe-Taylor
- titre
- Regret Bounds for Gaussian Process Bandit Problems
- article
- AISTATS 2010 - Thirteenth International Conference on Artificial Intelligence and Statistics, May 2010, Chia Laguna Resort, Sardinia, Italy. pp.273-280
- Accès au texte intégral et bibtex
-
- auteur
- Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
- titre
- Combining Model Reductions
- article
- the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩
- Accès au texte intégral et bibtex
-
- auteur
- Georg Fuchsbauer, Damien Vergnaud
- titre
- Fair Blind Signatures without Random Oracles
- article
- Africacrypt 2010, May 2010, Stellenbosch, South Africa. pp.16-33, ⟨10.1007/978-3-642-12678-9_2⟩
- Accès au texte intégral et bibtex
-
- auteur
- Xavier Boyen, Céline Chevalier, Georg Fuchsbauer, David Pointcheval
- titre
- Strong Cryptography from Weak Secrets - Building Efficient PKE and IBE from Distributed Passwords
- article
- Third African International Conference on Cryptology (AfricaCrypt '10), May 2010, Stellenbosch, South Africa. pp.297--315
- Accès au texte intégral et bibtex
-
- auteur
- Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
- titre
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation
- article
- American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
- Accès au bibtex
-
- auteur
- Michel Agoyan, Jean-Max Dutertre, David Naccache, Bruno Robisson, Assia Tria
- titre
- When Clocks Fail: On Critical Paths and Clock Faults
- article
- 9th IFIP WG 8.1/11.2 International conference, CARDIS 2010, Apr 2010, Passau, Germany. pp.182-193, ⟨10.1007/978-3-642-12510-2_13⟩
- Accès au texte intégral et bibtex
-
- auteur
- Michel Agoyan, Jean-Max Dutertre, David Naccache, Bruno Robisson, Assia Tria
- titre
- When Clocks Fail: On Critical Paths and Clock Faults
- article
- 9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.182-193, ⟨10.1007/978-3-642-12510-2_13⟩
- Accès au bibtex
-
- auteur
- Benoît Chevallier-Mames, Jean-Sébastien Coron, Noel Mccullagh, David Naccache, Michael Scott
- titre
- Secure Delegation of Elliptic-Curve Pairing
- article
- 9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.24-35, ⟨10.1007/978-3-642-12510-2_3⟩
- Accès au texte intégral et bibtex
-
- auteur
- Patrick Cousot, Radhia Cousot, Laurent Mauborgne
- titre
- A Scalable Segmented Decision Tree Abstract Domain
- article
- Time for Verification, Essays in Memory of Amir Pnueli, Apr 2010, New York, United States. pp.72-95
- Accès au texte intégral et bibtex
-
- auteur
- Silvain Rideau, Xavier Leroy
- titre
- Validating register allocation and spilling
- article
- Compiler Construction 2010, Mar 2010, Paphos, Cyprus. pp.224-243, ⟨10.1007/978-3-642-11970-5_13⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
- titre
- Separating Shape Graphs
- article
- 19th European Symposium on Programming - ESOP 2010, Andrew Gordon, Mar 2010, Paphos, Cyprus. pp.387-406
- Accès au bibtex
-
- auteur
- Frédéric Morlot, François Baccelli, Salah Eddine Elayoubi
- titre
- An Interaction-Based Mobility Model for Dynamic Hot Spot Analysis
- article
- IEEE Infocom 2010, Mar 2010, San Diego, United States. ⟨10.1109/INFCOM.2010.5462055⟩
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Bartlomiej Blaszczyszyn
- titre
- A New Phase Transition for Local Delays in MANETs
- article
- Infocom, IEEE, Mar 2010, San Diego, United States. pp.1-9, ⟨10.1109/INFCOM.2010.5462132⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bartlomiej Blaszczyszyn, Paul Mühlethaler
- titre
- Stochastic Analysis of Non-slotted Aloha in Wireless Ad-Hoc Networks
- article
- Infocom, IEEE, Mar 2010, San Diego, United States. pp.1 - 9, ⟨10.1109/INFCOM.2010.5462086⟩
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Bartlomiej Blaszczyszyn
- titre
- A New Phase Transitions for Local Delays in MANETs.
- article
- INFOCOM 2010 - 29th IEEE International Conference on Computer Communications, Mar 2010, San Diego, CA, United States. pp.2982-2990
- Accès au bibtex
-
- auteur
- Hui Zang, François Baccelli, Jean Bolot
- titre
- Bayesian Inference for Localization in Cellular Networks.
- article
- INFOCOM 2010 - 29th IEEE International Conference on Computer Communications, Mar 2010, San Diego, CA, United States. pp.1963-1971
- Accès au bibtex
-
- auteur
- Jacques Stern
- titre
- Mathematics, cryptology, security
- article
- 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.33-34
- Accès au bibtex
-
- auteur
- Michel Abdalla, Mihir Bellare, Gregory Neven
- titre
- Robust Encryption
- article
- TCC 2010, Feb 2010, Zurich, Switzerland. pp.480-497, ⟨10.1007/978-3-642-11799-2_28⟩
- Accès au bibtex
-
- auteur
- Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
- titre
- An Abstract Domain to Discover Interval Linear Equalities
- article
- 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128
- Accès au bibtex
-
- auteur
- Francis Bach
- titre
- Structured sparsity-inducing norms through submodular functions
- article
- NIPS 2010 : Twenty-Fourth Annual Conference on Neural Information Processing Systems, 2010, Vancouver, Canada. pp.NIPS
- Accès au texte intégral et bibtex
-
- auteur
- Charles Bouillaguet, Orr Dunkelman, Gaëtan Leurent, Pierre-Alain Fouque
- titre
- Another Look at Complementation Properties
- article
- Fast Software Encryption, 17th International Workshop : FSE 2010, 2010, Seoul, South Korea. pp.347-364, ⟨10.1007/978-3-642-13858-4_20⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre-Alain Fouque, Mehdi Tibouchi
- titre
- Deterministic Encoding and Hashing to Odd Hyperelliptic Curves
- article
- Pairing-Based Cryptography - Pairing 2010 - 4th International Conference, 2010, Yamanaka Hot Spring, Japan. pp.265-277, ⟨10.1007/978-3-642-17455-1_17⟩
- Accès au texte intégral et bibtex
-
- auteur
- Phong Nguyen, Dominique Haughton, Irene Hudson, John Boland
- titre
- Multilevel models ans small area estimation in the context of Vietnam living standards surveys
- article
- 42èmes Journées de Statistique, 2010, Marseille, France, France
- Accès au texte intégral et bibtex
-
- auteur
- Arnaud Messé, C Delmaire, Yulia Worbe, Guillaume Marrelec, R Valabrègue, Caroline Malherbe, J Yelnik, Linda Marrakchi-Kacem, Cyril Poupon, E Bardinet, A Durr, Habib Benali, Stéphane Lehéricy
- titre
- Connectivity-based delineation of basal ganglia using hierarchical classification
- article
- Proceedings of the 16th International Conference on Functional Mapping of the Human Brain, 2010, Barcelone, Spain, Spain
- Accès au bibtex
-
- auteur
- L. Marrakchi-Kacem, F Poupon, P Roca, A Tucholka, C Delmaire, E Bardinet, M Sharman, R Valabregue, Arnaud Messé, Caroline Malherbe, Habib Benali, A Durr, J F Mangin, Stéphane Lehéricy, C. Poupon
- titre
- Probabilistic atlas of the connections between the basal ganglia and the cortex
- article
- Proceedings of the ISMRM 18th Annual Scientific Meeting and Exhibition, 2010, Stockholm, Sweden, Sweden
- Accès au bibtex
-
- auteur
- Michel Abdalla, Céline Chevalier, Mark Manulis, David Pointcheval
- titre
- Flexible Group Key Exchange with On-Demand Computation of Subgroup Keys
- article
- Third African International Conference on Cryptology (AfricaCrypt '10), 2010, Stellenbosch, South Africa. pp.351--368
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
- titre
- Abstracting the differential semantics of rule-based models: exact and automated model reduction
- article
- Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381
- Accès au texte intégral et bibtex
-
- auteur
- Charles Bouillaguet, Orr Dunkelman, Pierre-Alain Fouque, Gaëtan Leurent
- titre
- Attacks on Hash Functions based on Generalized Feistel -- Application to Reduced-Round Lesamnta and Shavite-3-512
- article
- Selected Areas in Cryptography, 10th Annual International Workshop, SAC 2010, 2010, Ontario, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Ana Bušić, Hilal Djafri, Jean-Michel Fourneau
- titre
- Stochastic Bounds for Censored Markov Chains
- article
- Proceedings of the 6th International Meeting on the Numerical Solution of Markov Chain (NSMC'10), 2010, Williamsburg, Virginia, USA, United States
- Accès au bibtex
-
- auteur
- Pierre-Alain Fouque, Mehdi Tibouchi
- titre
- Estimating the Size of the Image of Deterministic Hash Functions to Elliptic Curves
- article
- Progress in Cryptology - LATINCRYPT 2010, First International Conference on Cryptology and Information Security in Latin America, 2010, Puebla, Mexico. pp.81-91, ⟨10.1007/978-3-642-14712-8⟩
- Accès au texte intégral et bibtex
-
- auteur
- Charles Bouillaguet, Pierre-Alain Fouque, Gaëtan Leurent
- titre
- Security Analysis of SIMD
- article
- Selected Areas in Cryptography, 10th Annual International Workshop, SAC 2010, 2010, Ontario, Canada
- Accès au texte intégral et bibtex
-
Book sections
- auteur
- Patrick Cousot, Radhia Cousot
- titre
- A gentle introduction to formal verification of computer systems by abstract interpretation
- article
- J.~Esparza and O.~Grumberg and M.~Broy. Logics and Languages for Reliability and Security, IOS Press, pp.1-29, 2010, NATO Science Series III: Computer and Systems Sciences
- Accès au texte intégral et bibtex
-
- auteur
- Patrick Cousot, Radhia Cousot, Laurent Mauborgne
- titre
- Logical Abstract Domains and Interpretations
- article
- Sebastian Nanz. The Future of Software Engineering, Springer-Verlag, pp.48-71, 2010
- Accès au texte intégral et bibtex
-
- auteur
- Giuseppe Longo
- titre
- Theorems as Constructive Visions
- article
- Hanna, Gila; de Villiers, Michael. Proof and Proving in Mathematics Education. The 19th ICMI Study, Springer, pp.51-66, 2010, 978-94-007-2129-6
- Accès au texte intégral et bibtex
-
- auteur
- Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer
- titre
- Rule Based Modeling and Model Refinement
- article
- H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩
- Accès au texte intégral et bibtex
-
- auteur
- Benoît Chevallier-Mames, Pierre-Alain Fouque, David Pointcheval, Julien Stern, Jacques Traoré
- titre
- On Some Incompatible Properties of Voting Schemes
- article
- D. Chaum, R. Rivest, M. Jakobsson, B. Schoenmakers, P. Ryan, and J. Benaloh. Towards Trustworthy Elections, 6000, springer, pp.191--199, 2010, lncs
- Accès au texte intégral et bibtex
-
Books
- auteur
- Antoine Miné, Enric Rodríguez-Carbonell
- titre
- Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)
- article
- Antoine Miné and Enric Rodríguez Carbonell. Elsevier, 267, pp.150, 2010, ENTCS
- Accès au bibtex
-
- auteur
- Radhia Cousot, Matthieu Martel
- titre
- Static Analysis
- article
- Springer, LNCS (6337), 2010, 978-3-642-15768-4. ⟨10.1007/978-3-642-15769-1⟩
- Accès au bibtex
-
- auteur
- Michel Abdalla, Paulo S. L. M. Barreto
- titre
- Progress in Cryptology - LATINCRYPT 2010
- article
- Michel Abdalla and Paulo Barreto. Springer, 6212, pp.323, 2010, Lecture Notes in Computer Science, 978-3-642-14711-1. ⟨10.1007/978-3-642-14712-8⟩
- Accès au bibtex
-
- auteur
- Tony Gheeraert, Pierre-Alain Fouque, Charles Bouillaguet
- titre
- Le Code de Cambridge
- article
- Editions du Pommier, collection "Romans et plus", pp.512, 2010, Le Code de Cambridge, 978-2-7465-0465-3
- Accès au bibtex
-
- auteur
- Phong Q. Nguyen, Brigitte Vallée
- titre
- The LLL Algorithm: Survey and Applications
- article
- Springer, 2010, Information Security and Cryptography, 978-3-642-02294-4. ⟨10.1007/978-3-642-02295-1⟩
- Accès au bibtex
-
- auteur
- Phong Q. Nguyen, David Pointcheval
- titre
- Proceedings of the 13th International Conference on Practice and Theory in Public Key Cryptography (PKC '10)
- article
- Nguyen, Phong Q. and Pointcheval, David. Springer, 6056, pp.519, 2010, LNCS
- Accès au bibtex
-
Reports
- auteur
- Alexander Klaser, Marcin Marszałek, Ivan Laptev, Cordelia Schmid
- titre
- Will person detection help bag-of-features action recognition?
- article
- [Research Report] RR-7373, INRIA. 2010
- Accès au texte intégral et bibtex
-
- auteur
- Julien Mairal, Rodolphe Jenatton, Guillaume Obozinski, Francis Bach
- titre
- Network Flow Algorithms for Structured Sparsity
- article
- [Research Report] RR-7372, INRIA. 2010, pp.23
- Accès au texte intégral et bibtex
-
- auteur
- Jean Vuillemin, Nicolas Gama
- titre
- Efficient Equivalence and Minimization for Non Deterministic Xor Automata
- article
- [Research Report] Ecole Normale Supérieure. 2010, pp.25
- Accès au texte intégral et bibtex
-
- auteur
- Venkat Anantharam, François Baccelli
- titre
- Information-Theoretic Capacity and Error Exponents of Stationary Point Processes under Random Additive Displacements
- article
- [Research Report] Inria. 2010
- Accès au bibtex
-