m

F Nous contacter

0

Documents  68-06 | enregistrements trouvés : 257

O

-A +A

P Q

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

Research talks;Combinatorics;Computer Science

La décomposition par substitution des permutations permet de voir ces objets combinatoires comme des arbres. Je présenterai d'abord cette décomposition par substitution, et les arbres sous-jacents, appelés arbres de décomposition. Puis j'exposerai une méthode, complètement algorithmique et reposant sur les arbres de décomposition, qui permet de calculer des spécifications combinatoires de classes de permutations à motifs interdits. La connaissance de telles spécifications combinatoires ouvre de nouvelles perspectives pour l'étude des classes de permutations, que je présenterai en conclusion. La décomposition par substitution des permutations permet de voir ces objets combinatoires comme des arbres. Je présenterai d'abord cette décomposition par substitution, et les arbres sous-jacents, appelés arbres de décomposition. Puis j'exposerai une méthode, complètement algorithmique et reposant sur les arbres de décomposition, qui permet de calculer des spécifications combinatoires de classes de permutations à motifs interdits. La c...

68-06 ; 05A05

... Lire [+]

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

I.S.N.M. , 0006

Localisation : Colloque 1er étage (HANN)

68-06 ; 68C05 ; 68Q25 ; 68Txx

... Lire [+]

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

Collection de logique mathématiques. Série A , 0019

Localisation : Colloque 1er étage (TIHA)

ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de symbôle # théorie abstraite des automates et des calculatrices électro # théorie des circuits # traduction automatique # transport # tube électronique # typologie des langues ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de ...

03-06 ; 03Dxx ; 68-06 ; 68Qxx ; 68Txx

... Lire [+]

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

Localisation : Colloque 1er étage (SAIN)

ASHMIDAI # approximation de Padé # décroissance leptonique # fonction de III-comportement # implémentation de LISP # intégrale de Feymnan # manipulation symbolique # méthode de calcul symbolique # optimisation ou élimination non linéaire # physique théorique # preuve de théorème automatique # structure de calcul algébrique # théorie de jauge non abélienne # électrodynamique quantique d'état borné

68-06 ; 68Q40

... Lire [+]

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

- 224 p.
ISBN 978-83-01-01494-0

Banach center publications , 0007

Localisation : Salle des périodiques 1er étage

mathématiques discrètes # automate fini # algorithme # calcul # théorie des graphes # reconnaissance de forme # application

68-06

... Lire [+]

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

- 402 p.
ISBN 978-3-540-11993-7

Lecture notes in computer science , 0149

Localisation : Collection 1er étage

68-02 ; 68-06

... Lire [+]

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

Proceedings of symposia in applied mathematics , 0015

Localisation : Collection 1er étage

10-04 ; 68-04 ; 68-06

... Lire [+]

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


ISBN 978-0-387-12288-5

NATO ASI series , 0004

Localisation : Colloque 1er étage (BONA)

C-matrie de C-filtre # aggrégat de profils de cristaux # analyse d'image # analyse de données picturales # analyse de forme picturale # chromosome humain # distorsion d'image # dépistage du cancer du col de l'utérus # image satellite # intelligence artificielle # nombre de Godel # reconnaissance de forme # représentation hiérarchique d'image # segmentation d'image digitale # système de vision informatique

68-06

... Lire [+]

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


ISBN 978-0-387-90835-9

Localisation : Colloque 1er étage (RENS)

62-06 ; 68-06

... Lire [+]

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

- 301 p.
ISBN 978-3-540-11607-3

Lecture notes in computer science , 0144

Localisation : Collection 1er étage

algorithme # algèbre informatique # application # règle de réécriture # structure algébrique # système # type de données abstraites

68-06 ; 68Q42 ; 68Q65 ; 68Qxx

... Lire [+]

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

- 305 p.
ISBN 978-3-540-12868-7

Lecture notes in computer science , 0162

Localisation : Collection 1er étage

informatique # algèbre de l'informatique # algorithme # application # polynôme # théorie de nombre et calcul # factorisation

68-06

... Lire [+]

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


ISBN 978-0-89838-173-3

Localisation : Colloque 1er étage (PHIL)

FORTRAN # LISP # MACSYMA # MAPLE # REDUCE # SMP # analyse de données # application d'algèbre informatique # bifurcation de Hopf # calcul symbolique # chimie # mathématique symbolique # modélisation de polymère # moteur de chaleur photochimique # muMATH # mécanique # onde de Stokes # robot # solution exacte pour super treillis # théorie des champs quantiques

62-07 ; 68-06 ; 68Pxx ; 68Q40 ; 92Exx

... Lire [+]

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


ISBN 978-0-444-87758-1

Colloquia mathematica societatis janos bolyai , 0042

Localisation : Colloque 1er étage (GYOR)

68-06 ; 68Qxx

... Lire [+]

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


ISBN 978-0-444-87758-1

Colloquia mathematica societatis janos bolyai , 0042

Localisation : Colloque 1er étage (GYOR)

68-06 ; 68Qxx ; 68Rxx

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

68-06 ; 68Qxx

... Lire [+]

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


ISBN 978-0-444-87528-0

Localisation : Colloque 1er étage (BERL)

65-XX ; 68-06 ; 68Q20 ; 68Q25 ; 68Qxx

... Lire [+]

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


ISBN 978-0-444-87752-9

Localisation : Colloque 1er étage (AMST)

super computer

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

... Lire [+]

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


ISBN 978-4-274-07221-5

Localisation : Colloque 1er étage (TOKY)

Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

... Lire [+]

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


ISBN 978-0-444-86974-6

Localisation : Colloque 1er étage (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 [+]

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


ISBN 978-0-8186-0644-1

Localisation : Colloque 1er étage (PONT)

algorithme # automatique # informatique # ordinateur

68-06 ; 68Q25 ; 68Q30 ; 68Q70 ; 68R10

... Lire [+]

Z