Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Cliques, coloring, and satisfiability :
second DIMACS implementation challenge Rutgers University and Princeton University#Oct. 11-13
Johnson, David S. ; Trick, Michael A. | American Mathematical Society 1996

Congrès

V

- 657 p.
ISBN 978-0-8218-6609-2

DIMACS series in discrete mathematics and theoretical computer science , 0026

Localisation : Collection 1er étage

algorithme de l'informatique # clique # coloriage # fiabilité satisfaisante # informatique théorique # mathématique discrète # programmation combinatoire # programmation mathématique # théorie des graphes

68R10 ; 90C27

... Lire [+]

Filtrer

Type
Domaine
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
p>

Paniers

|

Signaler une erreur

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Advances in computational complexity theory :
selected collection of refereed papers representing the DIMACS special year and most particularly the workshop on structural complexity and cryptography#Dec. 3-7
Cai, Jin-Yi | American Mathematical Society 1993

Congrès

V

- 209 p.
ISBN 978-0-8218-6597-2

DIMACS series in discrete mathematics and theoretical computer science , 0013

Localisation : Collection 1er étage

algorithme pour jeu stochastique simple # application de technique de théorie des jeux à la cryptograp # approximation diophantienne # complexité d'adaptation parallèle du théorème de Ramsey # composition de relation universelle # comptage approché avec circuit de profondeur constante unifo # factorisation d'entier et calcul de logarithme discret # jeu loyal contre adversaire tout-puissant # problème de E-isomorphisme # programme de branchement lu- seulement une fois # réduction aléatoire localement en théorie de la compléxité i # sécurité cryptographique parfaite partique # séparation forte de AC puissance 0 # théorème de la borne inférieure # thérorie de la complexité informatique algorithme pour jeu stochastique simple # application de technique de théorie des jeux à la cryptograp # approximation diophantienne # complexité d'adaptation parallèle du théorème de Ramsey # composition de relation universelle # comptage approché avec circuit de profondeur constante unifo # factorisation d'entier et calcul de logarithme discret # jeu loyal contre adversaire tout-puissant # problème de E-isomorphisme # programme de branchement ...

68P25 ; 68Q15 ; 68Q25 ; 68R05 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Graph drawing :
symposium on...GD'95#Sept. 20-22
Brandenburg, Franz J. | Springer 1996

Congrès

V

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

LATIN'95 :
theoretical informatics#seconde latin american symposium#April 3-7
Baeza-Yates Ricardo ; Goles, Eric ; Poblete, Patricio V. | Springer 1995

Congrès

V

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

Graph drawing :
DIMACS international workshop, GD'94#Oct. 10-12
Tamassia, Roberto ; Tollis, Ioannis G. | Springer 1995

Congrès

V

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