Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 551 p.
Cote : 00014525
application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données
68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 322 p.
Cote : 00017810
agrandissement d'image # algorithme parallèle # analyse de changement de fréquence # analyse spectrale # approche bayesienne pour estimation de facette locale robust # approche bayesienne pour reconstruction à angle limité # biologie moléculaire structurelle # calcul de maximum d'entropie # comment travaille le cerveau # donnée géophysique # inversion d'entropie relative minimum # maximisation d'entropie linéairement contrainte # minimation d'entropie relative # mise à jour d'inférence inductive # méthode de calcul des valeurs de probabilité de l'entropie m # méthode du maximum d'entropie # méthode du périodogramme # méthode variationnelle pour fluide classique # phase de diffraction de fibre # problème des données manquantes # précision d'analyse spectrale des processus de bruit baye # retour de données de grandes bases de données # spectre bayesien # système expert # taux d'entropie # tomographie informatique
[-] agrandissement d'image # algorithme parallèle # analyse de changement de fréquence # analyse spectrale # approche bayesienne pour estimation de facette locale robust # approche bayesienne pour reconstruction à angle limité # biologie moléculaire structurelle # calcul de maximum d'entropie # comment travaille le cerveau # donnée géophysique # inversion d'entropie relative minimum # maximisation d'entropie linéairement contrainte # minimation ...
[+] 28D20 ; 41A46 ; 62A15 ; 62Pxx ; 68P20
Localisation : Colloque 1er étage (LARA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00021324
conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de type ALGOL # sémantique de langage algorithmique # sémantique formelle # théorie algébrique # treillis de diagramme de flot
[-] conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de ...
[+] 68Q45 ; 68N01 ; 68Q55 ; 68N17 ; 68P20 ; 68-06
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 416 p.
Cote : 00018100
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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 325 p.
Cote : 00018622
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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 465 p.
Cote : 00018830
MAC code d'authentification de message # MDx-MAC # XOR-MAC # clef déposée chez un tiers privé # crypto-analyse # fonction de hachage # protocole # théorie des nombres # transfert oublieux
11T71 ; 11Yxx ; 68P20 ; 68Q20 ; 94A60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 416 p.
Cote : 00019682
EUROCRYPT '96 # algorithme # calcul réparti # cryptoanalyse # cryptologie # cryptosystème publique à clé # effet de retour # euristique # fonction cryptographique # gestion des clés de codage # générateur à caractère pseudo-aléatoire # identification de schéma # registre de retour de sécurité # schéma de signature # secret partagé # syndrome de décodage # sécurité # théorie des nombres
11T71 ; 11Yxx ; 68P20 ; 68Q20 ; 94A60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 495 p.
Cote : 00020971
accessibilité des données # base de données déductive # déduction # gestion de système d'informatique # informatique théorique # intelligence artificielle # langage formel # logique # logique mathématique # stockage de l'information # sémantique # théorie de la preuve # traitement des données
68-15 ; 68P05 ; 68P20 ; 68Pxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 415 p.
Cote : 00021426
analyse des algorithmes et problème de complexité # analyse des données # corps des nombres finis # cryptographie # cryptologie # encryptage des données informatiques # stockage de l'information # théorie algorithmique des nombres # théorie de l'information # théorie des codes algébriques # traitement # tri
11T71 ; 11Yxx ; 68P20 ; 68Q20 ; 94A60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 290 p.
Cote : 00021497
architecture et conception # base de donnée # codage # digitalisation # gestion de base # machine # réseau informatique # théorie de l'informatique # traitement d'image # traitement de données
68P05 ; 68P20 ; 68P25 ; 68Pxx
Localisation : Collection 1er étage
English