Results 21 to 30 of about 204,063 (261)

An efficient real-time method of analysis for non-coherent fault trees [PDF]

, 2008
Fault tree analysis is commonly used to assess the reliability of potentially hazardous industrial systems. The type of logic is usually restricted to AND and OR gates which makes the fault tree structure coherent.
Andrews, John, Remenyte-Prescott, Rasa
core   +4 more sources

Ffort: A Benchmark Suite for Fault Tree Analysis [PDF]

Proceedings of the 29th European Safety and Reliability Conference (ESREL), 2019
This paper presents FFORT (the Fault tree FOResT): A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata. Fault trees are a common formalism in reliability engineering, and the FFORT benchmark brings together a large and representative suite of fault tree models.
Ruijters E., Carlos E. Budde, Nakhaee M. C., Stoelinga M., Bucur D., Hiemstra D., Schivo S.   +6 more
openaire   +5 more sources

The unpredictably eruptive dynamics of spruce budworm populations in eastern Canada

Population Ecology, EarlyView.
We examine historical population data for spruce budworm from several locations through the period 1930–1997, and use density‐dependent recruitment curves to test whether the pattern of population growth over time is more consistent with Royama's (1984; Ecological Monographs 54:429–462) linear R(t) model of harmonic oscillation at Green River New ...
Barry J. Cooke, Jacques Régnière
wiley   +1 more source

Software fault tree analysis tool user's manual [PDF]

, 1986
The Software Fault Tree Analysis Tool allows the user to interactively modify the graphic representation of a fault tree. This manual describes the user interface of the tool.
Genung, Christi, Leveson, Nancy, Rolandelli, Craig, Shimeall, Timothy J.   +3 more
core   +1 more source

Network topology drives population temporal variability in experimental habitat networks

Population Ecology, EarlyView.
Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu, J. Angus Webb, William D. Bovill, Elise L. King   +3 more
wiley   +1 more source

A comparative study of circulating tumor cell isolation and enumeration technologies in lung cancer

Molecular Oncology, EarlyView.
Lung cancer cells were spiked into donor blood to evaluate the recovery rates of the following circulating tumor cell (CTC) enrichment technologies: CellMag™, EasySep™, RosetteSep™, Parsortix® PR1, and Parsortix® Prototype systems. Each method's advantages and disadvantages are described.
Volga M Saini, Ezgi Oner, Mark P. Ward, Sinead Hurley, Brian David Henderson, Faye Lewis, Stephen P. Finn, Gerard J. Fitzmaurice, John J. O'Leary, Sharon O'Toole, Lorraine O'Driscoll, Kathy Gately   +11 more
wiley   +1 more source

Towards Formal Fault Tree Analysis using Theorem Proving

, 2015
Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems.
Ahmed, Waqar, Hasan, Osman
core   +1 more source

System fault diagnostics using fault tree analysis [PDF]

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2007
Over the last 50 years, advances in technology have led to an increase in the complexity and sophistication of systems. More complex systems can be harder to maintain and the root cause of a fault more difficult to isolate. Downtime resultin from a system failure can be dangerous or expensive, depending on the type of system.
Emma E. Hurdle, L.M. Bartlett, John Andrews   +2 more
openaire   +2 more sources

Addressing persistent challenges in digital image analysis of cancer tissue: resources developed from a hackathon

Molecular Oncology, EarlyView.
Large multidimensional digital images of cancer tissue are becoming prolific, but many challenges exist to automatically extract relevant information from them using computational tools. We describe publicly available resources that have been developed jointly by expert and non‐expert computational biologists working together during a virtual hackathon
Sandhya Prabhakaran, Clarence Yapp, Gregory J. Baker, Johanna Beyer, Young Hwan Chang, Allison L. Creason, Robert Krueger, Jeremy Muhlich, Nathan Heath Patterson, Kevin Sidak, Damir Sudar, Adam J. Taylor, Luke Ternes, Jakob Troidl, Xie Yubin, Artem Sokolov, Darren R. Tyson   +16 more
wiley   +1 more source

Peripheral blood proteome biomarkers distinguish immunosuppressive features of cancer progression

Molecular Oncology, EarlyView.
Immune status significantly influences cancer progression. This study used plasma proteomics to analyze benign 67NR and malignant 4T1 breast tumor models at early and late tumor stages. Immune‐related proteins–osteopontin (Spp1), lactotransferrin (Ltf), calreticulin (Calr) and peroxiredoxin 2 (Prdx2)–were associated with systemic myeloid‐derived ...
Yeon Ji Park, Jae Won Oh, Hyewon Chung, Jung Won Kwon, Yi Rang Na, Kwang Pyo Kim, Seung Hyeok Seok   +6 more
wiley   +1 more source