75839 results  save search

hal-01650044v1  Conference papers
Alex BiryukovLéo Perrin. Symmetrically and Asymmetrically Hard Cryptography
Asiacrypt 2017 - Advances in Cryptology, Dec 2017, Hong Kong, China. pp.417--445, ⟨10.1007/978-3-319-70700-6_15⟩
hal-00250194v1  Conference papers
Gilles TrédanAline Viana. Systèmes répartis à grande échelle: de l'anarchie à l'auto-structuration
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
inria-00100125v1  Book sections
Roman KolpakovGregory Kucherov. Periodic Structures in Words
none. 3rd Lothaire volume Applied Combinatorics on Words, Cambridge University Press, pp.399-442, 2004
hal-00000532v1  Conference papers
Oleg LodygenskyGilles FedakVincent NeriAlain CordierFranck Cappello. Auger & XtremWeb: Monte Carlo computation on a global computing platform
13th International Conference for Computing in High-Energy and Nuclear Physics (CHEP 2003), Mar 2003, La Jolla, United States. pp.1-7
hal-01150167v1  Poster communications
Cecilia Lindig-LeónLaurent BougrainSébastien Rimbert. On-line identification of the end of motor imageries based on the alpha rebound detection
24th Annual Computational Neuroscience Meeting, Jul 2015, Prague, Czech Republic
inria-00100139v1  Conference papers
Vincent CridligRadu StateOlivier Festor. Role-Based Access Control for XML Enabled Management Gateways
15th IFIP/IEEE Distributed Systems: Operations and Management - DSOM 2004, UC Davis, 2004, Davis, CA, USA, pp.183-195
hal-00600087v1  Conference papers
David MonniauxLaure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations
Static analysis symposium (SAS), Sep 2011, Venezia, Italy. pp.369-385, ⟨10.1007/978-3-642-23702-7_27⟩
inria-00100078v1  Book sections
Olivier FestorNizar Ben Youssef. Le modèle CIM
Olivier Festor, André Schaff. Standards pour la gestion des réseaux et des services, Hermès Science Publishing, pp.113-157, 2004, IC2 Réseaux et Télécoms
inria-00100132v1  Reports
Raul BritoYe-Qiong SongLiping Lu. Quality-Of-Service Requirement Analysis
[Contract] A04-R-440 || brito04b, 2004
inria-00100135v1  Conference papers
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Optimal routing in two parallel queues
WODES'04: 7th Workshop on Discrete Event Systems, 2004, Reims, France. pp.6
inria-00100111v1  Conference papers
Francois DavidEtienne HuguesNathalie BuonvisoDominique Martinez. Evoked gammma oscillations in the olfactory bulb: a modeling study
AMSE International Conference on Modelling and Simulation - MS'2004, 2004, Lyon, France, 4 p
inria-00100134v1  Conference papers
Bruno GaujalEmmanuel Hyon. Factorization of mechanical words and continued fractions
Workshop on Word Avoidability, Complexity and Morphisms - WACAM'2004, 2004, Turku/Finlande, pp.36--42
inria-00100144v1  Book sections
Yann ZimmermannStefan HallerstedeDominique Cansell. Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
hal-00250166v1  Conference papers
Christelle CaillouetFabrice PeixHervé Rivano. Génération de colonnes pour le routage et l'ordonnancement dans les réseaux radio maillés
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France. pp.119-130
inria-00100076v1  Directions of work or proceedings
Olivier FestorAndré Schaff. Standards pour la gestion des réseaux et des services
Hermès Science Publishing, 252 p, 2004, IC2 Réseaux et Télécoms
hal-00200109v1  Preprints, Working Papers, ...
Francis Bach. Graph kernels between point clouds
inria-00100080v1  Conference papers
Khaled Ben KhalifaBernard GirauFrédéric AlexandreMohamed Hedi Bedoui. Parallel FPGA implementation of self-organizing maps
International Conference on Microelectronics - ICM'04, 2004, Tunis, Tunisia, 4 p
inria-00150207v1  Conference papers
Pierre-Arnaud CoquelinRémi Munos. Bandit Algorithms for Tree Search
Uncertainty in Artificial Intelligence, 2007, Vancouver, Canada
inria-00100163v1  Conference papers
Guillaume DoyenEmmanuel NatafOlivier Festor. A Performance-Oriented Management Information Model for the Chord Peer-to-Peer Framework
IFIP/IEEE International Conference on Management of Multimedia Networks and Services - MMNS'2004, 2004, San Diego, Californie, USA, pp.200-212
hal-00750271v1  Journal articles
Fabien Crauste. A review on local asymptotic stability analysis for mathematical models of hematopoiesis with delay and delay-dependent coefficients
Annals of the Tiberiu Popoviciu Seminar of functional equations, approximation and convexity, 2011, 9, pp.121-143