Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 121 p.
Proceedings of the Steklov institute of mathematics , 0106
Localisation : Collection 1er étage
46B05
... 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.
- 416 p.
ISBN 978-3-540-59409-3
Lecture notes in computer science , 0921
Localisation : Collection 1er étage
analyse cryptique # caisse électronique # code d'authenticité # complexité # cryptologie # fonction booléenne # implémentation # partage du secret # protocole # registre de déplacement # schéma d'identification # schéma de type RSA # signature # technique cryptographique # théorie des nombres
11T71 ; 68P20 ; 68P25 ; 68Q20 ; 94A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-60219-4
Lecture notes in mathematics , 1613
Localisation : Collection 1er étage
analyse stochastique # chaos multiplicatif # différentiabilité de fonction d'opérateur # existence de désintégration # fossé entre supermum passé et infimum futur de processus de # probabilité # processus de Lévy # processus de Markov # processus de Wiener # processus stochastique # propriété de Markov de temps local pour diffusion sur graphe # équation différentielle stochastique à saut
60Gxx ; 60Hxx ; 60Jxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-61336-7
Lecture notes in mathematics , 1626
Localisation : Collection 1er étage
analyse stochastique # cohomologie de Bismut-Nualart-Pardoux # cohomologie de Hochschild entière # information de Kullback # martingale pure # mouvement brownien # probabilité # processus de Markov # processus stochastique # projection de diffusion sur filtration lente # topologie de Meyer # équation différentielle stochastique
60Gxx ; 60Hxx ; 60Jxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 275 p.
ISBN 978-3-540-60156-2
Lecture notes in computer science , 0958
Localisation : Collection 1er étage
2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve
2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...
38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 440 p.
ISBN 978-3-540-60573-7
Lecture notes in computer science , 1004
Localisation : Collection 1er étage
MAX 3-SAT # NC # PC # algorithme d'approximation # algorithme de flux parallèle # amassage à lien complet # attribution de ressource # bi-simulation # chemin # codage # complexité # construction de tas # corde # corps fini # digraphe # décis ion # ensemble de point extrémal # f-coloriage # faute catastrophique # fonction booléenne # forêt induite # graphe de co-comparabilité # graphe de faible degré # graphe non dirigé # hyper-anneau # hypercube # indexation # information # informatique du génôme # langage de graphe RNLC restreint # logique pratique # loi de Amdahl # planification de taches parallèles # polygône # polynôme de Tutte d'un graphe # problème difficile presque toujours facile # sous-graphe # super arbre # sélection par comparaison # équivalence de trace
MAX 3-SAT # NC # PC # algorithme d'approximation # algorithme de flux parallèle # amassage à lien complet # attribution de ressource # bi-simulation # chemin # codage # complexité # construction de tas # corde # corps fini # digraphe # décis ion # ensemble de point extrémal # f-coloriage # faute catastrophique # fonction booléenne # forêt induite # graphe de co-comparabilité # graphe de faible degré # graphe non dirigé # hyper-anneau # hypercube ...
05Cxx ; 68-06 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 366 p.
ISBN 978-3-540-60590-4
Lecture notes in computer science , 1008
Localisation : Collection 1er étage
MD4 et SAFER # algorithme de codage homophonique # algorithme de cryptage TE # appareil EES # chiffrage de bloc # chiffrage de courant # codage arithmétique # crypto-analyse de MacGuffin # crypto-analyse différentielle # crypto-analyse linéaire # fonction hachée # générateur de courant-clé de Fibonacci # intractabilité de TSP exact pour cryptographie # multipermutation # plan
11T71 ; 94Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-60800-4
Lecture notes in artificial intelligence , 1036
Localisation : Colloque 1er étage (PISA)
IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # planification de discours intéractif # prise de décision stylistique # prétexte # relation textuelle # réponse de système cohérent et coopératif # structure rhétorique # système à base de connaissance # échange interrompue
IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # pl...
68-06 ; 68S05 ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 683 p.
ISBN 978-3-540-60084-8
Lecture notes in computer science , 0944
Localisation : Collection 1er étage
algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique
68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 325 p.
ISBN 978-3-540-60759-5
Lecture notes in computer science , 1029
Localisation : Collection 1er étage
application de la cryptographie # carte ingénieuse # chiffrage de bloc ou de courant # dépôt de clef chez un intermédiaire privé # partage de secret # politique de cryptographie # protocole de clef publique # technique d'authentification # technique utilisant des fonctions de Hash à clef
11T71 ; 11Yxx ; 68P20 ; 68Q20 ; 94A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 526 p.
ISBN 978-3-540-60723-6
Lecture notes in computer science , 1027
Localisation : Collection 1er étage
CABRI-graphe pour recherche et enseignement # CLAX compilateur visualisé # COMAIDE # GOVE # SWAN # Toscana # algorithme de tracé de graphe aléatoire # environnement de visualisation orienté grammaire # esthétique # moulle # optique # représentation de visibilité de graphe # système de management pour données conceptuelles # système de visualisation de structure de donnée # tracé de graphe orthogonal # visualisation d'information # visualisation de graphe 3-D intéractive rapide
CABRI-graphe pour recherche et enseignement # CLAX compilateur visualisé # COMAIDE # GOVE # SWAN # Toscana # algorithme de tracé de graphe aléatoire # environnement de visualisation orienté grammaire # esthétique # moulle # optique # représentation de visibilité de graphe # système de management pour données conceptuelles # système de visualisation de structure de donnée # tracé de graphe orthogonal # visualisation d'information # visualisation ...
05Cxx ; 68R10 ; 90C35 ; 94C15
... 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.
- 523 p.
ISBN 978-3-540-59175-7
Lecture notes in computer science , 0911
Localisation : Collection 1er étage
BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # problème de Yekutieli et Mandelbrojt # programmation logique contrainte # réseau d'automate cyclique # séquence biologique
BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # ...
05Cxx ; 68Qxx ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 469 p.
ISBN 978-3-540-58950-1
Lecture notes in computer science , 0894
Localisation : Collection 1er étage
application et système # approche déclarative # contestation de tracé de graphe # démonstration de système # galerie de poster # géométrie # représentation de visibilité # tracé de proximité # tracé orthogonal # tracé planaire # tracé tri-dimensionnel # tracé vers le haut # traversée
05Cxx ; 68R10 ; 90C35 ; 94C15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 430 p.430 p.
ISBN 978-3-540-59339-3
Lecture notes in computer science , 0917
Localisation : Collection 1er étage
algorithme de chiffrage par bloc # authentification # chiffrage du courant # crypto-analyse # cryptographie à clef publique # cryptologie # fonction cryptographique # fonction de Hash # partage de secret # protocole # signature digitale
11T71 ; 68P25 ; 94A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 541 p.
ISBN 978-3-540-60017-6
Lecture notes in computer science , 0933
Localisation : Collection 1er étage
lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis
03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 514 p.
ISBN 978-3-540-60178-4
Lecture notes in computer science , 0960
Localisation : Collection 1er étage
lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis
03Cxx ; 03Fxx
... 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.
- 472 p.
ISBN 978-3-540-60176-0
Lecture notes in computer science , 0950
Localisation : Collection 1er étage
agrément de clef # algorithme de cryptage soviétique # chiffrage de bloc # code d'authenfication # connaissance zéro # cryptoanalyse # cryptographie quantique Q-déformée # cryptologie # cryptosystème # distribution de clef # fonction de Hash # générateur pseudo-aléatoire # méthodologie de protocole # partage de secret # protocole # signature # théorie des nombres
94-06 ; 94A60
... Lire [+]