Learn More
FORMAL VERIFICATION Unlike testing and simulation, formal verification attempts to span the entire state space and verify every possible combination of inputs. It can also prove certain system properties with mathematical certainty. Verification begins with formal statements about system properties and determines whether every possible system execution(More)
The Notch family of receptors and ligands plays an important role in cell fate determination, vasculogenesis, and organogenesis. Mutations of the Notch-3 receptor result in an arteriopathy that predisposes to early-onset stroke. However, the functional role of the Notch signaling pathway in adult vascular smooth muscle cells (VSMCs) is poorly characterized.(More)
The Notch family of receptors and downstream effectors plays a critical role in cell fate determination during vascular ontogeny. Moreover, the human cerebral autosomal dominant artriopathy with subcortical infarcts and leukoencephalopathy (CADASIL) syndrome of premature stroke and dementia is a heritable arteriopathy with alterations in vascular smooth(More)
In English auctions, introducing a buy price, i.e., the seller’s maximum price bid at which any bidder at any time can immediately win the auction, allows the seller to gain higher expected utility than that in a traditional auction when either the seller or the buyers are risk-averse. If the seller sets the buy price high enough, the buyprice English(More)
Mutations in the Notch3 receptor result in the cerebral autosomal dominant arteriopathy with subcortical infarcts and leukoencephelopathy (CADASIL) syndrome, a heritable arteriopathy predisposing to early onset stroke. Based upon clinical evidence that CADASIL arteriopathy results in degeneration and loss of vascular smooth muscle cells (VSMC) from the(More)
A single photon emission computed tomography (SPECT) rotating slat collimator with strip detector acquires distance-weighted plane integral data, along with the attenuation factor and distance-dependent detector response. In order to image a 3D object, the slat collimator device has first to spin around its axis and then rotate around the object to produce(More)
OBJECTIVE To investigate the efficacy of cholecalciferol (vitamin D3) in raising serum 25-hydroxyvitamin D (25[OH)]D) levels and reducing parathyroid hormone (PTH) levels in patients with chronic kidney disease (CKD). METHODS In this double-blind, randomized controlled pilot study, participants with CKD stage 3 and 4 (estimated glomerular filtration rate,(More)
The Notch signaling pathway plays vital roles in vascular development and homeostasis. However, the functional role of HRT1, a primary downstream effector of Notch signaling in VSMC, is poorly characterized. In the present study, we postulated that HRT1 plays fundamental roles in modulating VSMC fate. To test the hypothesis that HRT1 is coupled to growth(More)