Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional types and an associated type system which is useful for type checking database operations and for query optimization. Such a typed approach to database programming is then shown to be of the same family as other program...

Detailed models of the microvasculature are important to help create accurate tissue oxygenation models, and for understanding the control of blood flow on the level of capillaries. In the pasts, the majority of computer models rely on simplifying and averaging blood flow and oxygen delivery within a region (2), but being able to visualize and analyze actual microcirculation beds provides more ...

Identifying membrane proteins and their multi-functional types is an indispensable yet challenging topic in proteomics and bioinformatics. In this article, we provide data that are used for training and testing Mem-ADSVM (Wan et al., 2016. "Mem-ADSVM: a two-layer multi-label predictor for identifying multi-functional types of membrane proteins" [1]), a two-layer multi-label predictor for predic...

We define a language whose type system, incorporating session types, allows com-plex protocols to be specified by types and verified by static typechecking. A ses-sion type, associated with a communication channel, specifies the state transitionsof a protocol and also the data types of messages associated with transitions; thustypechecking can verify both correctness of indi...

Glandular trichomes play important roles in protecting plants from biotic attack by producing defensive compounds. We investigated the metabolic profiles and transcriptomes to characterize the differences between different glandular trichome types in several domesticated and wild Solanum species: Solanum lycopersicum (glandular trichome types 1, 6, and 7), Solanum habrochaites (types 1, 4, and ...

In the field of tumor biology, increasing attention is now focused on the complex interactions between various constituent cell types within the tumor microenvironment as being functionally important for the etiology of the disease. The detailed description of tumor-promoting properties of cancer-associated fibroblasts, endothelial cells, pericytes, and immune cells, introduces novel potential ...

Seedling morphology of 210 species (173 trees and 37 lianas) was studied from a community perspective to identify major patterns of seedling functional types in a Mexican rain forest. Five types of seedlings were distinguished: cryptocotylar with reserve storage or absorption cotyledons (epigeal [CER] and hypogeal [CHR]), phanerocotylar epigeal, either with photosynthetic cotyledons (PEF) or wi...

The α-, β- and δ-cells of the pancreatic islet exhibit different electrophysiological features. We used a large dataset of whole-cell patch-clamp recordings from cells in intact mouse islets (N = 288 recordings) to investigate whether it is possible to reliably identify cell type (α, β or δ) based on their electrophysiological characteristics. We quantified 15 electrophysiological variables in ...

Michael Esfeld & Christian Sachse University of Lausanne, Department of Philosophy CH-1015 Lausanne, Switzerland [email protected], [email protected] published in International Studies in the Philosophy of Science 21 (2007), pp. 1–17 Abstract The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the m...