In model-based fault diagnosis for dynamic systems with uncertain parameters, an envelope of all fault-free behaviors can be determined from the model and used as a reference for detecting faults. We demonstrate here a method for generating an envelope that is rigorously guaranteed to be complete, but without significant overestimation. The method is based on an interval approach, but uses Tayl...

Bovine herpesvirus 1 (BoHV-1) is one of the most important infectious viruses of cattle which is considered as the causative agent of several clinical conditions in this species. Hence, we tried to isolate a local strain of the virus from carrier cattle in Ahvaz based on a strategy for reactivation of the latent infection in hosts having antibodies against the virus. Thus, 20 cattle were examin...

Most geo-replicated storage systems use weak consistency to avoid the performance penalty of coordinating replicas in different data centers. This departure from strong semantics poses problems to application programmers, who need to address the anomalies enabled by weak consistency. In this paper we use a recently proposed isolation level, called Non-Monotonic Snapshot Isolation, to achieve AC...

Animal pollination is essential for the reproductive success of many wild and crop plants. Loss and isolation of (semi-)natural habitats in agricultural landscapes can cause declines of plants and pollinators and endanger pollination services. We investigated the independent effects of these drivers on pollination of young cherry trees in a landscape-scale experiment. We included (i) isolation ...

Size and isolation of local populations are main parameters of interest when assessing the genetic consequences of habitat fragmentation. However, their relative influence on the genetic erosion of local populations remains unclear. In this study, we first analysed how size and isolation of habitat patches influence the genetic variation of local populations of the Dupont's lark (Chersophilus d...

This paper presents an adaptive fault-tolerant control (FTC) scheme for a class of nonlinear uncertain multi-agent systems. A local FTC scheme is designed for each agent using local measurements and suitable information exchanged between neighboring agents. Each local FTC scheme consists of a fault diagnosis module and a reconfigurable controller module comprised of a baseline controller and tw...

I investigated reproduction in a three-year study of Echinacea angustifolia, purple coneflower, growing in a fragmented prairie landscape. I quantified the local abundance of flowering conspecifics at individual-based spatial scales and at a population-based spatial scale. Regression analyses revealed that pollen limitation increased while seed set and fecundity decreased with isolation of indi...