901 research outputs found

    Generic Fibrational Induction

    Full text link
    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

    The Gore Hybrid Vascular Graft in renovisceral debranching for complex aortic aneurysm repair

    Get PDF
    Objective This study reports our initial experience with the Gore Hybrid Vascular Graft (GHVG; W. L. Gore & Associates, Flagstaff, Ariz) for staged hybrid open renovisceral debranching and endovascular aneurysm repair in patients affected by thoracoabdominal aortic aneurysms and pararenal abdominal aortic aneurysms (PAAAs). Methods Between December 2012 and December 2013, we analyzed outcomes of 13 patients who underwent open surgical debranching of renovisceral vessels for thoracoabdominal aortic aneurysm and PAAAs. All patients were considered at high risk for conventional surgery. Inclusion criterion was treatment by open surgical debranching of at least one visceral artery (renal artery, superior mesenteric artery [SMA], or celiac trunk [CT]) using the GHVG. In a second step, the aortic stent graft was implanted to exclude the aneurysm. If required, parallel grafts to the remaining visceral arteries were deployed in the same procedure. One patient had a symptomatic descending thoracic aortic aneurysm and another had a ruptured PAAA. Perioperative measured outcomes were immediate technical success rate, mortality, and morbidity. Median follow-up was 24.8 months (range, 0-15; mean, 8.2; standard deviation, 4 months). Results All open surgical debranching of renovisceral vessels were completed as intended. GHVG was used to revascularize 20 visceral vessels in 13 patients with a mean of 1.54 vessels per patient. Six renal arteries (30%; 2 right and 4 left), 9 SMAs (45%), and 5 CTs (25%) were debranched. In nine of 13 (66%) patients, other renovisceral arteries were addressed with chimney/periscope, Viabahn Open Revascularization Technique, and end-to-side anastomosis. Two of 13 patients (15%) died of bowel ischemia. Neither patient had GHVG revascularization to the SMA or CT. Perioperative complications occurred in three patients (23%; 1 renal hematoma, 1 respiratory insufficiency, and 1 small-bowel ischemia related to a SMA GHVG thrombosis). At 24 months, estimated survival was 85%, and estimated primary and secondary patency were 94% and 100%, respectively. Conclusions This limited series extracted from a more consistent hybrid procedure experience showed a mortality rate similar to most recent reports. Technical feasibility and the short-term patency rate of the GHVG for renovisceral debranching during staged hybrid open and endovascular procedures were satisfactory. Use of GHVGs may represent a useful revascularization adjunct to minimize visceral ischemia in these challenging patients

    Ultrafast sound production mechanism in one of the smallest vertebrates

    Get PDF
    Motion is the basis of nearly all animal behavior. Evolution has led to some extraordinary specializations of propulsion mechanisms among invertebrates, including the mandibles of the dracula ant and the claw of the pistol shrimp. In contrast, vertebrate skeletal movement is considered to be limited by the speed of muscle, saturating around 250 Hz. Here, we describe the unique propulsion mechanism by which Danionella cerebrum, a miniature cyprinid fish of only 12 mm length, produces high amplitude sounds exceeding 140 dB (re. 1 µPa, at a distance of one body length). Using a combination of high-speed video, micro-computed tomography (micro-CT), RNA profiling, and finite difference simulations, we found that D. cerebrum employ a unique sound production mechanism that involves a drumming cartilage, a specialized rib, and a dedicated muscle adapted for low fatigue. This apparatus accelerates the drumming cartilage at over 2,000 g, shooting it at the swim bladder to generate a rapid, loud pulse. These pulses are chained together to make calls with either bilaterally alternating or unilateral muscle contractions. D. cerebrum use this remarkable mechanism for acoustic communication with conspecifics

    Placement of an aortomonoiliac stent graft without femorofemoral revascularization in endovascular aneurysm repair: a case report

    Get PDF
    <p>Abstract</p> <p>Introduction</p> <p>Endovascular aortic repair, if technically feasible, is the treatment of choice for patients with a contained ruptured aortic aneurysm who are unfit for open surgery.</p> <p>Case presentation</p> <p>We report the case of an 80-year-old Caucasian man who presented with an unusually configured, symptomatic infrarenal aortic aneurysm. His aneurysm showed an erosion of the fourth lumbar vertebra and a severely arteriosclerotic pelvic axis. A high thigh amputation of his right leg had been performed 15 months previously. On his right side, occlusion of his external iliac artery, common femoral artery, and deep femoral artery had occurred. His aneurysm was treated by a left-sided aortomonoiliac stent graft without femorofemoral revascularization, resulting in occlusions of both internal iliac arteries. No ischemic symptoms appeared, although perfusion of his right side was maintained only over epigastric collaterals.</p> <p>Conclusions</p> <p>The placement of aortomonoiliac stent grafts for endovascular treatment of infrarenal aortic aneurysms without contralateral revascularization is a feasible treatment option in isolated cases. In this report, access problems and revascularization options in endovascular aneurysm repair are discussed.</p

    Combined Endovascular/Surgical Management of a Ruptured Para-Anastomotic Aneurysm of the Left Common Iliac Artery#

    Get PDF
    A 75-year old man presented with signs and symptoms of acute abdomen and a clinical picture of hypovolemic shock. An emergency CT scan revealed a ruptured para-anastomotic left common iliac artery aneurysm. The patient had undergone an elective abdominal aortic aneurysm repair operation and placement of an aortoiliac bifurcated graft 10 years before. Para-anastomotic aneurysms had developed in all 3 (aortic and the 2 iliac) anastomosis. As the patient was highrisk, a combined endovascular/surgical approach was undertaken. The patient was discharged 4 days later

    Conservation of core complex subunits shaped the structure and function of photosystem I in the secondary endosymbiont alga Nannochloropsis gaditana

    Get PDF
    Photosystem I (PSI) is a pigment protein complex catalyzing the light-driven electron transport from plastocyanin to ferredoxin in oxygenic photosynthetic organisms. Several PSI subunits are highly conserved in cyanobacteria, algae and plants, whereas others are distributed differentially in the various organisms. Here we characterized the structural and functional properties of PSI purified from the heterokont alga Nannochloropsis gaditana, showing that it is organized as a supercomplex including a core complex and an outer antenna, as in plants and other eukaryotic algae. Differently from all known organisms, the N. gaditana PSI supercomplex contains five peripheral antenna proteins, identified by proteome analysis as type-R light-harvesting complexes (LHCr4-8). Two antenna subunits are bound in a conserved position, as in PSI in plants, whereas three additional antennae are associated with the core on the other side. This peculiar antenna association correlates with the presence of PsaF/J and the absence of PsaH, G and K in the N. gaditana genome and proteome. Excitation energy transfer in the supercomplex is highly efficient, leading to a very high trapping efficiency as observed in all other PSI eukaryotes, showing that although the supramolecular organization of PSI changed during evolution, fundamental functional properties such as trapping efficiency were maintained

    Por Secretion System-Dependent Secretion and Glycosylation of Porphyromonas gingivalis Hemin-Binding Protein 35

    Get PDF
    The anaerobic Gram-negative bacterium Porphyromonas gingivalis is a major pathogen in severe forms of periodontal disease and refractory periapical perodontitis. We have recently found that P. gingivalis has a novel secretion system named the Por secretion system (PorSS), which is responsible for secretion of major extracellular proteinases, Arg-gingipains (Rgps) and Lys-gingipain. These proteinases contain conserved C-terminal domains (CTDs) in their C-termini. Hemin-binding protein 35 (HBP35), which is one of the outer membrane proteins of P. gingivalis and contributes to its haem utilization, also contains a CTD, suggesting that HBP35 is translocated to the cell surface via the PorSS. In this study, immunoblot analysis of P. gingivalis mutants deficient in the PorSS or in the biosynthesis of anionic polysaccharide-lipopolysaccharide (A-LPS) revealed that HBP35 is translocated to the cell surface via the PorSS and is glycosylated with A-LPS. From deletion analysis with a GFP-CTD[HBP35] green fluorescent protein fusion, the C-terminal 22 amino acid residues of CTD[HBP35] were found to be required for cell surface translocation and glycosylation. The GFP-CTD fusion study also revealed that the CTDs of CPG70, peptidylarginine deiminase, P27 and RgpB play roles in PorSS-dependent translocation and glycosylation. However, CTD-region peptides were not found in samples of glycosylated HBP35 protein by peptide map fingerprinting analysis, and antibodies against CTD-regions peptides did not react with glycosylated HBP35 protein. These results suggest both that the CTD region functions as a recognition signal for the PorSS and that glycosylation of CTD proteins occurs after removal of the CTD region. Rabbits were used for making antisera against bacterial proteins in this study
    • …
    corecore