Results 121 to 130 of about 3,824,363 (314)
α‐Synuclein aggregation landscape from phase separation to neurotoxic intermediates
FEBS Letters, EarlyView.Alpha‐synuclein aggregation in Parkinson's disease involves a complex landscape of transient intermediates, including oligomers, fibrils and liquid–liquid phase separation (LLPS). A view is emerging in which LLPS maturation into solid‐like condensates may contribute to the formation of neurotoxic species.
Silvia Arino +2 more
wiley +1 more source
Ensuring the safety of cyber-physical systems (CPS) against cyber security threats is essential in safety-critical sectors. To this end, the systematic derivation of clear and robust safety claims is needed to demonstrate that safety properties are ...
Guerra, Sofia +2 more
core
, 2003 This project was motivated by the growing apprehension among Irish citizens over the electronic voting system being introduced here. The aims of the project were three: to discover what would be required of an electronic voting system to make it a ...
Safety Critical System +1 more
core
STABILITY OF THE CRITICAL QUEUEING SYSTEMS
Journal of the Operations Research Society of Japan, 1982 This paper considers the stability of the waiting time in the queueing system with the critical condi- tion: ESi = sETi. It is shown that the waiting time is stable in the model with special moving average input and the unstability condition is obtained in the strictly stationary input with the finite variance.
openaire +3 more sources
FEBS Letters, EarlyView.Inositol pyrophosphates are energy‐rich signaling molecules that perform critical functions in cells. Three different families of phosphatases hydrolyze the β phosphate of the inositol pyrophosphate molecules: two have narrow specificities and one is promiscuous.
Ronda J. Rolfes
wiley +1 more source
Critical Realist versus Mainstream Interdisciplinarity
, 2014 In this paper I argue for the superiority of a critical realist understanding of interdisciplinarity over a mainstream understanding of it. I begin by exploring the reasons for the failure of mainstream researchers to achieve interdisciplinarity. My main
Price, Leigh, Leigh Price
core +2 more sources
Pulmonary CirculationCurrent predictors of clinical outcomes after pulmonary thromboendarterectomy (PTE) in patients with chronic thromboembolic pulmonary hypertension (CTEPH) are largely limited to preoperative clinical characteristics.
Emanuel A. Keiler +10 more
doaj +1 more source
Formal Methods for Critical Systems [PDF]
, 2009 Formal methods have traditionally been reserved for systems with requirements for extremely high assurance. However, the growing popularity of model-based development, in which models of system behavior are created early in the development process and used to auto-generate code, are making precise, mathematical specifications much more common in ...
openaire +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source