Results 161 to 170 of about 6,865 (203)

Postconditioning and Remote Postconditioning of Ischemic Rat Cardiac Grafts

European Surgical Research, 2010
<i>Background:</i> Global warm ischemia of transplanted cardiac grafts is associated with apoptosis and subsequent tissue necrosis. It is suggested that postconditioning (PostC) may ameliorate the early outcome of cardiac grafts after ischemia-reperfusion.
Y, Tang, A, Mennander, N, Oksala, M, Atalay, H, Syvala, A, Lagerstedt, M, Kuuslahti, R, Nieminen, N, Anas, E, Moilanen, M, Tarkka   +10 more
openaire   +2 more sources

Postconditioned Symbolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015
Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth. However, its practical use is often limited by path explosion because the number of paths of a program can be exponential in the number of branch conditions encountered during the execution.
Qiuping Yi, Zijiang Yang 0006, Shengjian Guo, Chao Wang 0001, Jian Liu 0008, Chen Zhao   +5 more
openaire   +2 more sources

Action Models with Postconditions

Computación y Sistemas, 2017
This work proposes a extension of dynamic epistemic logic to work with assignment. The difference between this work and others works, such as [7], is the use of actions models, from DEL, to make Boolean assignments to the propositions, instead of creating new mechanisms to make the assignments.
Mario R. F. Benevides, Isaque Lima 0001
openaire   +1 more source

Postconditioning in rats and mice

Scandinavian Cardiovascular Journal, 2006
For subsequent studies on the molecular mechanisms of postconditioning, we aimed to identify a robust postconditioning protocol in rat and mouse heart.Isolated rat hearts were subjected to different postconditioning protocols (study 1 and 2). The protection was compared to preconditioning.
Mari-Liis, Kaljusto, Tomohisa, Mori, Syed, Mohammad Husain Rizvi, Michael, Galagudza, Marthe-Lise, Frantzen, Guro, Valen, Jarle, Vaage   +6 more
openaire   +2 more sources

Cardioprotective Effects of Ischemic Postconditioning in Patients Treated With Primary Percutaneous Coronary Intervention, Evaluated by Magnetic Resonance

Circulation: Cardiovascular Interventions, 2010
Postconditioning has been suggested to reduce myocardial damage during primary percutaneous coronary intervention (PPCI) in patients with ST-segment-elevation myocardial infarction.
Peter Clemmensen, Niels Vejlstrup, Kari Saunamäki   +2 more
exaly   +2 more sources

Inferring Disjunctive Postconditions

2007
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical variables of a program. Convexity of this abstract domain allows efficient analysis but also loses precision via convex-hull and widening operators.
Corneliu Popeea, Wei-Ngan Chin
openaire   +2 more sources

The Multidimensional Physiological Responses to Postconditioning

Antioxidants & Redox Signaling, 2011
Reperfusion is the definitive treatment to reduce infarct size and other manifestations of postischemic injury. However, reperfusion contributes to postischemic injury, and, therefore, reperfusion therapies do not achieve the optimal salvage of myocardium.
Vinten-Johansen, Jakob, Granfeldt, Asger, Mykytenko, James, Undyala, Vishnu V, Dong, Yi, Przyklenk, Karin   +5 more
openaire   +2 more sources

Delayed Postconditioning: Not Too Late?

Trends in Cardiovascular Medicine, 2012
Ischemic postconditioning applied at the onset of reperfusion reduces myocardial infarction in both animals and humans. Our recent study on the mouse myocardium showed for the first time that delayed postconditioning (applied up to 30 min after the onset of reperfusion) can decrease infarct size.
Stéphanie, Barrère-Lemaire, Joël, Nargeot, Christophe, Piot   +2 more
openaire   +2 more sources

Myocardial protection in reperfusion with postconditioning

Expert Review of Cardiovascular Therapy, 2005
Reperfusion is the definitive treatment for coronary occlusive disease. However, reperfusion carries the potential to exacerbate lethal injury, termed 'reperfusion injury'. Studies have suggested that reperfusion injury events are triggered during the early moments of reflow, and determine, in part, the severity of downstream manifestations of ...
Jakob, Vinten-Johansen, Zhi-Qing, Zhao, Rong, Jiang, Amanda J, Zatta   +3 more
openaire   +2 more sources

The strongest postcondition

1990
From the (rather operational) introduction of Chap. 7, we recall (wlp.S)⋆.X: holds in precisely those initial states for which there exists a computation under control of S that belongs to the class “finally x”.
Edsger W. Dijkstra, Carel S. Schölten
openaire   +1 more source