Il teorema di Cook-Levin e i SAT-solver

In questa tesi è trattato il tema della soddisfacibilità booleana o proposizionale, detta anche SAT, ovvero il problema di determinare se una formula booleana è soddisfacibile o meno. Soddisfacibile significa che è possibile assegnare le variabili in modo che la formula assuma il valore di verità vero; viceversa si dice insoddisfacibile se tale assegnamento non esiste e se quindi la formula esprime una funzione identicamente falsa. A tal fine si introducono degli strumenti preliminari che permetteranno di affrontare più approfonditamente la questione, partendo dalla definizione basilare di macchina di Turing, affrontando poi le classi di complessità e la riduzione, la nozione di NP-completezza e si dimostra poi che SAT è un problema NP-completo. Infine è fornita una definizione generale di SAT-solver e si discutono due dei principali algoritmi utilizzati a tale scopo.

Impact of stent overlap on angiographic and long-term clinical outcome in patients undergoing drug-eluting stent implantation

Objectives We compared the angiographic and long-term clinical outcomes of patients with and without overlap of drug-eluting stents (DES). Background DES overlap has been associated with delayed healing and increased inflammation in experimental studies, but its impact on clinical outcome is not well established. Methods We analyzed the angiographic and clinical outcomes of 1,012 patients treated with DES in the SIRTAX (Sirolimus-Eluting Versus Paclitaxel-Eluting Stents for Coronary Revascularization) trial according to the presence or absence of stent overlap and the number of stents per vessel: 134 (13.2%) patients with multiple DES in a vessel with overlap, 199 (19.7%) patients with multiple DES in a vessel without overlap, and 679 (67.1%) patients with 1 DES per vessel. Results Angiographic follow-up at 8 months showed an increased late loss in DES overlap patients (0.33 ± 0.61 mm) compared with the other groups (0.18 ± 0.43 mm and 0.15 ± 0.38 mm, p < 0.01). The smallest minimal lumen diameter was located at the zone of stent overlap in 17 (68%) of 25 patients with stent overlap who underwent target lesion revascularization. Major adverse cardiac events were more common in patients with DES overlap (34 events, 25.4%) than in the other groups (42 events, 21.1% and 95 events, 14.0%) at 3 years (p < 0.01). Both the risk of target lesion revascularization (20.2% vs. 16.1% vs. 9.7%, p < 0.01) and the composite of death or myocardial infarction (17.2% vs. 14.1% vs. 9.1%, p = 0.01) were increased in patients with DES overlap compared with the other groups. Conclusions DES overlap occurs in >10% of patients undergoing percutaneous coronary intervention in routine clinical practice and is associated with impaired angiographic and long-term clinical outcome, including death or myocardial infarction. (Sirolimus-Eluting Versus Paclitaxel-Eluting Stents for Coronary Revascularization; NCT00297661).

Impact of arterial injury on neointimal hyperplasia after implantation of drug-eluting stents in coronary arteries: an intravascular ultrasound study

Aims: We investigated the impact of arterial injury on neointimal hyperplasia following implantation of drug-eluting stents (DES). Methods and results: A total of 196 patients with 223 segments (sirolimus-eluting stents [SES]: 104, paclitaxel-eluting stents [PES]: 119) underwent intravascular ultrasound eight months after DES implantation. Arterial injury was defined as the balloon-to-artery ratio (BAR). Segments were categorised into two groups: high BAR defined as BAR>1.1 (120 segments), and low BAR defined as BAR ≤1.1 (103 segments). Baseline clinical characteristics were similar for both groups. Although reference vessel diameter was smaller, stent diameter, maximal balloon pressure and balloon diameter were higher in the high BAR compared with the low BAR group. Lumen (7.10±1.91 vs. 6.25±1.69, p=0.001), stent (7.31±1.95 vs. 6.41±1.80, p=0.001), and external elastic membrane (17.1±4.9 vs. 14.8±4.0, p<0.0001) areas (mm2) were higher, but neointimal hyperplasia (0.21±0.36 vs. 0.16±0.48, p=0.42) area (mm2) was similar in the high BAR compared with the low BAR group. Arterial injury as assessed by BAR was not associated with the amount of neointimal hyperplasia (R2=0.003, p=0.40). Conclusions: Arterial injury does not correlate with the amount of neointimal hyperplasia following DES implantation. Conventionally aggressive DES implantation techniques do not adversely affect long-term outcome with respect to restenosis. - See more at: http://www.pcronline.com/eurointervention/30th_issue/79/#sthash.1do4X31G.dpuf

Five-Year Clinical and Angiographic Outcomes of a Randomized Comparison of Sirolimus-Eluting and Paclitaxel-Eluting Stents: Results of the Sirolimus-Eluting Versus Paclitaxel-Eluting Stents for Coronary Revascularization LATE Trial

Background—Long-term comparative data of first-generation drug-eluting stents are scarce. We investigated clinical and angiographic outcomes of sirolimus-eluting (SES) and paclitaxel-eluting stents (PES) at 5 years as part of the Sirolimus-Eluting Versus Paclitaxel-Eluting Stents for Coronary Revascularization (SIRTAX) LATE study. Methods and Results—A total of 1012 patients were randomly assigned to SES or PES. Repeat angiography was completed in 444 of 1012 patients (43.8%) at 5 years. Major adverse cardiac events occurred in 19.7% of SES- and 21.4% of PES-treated patients (hazard ratio, 0.89; 95% confidence interval, 0.68 to 1.17; P=0.39) at 5 years. There were no differences between SES and PES in terms of cardiac death (5.8% versus 5.7%; P=0.35), myocardial infarction (6.6% versus 6.9%; P=0.51), and target lesion revascularization (13.1% versus 15.1%; P=0.29). Between 1 and 5 years, the annual rate of target lesion revascularization was 2.0% (95% confidence interval, 1.4% to 2.6%) for SES and 1.4% (95% confidence interval, 0.9% to 2.0%) for PES. Among patients undergoing paired angiography at 8 months and 5 years, delayed lumen loss amounted to 0.37±0.73 mm for SES and 0.29±0.59 mm for PES (P=0.32). The overall rate of definite stent thrombosis was 4.6% for SES and 4.1% for PES (P=0.74), and very late definite stent thrombosis occurred at an annual rate of 0.65% (95% confidence interval, 0.40% to 0.90%). Conclusions—Long-term follow-up of first-generation drug-eluting stents shows no significant differences in clinical and angiographic outcomes between SES and PES. The continuous increase in late lumen loss in conjunction with the ongoing risk of very late stent thrombosis suggests that vascular healing remains incomplete up to 5 years after implantation of first-generation drug-eluting stents.

Review of Nineteenth-Century Geographies: The Transformation of Space from the Victorian Age to the American Century, eds. H. Michie and R. Thomas

It is by now a banal observation that published collections of conference papers tend to add up to a whole that is considerably less than the sum of the parts. Nineteenth-Century Geographies, a book that grew out of an interdisciplinary conference held at Rice University in 1998 falls into this category. While assuring my readers that each individual contribution is independently worth a read is likewise a predictable cliché, it is in fact the case that every one of the 17 articles collected here—notwithstanding the rather convoluted Introduction—has much to offer the study, broadly speaking, of ‘cultural spaces’ of British and American imperialisms in the nineteenth century. . . . All of my complaints aside, this turns out to be a much more enjoyable book to read than to review, and I would recommend skimming and dipping at length. I cannot quite imagine when a read-through of this book might be called for, except perhaps in graduate seminars on related topics.

Comparison of titanium-nitride-oxide-coated stents with zotarolimus-eluting stents for coronary revascularization a randomized controlled trial

Objectives This study sought to compare the efficacy of passive stent coating with titanium-nitride-oxide (TiNO) with drug-eluting stents releasing zotarolimus (ZES) (Endeavor, Medtronic, Minneapolis, Minnesota). Background Stent coating with TiNO has been shown to reduce restenosis compared with bare-metal stents in experimental and clinical studies. Methods In an assessor-blind noninferiority study, 302 patients undergoing percutaneous coronary intervention were randomized to treatment with TiNO or ZES. The primary endpoint was in-stent late loss at 6 to 8 months, and analysis was by intention to treat. Results Both groups were well balanced with respect to baseline clinical and angiographic characteristics. The TiNO group failed to reach the pre-specified noninferiority margin for the primary endpoint (in-stent late loss: 0.64 ± 0.61 mm vs. 0.47 ± 0.48 mm, difference: 0.16, upper 1-sided 95% confidence interval [CI]: 0.26; pnoninferiority = 0.54), and subsequent superiority testing was in favor of ZES (psuperiority = 0.02). In-segment binary restenosis was lower with ZES (11.1%) than with TiNO (20.5%; psuperiority = 0.04). A stratified analysis of the primary endpoint found particularly pronounced differences between stents among diabetic versus nondiabetic patients (0.90 ± 0.69 mm vs. 0.39 ± 0.38 mm; pinteraction = 0.04). Clinical outcomes showed a similar rate of death (0.7% vs. 0.7%; p = 1.00), myocardial infarction (5.3% vs. 6.7%; p = 0.60), and major adverse cardiac events (21.1% vs. 18.0%, hazard ratio: 1.19, 95% CI: 0.71 to 2.00; p = 0.50) at 1 year. There were no differences in rates of definite or probable stent thrombosis (0.7% vs. 0%; p = 0.51) at 1 year. Conclusions Compared with TiNO, ZES was superior with regard to late loss and binary restenosis. The concept of passive stent coating with TiNO remains inferior to drug-eluting stent technology in reducing restenosis. ([TIDE] Randomized Trial Comparing Titan Stent With Zotarolimus-Eluting Stent: NCT00492908)