Über die darstellbarkeit des syntaktischen monoïdes kontextfreier sprachen
Über die Methode der Entscheidungstabellen
Über eine Darstellung von Gruppenelementen in digitalen Rechenautomaten.
Učení neuronových sítí jako inverzní úloha
Učiace sa systémy automatického riadenia
UET flow shop scheduling with delays
Ultra regular covering space and its automorphism group
In order to classify digital spaces in terms of digital-homotopic theoretical tools, a recent paper by Han (2006b) (see also the works of Boxer and Karaca (2008) as well as Han (2007b)) established the notion of regular covering space from the viewpoint of digital covering theory and studied an automorphism group (or Deck's discrete transformation group) of a digital covering. By using these tools, we can calculate digital fundamental groups of some digital spaces and classify digital covering spaces...
Un algorithme de calcul formel des séries énumératrices de langage linéaire
Un algorithme parallèle efficace pour construire un arbre de poids minimal dans un graphe
Un algorithme sous-optimal pour construire un graphe -arête connexe de coût minimal
Un algoritmo de descomposición de funciones racionales mediante polinomios casi-separados.
Dado un polinomio f perteneciente a K[x], determinar si existen otros dos g y h de grado mayor que uno tales que f(x) = g(h(x)) = g o h, y, en caso de que existan, encontrarlos, es conocido como problema de descomposición para polinomios. Cuando dicha descomposición existe, problemas como la evaluación de f en un punto o la resolución de la ecuación f = 0 se pueden resolver de manera más simple. La generalización del problema de la descomposición al caso de funciones racionales es sin duda un problema...
Un cadre algébrique pour l'étude des monoïdes syntactiques
Un domaine très ouvert : les problèmes d'ordonnancement
Un générateur inhéremment ambigu du cône des langages algébriques
Un gran proyecto de cooperación internacional: la Biblioteca Digital de Matemáticas.
Un langage algébrique particulier
Un langage quasi-rationnel lié aux graphes planaires
Un modèle fonctionnel des structures de contrôle
Un nouveau type de preuve mathématique : le théorème des quatre couleurs. I - Exposé préliminaire
Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs