Fibrational induction rules for initial algebras

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, an 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 particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two 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

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Convergence calls: multimedia storytelling at British news websites

This article uses qualitative interviews with senior editors and managers from a selection of the UK's national online news providers to describe and analyse their current experimentation with multimedia and video storytelling. The results show that, in a period of declining newspaper readership and TV news viewing, editors are keen to embrace new technologies, which are seen as being part of the future of news. At the same time, text is still reported to be the cornerstone for news websites, leading to changes in the grammar and function of news video when used online. The economic rationale for convergence is examined and the article investigates the partnerships sites have entered into in order to be able to serve their audience with video content. In-house video is complementing syndicated content, and the authors examine the resulting developments in newsroom training and recruitment practices. The article provides journalism and interactive media scholars with case studies on the changes taking place in newsrooms as a result of the shift towards multimedia, multiplatform news consumption

New method for carbon dioxide mineralization based on phosphogypsum and aluminium-rich industrial wastes resulting in valuable carbonated by-products

A new carbon mineralization method was designed based on a sequestration agent synthesised exclusively from industrial wastes. Phosphogypsum waste from the fertiliser industry was dissolved into caustic aqueous waste from the aluminium anodising industry. The resulting precipitate consisted of katoite (Ca3Al2(OH)12, a Si-free hydrogrossular solid solution end-member of the Al-containing hydrogarnet) and thenardite (Na2SO4); the latter easily removed by rinsing with water. The carbonation performance of this katoite-rich sequestration agent was evaluated using two different methods, by bubbling in aqueous media and by weathering. Both procedures yielded high carbonation efficiencies (80% and 100%, respectively), and resulted in a solid precipitate composed primarily of calcite (CaCO3) and aluminium hydroxide (Al(OH)3). Priority attention was given to the transfer of trace elements and radionuclides of the uranium series typically present in the phosphogypsum. Results confirmed that the traces were transferred to resulting final solid carbonate at concentrations similar to those present in the raw phosphogypsum. In conclusion, these carbonated minerals would trap substantial amounts of CO2 and produce final materials with similar civil engineering uses to those proposed for current phosphogypsum wastes. This work offers new methods for jointly managing specific industrial wastes oriented to more sustainable industrial processes and controlling CO2 emissionsPeer reviewe

The functional properties of a truncated form of endothelial cell protein C receptor generated by alternative splicing

BACKGROUND: A soluble form of endothelial cell protein C receptor (sEPCR) is generated by shedding of the cellular form. sEPCR binds to protein C and factor VIIa and inhibits both the activation of protein C and the activity of activated protein C and factor VIIa. High sEPCR levels may increase the risk of thrombosis. We wanted to explore the possibility of detecting soluble endothelial cell protein C receptor forms generated by alternative splicing. DESIGN AND METHODS: Reverse transcriptase polymerase chain reaction was used to look for new forms of endothelial cell protein C receptor. A yeast expression system was used to generate sufficient amounts of the distinct sEPCR forms. Surface plasmon resonance experiments, chromogenic assays, clotting assays and immunoassays were subsequently performed to characterize a new form of sEPCR that was found. RESULTS: We demonstrated, by reverse transcriptase polymerase chain reaction and sequencing, the existence of a new, soluble form of endothelial cell protein C receptor generated by alternative splicing, in which the transmembrane region is replaced by a 56-residue tail (tEPCR). Its cDNA was present in human umbilical vein endothelial cells and in most tissues as well as in lung cancer cells. tEPCR was not located in the membrane of transfected cells. We demonstrated that tEPCR binds to protein C and factor VIIa. tEPCR blocked the generation of activated protein C and inhibited the activity of both activated protein C and factor VIIa. tEPCR was detected, by immunoassays, in the supernatant of lung cancer cells and human umbilical vein endothelial cells. CONCLUSIONS: A truncated form of alternatively spliced endothelial cell protein C receptor was detected in the endothelium and cancer cells. tEPCR behaves as sEPCR generated by shedding of the cellular endothelial cell protein C receptor

Limited Ability to Activate Protein C Confers Left Atrial Endocardium A Thrombogenic Phenotype: A Role in Cardioembolic Stroke?

Background and Purpose—Atrial fibrillation is the most important risk factor for cardioembolic stroke. Thrombi form in the left atrial appendage rather than in the right. The causes of this different thrombogenicity are not well-understood. The goal herein was to compare the activation of the anticoagulant protein C and the thrombomodulin and endothelial protein C receptor/activated protein C receptor expression on the endocardium between right and left atria. Methods—We harvested the atria of 6 monkeys (Macaca fascicularis) and quantified their ability to activate protein C ex vivo and we measured the thrombomodulin and endothelial protein C receptor expression by immunofluorescence. Results—We found the ability to activate protein C decreased by half (P 0.028) and there was lower expression of thrombomodulin in the left atrial endocardium than the right (52.5 19.9 and 72.1 18.8 arbitrary intensity units, mean standard deviation; P 0.028). No differences were detected in endothelial protein C receptor expression. Conclusions—Impaired protein C activation on the left atrial endocardium attributable to low thrombomodulin expression may explain its higher thrombogenicity and play a role in cardioembolic stroke

Tratamiento de la escoliosis idiopática mediante artrodesis anterior e instrumentación de Zielke

—Hemos revisado 16 pacientes afectos de escoliosis toracolumbar y lumbar tratados mediante artrodesis anterior e instrumentación de Zielke. La corrección de la curva en el plano anteroposterior ha sido del 68%. La escoliosis torácica asociada se ha corregido de forma espontánea un 30%. La lordosis global final ha sido de 40°, sin embargo la instrumentación provoca un aumento de la cifosis regional de 10°. Las complicaciones de la serie han sido 3 roturas de barra, una progresión de la curva torácica y un derrame pleural.The authors showed the clinical outcome of 16 patients with thoracolumbar and lumbar curvatures treated by Zielke instrumentation and anterior fusion. The correction obtained in the primary curvature was 68%. The average correction in the compensatory thoracic curvature was 30%. The average lordosis correction at follow was 40°. However the Zielke's system lead to an increase of 10° of kyphotic at the instrumented levels. Complications included 3 browen rods, a progression of the thoracic curve and one pleural spilling

Dealing with the mess (we made): Unraveling hybridity, normativity, and complexity in journalism studies

In this article, we discuss the rise and use of the concept of hybridity in journalism studies. Hybridity afforded a meaningful intervention in a discipline that had the tendency to focus on a stabilized and homogeneous understanding of the field. Nonetheless, we now need to reconsider its deployment, as it only partially allows us to address and understand the developments in journalism. We argue that if scholarship is to move forward in a productive manner, we need, rather than denote everything that is complex as hybrid, to develop new approaches to our object of study. Ultimately, this is an open invitation to the field to adopt experientialist, practice-based approaches that help us overcome the ultimately limited binary dualities that have long governed our theoretical and empirical work in the field