Results 61 to 70 of about 434,486 (268)
Probabilistic model checking of complex biological pathways [PDF]
, 2006 Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management.
Marta Kwiatkowska +24 more
core +1 more source
Risk of symptomatic dengue for foreign visitors to the 2014 FIFA World Cup in Brazil
Memorias do Instituto Oswaldo Cruz, 2014 Brazil will host the FIFA World Cup™, the biggest single-event competition in the world, from June 12-July 13 2014 in 12 cities. This event will draw an estimated 600,000 international visitors. Brazil is endemic for dengue.
Eduardo Massad +9 more
doaj +1 more source
Molecular Oncology, EarlyView.Dormant cancer cells can hide in distant organs for years, evading treatment and the immune system. This review highlights how signals from the surrounding tissue and immune environment keep these cells inactive or trigger their reawakening. Understanding these mechanisms may help develop therapies to eliminate or control dormant cells and prevent ...
Kanishka Tiwary +1 more
wiley +1 more source
Journal of Asian Architecture and Building Engineering, 2018 Building renovation projects are mainly affected by not only the design constraints of existing buildings but also various influential factors (e.g., building age, structural stability, site condition).
HeeSung Cha, DongGun Lee
doaj +1 more source
A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems [PDF]
Leibniz Transactions on Embedded Systems, 2019 This survey covers probabilistic timing analysis techniques for real-time systems. It reviews and critiques the key results in the field from its origins in 2000 to the latest research published up to the end of August 2018.
Davis, Robert I., Cucu-Grosjean, Liliana
doaj +1 more source
Molecular Oncology, EarlyView.Both cg12821679MAPRE3 methylation and MAPRE3 expression are significantly associated with overall survival (OS) of non‐small cell lung cancer. Meanwhile, MAPRE3 expression significantly modified the effect of smoking cessation on OS. Smoking cessation benefits OS merely for patients with high MAPRE3 expression.
Chao Chen +14 more
wiley +1 more source
Molecular Oncology, EarlyView.This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source
Molecular Oncology, EarlyView.Many patients with urothelial cancer do not benefit from treatment with pembrolizumab, while at risk of severe side effects. Changes in the levels of circulating tumor DNA early during treatment, measured by a simple and affordable assay that can be easily implemented in the clinic, can be used as a prognostic tool to identify these patients.
Youssra Salhi +14 more
wiley +1 more source
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes [PDF]
, 2010 Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chains with process terms. The transition relation assigns to each process, for
Nicola Michele Loreti +8 more
core +1 more source
Intraday Load Forecasts with Uncertainty
Energies, 2019 We provide a comprehensive framework for forecasting five minute load using Gaussian processes with a positive definite kernel specifically designed for load forecasts.
David Kozak +2 more
doaj +1 more source