Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- xvii-705 p.
ISBN 978-981-4401-52-4
World scientific proceedings series on computer engineering and information science , 5
Localisation : Colloque 1er étage (XIAN)
logique # logique floue # programmation # intelligence artificielle
03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 642 p.
ISBN 978-3-540-60105-0
Lecture notes in computer science , 1000
Localisation : Collection 1er étage
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système parallèle # théorie de programmation # vérification de programme # vérification des systèmes
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système ...
68Q10 ; 68Q22 ; 68Q42 ; 68Q60 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 351 p.
ISBN 978-3-540-57879-6
Lecture notes in computer science , 0787
Localisation : Collection 1er étage
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...
68P05 ; 68Q10 ; 68Qxx ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-54345-9
Lecture notes in computer science , 0520
Localisation : Collection 1er étage
algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme
68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 397 p.
ISBN 978-3-540-16066-3
Lecture notes in computer science , 0208
Localisation : Collection 1er étage
automate # calcul # combinatoire # complexité # informatique théorique # intelligence artificielle # langage de programmation # logique de la programmation # logique mathématique # mathématiques discrètes # parallèle # programmation parallèle # théorie des graphes
68Q10 ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 720 p.
ISBN 978-3-540-16492-0
Lecture notes in computer science , 0225
Localisation : Collection 1er étage
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique
68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 305 p.
ISBN 978-3-540-17218-5
Lecture notes in computer science , 0246
Localisation : Collection 1er étage
algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture
68Mxx ; 68Q05 ; 68Q30 ; 68Q50 ; 68Qxx
... 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.
- 390 p.
ISBN 978-3-540-54195-0
Lecture notes in computer science , 0508
Localisation : Collection 1er étage
analyse des algorithmes et complexité des problèmes # codage et théorie de l'information # code à correction d'erreur # cryptage des données # donnée # manipulation algébrique # mathématique discrète
68P25 ; 68Qxx ; 68Rxx ; 94-06 ; 94Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 197 p.
ISBN 978-0-8218-5095-4
Contemporary mathematics , 0089
Localisation : Collection 1er étage
algorithme # graphe # informatique théorique # théorie des graphes
05Cxx ; 68Mxx ; 68Pxx ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 927 p.
ISBN 978-0-8218-0530-5
Lectures in applied mathematics , 0032
Localisation : Collection 1er étage
LCP dégénéré # algorithme GMRES # algorithme de Monte Carlo # algorithme de recherche de racine # algorithme de type QR # algorithme numérique # analyse du nombre des conditions # analyse paresseuse # borne BKK # complexité basée sur l'information # courbe algébrique # graphisme informatique # géométrie algébrique réelle numérique # hyper surface # hypertexte # information bruyante # mathématiques de l'analyse numérique # matrice creuse # matrice de Toeplitz # matrice spectrale # moindres carrés # mouvement brownien # méthode QMR ou TFQMR # méthode de type Newton # méthode multipôle rapide # méthode quasi-Monte Carlo # nombre 2- adique # nombre réel # optimisation contrainte # polynôme GCD # problème aux limites # problème mal posé # racine de polynôme # spline algébrique réelle # ttechnique multigrille # équation de Poisson # équation différentielle # équation du polaron non linéaire # équation intégrale # évolution stochastique
LCP dégénéré # algorithme GMRES # algorithme de Monte Carlo # algorithme de recherche de racine # algorithme de type QR # algorithme numérique # analyse du nombre des conditions # analyse paresseuse # borne BKK # complexité basée sur l'information # courbe algébrique # graphisme informatique # géométrie algébrique réelle numérique # hyper surface # hypertexte # information bruyante # mathématiques de l'analyse numérique # matrice creuse # ...
65-06 ; 68Qxx ; 90Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 433 p.
ISBN 978-3-540-60249-1
Lecture notes in computer science , 0965
Localisation : Collection 1er étage
algorithme et structure de données # automate et langage formel # calculabilité et complexité # catégorie et type # fondement d'informatique théorique # fondement des spécifications de système # géométrie informatique # logique informatique # parallélisme et concurrence # réécriture et système de remplacement de haut niveau # sémantique # théorie de l'apprentissage
68-06 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 517 p.
ISBN 978-3-540-63437-9
Lecture notes in computer science , 1295
Localisation : Collection 1er étage
informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète
68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 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.
- 592 p.
ISBN 978-3-540-61550-7
Lecture notes in computer science , 1113
Localisation : Collection 1er étage
aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d
68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 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.
- 215 p.
ISBN 978-0-387-15641-5
Lecture notes in computer science , 0192
Localisation : Collection 1er étage
arbres # automate # informatique théorique # logique
03D05 ; 68Q68 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 177 p.
ISBN 978-0-8218-3444-2
Contemporary mathematics , 0360
Localisation : Collection 1er étage
théorie des groupes # statistique # cryptographie # topologie de faible dimension # calcul scientifique # informatique
20-06 ; 57-06 ; 68-06 ; 94-06 ; 68P25 ; 57Mxx ; 68Qxx ; 94A60
... Lire [+]
