Temporal datalog with existential quantification

Existential rules, also known as tuple-generating dependencies (TGDs) or Datalog± rules, are heavily studied in the communities of Knowledge Representation and Reasoning, Semantic Web, and Databases, due to their rich modelling capabilities. In this paper we consider TGDs in the temporal setting, by introducing and studying DatalogMTL∃—an extension of metric temporal Datalog (DatalogMTL) obtained by allowing for existential rules in programs. We show that DatalogMTL∃ is undecidable even in the restricted cases of guarded and weakly-acyclic programs. To address this issue we introduce uniform semantics which, on the one hand, is well-suited for modelling temporal knowledge as it prevents from unintended value invention and, on the other hand, provides decidability of reasoning; in particular, it becomes 2-ExpSpace-complete for weakly-acyclic programs but remains undecidable for guarded programs. We provide an implementation for the decidable case and demonstrate its practical feasibility. Thus we obtain an expressive, yet decidable, rule-language and a system which is suitable for complex temporal reasoning with existential rules

Studies on the Diencephalon of the virginia Opossum. Part i. The nuclear pattern in the adult

No Abstract.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/49920/1/900710203_ftp.pd

Historical controversies about the thalamus: from etymology to function

The authors report on and discuss the historical evolution of the 3 intellectual and scientific domains essential for the current understanding of the function of the human thalamus: 1) the identification of the thalamus as a distinct anatomical and functional entity, 2) the subdivision of thalamic gray matter into functionally homogeneous units (the thalamic nuclei) and relative disputes about nuclei nomenclature, and 3) experimental physiology and its limitations.Galen was allegedly the first to identify the thalamus. The etymology of the term remains unknown although it is hypothesized that Galen may have wanted to recall the thalamus of Odysseus. Burdach was the first to clearly and systematically define the thalamus and its macroscopic anatomy, which paved the way to understanding its internal microarchitecture. This structure in turn was studied in both nonhuman primates (Friedemann) and humans (Vogt and Vogt), leading to several discrepancies in the findings because of interspecies differences. As a consequence, two main nomenclatures developed, generating sometimes inconsistent (or nonreproducible) anatomo-functional correlations. Recently, considerable effort has been aimed at producing a unified nomenclature, based mainly on functional data, which is indispensable for future developments. The development of knowledge about macro- and microscopic anatomy has allowed a shift from the first galenic speculations about thalamic function (the "thalamus opticorum nervorum") to more detailed insights into the sensory and motor function of the thalamus in the 19th and 20th centuries. This progress is mostly the result of lesion and tracing studies. Direct evidence of the in vivo function of the human thalamus, however, originates from awake stereotactic procedures only.Our current knowledge about the function of the human thalamus is the result of a long process that occurred over several centuries and has been inextricably intermingled with the increasing accumulation of data about thalamic macro- and microscopic anatomy. Although the thalamic anatomy can currently be considered well understood, further studies are still needed to gain a deeper insight into the function of the human thalamus in vivo

Interpretation of hyperchromic nerve cells relative significance of the type of fixative used, of the osmolarity of the cytoplasm and the surrounding fluid in the production of cell shrinkage

No Abstract.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/49986/1/901210110_ftp.pd

The diencephalon of the mink. I. The nuclear pattern of the dorsal thalamus

No Abstract.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/49950/1/900950305_ftp.pd

Studies on the diencephalon of the virginia opossum.

No Abstract.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/49929/1/900770304_ftp.pd

Going beyond histology. Synchrotron micro-computed tomography as a methodology for biological tissue characterization: from tissue morphology to individual cells

Current light microscopic methods such as serial sectioning, confocal microscopy or multiphoton microscopy are severely limited in their ability to analyse rather opaque biological structures in three dimensions, while electron optical methods offer either a good three-dimensional topographic visualization (scanning electron microscopy) or high-resolution imaging of very thin samples (transmission electron microscopy). However, sample preparation commonly results in a significant alteration and the destruction of the three-dimensional integrity of the specimen. Depending on the selected photon energy, the interaction between X-rays and biological matter provides semi-transparency of the specimen, allowing penetration of even large specimens. Based on the projection-slice theorem, angular projections can be used for tomographic imaging. This method is well developed in medical and materials science for structure sizes down to several micrometres and is considered as being non-destructive. Achieving a spatial and structural resolution that is sufficient for the imaging of cells inside biological tissues is difficult due to several experimental conditions. A major problem that cannot be resolved with conventional X-ray sources are the low differences in density and absorption contrast of cells and the surrounding tissue. Therefore, X-ray monochromatization coupled with a sufficiently high photon flux and coherent beam properties are key requirements and currently only possible with synchrotron-produced X-rays. In this study, we report on the three-dimensional morphological characterization of articular cartilage using synchrotron-generated X-rays demonstrating the spatial distribution of single cells inside the tissue and their quantification, while comparing our findings to conventional histological techniques