Results 131 to 140 of about 23,407,383 (367)

Model Checking of Stream Processing Pipelines

, 2021
Alexis Bédard, Sylvain Hallé
openalex   +2 more sources

HIV‐1 establishes immediate latency in T cells expressing the viral Nef protein

FEBS Open Bio, EarlyView.
Nef is a viral protein often omitted from HIV‐1 reporter viruses. Consequently, its role in viral latency is unclear. We developed three novel dual reporter HIV‐1 derivatives that express Nef and allow for detection of latent and productive infection. Using these reporters, we show that Nef does not affect the establishment of immediate viral latency ...
Cindy Lam, Ivan Sadowski
wiley   +1 more source

Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]

Entropy (Basel), 2022
Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc   +1 more source

Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains

FEBS Open Bio, EarlyView.
The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth, Moritz Koch, Le‐Han Rössner, Johanna Eichhorn, Denys Pogoryelov, Matthias P. Mayer, Jude M. Przyborski   +6 more
wiley   +1 more source

Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]

Sensors (Basel), 2022
Grobelna I, Szcześniak P.
europepmc   +1 more source

Verifying functional properties of smart contracts using symbolic model-checking [PDF]

, 2018
Evgeniy Shishkin
openalex   +1 more source

Symbolic Model Checking Quantum Circuits in Maude

, 2023
Canh Minh, Kazuhiro Ogata
openalex   +1 more source

Visual Recovery Reflects Cortical MeCP2 Sensitivity in Rett Syndrome

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Rett syndrome (RTT) is a devastating neurodevelopmental disorder with developmental regression affecting motor, sensory, and cognitive functions. Sensory disruptions contribute to the complex behavioral and cognitive difficulties and represent an important target for therapeutic interventions.
Alex Joseph Simon, Nathalie Picard, Valeria d'Andrea, Enchi Chang, Joseph Leffler, Eleonora Centofante, Matthew Taylor, Francesca Bardi, Francesca Cavicchiolo, Takao K. Hensch, Stefano Panzeri, Chinfei Chen, Michela Fagiolini   +12 more
wiley   +1 more source

Higher-Order Program Verification via HFL Model Checking [PDF]

, 2017
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe   +2 more
openalex   +1 more source

The Impact of Tilburg Frailty on Poststroke Fatigue in First‐Ever Stroke Patients: A Cross‐Sectional Study With Unified Measurement Tools and Improved Statistics

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Poststroke fatigue (PSF) and frailty share substantial overlap in their manifestations, yet previous research has yielded conflicting results due to the use of heterogeneous frailty assessment tools. Objective To evaluate the independent impact of frailty on PSF using a unified measurement system (Tilburg Frailty Indicator, TFI ...
Chuan‐Bang Chen, Xiao‐Xue Wang, Shao‐Rui Bao, Sui‐Li Lin, Mei‐Chun Shu, Xi‐Xi Ye, Wen‐Jie Cong   +6 more
wiley   +1 more source