FORMAL REASONING ABOUT SYSTEMS BIOLOGY USING THEOREM PROVING.

Formal reasoning about systems biology using theorem proving.

System biology provides the basis to understand the behavioral properties of complex biological organisms at different levels of abstraction.Traditionally, analysing Quercetin systems biology based models of various diseases have been carried out by paper-and-pencil based proofs and simulations.However, these methods cannot provide an accurate anal

read more


Distinct changes in CREB phosphorylation in frontal cortex and striatum during contingent and non-contingent performance of a visual attention task

The cyclic-AMP response element binding protein (CREB) family of transcription factors has been implicated in numerous forms of behavioural plasticity.We investigated CREB phosphorylation along some nodes of corticostriatal circuitry such as frontal cortex (FC) and dorsal (caudate putamen, CPu) and ventral (nucleus accumbens, NAC) striatum in respo

read more


Signature of A-Within-B-From-D/G Sliding Window System

In this study, we have proposed a model of the sliding window coherent system in case of multiple failures.The considered model consists Laundry Accessories of G linearly required multi-state elements and G number of parallel elements in A-within-B-from-D/G for each multi-state.The system fails if at least A group elements out of B consecutive of A

read more