Data-driven modeling of Alzheimer disease pathogenesis

DOI10.1016/j.jtbi.2011.08.038zbMath1397.92310OpenAlexW2011458925WikidataQ34020214 ScholiaQ34020214MaRDI QIDQ1786817

Thomas J. Anastasio

Publication date: 25 September 2018

Published in: Journal of Theoretical Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jtbi.2011.08.038

zbMATH Keywords

model checkingcomplex systemsterm rewritingbiological regulationneurological disease

Mathematics Subject Classification ID

Neural biology (92C20) Medical applications (general) (92C50) Software, source code, etc. for problems pertaining to biology (92-04)

Related Items

The progression towards Alzheimer's disease described as a bistable switch arising from the positive loop between amyloids and \(\mathrm{Ca}^{2+}\), Computer Modeling in Neuroscience: From Imperative to Declarative Programming, Twenty years of rewriting logic

Uses Software

• Maude

Cites Work

• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Thinking in Complexity