Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28967 articles – 22394 Notices
[english version]
.:.
Consultation
>
Par années
> 2007 .:.
3804 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
...
361
-
362
-
363
-
364
-
365
-
366
-
367
...
GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Network
Busnel Y., Bertier M., Fleury E., Kermarrec A.-M.
Dans EuroSys 2007, Second conference of the European Chapter of ACM SIGOPS Poster Session (2007) [inria-00135239 - version 1]
ProxSem: Interest-based Proximity Measure to Improve Search Efficiency in P2P Systems
Busnel Y., Kermarrec A.-M.
Dans 4th European Conference on Universal Multiservice Networks (ECUMN'2007) (2007) 62--71 [inria-00135231 - version 1]
A review of classification algorithms for EEG-based brain-computer interfaces
Lotte F., Congedo M., Lécuyer A., Lamarche F., Arnaldi B.
Journal of Neural Engineering
4 (2007) [inria-00134950 - version 1]
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
Dumitrescu E., Girault A., Marchand H., Rutten E.
N° RR-6137 (2007) [inria-00134550 - version 2]
Topological Semantics and Decidability
Sustretov D.
(2007) [hal-00134914 - version 1]
Bifurcation analysis of the control mechanism of pacemaker activity in a mathematical cardiac cell model
Djabella K., Landau M., Sorine M.
Dans 7th IFAC Symposium on Nonlinear Control Systems - NOLCOS'07 (2007) [inria-00134529 - version 1]
Proving the group law for elliptic curves formally
Thery L.
N° RT-0330 (2007) [inria-00129237 - version 4]
Organization of the Modulopt collection of optimization problems in the Libopt environment -- Version 1.0
Gilbert J. C.
N° RT-0329 (2007) [inria-00132468 - version 3]
A Short Paper About Motion Safety
Fraichard T.
Dans IEEE Int. Conf. on Robotics and Automation (2007) [inria-00134467 - version 1]
An Inevitable Collision State-Checker for a Car-Like Vehicle
Parthasarathi R., Fraichard T.
Dans IEEE Int. Conf. on Robotics and Automation (2007) [inria-00134471 - version 1]