F Nous contacter

0

Documents  68Qxx | enregistrements trouvés : 248

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

y

Research talks

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

V

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

Lecture notes in computer science , 0677

Localisation : Collection RdC

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

V


ISBN 978-0-444-86974-6

Localisation : 1er étage/Congrès/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 [+]

V

- 197 p.
ISBN 978-3-540-18928-2

Lecture notes in computer science , 0296

Localisation : Collection RdC

algèbre de l'informatique

68Qxx ; 68Uxx

... Lire [+]

V

- 351 p.
ISBN 978-3-540-57879-6

Lecture notes in computer science , 0787

Localisation : Collection RdC

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

y


ISBN 978-0-444-87647-8

North-holland mathematics studies , 0102

Localisation : 1er étage/Congrès/BORG

68Qxx ; 68Rxx ; 68SXX ; 68Txx

... Lire [+]

V

- 720 p.
ISBN 978-3-540-16492-0

Lecture notes in computer science , 0225

Localisation : Collection RdC

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

V

- 219 p.
ISBN 978-3-540-55553-7

Lecture notes in computer science , 0601

Localisation : Collection RdC

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

V

- 120 p.

Localisation : Salle de manutention

complexité des algorithmes # informatique théorique # mathématique discrète

68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 94Axx ; 94Bxx

... Lire [+]

V

- 159 p.
ISBN 978-2-87775-047-9

Localisation : Colloque 1er étage (Rouen/1991)

informatique théorique # théorie des automates # théorie des codes # théorie algébrique des langages # logique

68-06 ; 68Qxx

... Lire [+]

V

- 927 p.
ISBN 978-0-8218-0530-5

Lectures in applied mathematics , 0032

Localisation : Collection RdC

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

y

- 545p.
ISBN 978-3-540-58241-0

Lecture notes in artificial intelligence , 0827

Localisation : 1er étage/Congrès/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 [+]

y


ISBN 978-0-444-87752-9

Localisation : 1er étage/Congrès/AMST

super computer

68-06 ; 68Mxx ; 68Qxx ; 76-04 ; 82-04

... Lire [+]

V

- 628 p.
ISBN 978-3-540-64230-5

Lecture notes in computer science , 1373

Localisation : Collection RdC

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

V

- 654 p.
ISBN 978-3-540-59042-2

Lecture notes in computer science , 0900

Localisation : Collection RdC

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

V

- 618 p.
ISBN 978-3-540-55210-9

Lecture notes in computer science , 0577

Localisation : Collection RdC

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

V

- 548 p.
ISBN 978-3-540-53709-0

Lecture notes in computer science , 0480

Localisation : Collection RdC

algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe

68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 68Qxx

... Lire [+]

V

- 311 p.
ISBN 978-3-540-52282-9

Lecture notes in computer science , 0415

Localisation : Collection RdC

algèbre de l

68Q15 ; 68Q25 ; 68Qxx ; 68Rxx ; 68U05

... Lire [+]

V

- 494 p.
ISBN 978-3-540-18834-6

Lecture notes in computer science , 0294

Localisation : Collection RdC

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

V

- 431 p.
ISBN 978-0-387-12920-4

Lecture notes in computer science , 0166

Localisation : Collection RdC

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

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z