Add to ORKGNational audienceLes informaticiens ont coutume de dire que les ordinateurs ne font que ce qu'on a prévu qu'ils fassent. Pour autant, peut-on prévoir les résultats qu'ils vont produire
National audienceLa séparation ordonnateur-comptable public est un principe de gestion des deniers p...
National audienceOn présente ici l'implémentation en OCaml d'une tactique Coq qui réalise une procéd...
National audienceLa répétition, prise dans un sens général, est l'un des ressorts majeurs de la publ...
National audienceDeuxième volet de notre collection d’idées reçues. On dit souvent : Les ordinateurs...
National audiencePouvons-nous formaliser les mécanismes de la pensée et ensuite les copier afin de c...
National audienceRéaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais d...
National audienceLes ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâc...
National audienceSur la littérature et les nouvelles technologies : la création littéraire par ordin...
Comment traiter et stocker les 15 millions de milliards de données produites chaque année par le LHC...
National audienceComment produisait-on de l'information géographique avant le référentiel Ortholitto...
National audienceGrâce aux dispositifs utilisés pour assurer la gestion des ressources humaines, gar...
Que n’a-t-on dit de l’emprise qu’exerce sur les médias français l’actuel Président de la République ...
National audienceLa séparation ordonnateur-comptable public est un principe de gestion des deniers p...
National audienceOn présente ici l'implémentation en OCaml d'une tactique Coq qui réalise une procéd...
National audienceLa répétition, prise dans un sens général, est l'un des ressorts majeurs de la publ...
National audienceDeuxième volet de notre collection d’idées reçues. On dit souvent : Les ordinateurs...
National audiencePouvons-nous formaliser les mécanismes de la pensée et ensuite les copier afin de c...
National audienceRéaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais d...
National audienceLes ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâc...
National audienceSur la littérature et les nouvelles technologies : la création littéraire par ordin...
Comment traiter et stocker les 15 millions de milliards de données produites chaque année par le LHC...
National audienceComment produisait-on de l'information géographique avant le référentiel Ortholitto...
National audienceGrâce aux dispositifs utilisés pour assurer la gestion des ressources humaines, gar...
Que n’a-t-on dit de l’emprise qu’exerce sur les médias français l’actuel Président de la République ...
National audienceLa séparation ordonnateur-comptable public est un principe de gestion des deniers p...
National audienceOn présente ici l'implémentation en OCaml d'une tactique Coq qui réalise une procéd...
National audienceLa répétition, prise dans un sens général, est l'un des ressorts majeurs de la publ...