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

On the Cold Drawing of Poly-Ether-Ether-Ketone (PEEK) Tubes

AbstractThe mechanical behaviour commonly referred as cold drawing (CD) is a phenomenon that occurs once the yield point is reached, in a thermoplastic material subjected to a uniaxial tensile test at constant strain rate. In effect, after yielding the sample undergoes a neck in its cross-sectional area, which then propagates along the entire useful length of the sample while the applied force remains constant. This phenomenon occurs in amorphous or semi-crystalline materials in a wide range of temperatures below the glass transition temperature. Understanding this phenomenon involves knowing what deformation mechanisms operate and how they are related to the morphology of the material. In this work, on one hand, the mechanical response of poly-ether-ether-ketone (PEEK) thermally aged at 25 and 135°C for 30 day is measured. In previous researches PEEK aged at 130 and 135°C undergoes cold drawing when subjected to a tensile strain rate of 1,7 10-3 s-1 at 25°C. In addition, the average stress and the ultimate elongation of the plateau depend on the temperature and the duration of the annealing. On the other hand, wide angle X ray diffraction, density measurements, differential thermal analysis, shape memory analysis and complex impedance measurement allow determine changes in the amorphous and crystalline phases due to thermal aging and cold drawing effects

Decreasing Sleep-Time Blood Pressure Determined by Ambulatory Monitoring Reduces Cardiovascular Risk

ObjectivesWe investigated whether reduced cardiovascular risk is more related to the progressive decrease of asleep or awake blood pressure.BackgroundIndependent studies have concluded that elevated sleep-time blood pressure is a better predictor of cardiovascular risk than awake or 24-h blood pressure means. However, the impact on cardiovascular risk of changes in these ambulatory blood pressure characteristics has not been properly investigated.MethodsWe prospectively studied 3,344 subjects (1,718 men and 1,626 women), 52.6 ± 14.5 years of age, during a median follow-up of 5.6 years. Those with hypertension at baseline were randomized to ingest all their prescribed hypertension medications upon awakening or ≥1 of them at bedtime. Blood pressure was measured for 48 h at baseline and again annually or more frequently (quarterly) if treatment adjustment was required.ResultsWith data collected at baseline, when asleep blood pressure was adjusted by awake mean, only the former was a significant predictor of outcome in a Cox proportional hazards model also adjusted for sex, age, and diabetes. Analyses of changes in ambulatory blood pressure during follow-up revealed a 17% reduction in cardiovascular risk for each 5-mm Hg decrease in asleep systolic blood pressure mean (p < 0.001), independently of changes in any other ambulatory blood pressure parameter.ConclusionsThe sleep-time blood pressure mean is the most significant prognostic marker of cardiovascular morbidity and mortality. Most importantly, the progressive decrease in asleep blood pressure, a novel therapeutic target that requires proper patient evaluation by ambulatory monitoring, was the most significant predictor of event-free survival. (Prognostic Value of Ambulatory Blood Pressure Monitoring in the Prediction of Cardiovascular Events and Effects of Chronotherapy in Relation to Risk [the MAPEC Study]; NCT00295542

A novel hanging spherical drop system for the generation of cellular spheroids and high throughput combinatorial drug screening

We propose a novel hanging spherical drop system for anchoring arrays of droplets of cell suspension based on the use of biomimetic superhydrophobic flat substrates, with controlled positional adhesion and minimum contact with a solid substrate. By facing down the platform, it was possible to generate independent spheroid bodies in a high throughput manner, in order to mimic in vivo tumour models on the lab-on-chip scale. To validate this system for drug screening purposes, the toxicity of the anti-cancer drug doxorubicin in cell spheroids was tested and compared to cells in 2D culture. The advantages presented by this platform, such as feasibility of the system and the ability to control the size uniformity of the spheroid, emphasize its potential to be used as a new low cost toolbox for high-throughput drug screening and in cell or tissue engineering.The authors thank the precious help of Alessandra Zonari and Rui Domingues for capturing the confocal images. The authors acknowledge the financial support from the FCT-Fundacao para a Ciencia e para a Tecnologia through the Ph.D. grants with the references SFRH/BD/73119/2010, SFRH/BD/69529/2010 and SFRH/BD/71396/2010. We acknowledge the financial support of FEDER through the program Operacional Factores de Competitividade - COMPETE and from FCT - the Fundacao para a Ciencia e a Tecnologia under the project PTDC/CTM-BIO/1814/2012. We also thank the support by the European Research Council grant agreement ERC-2012-ADG 20120216-321266 for the project ComplexiTE

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

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

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