Results 81 to 90 of about 1,382,288 (265)
Model Checking Quantitative Hyperproperties [PDF]
, 2018 Hyperproperties are properties of sets of computation traces. In this paper, we study quantitative hyperproperties, which we define as hyperproperties that express a bound on the number of traces that may appear in a certain relation. For example, quantitative non-interference limits the amount of information about certain secret inputs that is leaked ...
Bernd Finkbeiner +2 more
openaire +2 more sources
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Frontiers in NeuroscienceRecently a broad range of phenotypic abnormalities related to the neurodevelopmental and neurodegenerative disorder NEDAMSS (Neurodevelopmental Disorder with Regression, Abnormal Movements, Loss of Speech, and Seizures) have been associated with rare ...
Daniel Bauersachs +5 more
doaj +1 more source
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
FEBS Letters, EarlyView.Drosophila park mutants serve as a model for Parkinson's disease. We used this strain to investigate the connection between oxidative stress and the circadian clock mechanism. We showed that increased oxidative stress affects the physiology of pacemaker cells, disrupting their daily structural plasticity. Lack of rhythmic signaling from pacemaker cells
Kamila Zientara +3 more
wiley +1 more source
Quantitative models of auditory cortical processing. [PDF]
Hear Res, 2023 Sadagopan S, Kar M, Parida S.
europepmc +1 more source
α‐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
Impact Energy Dissipation and Quantitative Models of Injection Molded Short Fiber-Reinforced Thermoplastics. [PDF]
Polymers (Basel), 2023 Jiang Q, Takayama T, Nishioka A.
europepmc +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
Quantitative Models of Lipid Transfer and Membrane Contact Formation. [PDF]
Contact (Thousand Oaks), 2022 Zhang Y, Ge J, Bian X, Kumar A.
europepmc +1 more source