102829 results  save search

hal-00850107v1  Poster communications
Rodrigo CofreBruno Cessac. Dynamics and spike trains statistics in conductance-based Integrate-and-Fire neural networks with chemical and electric synapses
AREADNE 2012. Encoding And Decoding of Neural Ensembles, Jun 2012, Santorini, Greece. 2012
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
hal-01250125v1  Conference papers
Vassili Rivron. Utopias tecnológicas e recomposição das fronteiras sociais
II seminário Internacional “Desafios da diversidade e da desigualdade“, 10 anos do PPGCIS (PUC-Rio), Sep 2015, Rio de Janeiro, Brazil
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