-rigid databases and the expressibility of incomplete relational query languages. (Abstract).
La différentiation automatique et son utilisation en optimisation
In this work, we present an introduction to automatic differentiation, its use in optimization software, and some new potential usages. We focus on the potential of this technique in optimization. We do not dive deeply in the intricacies of automatic differentiation, but put forward its key ideas. We sketch a survey, as of today, of automatic differentiation software, but warn the reader that the situation with respect to software evolves rapidly. In the last part of the paper, we present some...
La fonction d'Ackermann : un nouveau mode de dérécursivation
La formalisation des langages de programmation
La réduction des réseaux. Autour de l'algorithme de Lenstra, Lenstra, Lovász
La suffisante complétude connexe. Correctif à apporter à la section B. §5.5
La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
La suffisante complétude connexe. Section B : théorie générale
La suffisante complétude connexe. Section C : exemples
La verificación estructural de sistemas basados en conocimiento.
Labeled shortest paths in digraphs with negative and positive edge weights
This paper gives a shortest path algorithm for CFG (context free grammar) labeled and weighted digraphs where edge weights may be positive or negative, but negative-weight cycles are not allowed in the underlying unlabeled graph. These results build directly on an algorithm of Barrett et al. [SIAM J. Comput.30 (2000) 809–837]. In addition to many other results, they gave a shortest path algorithm for CFG labeled and weighted digraphs where all edges are nonnegative. Our algorithm is based closely...
L'aide multicritère à la décision : un cas d'intégration de critères techniques, économiques et environnementaux à Hydro-Québec
Lambda-calcul, évaluation paresseuse et mise en mémoire
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer
Langage de Łukasiewicz et diagonales de séries formelles
Dans un corps fini, toute série formelle algébrique en une indéterminée est la diagonale d'une fraction rationnelle en deux indéterminées (Furstenberg 67). Dans cet article, nous donnons une nouvelle preuve de ce résultat, par des méthodes purement combinatoires.
Langages algébriques déterministes non générateurs
Langages algébriques et systèmes de réécriture rationnels
Langages de parenthèses, langages N.T.S. et homomorphismes inverses
Langages d'interprétation des schémas récursifs
Langages persistants