Study on Robustness of Correlated Frailty Model

2000 Mathematics Subject Classifi cation: 62J12.

Study on Robustness of Strehler-Mildvan Model

2000 Mathematics Subject Classi cation: 62F35, 62F15

The effect of randomness for dependency map on the robustness of interdependent lattices

ACKNOWLEDGMENTS This paper is supported by the National Natural Science Foundation of China (Grant Nos. 61573067 and 61472045), the Beijing Higher Education Young Elite Teacher Project (Grant No. YETP0449), the Asia Foresight Program under NSFC Grant (Grant No. 61411146001), and the Beijing Natural Science Foundation (Grant No. 4142016).

Severity-Sensitive Robustness Analysis in Normative Systems

Postprint

samExploreR: exploring reproducibility and robustness of RNA-seq results based on SAM files

MOTIVATION: Data from RNA-seq experiments provide us with many new possibilities to gain insights into biological and disease mechanisms of cellular functioning. However, the reproducibility and robustness of RNA-seq data analysis results is often unclear. This is in part attributed to the two counter acting goals of (a) a cost efficient and (b) an optimal experimental design leading to a compromise, e.g., in the sequencing depth of experiments.

RESULTS: We introduce an R package called samExploreR that allows the subsampling (m out of n bootstraping) of short-reads based on SAM files facilitating the investigation of sequencing depth related questions for the experimental design. Overall, this provides a systematic way for exploring the reproducibility and robustness of general RNA-seq studies. We exemplify the usage of samExploreR by studying the influence of the sequencing depth and the annotation on the identification of differentially expressed genes.

AVAILABILITY: Availability: samExploreR is available as an R package from Bioconductor (after acceptance of the paper, download link: http://www.bio-complexity.com/samExploreR_1.0.0.tar.gz).

A Comparison of two Proof Critics: Power vs. Robustness

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;whisky problem$quot;, a challenge problem from the domain of temporal logic. The proof requires a generalisation of the original conjecture and we examine two proof critics which can be used to create this generalisation. Using these critics we believe we have produced the first automatic proofs of this challenge problem. We use this example to motivate a comparison of the two critics and propose that there is a place for specialist critics as well as powerful general critics. In particular we advocate the development of critics that do not use meta-variables.

Chilean IPNV isolates: Robustness analysis of PCR detection

Background: The genomes of several infectious pancreatic necrosis viruses (IPNVs) isolated in Chile were sequenced with a single amplification approach for both segments A and B. The resulting sequences were then used to determine the conservation of the primer-binding regions used in polymerase chain reaction (PCR)-based diagnostic methods proposed in the literature. Thus, the robustness of each technique was studied, particularly the eventual effect of further mutations within the primer-binding sites. Results: On analysis, most methods currently used to detect Chilean IPNV varieties were deemed adequate. However, the primers were designed to be genogroup specific, implying that most detection methods pose some risk of detecting all strains prevalent in the country, due to the coexistence of genogroups 1 and 5. Conclusions: Negative resultsmust be interpreted carefully given the high genomic variability of IPNVs. Detection techniques (quantitative reverse transcription (qRT)-PCR) based on degenerate primers can be used to minimize the possibilities of false-negative detections.

A Study of the Robustness Against SEUs of Digital Circuits Implemented with FPGA DSPs

In this paper we present an experimental validation of the reliability increase of digital circuits implemented in XilinxTMFPGAs when they are implemented using the DSPs (Digital Signal Processors) that are available in the reconfigurable device. For this purpose, we have used a fault-injection platform developed by our research group, NESSY [1]. The presented experiments demonstrate that the probability of occurrence of a SEU effect is similar both in the circuits implemented with and without using embedded DSPs. However, the former are more efficient in terms of area usage, which leads to a decrease in the probability of a SEU occurrence.

Improving robustness of rolling stock circulations in rapid transit networks

The rolling stock circulation depends on two different problems: the rolling stock assignment and the train routing problems, which up to now have been solved sequentially. We propose a new approach to obtain better and more robust circulations of the rolling stock train units, solving the rolling stock assignment while accounting for the train routing problem. Here robustness means that difficult shunting operations are selectively penalized and propagated delays together with the need for human resources are minimized. This new integrated approach provides a huge model. Then, we solve the integrated model using Benders decomposition, where the main decision is the rolling stock assignment and the train routing is in the second level. For computational reasons we propose a heuristic based on Benders decomposition. Computational experiments show how the current solution operated by RENFE (the main Spanish train operator) can be improved: more robust and efficient solutions are obtained

Performance and Robustness Analysis of Co-Prime and Nested Sampling

Coprime and nested sampling are well known deterministic sampling techniques that operate at rates significantly lower than the Nyquist rate, and yet allow perfect reconstruction of the spectra of wide sense stationary signals. However, theoretical guarantees for these samplers assume ideal conditions such as synchronous sampling, and ability to perfectly compute statistical expectations. This thesis studies the performance of coprime and nested samplers in spatial and temporal domains, when these assumptions are violated. In spatial domain, the robustness of these samplers is studied by considering arrays with perturbed sensor locations (with unknown perturbations). Simplified expressions for the Fisher Information matrix for perturbed coprime and nested arrays are derived, which explicitly highlight the role of co-array. It is shown that even in presence of perturbations, it is possible to resolve $O(M^2)$ under appropriate conditions on the size of the grid. The assumption of small perturbations leads to a novel ``bi-affine" model in terms of source powers and perturbations. The redundancies in the co-array are then exploited to eliminate the nuisance perturbation variable, and reduce the bi-affine problem to a linear underdetermined (sparse) problem in source powers. This thesis also studies the robustness of coprime sampling to finite number of samples and sampling jitter, by analyzing their effects on the quality of the estimated autocorrelation sequence. A variety of bounds on the error introduced by such non ideal sampling schemes are computed by considering a statistical model for the perturbation. They indicate that coprime sampling leads to stable estimation of the autocorrelation sequence, in presence of small perturbations. Under appropriate assumptions on the distribution of WSS signals, sharp bounds on the estimation error are established which indicate that the error decays exponentially with the number of samples. The theoretical claims are supported by extensive numerical experiments.

Robustness in facility location

Facility location concerns the placement of facilities, for various objectives, by use of mathematical models and solution procedures. Almost all facility location models that can be found in literature are based on minimizing costs or maximizing cover, to cover as much demand as possible. These models are quite efficient for finding an optimal location for a new facility for a particular data set, which is considered to be constant and known in advance. In a real world situation, input data like demand and travelling costs are not fixed, nor known in advance. This uncertainty and uncontrollability can lead to unacceptable losses or even bankruptcy. A way of dealing with these factors is robustness modelling. A robust facility location model aims to locate a facility that stays within predefined limits for all expectable circumstances as good as possible. The deviation robustness concept is used as basis to develop a new competitive deviation robustness model. The competition is modelled with a Huff based model, which calculates the market share of the new facility. Robustness in this model is defined as the ability of a facility location to capture a minimum market share, despite variations in demand. A test case is developed by which algorithms can be tested on their ability to solve robust facility location models. Four stochastic optimization algorithms are considered from which Simulated Annealing turned out to be the most appropriate. The test case is slightly modified for a competitive market situation. With the Simulated Annealing algorithm, the developed competitive deviation model is solved, for three considered norms of deviation. At the end, also a grid search is performed to illustrate the landscape of the objective function of the competitive deviation model. The model appears to be multimodal and seems to be challenging for further research.

NEW MICROFLUIDIC SYSTEM TO INCREASE ROBUSTNESS OF ELECTRODE PERFORMANCE AND DEVELOP POINT-OF-CARE HEMATOCRIT DEVICE

The present dissertation aimed to develop a new microfluidic system for a point-of-care hematocrit device. Stabilization of microfluidic systems via surfactant additives and integration of semipermeable SnakeSkin® membranes was investigated. Both methods stabilized the microfluidic systems by controlling electrolysis bubbles. Surfactant additives, Triton X-100 and SDS stabilized promoted faster bubble detachment at electrode surfaces by lowering surface tension and decreased gas bubble formation by increasing gas solubility. The SnakeSkin® membranes blocked bubbles from entering the microchannel and thus less disturbance to the electric field by bubbles occurred in the microchannel. Platinum electrode performance was improved by carbonizing electrode surface using red blood cells. Irreversibly adsorbed RBCs lysed on platinum electrode surfaces and formed porous carbon layers while current response measurements. The formed carbon layers increase the platinum electrode surface area and thus electrode performance was improved by 140 %. The microfluidic system was simplified by employing DC field to use as a platform for a point-of-care hematocrit device. Feasibility of the microfluidic system for hematocrit determination was shown via current response measurements of red blood cell suspensions in phosphate buffered saline and plasma media. The linear trendline of current responses over red blood cell concentration was obtained in both phosphate buffered saline and plasma media. This research suggested that a new and simple microfluidic system could be a promising solution to develop an inexpensive and reliable point-of-care hematocrit device.

Robustness of the Estuarine Fish Assessment Index (EFAI) regarding water body definition criteria

According to the Water Framework Directive (WFD) transitional waters should be differentiated according to type and, in some cases, divided into different water bodies. This raises a dilemma in trying to define parts of a continuum. In the sequence of WFD several indices have been proposed including the Estuarine Fish Assessment Index, which can be applied taking an estuary as a whole (EFAI - without water bodies division) or divided in water bodies (EFAI(WB)). The purpose of this work is to analyze the robustness of the Estuarine Fish Assessment Index, based on three different ways of dividing Portuguese estuaries into water bodies according to different criteria (criterion 1 - distance to the estuary mouth, criterion 2 - salinity and criterion 3 - morphology, salinity and human dimension as pressure and state). In this study we evaluated at which degree these three criteria could influence the ecological quality ratio (EQR) results, when the index was applied to water body level (EFAI(WB)). Also, for each estuary, the EQR(WB) results for each criterion of EFAI(WB) were combined and weighted according to the water bodies areas (EFAI overall weighted - EFAI(Ow)). Finally, it was compared if the results obtained for each criterion with the EFAI(OW) were similar to the results of the index application taking the estuary as a whole (EFAI without water bodies division). No significant differences were found in both cases, which indicated that this index is a robust method regarding the division of the estuaries in different water bodies, which is an important element of a fish-based multimetric tool for assessing estuarine ecological quality. However, in some cases, different ecological quality statuses were achieved when applying the EFAI(Ow) or the EFAI. This work addressed several aspects regarding the possible division of water bodies at the WFD context. (C) 2012 Elsevier Ltd. All rights reserved.

Atlas versus range maps: robustness of chorological relationships to distribution data types in European mammals

Aim Chorological relationships describe the patterns of distributional overlap among species. In addition to revealing biogeographical structure, the resulting clusters of species with similar geographical distributions can serve as natural units in conservation planning. Here, we assess the extent to which temporal, methodological and taxonomical differences in the source of species’ distribution data can affect the relationships that are found.