SL(2,R)-geometric phase space and (2+2)-dimensions

We propose an alternative geometric mathematical structure for arbitrary phase space. The main guide in our approach is the hidden SL(2,R)-symmetry which acts on the phase space changing coordinates by momenta and vice versa. We show that the SL(2,R)-symmetry is implicit in any symplectic structure. We also prove that in any sensible physical theory based on the SL(2,R)-symmetry the signature of the flat target "spacetime" must be associated with either one-time and one-space or at least two-time and two-space coordinates. We discuss the consequences as well as possible applications of our approach on different physical scenarios.Comment: 17 pages, no figure

Cosmological parameter inference with Bayesian statistics

Bayesian statistics and Markov Chain Monte Carlo (MCMC) algorithms have found their place in the field of Cosmology. They have become important mathematical and numerical tools, especially in parameter estimation and model comparison. In this paper, we review some fundamental concepts to understand Bayesian statistics and then introduce MCMC algorithms and samplers that allow us to perform the parameter inference procedure. We also introduce a general description of the standard cosmological model, known as the $\Lambda$CDM model, along with several alternatives, and current datasets coming from astrophysical and cosmological observations. Finally, with the tools acquired, we use an MCMC algorithm implemented in python to test several cosmological models and find out the combination of parameters that best describes the Universe.Comment: 30 pages, 17 figures, 5 tables; accepted for publication in Universe; references adde

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof

In this article, we investigate the automated verification of temporal properties of heap-aware programs. We propose a deductive reasoning approach based on cyclic proof. Judgements in our proof system assert that a program has a certain temporal property over memory state assertions, written in separation logic with user-defined inductive predicates, while the proof rules of the system unfold temporal modalities and predicate definitions as well as symbolically executing programs. Cyclic proofs in our system are, as usual, finite proof graphs subject to a natural, decidable soundness condition, encoding a form of proof by infinite descent. We present a proof system tailored to proving CTL properties of nondeterministic pointer programs, and then adapt this system to handle fair execution conditions. We show both versions of the system to be sound, and provide an implementation of each in the Cyclist theorem prover, yielding an automated tool that is capable of automatically discovering proofs of (fair) temporal properties of pointer programs. Experimental evaluation of our tool indicates that our approach is viable, and offers an interesting alternative to traditional model checking techniques

El hogar inteligente

La sociedad actual ha acogido la tecnología con los brazos abiertos : pocos subsistirían un día sin móvil y hay quien tiene un televisor mayor que su salón. Muchos vivimos en hogares tecnológicos, pero ¿vivimos ya en hogares inteligentes

Autoantibody profiles in the sera of patients with Q fever: characterization of antigens by immunofluorescence, immunoblot and sequence analysis

Recent reports have shown that some of the immunological aspects of Q fever, a rickettsiosis caused by Coxiella burnetii, could be related to self-antigen responses. The aim of this study was to determine the specificity of the autoantibody response of patients with acute and chronic Coxiella infections. Smooth muscle and cardiac muscle-specific autoantibodies were observed in significant percentages in acutely or chronically affected Q fever patients when compared to healthy volunteers. Moreover, the incidence of cardiac muscle-specific autoantibody was significantly higher among chronically ill patients compared to acutely ill patients. Moreover, a band of 50 kD of a HeLa extract was detected in most of the sera of individuals with chronic infections and previous sequence analysis suggests that this antigen presents a high degree of homology with the human actin elongation factor 1 alpha. Further research would be necessary to confirm if antibodies to human cytoskeletal proteins could be of clinical importance in chronically infected Q fever patients

The relevance of grated inlets within surface drainage systems in the field of urban flood resilience. A review of several experimental and numerical simulation approaches

Urban drainage networks should be designed and operated preferably under open channel flow conditions without flux return, backwater, or overflows. In the case of extreme storm events, urban pluvial flooding is generated by the excess of surface runoff that could not be conveyed by pressurized sewer pipes, due to its limited capacity or, many times, due to the poor efficiency of surface drainage systems to collect uncontrolled overland flow. Generally, the hydraulic design of sewer systems is addressed more for underground networks, neglecting the surface drainage system, although inadequate inlet spacings and locations can cause dangerous flooding with rele-vant socio-economic impacts and the interruption of critical services and urban activities. Several experimental and numerical studies carried out at the Technical University of Catalonia (UPC) and other research institutions demonstrated that the hydraulic efficiency of inlets can be very low under critical conditions (e.g., high circulating overland flow on steep areas). In these cases, the hydraulic efficiency of conventional grated inlets and continuous transverse elements can be around 10–20%. Their hydraulic capacity, expressed in terms of discharge coefficients, shows the same criticism with values quite far from those that are usually used in several project practice phases. The grate clogging phenomenon and more intense storm events produced by climate change could further reduce the inlets’ performance. In this context, in order to improve the flood urban resilience of our cities, the relevance of the hydraulic behavior of surface drainage systems is clear

Time for change: a new training programme for morpho-molecular pathologists?

The evolution of cellular pathology as a specialty has always been driven by technological developments and the clinical relevance of incorporating novel investigations into diagnostic practice. In recent years, the molecular characterisation of cancer has become of crucial relevance in patient treatment both for predictive testing and subclassification of certain tumours. Much of this has become possible due to the availability of next-generation sequencing technologies and the whole-genome sequencing of tumours is now being rolled out into clinical practice in England via the 100 000 Genome Project. The effective integration of cellular pathology reporting and genomic characterisation is crucial to ensure the morphological and genomic data are interpreted in the relevant context, though despite this, in many UK centres molecular testing is entirely detached from cellular pathology departments. The CM-Path initiative recognises there is a genomics knowledge and skills gap within cellular pathology that needs to be bridged through an upskilling of the current workforce and a redesign of pathology training. Bridging this gap will allow the development of an integrated 'morphomolecular pathology' specialty, which can maintain the relevance of cellular pathology at the centre of cancer patient management and allow the pathology community to continue to be a major influence in cancer discovery as well as playing a driving role in the delivery of precision medicine approaches. Here, several alternative models of pathology training, designed to address this challenge, are presented and appraised