Learn More
Mitochondria are organelles with a complex architecture. They are bounded by an envelope consisting of the outer membrane and the inner boundary membrane (IBM). Narrow crista junctions (CJs) link the IBM to the cristae. OMs and IBMs are firmly connected by contact sites (CS). The molecular nature of the CS remained unknown. Using quantitative(More)
Aging has been associated with a progressive decline of proteostasis, but how this process affects proteome composition remains largely unexplored. Here, we profiled more than 5,000 proteins along the lifespan of the nematode C. elegans. We find that one-third of proteins change in abundance at least 2-fold during aging, resulting in a severe proteome(More)
We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we present a tractable algorithm which, given two terminologies and a signature, outputs a set of concepts, which can be regarded as the logical difference between the two terminologies. As a(More)
vi Selective visual attention provides an effective mechanism to serialize perception of complex scenes in both biological and machine vision systems. In extension of previous models of saliencybased visual attention by Koch & Ullman (Human Neurobiology, 4:219–227, 1985) and Itti et al. (IEEE PAMI, 20(11):1254–1259, 1998), we have developed a new model of(More)
We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic EL extended with role inclusions and domain and range restrictions. Three different notions of forgetting, preserving, respectively, concept inclusions, concept instances, and answers to conjunctive queries, with(More)
We introduce ATLES - a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences of path quantifiers, and, as a consequence, it possible to express in ATLES some properties that cannot be expressed even in ATL*. We present a complete axiomatic system for ATLES.(More)
The alternating-time temporal logic (ATL) of Alur, Henzinger and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems and game-like multi-agent systems. In this article, we investigate the computational complexity of the satisfiability problem for ATL. For the case where the set of agents is fixed(More)
The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We define two notions of a module whose independence is formalised in a model-theoretic way. Focusing mainly on the DLs EL and ALC, we then develop algorithms for module extraction, for checking(More)
After two generations of software systems for the analysis of two-dimensional electrophoresis (2-DE) images, a third generation of such software packages has recently emerged that combines state-of-the-art graphical user interfaces with comprehensive spot data analysis capabilities. A key characteristic common to most of these software packages is that many(More)