Koronarintervention bei Hauptstammstenosen

In dieser Dissertation wurden die Daten von Patienten ausgewertet, die im Zeitraum vom 01. April 2004 bis zum 31. Mai 2005 an der Universitätsklinik Mainz eine Koronarintervention am Hauptstamm erhielten. Insgesamt wurde in dieser Zeit bei 73 Patienten (53 Männer und 20 Frauen) eine Hauptstammintervention durchgeführt. Das sind 6 % aller in diesem Zeitraum durchgeführten Interventionen. Es wurden sowohl Akutinterventionen als auch elektive Interventionen untersucht. Das Altersspektrum der Patienten reichte von 39- 87 Jahren. Die linksventrikuläre Ejektionsfraktion betrug im Mittel 55%. Es lag bei zwei Patienten eine 1- Gefäß-, bei 16 Patienten eine 2-Gefäß- und bei 55 Patienten eine 3-Gefäßerkrankung vor. Zehn Patienten hatten einen geschützten Hauptstamm. Bei 38 Patienten (52%) lag eine Hauptstammbifurkationsstenose vor. In der Regel bekamen alle Patienten ASS und Clopidogrel zu Weiterführung der Antikoagulation nach dem Krankenhausaufenthalt verordnet. Nur bei drei Patienten wurde von diesem Schema abgewichen, da sie aufgrund von mechanischen Herzklappenprothesen Marcumar erhielten. Bei 72 von 73 behandelten Patienten konnte die LCA-Stenose mittels der Hauptstammintervention auf einen Stenosegrad unter 30% reduziert werden. Die Intervention war also in 99% der Patienten primär erfolgreich. Ein Follow-up liegt von 69 der 73 Patienten vor. Bei 52 Patienten liegt eine Kontrollangiographie vor und bei 21 Patienten liegt keine vor (zehn verstorbene Patienten, sieben Patienten mit nicht invasiver Kontrolle, vier Patienten ohne Follow-up). Im Kontrollzeitraum wurde bei 38 Patienten (52% des Gesamtkollektivs) keine erneute Intervention notwendig, sie erlitten keine Komplikationen und zeigten ein gutes Langzeitergebnis. Bei 29 der 66 Patienten, die das Krankenhaus lebend verließen, traten Spätkomplikationen auf und/oder es wurde eine Reintervention am Zielgefäß oder Nichtzielgefäß notwendig. Der durchschnittliche Restenosegrad des Zielgefäßes bei den Patienten, die eine invasive Kontrolle hatten, belief sich auf 24%. Eine Rezidivstenose, definitionsgemäß eine Restenose >50%, lag bei elf Patienten vor. Zu den frühen Komplikationen, die während der Intervention oder des Krankenhausaufenthaltes auftraten, zählten sieben Todesfälle, eine SAT und zehn Blutungsereignisse. Zu den Komplikationen, die während der Langzeitbeobachtung auftraten, gehörten fünf weitere Todesfälle (vier nicht kardial bedingt, einer kardial bedingt), ein Apoplex, eine SAT, vier Bypass-Operationen, drei NSTEMI und vier instabile AP. Insgesamt traten an Komplikationen Tod (12 Patienten), Apoplex (1 Patient), SAT (2 Patienten), Bypass-Operationen (4 Patienten), NSTEMI (3 Patienten), Blutungen (10 Patienten) und instabile Angina pectoris (4 Patienten) auf. Eine Reintervention des Zielgefäßes wurde bei 19 % und eine des Nichtzielgefäßes bei 18 % der Patienten durchgeführt. Die Ergebnisse zeigen, dass der Primärerfolg der Hauptstammstentimplantation insbesondere bei elektiven Patienten, die eine gute Intermediärprognose haben, groß ist und die Intervention mit geringen Komplikationen verbunden ist.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.