A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categories and distributors. Besides revealing dualities which are not immediately apparent in the traditional presentation of the presheaf hyperdoctrine, this reconstruction leads us to an axiomatic treatment of directed equality predicates (modelled by hom presheaves), realizing a vision initially set out by Lawvere (1970). It also leads to a simple calculus of string diagrams (representing presheaves) that is highly reminiscent of C. S. Peirce's existential graphs for predicate logic, refining an earlier interpretation of existential graphs in terms of Boolean hyperdoctrines by Brady and Trimble. Finally, we illustrate how this work extends to a bifibrational setting a number of fundamental ideas of linear logic.Comment: Identical to the final version of the paper as appears in proceedings of LICS 2016, formatted for on-screen readin

Methodology for characterization, evaluation and optimization of acoustic environments

Currently we are working on methodologies to characterize, evaluate and optimize acoustic environments with different approaches. One methodology is based on the evaluation of temporal energetic behavior of acoustic environment through the use of parameters associated with the autocorrelation function (ACF). In this case the main objective is to verify the variability of the temporal behavior of urban acoustic environment depending of sounds sources that are part of them. We evaluate the temporal energetic behavior in 10 urban acoustic environments using ACF in two main cities, Brasilia (Brazil) and Bogotá (Colombia). The second methodology is based on the design of an experiment to improve and optimize acoustic environments on the basis of the auditory subjective experiences of the people. It has been designed a LabVIEW application for psychoacoustic laboratory tests to evaluate the subjective perception of people. The main objective is to evaluate how adding sound signals in acoustics environments with traffic noise couls improve the experience of the users

Toracoplastia expansiva en el tratamiento de la escoliosis congénita torácica con malformaciones vertebrales asociadas a fusión costal

Se presenta el caso clínico de un paciente varón de 3 años de edad con escoliosis congénita torácica en el contexto de un síndrome de VACTERL, que presentaba defectos múltiples de segmentación vertebral con fusión costal asociada, en el que se realizó una toracoplastia expansiva mediante un sistema protésico vertical expandible de titanio de distracción costal, consiguiéndose una corrección indirecta de la escoliosis, favoreciendo el desarrollo torácico y pulmonar en la concavidad de la curva, y retrasando la instrumentación con fusión vertebral.This paper reports on a 3-year-old patient with congenital thoracic scoliosis in the context of a VACTERL's syndrome, who had many spinal segmental defects with ribs fusion associated, in which an expansion thoracoplasty was made by means of a vertical expandable prosthetic titanium rib. An indirect correction of the scoliosis was achieved allowing the thoracic and respiratory development in the concavity of the curve and, thus, postposing the instrumentation with spinal fusion

THE ACCUSED IS ENTERING THE COURTROOM: THE LIVE-TWEETING OF A MURDER TRIAL.

© 2017 Informa UK Limited, trading as Taylor & Francis GroupThe use of social media is now widely accepted within journalism as an outlet for news information. Live tweeting of unfolding events is standard practice. In March 2014, Oscar Pistorius went on trial in the Gauteng High Court for murder. Hundreds of journalists present began live-tweeting coverage, an unprecedented combination of international interest, permission to use technology and access which resulted in massive streams of consciousness reports of events as they unfolded. Based on a corpus of Twitter feeds of twenty-four journalists covering the trial, this study analyses the content and strategies of these feeds in order to present an understanding of how microblogging is used as a live reporting tool. This study shows the development of standardised language and strategies in reporting on Twitter, concluding that journalists adopt a narrow range of approaches, with no significant variation in terms of gender, location, or medium. This is in contrast to earlier studies in the field (Awad, 2006, Hedman, 2015; Kothari, 2010; Lariscy, Avery, Sweetser, & Howes, 2009 Lasorsa, 2012; Lasorsa, Lewis, & Holton, 2011; Sigal, 1999, Vis, 2013).Peer reviewe

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

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

Primary herpes simplex virus type 1 infection with acute liver failure in solid organ transplantation: Report of three cases and review

Herpes virus infections is not uncommon in solid organ transplantation patients. We report 3 cases with primary Herpes simplex virus type-1 (HSV1) infection with acute liver failure (ALF). This is a rare and potentially fatal entity that could be a donor-derived infection. Although the initial clinical presentation is non-specific, it should be considered as a differential diagnosis in HSV-negative serology patients with liver failure and empirical treatment must be started in combination with a drastic reduction of immunosuppression. A strategy of HSV prophylaxis for pre-transplant HSV seronegative patients must be stablished in order to reduce the risk of clinical disease.© 2022 Published by Elsevier Ltd

Validation of the spiritual and religious attitudes in dealing with illness (SpREUK) in Portuguese Alzheimer‘s patients

Literature shows that spirituality is a helpful resource for patients to cope with illness, having a positive impact on their quality of life. This study aimed to analyze the psychometric qualities of the Spiritual and Religious Attitudes in Dealing with Illness (SpREUK) using a sample of 128 Portuguese Alzheimer‘s patients. Results showed that the instrument kept its original factorial structure, with a good adjustment and reliability in all subscales, and associations with quality of life and mindfulness. Therefore, the Portuguese version of the SpREUK has appropriate psychometric properties and is an important resource to assess spirituality in Alzheimer’s patients

Performance and precision of double digestion RAD (ddRAD) genotyping in large multiplexed datasets of marine fish species

The development of Genotyping-By-Sequencing (GBS) technologies enables cost-effective analysis of large numbers of Single Nucleotide Polymorphisms (SNPs), especially in “non-model” species. Nevertheless, as such technologies enter a mature phase, biases and errors inherent to GBS are becoming evident. Here, we evaluated the performance of double digest Restriction enzyme Associated DNA (ddRAD) sequencing in SNP genotyping studies including high number of samples. Datasets of sequence data were generated from three marine teleost species (>5500 samples, >2.5 × 1012 bases in total), using a standardized protocol. A common bioinformatics pipeline based on STACKS was established, with and without the use of a reference genome. We performed analyses throughout the production and analysis of ddRAD data in order to explore (i) the loss of information due to heterogeneous raw read number across samples; (ii) the discrepancy between expected and observed tag length and coverage; (iii) the performances of reference based vs. de novo approaches; (iv) the sources of potential genotyping errors of the library preparation/bioinformatics protocol, by comparing technical replicates. Our results showed use of a reference genome and a posteriori genotype correction improved genotyping precision. Individual read coverage was a key variable for reproducibility; variance in sequencing depth between loci in the same individual was also identified as an important factor and found to correlate to tag length. A comparison of downstream analysis carried out with ddRAD vs single SNP allele specific assay genotypes provided information about the levels of genotyping imprecision that can have a significant impact on allele frequency estimations and population assignment. The results and insights presented here will help to select and improve approaches to the analysis of large datasets based on RAD-like methodologies