scholarly journals Sthread: In-Vivo Model Checking of Multithreaded Programs

2020 ◽  
Vol 4 (3) ◽  
Author(s):  
Gene Cooperman ◽  
Martin Quinson
Keyword(s):  
Model Checking ◽  
In Vivo Model ◽  
Multithreaded Programs

Establishment of an in vivo model for KCNJ5 dependent hyperaldosteronism

2015 ◽  
Vol 122 (03) ◽  
Author(s):  
U Lichtenauer ◽  
PL Schmid ◽  
A Oßwald ◽  
I Renner-Müller ◽  
M Reincke ◽  
...  
Keyword(s):  
In Vivo Model

An in vivo Model for the Assessment of Acute Fibrinolytic Capacity of the Endothelium

1997 ◽  
Vol 78 (04) ◽  
pp. 1242-1248 ◽  
Author(s):  
David E Newby ◽  
Robert A Wright ◽  
Christopher A Ludlam ◽  
Keith A A Fox ◽  
Nicholas A Boon ◽  
...  
Keyword(s):  
Blood Flow ◽  
Substance P ◽  
Sodium Nitroprusside ◽  
Plasma Concentrations ◽  
In Vivo Model ◽  
Forearm Circulation ◽  
Von Willebrand ◽  
Local Release ◽  
Willebrand Factor

SummaryThe effects on blood flow and plasma fibrinolytic and coagulation parameters of intraarterial substance P, an endothelium dependent vasodilator, and sodium nitroprusside, a control endothelium independent vasodilator, were studied in the human forearm circulation. At subsystemic locally active doses, both substance P (2-8 pmol/min) and sodium nitroprusside (2-8 μg/min) caused dose-dependent vasodilatation (p <0.001 for both) without affecting plasma concentrations of PAI-1, von Willebrand factor antigen or factor VIII:C activity. Substance P caused local increases in t-PA antigen and activity (p <0.001) in the infused arm while sodium nitroprusside did not. At higher doses, substance P increased blood flow and t-PA concentrations in the noninfused arm. We conclude that brief, locally active and subsystemic infusions of intraarterial substance P cause a rapid and substantial local release of t-PA which appear to act via a flow and nitric oxide independent mechanism. This model should provide a useful and selective method of assessing the in vivo capacity of the forearm endothelium to release t-PA acutely.

Closure of Fetoscopic Access Sites with Amniotic Extracellular Matrix Scaffolds in an In Vivo Model

2006 ◽  
Vol 66 (S 01) ◽  
Author(s):  
N Ochsenbein-Kölble ◽  
J Jani ◽  
G Verbist ◽  
L Lewi ◽  
K Marquardt ◽  
...  
Keyword(s):  
Extracellular Matrix ◽  
In Vivo Model ◽  
Extracellular Matrix Scaffolds
Sign in / Sign up

Export Citation Format

Share Document