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.
- 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.
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.
- 197 p.
ISBN 978-3-540-18928-2
Lecture notes in computer science , 0296
Localisation : Collection 1er étage
algèbre de l'informatique
68Qxx ; 68Uxx
... 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.
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.
- 219 p.
ISBN 978-3-540-55553-7
Lecture notes in computer science , 0601
Localisation : Collection 1er étage
analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information
68-06 ; 68Q40 ; 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.
- 159 p.
ISBN 978-2-87775-047-9
Localisation : Colloque 1er étage (ROUE)
informatique théorique # théorie des automates # théorie des codes # théorie algébrique des langages # logique
68-06 ; 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.
- 545p.
ISBN 978-3-540-58241-0
Lecture notes in artificial intelligence , 0827
Localisation : Colloque 1er étage (BONN)
ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle
ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # ...
68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx
... 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.
- 628 p.
ISBN 978-3-540-64230-5
Lecture notes in computer science , 1373
Localisation : Collection 1er étage
algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation
68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 654 p.
ISBN 978-3-540-59042-2
Lecture notes in computer science , 0900
Localisation : Collection 1er étage
algorithme # base de données # code possible dans le code génétique # cryptographie # géométrie informatique # informatique théorique # logique # théorie de la communication # théorie de la complexité # théorie des automates # théorie des graphes # théorie du calcul parallèle # équivalence de processus concurrent et décision
68-06 ; 68Qxx ; 68U05 ; 94A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 618 p.
ISBN 978-3-540-55210-9
Lecture notes in computer science , 0577
Localisation : Collection 1er étage
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # système distribué # système informatique # sémantique # transformation géométrique
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # ...
68M10 ; 68Mxx ; 68Q25 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 548 p.
ISBN 978-3-540-53709-0
Lecture notes in computer science , 0480
Localisation : Collection 1er étage
algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe
68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 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.
- 494 p.
ISBN 978-3-540-18834-6
Lecture notes in computer science , 0294
Localisation : Collection 1er étage
architecture des processeurs # calcul # communication réseau # engineering logiciel # environnement de programmation # géométrie de l
68M10 ; 68Mxx ; 68N05 ; 68Nxx ; 68Qxx ; 68Rxx ; 68U05
... 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 [+]
