A framework for generalized group testing with inhibitors and its potential application in neuroscience

The main goal of group testing with inhibitors (GTI) is to efficiently identify a small number of defective items and inhibitor items in a large set of items. A test on a subset of items is positive if the subset satisfies some specific properties. Inhibitor items cancel the effects of defective items, which often make the outcome of a test containing defective items negative. Different GTI models can be formulated by considering how specific properties have different cancellation effects. This work introduces generalized GTI (GGTI) in which a new type of items is added, i.e., hybrid items. A hybrid item plays the roles of both defectives items and inhibitor items. Since the number of instances of GGTI is large (more than 7 million), we introduce a framework for classifying all types of items non-adaptively, i.e., all tests are designed in advance. We then explain how GGTI can be used to classify neurons in neuroscience. Finally, we show how to realize our proposed scheme in practice

Concomitant Group Testing

In this paper, we introduce a variation of the group testing problem capturing the idea that a positive test requires a combination of multiple ``types'' of item. Specifically, we assume that there are multiple disjoint \emph{semi-defective sets}, and a test is positive if and only if it contains at least one item from each of these sets. The goal is to reliably identify all of the semi-defective sets using as few tests as possible, and we refer to this problem as \textit{Concomitant Group Testing} (ConcGT). We derive a variety of algorithms for this task, focusing primarily on the case that there are two semi-defective sets. Our algorithms are distinguished by (i) whether they are deterministic (zero-error) or randomized (small-error), and (ii) whether they are non-adaptive, fully adaptive, or have limited adaptivity (e.g., 2 or 3 stages). Both our deterministic adaptive algorithm and our randomized algorithms (non-adaptive or limited adaptivity) are order-optimal in broad scaling regimes of interest, and improve significantly over baseline results that are based on solving a more general problem as an intermediate step (e.g., hypergraph learning).Comment: 15 pages, 3 figures, 1 tabl

Translating expert system rules into Ada code with validation and verification

The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system

Dagstuhl News January - December 2011

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Resistance is Futile: Physical Science, Systems Biology and Single-Cell Analysis to Understanding the Plastic and Heterogeneous Nature of Melanoma and Their Role in Non-Genetic Drug Resistance

Melanoma is the most deadly form of skin cancer due to its great metastatic potential. Targeted therapy that inhibits the BRAF-V600E driver mutation has shown impressive initial responses in melanoma patients. However, drug resistance, as the universal phenomenon for any cancer therapy, always limits treatment efficacy and compromises outcomes. As the early-step of resistance development, non-genetic mechanisms enable cancer cells to transition into a drug-resistant state in as early as a few days after drug treatment without alteration of the genome. This early mechanism is, to a large extent, due to the heterogeneous and highly plastic nature of tumor cells. Therefore, it imperative to understand the plastic and heterogeneous nature of the melanoma cells in order to identify combination therapies that can overcome resistance. In this thesis, we investigate these two fundamental natures of non-genetic drug resistance using BRAF inhibition of BRAF-mutant melanomas as the model system. These melanoma cells undergo multi-step, reversible drug-induced cell-state transitions from the original sensitive phenotype to a drug-resistant one. We first conducted bulk analysis to characterize the detailed kinetics of the entire transition from drug-sensitive state towards drug-resistant state, revealing expression changes of thousands of genes and extensive chromatin remodeling. A 3-step computational biology approach greatly simplified the complexity and revealed that the whole cell-state transition was controlled by a gene module activated within just the first three days of drug treatment, with the RelA transcription factor driving chromatin remodeling to establish an epigenetic program encoding long-term phenotype changes towards resistance. From there, a detailed mechanism connecting tumor epigenetic plasticity with non-genetic drug resistance was resolved through in-depth molecular biology experiments. The mechanism was validated in clinical patient samples. We further investigated heterogeneity by moving from bulk cellular studies to single-cell analysis. The single-cell view further revealed that two driving forces from both cell-state interconversions and phenotype-specific drug selection control the cell-state transition dynamics. The single-cell studies also pinpointed the signaling network hub, RelA, as the driver molecule of the initiation of the adaptive transition. These two competing driving forces were further quantitatively modeled via a thermodynamic-inspired surprisal analysis and a modified Fokker-Planck-type kinetic model. Finally, using integrated single-cell proteomic and metabolic technology I developed to characterize the early-stage signaling and metabolic changes upon initial drug responses, we further identified two distinct paths connecting drug-sensitive and drug-tolerant states. Melanoma cells exclusively traverse one of the two paths depending on the level of MITF in the drug-naïve cells. The two trajectories are associated with distinct signaling and metabolic susceptibilities and are independently druggable. In total, this thesis combines and synergizes various physical science and systems biology approaches together with several unique single-cell technologies and analysis to obtain a deep and comprehensive understanding of non-genetic drug resistance in cancer. The findings from this thesis provide several novel insights into the rational design of effective combination therapy for overcoming the development of resistance in response to cancer treatments.</p

Cell-specific responses to the cytokine TGFβ are determined by variability in protein levels

The cytokine TGFβ provides important information during embryonic development, adult tissue homeostasis, and regeneration. Alterations in the cellular response to TGFβ are involved in severe human diseases. To understand how cells encode the extracellular input and transmit its information to elicit appropriate responses, we acquired quantitative time-resolved measurements of pathway activation at the single-cell level. We established dynamic time warping to quantitatively compare signaling dynamics of thousands of individual cells and described heterogeneous single-cell responses by mathematical modeling. Our combined experimental and theoretical study revealed that the response to a given dose of TGFβ is determined cell specifically by the levels of defined signaling proteins. This heterogeneity in signaling protein expression leads to decomposition of cells into classes with qualitatively distinct signaling dynamics and phenotypic outcome. Negative feedback regulators promote heterogeneous signaling, as a SMAD7 knock-out specifically affected the signal duration in a subpopulation of cells. Taken together, we propose a quantitative framework that allows predicting and testing sources of cellular signaling heterogeneity