Platform Dependent Verification: On Engineering Verification Tools for 21st Century

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006

Maintenance of long-term clinical benefit with sirolimus-eluting coronary stents - Three-year results of the RAVEL trial

Background— The use of sirolimus-eluting coronary stents has been associated with a nearly complete elimination of restenosis at 6 months and with a very low 1-year incidence of major adverse cardiac events (MACE). This analysis examined whether these beneficial effects persist over the longer term. Methods and Results— This multicenter trial randomly assigned 238 patients to revascularization of single, de novo, native coronary artery lesions with sirolimus-eluting versus conventional bare-metal stents. Survival free from target lesion revascularization (TLR), target vessel failure (TVF), and MACE up to 3 years of follow-up was compared between the 2 treatment groups. Complete data sets were available in 94.2% of patients treated with sirolimus-eluting stents and in 94.1% of patients randomized to the control group. The cumulative 1-, 2-, and 3-year event-free survival rates were 99.2%, 96.5%, and 93.7% for TLR and 95.8%, 92.3%, and 87.9% for TVF, respectively, in the sirolimus-eluting stent group, versus 75.9%, 75.9%, and 75.0% for TLR and 71.2%, 69.4%, and 67.3% for TVF in the control group (P<0.001 for both comparisons at 3 years). Rates of MACE at 3 years were 15.8% in patients randomly assigned to sirolimus-eluting stents versus 33.1% in patients assigned to bare-metal stents (P=0.002). One patient treated with a sirolimus-eluting stent died of a cardiac cause between 12 and 36 months. Conclusions— Treatment of de novo coronary stenosis with sirolimus-eluting stents was associated with a sustained clinical benefit and very low rates of TLR and of other MACE up to 3 years after device implantation

The abundance and host-seeking behavior of culicine species (Diptera: Culicidae) and Anopheles sinensis in Yongcheng city, people's Republic of China

<p>Abstract</p> <p>Background</p> <p>The knowledge of mosquito species diversity and the level of anthropophily exhibited by each species in a region are of great importance to the integrated vector control. Culicine species are the primary vectors of Japanese encephalitis (JE) virus and filariasis in China. <it>Anopheles sinensis </it>plays a major role in the maintenance of <it>Plasmodium vivax </it>malaria transmission in China. The goal of this study was to compare the abundance and host-seeking behavior of culicine species and <it>An. sinensis </it>in Yongcheng city, a representative region of <it>P. vivax </it>malaria. Specifically, we wished to determine the relative attractiveness of different animal baits versus human bait to culicine species and <it>An. sinensis</it>.</p> <p>Results</p> <p><it>Culex tritaeniorhynchus </it>was the most prevalent mosquito species and <it>An. sinensis </it>was the sole potential vector of <it>P. vivax </it>malaria in Yongcheng city. There were significant differences (P < 0.01) in the abundance of both <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus </it>collected in distinct baited traps. The relative attractiveness of animal versus human bait was similar towards both <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus</it>. The ranking derived from the mean number of mosquitoes per bait indicated that pigs, goats and calves frequently attracted more mosquitoes than the other hosts tested (dogs, humans, and chickens). These trends were similar across all capture nights at three distinct villages. The human blood index (HBI) of female <it>An. sinensis </it>was 2.94% when computed with mixed meals while 3.70% computed with only the single meal. 19:00~21:00 was the primary peak of host-seeking female <it>An. sinensis </it>while 4:00~5:00 was the smaller peak at night. There was significant correlation between the density of female <it>An. sinensis </it>and the average relative humidity (P < 0.05) in Wangshanzhuang village.</p> <p>Conclusions</p> <p>Pigs, goats and calves were more attractive to <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus </it>than dogs, humans, and chickens. Female <it>An. sinensis </it>host-seeking activity mainly occurred from 19:00 to 21:00. Thus, we propose that future vector control against <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus </it>in the areas along the Huang-Huai River of central China should target the interface of human activity with domestic animals and adopt before human hosts go to bed at night.</p

Relationships of some environmental factors to growth of three species of fishes in Michigan. (M.S. thesis) (Fisheries research report: 1671)

Master of ScienceNatural Resouces and EnvironmentUniversity of Michigan, School of Natural Resources and Environmenthttp://deepblue.lib.umich.edu/bitstream/2027.42/40204/1/aag2862.1671.001.pd

Diagnostic Value of Exercise Electrocardiography and Angina after Coronary Artery Stenting. Benestent Study Group

To determine whether metallic stent implantation within a coronary artery modifies the accuracy of angina or exercise test results in predicting stenosis, we studied 172 patients assigned to stent implantation and 153 patients assigned to balloon angioplasty enrolled in the Benestent trial comparing de novo stenting with conventional balloon angioplasty. Sensitivity and specificity curves were constructed for the prediction of percentage diameter stenosis and minimal lumen diameter. Receiver-operator curves were constructed for comparison of diagnostic accuracy. Identical exercise load and duration were achieved in the two groups, despite a better angiographic result in patients treated with a stent. Similarly, the diagnostic accuracy of clinical symptoms or exercise test results as a function of the angiographic results were similar in patients with and patients without a stent. The intersection points of the sensitivity and specificity curves for recurrent angina or ST-segment depression were 72% to 77%. The corresponding cut-off points for percentage diameter stenosis were, respectively, 52% and 50% for patients with and without a stent (1.35 and 1.50 mm for minimal lumen diameter). We conclude that the presence of an intracoronary stent does not affect the diagnostic accuracy of recurrent angina or exercise-induced ST depression in predicting residual stenosis. We also conclude that exercise tolerance is similar after balloon angioplasty, with or without stenting, despite a better angiographic outcome in the group receiving a stent, suggesting a minimal threshold beyond which the patient is no longer at risk for ischemia during exercise

Transmisión y adquisición de valores a través de un programa de educación física basado en el juego motor, en un grupo de alumnos y alumnas de primero de enseñanza secundaria obligatoria

Tesis Univ. Granada. Departamento de Didáctica de la Expresión Musical, Plástica y Corporal. Leída el 8 de julio de 200