Une extension d'un théorème de P. Jullien sur les âges de mots
Une famille de monoïdes inversifs 0-bisimples généralisant le monoïde bicyclique
Une formalisation de la sémantique des langages de programmation
Une formalisation de la sémantique des langages de programmation
Une formalisation des systèmes conversationnels
Une forme canonique pour les grammaires simples déterministes
Une généralisation du théorème de Cobham
Nous généralisons le théorème de Cobham ([2]), en démontrant qu'une partie infinie de ℕ est reconnaissable en base k (k entier strictement plus grand que un) et reconnaissable dans un système de numération associé à un nombre de Pisot unitaire (ayant une propriété arithmétique supplémentaire) si et seulement si elle est ultimement périodique.
Une inégalité de Lojasiewicz effective
Une méthodologie du calcul hardware des fonctions élémentaires
Une modification de la méthode GRG
Une nouvelle approche basée sur le treillis de Galois, pour l'apprentissage de concepts
L'apprentissage automatique à partir d'exemples consiste généralement à caractériser un ensemble d'objets dénotant un concept. Nous avons développé deux méthodes d'apprentissage symbolique, LEGAL et LEGAL-E, qui s'appuient sur le même modèle d'apprentissage, et utilisent une technique de généralisation descendante, basée sur la logique des propositions et sur la structure de treillis de Galois, pour produire un ensemble de descriptions structurées et ordonnées. Elles diffèrent dans leur approche...
Une nouvelle transformation des réseaux de Petri généralisés : l’abstraction généralisée
Cet article introduit une nouvelle transformation des réseaux de Petri généralisés appelée l’abstraction généralisée. C’est une réduction dont nous montrons qu’elle conserve les invariants du réseau de départ et les propriétés structurelles les plus importantes. Une fonction de transformation de marquages nous permet d’introduire l’étude de la conservation des propriétés comportementales.
Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
Cet article introduit une nouvelle transformation des réseaux de Petri généralisés appelée l'abstraction généralisée. C'est une réduction dont nous montrons qu'elle conserve les invariants du réseau de départ et les propriétés structurelles les plus importantes. Une fonction de transformation de marquages nous permet d'introduire l'étude de la conservation des propriétés comportementales.
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
Une remarque sur les systèmes complets d'identités rationnelles
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Une topolgie du monoide libre.
Unification in varieties of idempotent semigroups.
Unification of higher-order patterns modulo simple syntactic equational theories.
Unified computational approach to nilpotent algebra classification problems
In this article, we provide an algorithm with Wolfram Mathematica code that gives a unified computational power in classification of finite dimensional nilpotent algebras using Skjelbred-Sund method. To illustrate the code, we obtain new finite dimensional Moufang algebras.