m

Documents  68-06 | enregistrements trouvés : 263

O

-A +A

P Q

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.

- 232 p.

Mathematical centre tracts , 0134

Localisation : Collection 1er étage

68-06 ; 68B10 ; 68B20

... Lire [+]

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.

- 431 p.

Localisation : Colloque 1er étage (MARS)

68-06 ; 68N15 ; 68T25

... Lire [+]

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.

- ix; 172 p.
ISBN 978-0-387-78132-7

the IMA volumes in mathematics and its applications , 0148

Localisation : Colloque 1er étage (MINN)

informatique # calcul formel # calcul algébrique # logiciel

11R09 ; 11Y99 ; 12D05 ; 13P10 ; 14P05 ; 14Q10 ; 52A39 ; 52B20 ; 52B55 ; 65D18 ; 65F15 ; 65F20 ; 65F22 ; 65H10 ; 65H20 ; 65-04 ; 14Q05 ; 91-08 ; 68-06 ; 68W30 ; 14-04 ; 00B25

... Lire [+]

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

Z