Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science;Mathematics Education and Popularization of Mathematics
Tous les fournisseurs d'applications mettent actuellement en place des infrastructures "cloud". Cette nouvelle approche de l'utilisation des logiciels va complètement changer notre comportement en tant qu'utilisateurs, mais aussi en tant qu'enseignants et en tant que chercheurs.
L'objectif de cet exposé est de dégager les grands concepts scientifiques de cette évolution technologique et commerciale.
* Pourquoi le cloud aujourd'hui?
* Qu'est-ce qui a permis son émergence si rapide maintenant?
* Qu'est-ce que ça change pour l'enseignement?
* Quels sont les nouveaux défis de recherche qui sont posés?
Tous les fournisseurs d'applications mettent actuellement en place des infrastructures "cloud". Cette nouvelle approche de l'utilisation des logiciels va complètement changer notre comportement en tant qu'utilisateurs, mais aussi en tant qu'enseignants et en tant que chercheurs.
L'objectif de cet exposé est de dégager les grands concepts scientifiques de cette évolution technologique et commerciale.
* Pourquoi le cloud aujourd'hui?
* Qu'est-ce ...
68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Collection de logique mathématiques. Série A , 0019
Localisation : Colloque 1er étage (TIHA)
ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de symbôle # théorie abstraite des automates et des calculatrices électro # théorie des circuits # traduction automatique # transport # tube électronique # typologie des langues
ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de ...
03-06 ; 03Dxx ; 68-06 ; 68Qxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (OXFO)
algèbre abstraite # algèbre de Jordan # algèbre non-associative # algèbre universelle # groupe d'automorphisme de groupe fini # groupe de Burnside # groupe de permutation # noeud et lien # problème informatique # problème numérique # semi-groupe et groupoïde # énumération de co-ensemble
17Cxx ; 20F10 ; 57M25 ; 57Q45 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-12-428660-3
Notes and reports in computer science and applied mathematics , 0007
Localisation : Colloque 1er étage (NEW)
FORTRAN # MATRIX PASCAL # PASCAL-SC # arithmétique informatique optimale # calcul scientifique # coéfficient de Taylor # espace de fonction # mathématique numérique # paquet de démonstration informatique # précision # résolution de problème algébrique # ultra-arithmétique # évaluation d'expression arithmétique
68Q40 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 301 p.
ISBN 978-3-540-11607-3
Lecture notes in computer science , 0144
Localisation : Collection 1er étage
algorithme # algèbre informatique # application # règle de réécriture # structure algébrique # système # type de données abstraites
68-06 ; 68Q42 ; 68Q65 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 396 p.
ISBN 978-0-387-13350-8
Lecture notes in computer science , 0174
Localisation : Collection 1er étage
68Q40 ; 68Q70 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87758-1
Colloquia mathematica societatis janos bolyai , 0042
Localisation : Colloque 1er étage (GYOR)
68-06 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87758-1
Colloquia mathematica societatis janos bolyai , 0042
Localisation : Colloque 1er étage (GYOR)
68-06 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-4-274-07221-5
Localisation : Colloque 1er étage (TOKY)
Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini
68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-86974-6
Localisation : Colloque 1er étage (OXFO)
Europe # Japon # algorithme parallèle # algorithme à flux de données # dynamique des fluides # hydrodynamique galactique # machine MIMD # matériel et langage # multiprocesseur architecture de processeur # méthode numérique et algorithme # processeur parallèle # processeur vectoriel # processeur à rangée # simulation Monte-Carlo # super calculateur # équation de Navier-Stokes
68-06 ; 68Nxx ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-70024-7
C.w.i. monographs , 0001
Localisation : Colloque 1er étage (AMST)
algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique
68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-0-387-12920-4
Lecture notes in computer science , 0166
Localisation : Collection 1er étage
algorithme # algorithmique # complexité # informatique théorique # langage formel # logique # logique de programmation # logique mathématiques # programme # réseaux # système informatique
68-06 ; 68A05 ; 68CXX ; 68Q30 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 491 p.
ISBN 978-3-540-15658-1
Lecture notes in computer science , 0196
Localisation : Collection 1er étage
algorithme # cryptosystème # codage # cryptoanalyse # cryptographie # fonction aléatoire # probabilité
64BXX ; 68Qxx ; 94A60
... Lire [+]
