F Nous contacter

0

Documents  68-06 | enregistrements trouvés : 249

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

y

Research talks

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

V

Localisation : 1er étage/Congrès/MARS

68-06 ; 68Qxx

... Lire [+]

V

Publication de l'universite de caen

Localisation : 1er étage/Congrès/MARS

science de l'ordinateur

68-06

... Lire [+]

V


ISBN 978-2-86601-081-2

Localisation : 1er étage/Congrès/MARS

68-06 ; 68Txx

... Lire [+]

V


ISBN 978-2-86601-084-3

Micad 87 , 0002

Localisation : 1er étage/Congrès/PARI

automatisme # cao # informatique graphique # intelligence artificielle # robotique # systeme expert

68-06 ; 68Txx ; 68U05

... Lire [+]

V


ISBN 978-2-86601-083-6

Micad 87 , 0001

Localisation : Congrès 1er étage (PARI/1987)

automatique # cao # informatique graphique # intelligence artificielle # robotique

68-06 ; 68Txx ; 68U65

... Lire [+]

V


ISBN 978-0-8186-0644-1

Localisation : 1er étage/Congrès/PONT

algorithme # automatique # informatique # ordinateur

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

... Lire [+]

V


ISBN 978-4-274-07221-5

Localisation : 1er étage/Congrès/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 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 [+]

V


ISBN 978-2-86601-196-3

Localisation : 1er étage/Congrès/PARI

image numerique # informatique graphique

68-06 ; 68U05

... Lire [+]

y


ISBN 978-0-89791-914-2

Localisation : 1er étage/Congrès/BOST

amélioration de processus # analyse de C et C++ # analyse statistique # compréhension de programme # essai et analyse # exploitation d'Internet # fiabilité # ingénierie de logiciel # ingénierie inverse # inspection et revue # matériel et logiciel # métrique # spécification formelle # système à héritage # technologie oriental-objet # utilisateur d'interface # économie et loi amélioration de processus # analyse de C et C++ # analyse statistique # compréhension de programme # essai et analyse # exploitation d'Internet # fiabilité # ingénierie de logiciel # ingénierie inverse # inspection et revue # matériel et logiciel # métrique # spécification formelle # système à héritage # technologie oriental-objet # utilisateur d'interface # économie et loi

68-06 ; 68Nxx

... Lire [+]

V

- 1242 p.
ISBN 978-0-89871-605-4

Localisation : Colloque 1er étage (Miam/2006)

algorithme discret # algorithmique

68W05 ; 68-06 ; 00B25

... Lire [+]

V

- 325 p.

Proceedings of the Steklov institute of mathematics , 0274

Localisation : Collection RdC

68-06 ; 03-06

... Lire [+]

V

- 301 p.
ISBN 978-3-540-54495-1

Lecture notes in computer science , 0530

Localisation : Collection RdC

algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...

03D40 ; 18-06 ; 68-06

... Lire [+]

V


ISBN 978-3-540-60800-4

Lecture notes in artificial intelligence , 1036

Localisation : 1er étage/Congrès/PISA

IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # planification de discours intéractif # prise de décision stylistique # prétexte # relation textuelle # réponse de système cohérent et coopératif # structure rhétorique # système à base de connaissance # échange interrompue IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # pl...

68-06 ; 68S05 ; 68Txx

... Lire [+]

V

- xxii; 789 p.
ISBN 978-3-642-02926-4

Lecture notes in computer science , 5555

Localisation : Collection RdC

informatique # logiciel

68-06 ; 68Nxx ; 68Qxx ; 00B25

... Lire [+]

V

- 472p.
ISBN 978-3-540-61474-6

Lecture notes in computer science , 1102

Localisation : Collection RdC

informatique # méthodes de vérification assistée par ordinateur # analyse formelle # logique de programmation # softwere pour ingénieurs

00B25 ; 68-06 ; 68Q60 ; 68N17

... Lire [+]

V

- 524 p.
ISBN 978-3-540-40753-9

Lecture notes in computer science , 2761

Localisation : Collection RdC

ordre partiel # concurrence # système asynchrone # algèbre de processus # jeu # système infini # automate probabiliste # HMSC # sécurité # mobilité # temps réel # modèle probabiliste # langage de programmation # technique de programmation # réseau

68-06 ; 68Q85 ; 68Q10

... Lire [+]

V


ISBN 978-0-8218-0086-7

Proceedings of symposia in applied mathematics , 0034

Localisation : Collection RdC

circulation de l'information # communication # informati on # informatique theorique # reseau # theorie de l'information

68-06 ; 94Bxx

... Lire [+]

V

- 254 p.
ISBN 978-3-540-42610-3

Lecture notes in computer science , 2140

Localisation : Collection RdC

carte intelligente #carte à puce # cryptographie # signature électronique # sécurité réseau # smart card # Java card # biométrie # commerce électronique # méthode formelle # vérification logiciel # paiement électronique

68-06

... Lire [+]

V

- x; 319 p.
ISBN 978-0-444-87699-7

North-Holland mathematics studies , 0109

Localisation : Colloque 1er étage (Udin/1982)

analyse combinatoire # algorithme

00Bxx ; 68Rxx ; 05-06 ; 68-06

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z