Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 230 p.
ISBN 978-3-540-18419-5
Lecture notes in computer science , 0280
Localisation : Collection 1er étage
modèle mathématique # sémantique # parallélisme
00B25 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 626 p.
ISBN 978-3-540-44050-5
Lecture notes in computer science , 2442
Localisation : Collection 1er étage
cryptographie # système multi-utilisateur # sécurité # clé publique # partage de secret # courbe elliptique # variété abélienne # authentification # signature # fonction booléenne # schéma de signature # cryptanalyse
94A60 ; 94-06 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 598 p.
ISBN 978-3-540-19905-2
Lecture notes in control and information sciences , 0200
Localisation : Colloque 1er étage (KYOT)
robotique # commande # contrôle de planification # contrôle de force # servocontrol visuel # apprentissage # habilité hynamique # design # téléopartion # robot mobile # robotique spaciale # manipulateur
68U30 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 450p.
ISBN 978-3-540-60045-9
Lecture notes in computer science , 0939
Localisation : Collection 1er étage
infoprmatique # vérification assistée par ordinateur # logique de programmation # langage formel # déduction # intelligence artificielle # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68N17 ; 68N19 ; 68T15 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 324 p.
ISBN 978-3-540-09118-9
Lecture notes in computer science , 0067
Localisation : Collection 1er étage
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages
03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 394 p.
ISBN 978-3-7643-7983-4
Trends in mathematics
Localisation : Colloque 1er étage (XIAN)
analyse numérique # informatique # calcul formel # calcul algébrique # système polynômial # ensemble triangulaire # base de Gröbner # algorithme # optimisation
65-06 ; 68-06 ; 68W30 ; 65K10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 386p.
ISBN 978-3-540-56944-2
Lecture notes in artificial intelligence , 0698
Localisation : Colloque 1er étage (STPE)
informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé
00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 429 p.
ISBN 978-3-540-57899-4
Lecture notes in computer science , 0790
Localisation : Collection 1er étage
informatique # classe de graphe # algorithme # théorie des graphes
00B25 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 510 p.
ISBN 978-3-540-58434-6
Lecture notes in computer science , 0855
Localisation : Collection 1er étage
algorithme # informatique # mathématiques discrètes
00B25 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 324 p.
ISBN 978-3-540-55585-8
Lecture notes in computer science , 0603
Localisation : Collection 1er étage
ADA # ingénierie de logiciel # langage de programmation # programmation automatique # programmation concurrente # programmation fonctionne lle # programmation orientée objet # programmation séquentielle # système d'exploitation # technique de programmation
68-06 ; 68N05 ; 68N15 ; 68N25
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 418 p.
ISBN 978-3-540-08138-8
Lecture notes in computer science , 0048
Localisation : Collection 1er étage
théorie des automates # combinatoire # réseau de Petri # démonstration de théorème # langage algébrique # schéma programme # arborescence # fondement des mathématiques # informatique théorique # langage # logique # programmation # théorie constructive # théorie de la preuve
00Bxx ; 68-06 ; 94-06 ; 03-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 523 p.
ISBN 978-0-12-697540-6
Localisation : Colloque 1er étage (PITT)
analyse numérique # algorithme # complexité de calcul # programmation
00Bxx ; 68-06 ; 68W99 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 613 p.
ISBN 978-3-540-55578-0
Lecture notes in computer science , 0602
Localisation : Collection 1er étage
apprentissage assisté par ordinateur # ingenierie de logiciel # intelligence artificielle # éducation et informatique
68-06 ; 68Nxx ; 68Txx ; 68U30
... 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.
- 470p.
ISBN 978-3-540-61937-6
Lecture notes in computer science , 1166
Localisation : Collection 1er étage
informatique # circuits integrés # conception assistée par ordinateur # démonstration automatique de théorème # langage formel # optimisation
00B25 ; 68-06 ; 68U07 ; 68T15 ; 68Q45
... Lire [+]
