Phd. Activity Report: Oct.90 -july 91

A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases

The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief time respectively. Historical time denotes the time for which information models reality/Belief time denotes the time lor which a belief is held (by an agent or a knowledge base). We formalize an appropriate theory of t...

2 First Year Phd Report - July 2002 � � � �

Different populations of subthalamic neurons encode cocaine versus sucrose 1 reward and predict future error 2 3 4

Different populations of subthalamic neurons encode cocaine versus sucrose 1 reward and predict future error 2 3 4 Running title: STN neurons and cocaine vs sucrose reward 5 6 7 Sylvie Lardeux, PhD, Dany Paleressompoulle , Remy Pernaud , Martine Cador, PhD 8 and Christelle Baunez, PhD 9 10 11 1: CNRS UMR 6155, Laboratoire de Neurobiologie de la Cognition, Marseille, France. 12 2: Laboratoire de...

Noninvasive imaging of oral premalignancy and malignancy.

Early detection of cancer and its precursors remains the best way to ensure patient survival and quality of life. Our specific aim is to test a multimodality approach to noninvasive diagnostics of oral premalignancy and malignancy. In the hamster cheek pouch model (120 hamsters), in vivo optical coherence tomography (OCT) and optical Doppler tomography (ODT) map epithelial, subepithelial, and v...

Xenopus POU factors of subclass V inhibit activin/nodal signaling during gastrulation

Three POU factors of subclass V, Oct-25, Oct-60 and Oct-91 are expressed in Xenopus oocytes and early embryos. We here demonstrate that vegetal overexpression of Oct-25, Oct-60, Oct-91 or mammalian Oct-3/4 suppresses mesendoderm formation in Xenopus embryos. Oct-25 and Oct-60 are shown to inhibit activin/nodal and FGF signaling pathways. Loss of Oct-25 and Oct-60 function results in elevated tr...