Showing papers by "University of Lorraine published in 1995"

Bioactive surfactants containing a β-lactam group: synthesis and properties

Abstract: Selective activation of 3-hydroxy-2-hydroxymethyl-2-methyl propanamide with P(NMe2)3–CCl4, and subsequent intramolecular cyclisation yields β-lactam derivatives that have both surface and antibiotic activity.

L’école constructive de Markov

Abstract: THE CONSTRUCTIVIST SCHOOL OF MARKOV .T his paper sets out the main features of the constructivist school, as promoted by Andrej Andreevich Markov (1903-1979). After a short survey of the situation pertaining in mathematics and logic, at the beginning of the 20th century, the emergence of intuitionism, and of recursive function theory, is sketched in. The paper then outlines the aims and methods of Markov's constructivism — reviewing, by way of illustration, the major results obtained through Markov's approach, in the field of real-number analysis. Finally, emphasis is laid on the current relevance of such results for present-day mathematics. 1. PROLOGUE

Hypertextualisation automatique de documents techniques

Abstract: L'hypertextualisation automatique, processus empirique debouchant de l'hypertexte, repose sur la reutilisation de documents lineaires de nature technique, saisis a partir de logiciels de traitement de textes, afin de creer dynamiquement les noeuds et les liens reseaux hypertextes. La phase d'extraction des noeuds utilise la structure physique pour mettre en evidence les differentes entites logiques composants les documents. Les liens references (particulierement les references croisees), dont la syntaxe est prealablement definie par l'auteur, sont extraits au moyen d'un programme d'analyse utilisant une description generique de la grammaire des references croisees. L'hypertextualisation automatique conduit a la creation d'un meta-reseau hypertexte ou la mise a jour locale de documents peut remettre en cause la coherence des noeuds et des liens. comme les systemes de gestion de bases de donnees relationnelles ont montre leur efficacite pour preserver l'integrite des donnees, nous proposons une normalisation relationnelle des hyperdocuments automatiquement generes afin de gerer la mise a jour des liens references. L'accroissement du volume d'information est une autre consequence de la creation automatique de reseaux hypertextes puisqu'elle accentue davantage les problemes de desorientation et de surcharge cognitive. Une solution consiste a coupler le processus d'hypertextualisation a un programme d'indexation automatique, ce qui permettrait d'associer a chaque noeud du meta-reseau un ensemble de termes pertinents representatifs du contenu du noeud. Ainsi, le lecteur disposerait non seulement de mecanismes de navigation structurelle mais aussi de possibilites de recherche semantique.