The construction and formal verification of dynamical models is important in engineering, biology and other disciplines. We focus on non-linear models containing a set of parameters governing their dynamics. The value of these parameters is often unknown and not directly observable through measurements, which are themselves noisy. When treating parameters as random variables, one can constrain ...

taxol is used to treatment of variety cancers including ovarian, breast, lung, head and neck carcinomas and the aids-related karposi’s carcinoma, and was originally obtained from bark of taxus brevifolia. however the amount of extracted taxol from taxus is extremely low and cannot be considered as a suitable commercial source and it has led to studies for finding new sources of taxol. in 1998, ...

introduction: intranodal pathways of atrioventricular (av) node play a vital role in the delay of conduction time in response to various atrial inputs. the present study was aimed to determine the frequency-dependent electrophysiological properties of concealed slow pathway according to a functional model of isolated rabbit atrioventricular node preparation after fast pathway ablation. methods:...

in plants, γ-aminobutyric acid (gaba) is synthesized by polyamine degradation pathway besides gaba shunt. aminoguanidine (ag) is a specific inhibitor of the key enzyme (diamine oxidase, dao) for gaba formation in polyamine degradation pathway. in this study, ag was applied to study the functions of polyamine degradation pathway on growth and gaba accumulation in germinating fava bean under hypo...

one of the important parts of innate immunity is complement system that occurs in three different ways; the classic, the alternative and the lectin pathway. the four pattern recognition molecules that have been identified till now are mannose binding lectin (mbl), a component of lectin pathway, and three ficolins (ficolin1,-2 and -3) which compound to the carbohydrates of the cell surface. mbl ...

glaucoma, a group of multifactor ocular diseases, is the second leading cause of blindness worldwide. primary open angle (poa) is the most common type of glaucoma, characterized by progressive optic nerve degeneration. numerous genes and proteins have been revealed to be associated with poag, but the pathologic mechanisms of the disease are still poorly understood. proteomics, the collective st...

Long-term potentiation (LTP) is a biological process of learning and memory after a high-frequency train of electrical stimulations. By binding of brain-derived neurotrophic factor (BDNF) to Tropomyosin receptor kinase B (TrKB) receptors in postsynaptic neurons, tyrosine kinase Fyn is bound to these receptors and hereby plays a mediating role to binding and activation of N-methyl-D-aspartic aci...

Introduction: Intranodal pathways of atrioventricular (AV) node play a vital role in the delay of conduction time in response to various atrial inputs. The present study was aimed to determine the frequency-dependent electrophysiological properties of concealed slow pathway according to a functional model of isolated rabbit atrioventricular node preparation after fast pathway ablation. Meth...