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.
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.
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.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
