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
28572 articles – 22062 Notices
[english version]
.:.
Consultation
>
Par années
> 2007 .:.
3777 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
...
358
-
359
-
360
-
361
-
362
-
363
-
364
...
LIBOPT - An environment for testing solvers on heterogeneous collections of problems - Version 1.0
Gilbert J. C., Jonsson X.
N° RT-0331 (2007) [inria-00135013 - version 2]
BrlAPI: Simple, Portable, Concurrent, Application-level Control of Braille Terminals
Thibault S., Hinderer S.
Dans The First International Conference on Information and Communication Technology and Accessibility - ICTA 2007 (2007) 27--31 [inria-00135946 - version 1]
An $L (1/3 + \varepsilon)$ Algorithm for the Discrete Logarithm Problem for Low Degree Curves
Enge A., Gaudry P.
Dans Eurocrypt 2007 4515 (2007) 379-393 [inria-00135324 - version 1]
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]