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 – 22393 Notices
[english version]
.:.
Consultation
>
Par domaines
> Autre .:.
10631 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
-
3
-
4
-
5
-
6
-
7
...
Discovering Implicit Schemas in JSON Data
Canovas J., Cabot J.
Dans International Conference on Web Engineering (2013) [hal-00818945 - version 1]
Enabling the Collaborative Definition of DSMLs
Canovas J., Cabot J.
Dans International Conference on Advanced Information Systems Engineering (2013) [hal-00818943 - version 1]
On the componentwise accuracy of complex floating-point division with an FMA
Jeannerod C.-P., Louvet N., Muller J.-M.
Dans 21st IEEE Symposium on Computer Arithmetic (2013) 8 [ensl-00734339 - version 2]
Comparison between binary64 and decimal64 floating-point numbers
Brisebarre N., Mezzarobba M., Muller J.-M., Lauter C.
Dans 21st IEEE Symposium on Computer Arithmetic (2013) 8 [ensl-00737881 - version 4]
Compilation sous-polyédrique reposant sur des systèmes à deux variables par inégalité
Upadrasta R.
Université Paris Sud - Paris XI (13/03/2013), Albert Cohen (Dir.) [tel-00818764 - version 1]
Exploitation du contenu pour l'optimisation du stockage distribué
Kloudas K.
Université Rennes 1 Université de Rennes 1 (06/03/2013), Anne-Marie Kermarrec (Dir.) [tel-00806078 - version 1]
Reusable genomes : Welcome to the green genetic algorithm world
Nadal M., Guy M.
N° RR-1469-13[hal-00802500 - version 1]
Model Based Testing for Concurrent Systems with Labeled Event Structures
Ponce De León H., Haar S., Longuet D.
[hal-00796006 - version 1]
Modèle des données à base de règles : de la construction au pilotage
Cadot M.
Dans
L'analyse statistique implicative - Méthode exploratoire et confirmatoire à la recherche de causalités - 2e édition
, Cépaduès (Ed.) (2013) 299-312 [hal-00801618 - version 1]
CrowdSC: Building Smart Cities with Large Scale Citizen Participation
Benouaret K., Valliyur-Ramalingam R., Charoy F.
[hal-00803702 - version 1]