RÉSUMÉ. Un nombre croissant d’approches mixtes combinent programmation à base de règles et programmation orientée objets. La vérification des programmes hybrides à base d’objets et de règles est devenue un problème de plus en plus urgent à résoudre. Les méthodes de vérification existantes, développées soit pour les programmes orientés objets soit pour les systèmes de règles classiques, ne sont ...

La neuropathie optique regroupe l'ensemble des lésions du nerf optique. Le diagnostic est habituellement clinique: diminution de l'acuité visuelle, altération de la vision des couleurs, déficit du champ visuel. Les étiologies sont multiples, l'origine compressive est rarement rapportée. La souffrance du nerf optique peut être dû dans ce cas soit à l'augmentation de la pression du liquide céphal...

Let Λ be a preprojective algebra of type A, D, E, and let G be the corresponding semisimple simply connected complex algebraic group. We study rigid modules in subcategories Sub Q for Q an injective Λ-module, and we introduce a mutation operation between complete rigid modules in Sub Q. This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to G. R...

Les modèles de calcul qui opèrent sur les ensembles de nombres réels, et qui sont capables de calculer sur une classe strictement supérieure à celle des fonctions récursives, introduisent invariablement un élément non fini, soit comme information encodée dans une entrée, soit comme information contenue dans le modèle. Dans cet article, on montrera que la propriété d’universalité des modèles de ...

Les auteurs passent en revue certaines tendances contemporaines concernant I'etude des processus cognitifs et ils mettent l'accent sur quelques-uns des problemes non resolus par ces theories. lIs centrent leurs recherches sur ce qui est naturel dans les processus cognitifs a certains niveaux de comportement par opposition a ce qui serait possible a tous les niveaux. Cette approche conduit a div...

La théorie des équations différentielles stochastiques rétrogrades étend la propriété de représentation prévisible du mouvement brownien au cadre non linéaire, offrant ainsi un analogue non-markovien aux dérivées partielles paraboliques complètement linéaires. Dans ce papier, nous considérons les EDS rétrogrades, leur version réfléchies et son extension second ordre, dans le contexte d’une donn...

Soit K un corps infini et A une K-algèbre de dimension finie n. Soit 0 < r < n un entier. Le résultat principal de cet article est le suivant. Sous certaines hypothèses sur A (satisfaites si A est étale), la grassmannienne G(r, A) est K-birationnelle, de manière PGL1(A)-équivariante, au produit de G(pgcd(r, n), A) par un espace affine (théorème 3.3). On en déduit par torsion plusieurs résultats...

In this article, we expose a reconstruction method of complex objects, characterized either by a digital volume, or by a sample of points from the boundary surface of the object. In order to do so, we use a deformable model of implicit surfaces defined using a potential function and a skeleton. The latter, describing the structural information, can be given beforehand under two features: discre...

{ We show that there exists a toric curve in P 8 , whose homogeneous coordinate ring has a presentation with 12 quadratic relations and whose Poincar e-Betti series is irrational. The example was found by a computer search, aiming at a homological classiication of those toric curves that have a quadratic presentation in P n?1 for n 9. Some other consequences of this search are also presented. U...

Résumé. Cet article présente un nouveau modèle de représentation pour la classification de documents XML. Notre approche permet de prendre en compte soit la structure seule, soit la structure et le contenu de ces documents. L’idée est de représenter un document par l’ensemble des sous-chemins de l’arbre XML de longueur comprise entre n et m, deux valeurs fixées a priori. Ces chemins sont ensuit...