1,184 research outputs found
Generic Fibrational Induction
This paper provides an induction rule that can be used to prove properties of
data structures whose types are inductive, i.e., are carriers of initial
algebras of functors. Our results are semantic in nature and are inspired by
Hermida and Jacobs' elegant algebraic formulation of induction for polynomial
data types. Our contribution is to derive, under slightly different
assumptions, a sound induction rule that is generic over all inductive types,
polynomial or not. Our induction rule is generic over the kinds of properties
to be proved as well: like Hermida and Jacobs, we work in a general fibrational
setting and so can accommodate very general notions of properties on inductive
types rather than just those of a particular syntactic form. We establish the
soundness of our generic induction rule by reducing induction to iteration. We
then show how our generic induction rule can be instantiated to give induction
rules for the data types of rose trees, finite hereditary sets, and
hyperfunctions. The first of these lies outside the scope of Hermida and
Jacobs' work because it is not polynomial, and as far as we are aware, no
induction rules have been known to exist for the second and third in a general
fibrational framework. Our instantiation for hyperfunctions underscores the
value of working in the general fibrational setting since this data type cannot
be interpreted as a set.Comment: For Special Issue from CSL 201
Periskop-, Kamin- und Sandwichtechnik sowie VORTEC zur Vereinfachung der Behandlung von Aneurysmen der Aorta abdominalis und thoracoabdominalis
Zusammenfassung: VORTEC (Viabahn Open Revascularisation TEChnique) und die Kaminprothesentechnik sind Verfahren zur Erhaltung oder Wiederherstellung des Blutflusses von Aortenästen, die geplant oder als Notlösung bei offener Operation oder endovaskulärem Vorgehen eingesetzt werden können. VORTEC ist eine stentbasierte vaskuläre Verbindungstechnik zur Herstellung einer End-zu-End-Anastomose, die insbesondere geeignet ist, wenn die herkömmliche Nahttechnik schwierig ist (sein könnte). Es handelt sich um ein schnelles Verfahren, das praktisch ohne Blutflussunterbrechung und ohne Anastomosenblutung ist, die Durchgängigkeitsraten sind ähnlich gut wie bei Nahtanastomosen. Die Kamin-Periskop-Sandwich-Prothesentechnik ("chimney/periscope and sandwich graft technique”, CHIMPES) ist ein endovaskuläres Verfahren, bei dem parallele Endoprothesen zur Erhaltung oder Wiederherstellung des Blutflusses von Aortenästen verwendet werden, während ein herkömmlicher Aortenstent oberhalb ihres Ursprungs platziert wird. Es ist ein relativ schnelles Verfahren mit der Möglichkeit, selbst in Notfällen handelsübliche Produkte zu verwenden. Bei der Sandwichtechnik verlaufen parallele Prothesen zwischen 2Aortenstents. Publizierten Erfahrungen zufolge scheinen diese beiden Techniken besonders für die Behandlung von Aneurysmen der Aortenäste und der Aorta thoracoabdominalis geeignet zu sein, vor allem in Hochrisiko- oder Akutfällen. Die englische Volltextversion dieses Beitrags ist über SpringerLink (unter "Supplemental") verfügba
Influence of the Drying Temperature on the Performance and Binder Distribution of Sulfurized Poly(acrylonitrile) Cathodes
Comment on “Intra-abdominal Hypertension and Abdominal Compartment Syndrome after Endovascular Repair of Ruptured Abdominal Aortic Aneurysm”
Reactions of (-)-sparteine with alkali metal HMDS complexes : conventional meets the unconventional
Conventional (-)-sparteine adducts of lithium and sodium 1,1,1,3,3,3-hexamethyldisilazide (HMDS) were prepared and characterised, along with an unexpected and unconventional hydroxyl-incorporated sodium sodiate, [(-)-sparteine·Na(-HMDS)Na·(-)-sparteine]+[Na4(-HMDS)4(OH)]--the complex anion of which is the first inverse crown ether anion
Use of the STAT (Sutureless Telescoping Anastomosis Technique) to facilitate supraaortic revascularization: Mid-term Results
Not availabl
- …