m

Documents  68Qxx | enregistrements trouvés : 243

O

-A +A

P Q

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.

Localisation : Colloque 1er étage (LOS)

20-02 ; 20Exx ; 20M35 ; 68Q30 ; 68Qxx

... Lire [+]

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.

- 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.

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

... Lire [+]

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 [+]

Z