Temporal-logic analysis of microglial phenotypic conversion with exposure to amyloid-β.

Abstract excerpt

Alzheimer Disease (AD) remains a leading killer with no adequate treatment. Ongoing research increasingly implicates the brain's immune system as a critical contributor to AD pathogenesis, but the complexity of the immune contribution poses a barrier to understanding. Here I use temporal logic to analyze a computational specification of the immune component of AD. Temporal logic is an extension of logic to...

Topics

Share this publication in a Topic to start or enrich a Post.

• Share to Amyloid beta-Peptides
• Share to Inflammation
• Share to Interleukin-4