Cet article propose une réflexion historique et épistémologique sur l’association, qui va jusqu’à l’identification, entre la narratologie théorie pan-narratoriale des récits de fiction (théorie postule l’existence d’un narrateur fictionnel dans tous les fiction). Ce faisant, il remet en cause l’évidence ou naturalité cette théorie. Quelques remarques le contexte d’apparition d’instauration peuv...

RÉSUMÉ. La recherche d’information basée sur l’analyse formelle de concepts repose généralement sur l’utilisation de la structure de treillis des concepts formels. Les noeuds de ce treillis (i.e. les concepts formels) peuvent être interprétés comme des paires 〈réponse,requête〉. A ce jour, la quasi-majorité des travaux existant en ce sens utilisent l’opérateur de dérivation de Galois classique (...

In a previous paper we have introduced a class of multiplications of distributions in one dimension. Here we furnish different generalizations of the original definition and we discuss some applications of these procedures to the multiplication of delta functions and to quantum field theory. Résumé Nous avons introduit dans une publication précédente une classe de multiplications entre distribu...

In this paper, we introduce a fourth-order leap-frog time scheme combined with a high-order discontinuous Galerkin method for the solution of the elastodynamic equations. The time discretization, obtained via a simple construction based on Taylor developments, provides an accurate scheme for the numerical simulation of seismic wave propagation. Results of the propagation of an eigenmode allow a...

RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, nous proposons un nouveau schéma de recherche parallèle coopérative. La coopération est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionnaire de nogoods, afin de réguler les échanges de nogoods. Chaque sol...

RÉSUMÉ. Nous présentons dans ce papier un algorithme de résolution, dans la théorie T des arbres (éventuellement infinis), des contraintes représentées par des formules générales du premier ordre, avec pour seul symbole de relation l’égalité et pour symboles de fonctions les éléments d’un ensemble infini F. L’algorithme est constitué d’un ensemble de 11 règles de réécriture de sous-formules en ...

This paper describes several methods used by physicists for manipulations of quantum states. For each method, we explain the model, the various time-scales, the performed approximations and we propose an interpretation in terms of control theory. These various interpretations underlie open questions on controllability, feedback and estimations. For 2-level systems we consider: the Rabi oscillat...

— In this note we prove the existence of effectively independent instances (with respect to an arbitrary recursively axiomatizable, consistent, intuitively true and sufficiently rich theory) for some well-known undecidable problems including the Emptiness Problem, the Finiteness Problem, the Totality Problem, the Halting Problem and the Post Correspondence Problem. Applications in the Theory of...

Résumé Les néovaisseaux choroïdiens constituent une complication redoutable de la forte myopie rapportée dans 5 à 10% des cas. Ils doivent être pris en charge rapidement vu leur pronostic sombre. Les IVT des anti-VEGF constituent actuellement la nouvelle alternative thérapeutique dépassant de loin la thérapie photo-dynamique (PDT). Néanmoins l'algorithme thérapeutique anti-VEGF devant ce type d...

We give formal content to some concepts, naturally stemming from consistent history approach (CHA), which are not formalized in the standard formulation of the theory. The outcoming (extended) conceptual basis is used to perform a formal, conceptually transparent analysis of some debated questions in CHA. As results, the problems raised by contrary inferences of Kent are ruled out, whereas some...