m

F Nous contacter

0

Documents  68P05 | enregistrements trouvés : 65

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science

68Wxx ; 68P05 ; 68M11 ; 68U20 ; 68Q80 ; 68T05 ; 94A60 ; 94A08

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Outreach

Depuis les années 2000, l'informatique a vu émerger de nouvelles technologies, cloud et big data, qui bouleversent l'industrie avec l'arrivée d'outils de traitement à grande échelle.
De nouveaux besoins sont apparus comme la possibilité d'extraire de la valeur des données en s'appuyant sur des outils qui répondent aux nouvelles exigences technologiques.
Les architectures distribuées comme Hadoop, les bases de données non-relationnelles, les traitements parallélisés avec MapReduce constituent des outils qui répondent aux accroissements massifs des données, que ce soit en volumétrie, en nombre ou en type. Cette explosion de données a conduit à la terminologie Big Data.
Nous découvrirons les différents concepts des systèmes Big Data, ce que signifient les termes comme base NoSQL, MapReduce, lac de données, ETL ou ELT, etc.
Nous nous attarderons sur deux grands outils du BigData : Hadoop et MongoDB.
Depuis les années 2000, l'informatique a vu émerger de nouvelles technologies, cloud et big data, qui bouleversent l'industrie avec l'arrivée d'outils de traitement à grande échelle.
De nouveaux besoins sont apparus comme la possibilité d'extraire de la valeur des données en s'appuyant sur des outils qui répondent aux nouvelles exigences technologiques.
Les architectures distribuées comme Hadoop, les bases de données non-relationnelles, les ...

68P15 ; 68P05 ; 68P20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- viii; 531 p.
ISBN 978-3-540-51295-0

Lecture notes in computer science , 0367

Localisation : Collection 1er étage

gestion de bases de données # structure des données # algorithmes # hachage # tri # données multidimensionnelles # interface # partage de données

68-06 ; 68P05 ; 68P15 ; 68P10 ; 68P20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 256 p.
ISBN 978-0-8218-2892-2

DIMACS series in discrete mathematics and theorerical computer science , 0059

Localisation : Collection 1er étage

informatique # structure de données # algorithme # recherche # tri # géométrie assistée par ordinateur # évaluation de performance # priorité # queue # plus proche voisin # recherche d'information # WAB # ADN # image

68-06 ; 68P05 ; 68P10 ; 68Uxx ; 68W01

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pp. 1059-1758
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pp. 559-1055
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 555 p.
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 780 p.
ISBN 978-3-540-52826-5

Lecture notes in computer science , 0443

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68P05 ; 68Q68 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 741 p.
ISBN 978-3-540-19488-0

Lecture notes in computer science , 0317

Localisation : Collection 1er étage

algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données

68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 329 p.
ISBN 978-3-540-61064-9

Lecture notes in computer science , 1059

Localisation : Collection 1er étage

algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme

68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 782 p.
ISBN 978-3-540-58201-4

Lecture notes in computer science , 0775

Localisation : Collection 1er étage

algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...

68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 695 p.
ISBN 978-3-540-56939-8

Lecture notes in computer science , 0700

Localisation : Collection 1er étage

calcul informatique # cryptologie # encryptage des données # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # structure des données # technique de programmation

68N05 ; 68Nxx ; 68P05 ; 68P25 ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 214 p.
ISBN 978-3-540-56730-1

Lecture notes in computer science , 0677

Localisation : Collection 1er étage

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 788 p.
ISBN 978-3-540-51371-1

Lecture notes in computer science , 0372

Localisation : Collection 1er étage

algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve

68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 290 p.
ISBN 978-3-540-61410-4

Lecture notes in computer science , 1082

Localisation : Collection 1er étage

architecture et conception # base de donnée # codage # digitalisation # gestion de base # machine # réseau informatique # théorie de l'informatique # traitement d'image # traitement de données

68P05 ; 68P20 ; 68P25 ; 68Pxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-3-540-62221-5

Lecture notes in computer science , 1183

Localisation : Collection 1er étage

gestion des données # informatique théorique # outils de l'informatique théorique et système # simulation et modélisation # structure des données # système informatique # visualisation des données

68-XX ; 68Mxx ; 68P05 ; 68P15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 310 p.
ISBN 978-3-540-62592-6

Lecture notes in computer science , 1203

Localisation : Collection 1er étage

algorithme # calcul informatique # complexité des algorithmes # géométrie de l'informatique # informatique graphique # mathématique discrète # mode de calcul # modèle de calcul # modélisation d'objet # méthodologie # structure des données

68P05 ; 68Q05 ; 68Q10 ; 68Q25 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-3-540-62221-5

Lecture notes in computer science , 1183

Localisation : Collection 1er étage

calcul # gestion de système d'information # gestion des fichiers # informatique # modélisation # méthodologie # simulation # structure des données # système d'information # traitement des donées

68P05 ; 68Pxx ; 68Qxx ; 68U20 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 495 p.
ISBN 978-3-540-61814-0

Lecture notes in computer science , 1154

Localisation : Collection 1er étage

accessibilité des données # base de données déductive # déduction # gestion de système d'informatique # informatique théorique # intelligence artificielle # langage formel # logique # logique mathématique # stockage de l'information # sémantique # théorie de la preuve # traitement des données

68-15 ; 68P05 ; 68P20 ; 68Pxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection 1er étage

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...

38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15

... Lire [+]

Z