A Formal Theory of Substances, Qualities, and Universals

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the theory and a provably sound axiomatization

Signalling, cell cycle and pluripotency in embryonic stem cells

International audienc

Using parallel computation to improve Independent Metropolis--Hastings based estimation

In this paper, we consider the implications of the fact that parallel raw-power can be exploited by a generic Metropolis--Hastings algorithm if the proposed values are independent. In particular, we present improvements to the independent Metropolis--Hastings algorithm that significantly decrease the variance of any estimator derived from the MCMC output, for a null computing cost since those improvements are based on a fixed number of target density evaluations. Furthermore, the techniques developed in this paper do not jeopardize the Markovian convergence properties of the algorithm, since they are based on the Rao--Blackwell principles of Gelfand and Smith (1990), already exploited in Casella and Robert (1996), Atchade and Perron (2005) and Douc and Robert (2010). We illustrate those improvements both on a toy normal example and on a classical probit regression model, but stress the fact that they are applicable in any case where the independent Metropolis-Hastings is applicable.Comment: 19 pages, 8 figures, to appear in Journal of Computational and Graphical Statistic

On the Limit of Fountain MDC Codes for Video Peer-To-Peer Networks

Video streaming for heterogeneous types of devices, where nodes have different devices characteristics in terms of computational capacity and display, is usually handled by encoding the video with different qualities. This is not well suited for Peer-To-Peer (P2P) systems, as a single peer group can only share content of the same quality, thus limiting the peer group size and efficiency. To address this problem, several existing works propose the use of Multiple Descriptions Coding (MDC). The concept of this type of video codec is to split a video in a number of descriptions which can be used on their own, or aggregated to improve the global quality of the video. Unfortunately existing MDC codes are not flexible, as the video is split in a defined number of descriptions. In this paper, we focus on the practical feasibility of using a Fountain MDC code with properties similar to existing Fountain erasure codes, including the ability to create any number of descriptions when needed (on the fly). We perform simulations using selected pictures to assess the feasibility of using these codes, knowing that they should improve the availability of the video pieces in a P2P system and hence the video streaming quality. We observe that, although this idea seems promising, the evaluated benefits, demonstrated by the PSNR values, are limited when used in a real P2P video streaming system

Assessment of porcine endogenous retrovirus transmission across an alginate barrier used for the encapsulation of porcine islets

BACKGROUND: Subcutaneous implantation of a macroencapsulated patch containing human allogenic islets has been successfully used to alleviate type 1 diabetes mellitus (T1DM) in a human recipient without the need for immunosuppression. The use of encapsulated porcine islets to treat T1DM has also been reported. Although no evidence of pathogen transfer using this technology has been reported to date, we deemed it appropriate to determine if the encapsulation technology would prevent the release of virus, in particular, the porcine endogenous retrovirus (PERV). METHODS: HEK293 (human epithelial kidney) and swine testis (ST) cells were co-cultured with macroencapsulated pig islets embedded in an alginate patch, macroencapsulated PK15 (swine kidney epithelial) cells embedded in an alginate patch and free PK15 cells. Cells and supernatant were harvested at weekly time points from the cultures for up to 60 days and screened for evidence of PERV release using qRT-PCR to detect PERV RNA and SG-PERT to detect reverse transcriptase (RT). RESULTS: No PERV virus, or evidence of PERV replication, was detected in the culture medium of HEK293 or pig cells cultured with encapsulated porcine islets. Increased PERV activity relative to the background was not detected in ST cells cultured with encapsulated PK15 cells. However, PERV was detected in 1 of the 3 experimental replicates of HEK293 cells cultured with encapsulated PK15 cells. Both HEK293 and ST cells cultured with free PK15 cells showed an increase in RT detection. CONCLUSIONS: With the exception of 1 replicate, there does not appear to be evidence of transmission of replication competent PERV from the encapsulated islet cells or the positive control PK15 cells across the alginate barrier. The detection of PERV would suggest the alginate barrier of this replicate may have become compromised, emphasizing the importance of quality control when producing encapsulated islet patches

Localization of aeroelastic modes in mistuned high-energy turbines

The effects of blade mistuning on the aerodynamic characteristics of a class of bladed-disk assemblies, namely high energy turbines, are discussed. The specific rotor analyzed is the first stage of turbine blades of the oxidizer turbopump in the Space Shuttle Main Engine. The common occurrence of fatigue cracks for these turbine blades indicates the possibility of high dynamic loading. Since mistuning under conditions of weak interblade coupling has been shown to increase blade response amplitudes drastically for simple structural models of blade assemblies, it provides a plausible explanation for the occurrence of cracks. The focus here is on the effects of frequency mistuning on the aeroelastic stability of the assembly and on the aeroelastic mode shapes