A Philosophically Plausible Formal Interpretation of Intuitionistic Logic

This study addresses the mediating role of settlement patterns in the relationship between urbanization and start-up activity. Places do not operate in a vacuum and to understand the effect of 'own' density on start-up patterns, we need to account for the urban spillovers or borrowed size that they may experience from other places nearby. The results can explain the empirical ambiguity in the relationship between urbanization and start-up patterns: the relationship between urbanization and start-up rates becomes more similar between countries when controlling for country-specific settlement patterns by including a spatially lagged urbanization variable and variables measuring the distance to urban centers. Accounting for the relative location of places and relevant sorting effects, we find that 'own' density has a consistently negative effect on start-up activity. Yet, access to other places has a generally positive effect. This implies that nearby regions profit from the advantages offered by urban environments without having to deal with the costs involved

Over-expression of Grhl2 causes spina bifida in the Axial defects mutant mouse

Cranial neural tube defects (NTDs) occur in mice carrying mutant alleles of many different genes, whereas isolated spinal NTDs (spina bifida) occur in fewer models, despite being common human birth defects. Spina bifida occurs at high frequency in the Axial defects (Axd) mouse mutant but the causative gene is not known. In the current study, the Axd mutation was mapped by linkage analysis. Within the critical genomic region, sequencing did not reveal a coding mutation whereas expression analysis demonstrated significant up-regulation of grainyhead-like 2 (Grhl2) in Axd mutant embryos. Expression of other candidate genes did not differ between genotypes. In order to test the hypothesis that over-expression of Grhl2 causes Axd NTDs, we performed a genetic cross to reduce Grhl2 function in Axd heterozygotes. Grhl2 loss of function mutant mice were generated and displayed both cranial and spinal NTDs. Compound heterozygotes carrying both loss (Grhl2 null) and putative gain of function (Axd) alleles exhibited normalization of spinal neural tube closure compared with Axd/+ littermates, which exhibit delayed closure. Grhl2 is expressed in the surface ectoderm and hindgut endoderm in the spinal region, overlapping with grainyhead-like 3 (Grhl3). Axd mutants display delayed eyelid closure, as reported in Grhl3 null embryos. Moreover, Axd mutant embryos exhibited increased ventral curvature of the spinal region and reduced proliferation in the hindgut, reminiscent of curly tail embryos, which carry a hypomorphic allele of Grhl3. Overall, our data suggest that defects in Axd mutant embryos result from over-expression of Grhl2

Mitigating effects of vaccination on influenza outbreaks given constraints in stockpile size and daily administration capacity

<p>Abstract</p> <p>Background</p> <p>Influenza viruses are a major cause of morbidity and mortality worldwide. Vaccination remains a powerful tool for preventing or mitigating influenza outbreaks. Yet, vaccine supplies and daily administration capacities are limited, even in developed countries. Understanding how such constraints can alter the mitigating effects of vaccination is a crucial part of influenza preparedness plans. Mathematical models provide tools for government and medical officials to assess the impact of different vaccination strategies and plan accordingly. However, many existing models of vaccination employ several questionable assumptions, including a rate of vaccination <it>proportional </it>to the population at each point in time.</p> <p>Methods</p> <p>We present a SIR-like model that explicitly takes into account vaccine supply and the <it>number </it>of vaccines administered per day and places data-informed limits on these parameters. We refer to this as the <it>non-proportional </it>model of vaccination and compare it to the proportional scheme typically found in the literature.</p> <p>Results</p> <p>The proportional and non-proportional models behave similarly for a few different vaccination scenarios. However, there are parameter regimes involving the vaccination campaign duration and daily supply limit for which the non-proportional model predicts smaller epidemics that peak later, but may last longer, than those of the proportional model. We also use the non-proportional model to predict the mitigating effects of variably timed vaccination campaigns for different levels of vaccination coverage, using specific constraints on daily administration capacity.</p> <p>Conclusions</p> <p>The non-proportional model of vaccination is a theoretical improvement that provides more accurate predictions of the mitigating effects of vaccination on influenza outbreaks than the proportional model. In addition, parameters such as vaccine supply and daily administration limit can be easily adjusted to simulate conditions in developed and developing nations with a wide variety of financial and medical resources. Finally, the model can be used by government and medical officials to create customized pandemic preparedness plans based on the supply and administration constraints of specific communities.</p

Planck 2015 results. XIII. Cosmological parameters

We present results based on full-mission Planck observations of temperature and polarization anisotropies of the CMB. These data are consistent with the six-parameter inflationary LCDM cosmology. From the Planck temperature and lensing data, for this cosmology we find a Hubble constant, H0= (67.8 +/- 0.9) km/s/Mpc, a matter density parameter Omega_m = 0.308 +/- 0.012 and a scalar spectral index with n_s = 0.968 +/- 0.006. (We quote 68% errors on measured parameters and 95% limits on other parameters.) Combined with Planck temperature and lensing data, Planck LFI polarization measurements lead to a reionization optical depth of tau = 0.066 +/- 0.016. Combining Planck with other astrophysical data we find N_ eff = 3.15 +/- 0.23 for the effective number of relativistic degrees of freedom and the sum of neutrino masses is constrained to < 0.23 eV. Spatial curvature is found to be |Omega_K| < 0.005. For LCDM we find a limit on the tensor-to-scalar ratio of r <0.11 consistent with the B-mode constraints from an analysis of BICEP2, Keck Array, and Planck (BKP) data. Adding the BKP data leads to a tighter constraint of r < 0.09. We find no evidence for isocurvature perturbations or cosmic defects. The equation of state of dark energy is constrained to w = -1.006 +/- 0.045. Standard big bang nucleosynthesis predictions for the Planck LCDM cosmology are in excellent agreement with observations. We investigate annihilating dark matter and deviations from standard recombination, finding no evidence for new physics. The Planck results for base LCDM are in agreement with BAO data and with the JLA SNe sample. However the amplitude of the fluctuations is found to be higher than inferred from rich cluster counts and weak gravitational lensing. Apart from these tensions, the base LCDM cosmology provides an excellent description of the Planck CMB observations and many other astrophysical data sets

Impact of clinical phenotypes on management and outcomes in European atrial fibrillation patients: a report from the ESC-EHRA EURObservational Research Programme in AF (EORP-AF) General Long-Term Registry

Background: Epidemiological studies in atrial fibrillation (AF) illustrate that clinical complexity increase the risk of major adverse outcomes. We aimed to describe European AF patients\u2019 clinical phenotypes and analyse the differential clinical course. Methods: We performed a hierarchical cluster analysis based on Ward\u2019s Method and Squared Euclidean Distance using 22 clinical binary variables, identifying the optimal number of clusters. We investigated differences in clinical management, use of healthcare resources and outcomes in a cohort of European AF patients from a Europe-wide observational registry. Results: A total of 9363 were available for this analysis. We identified three clusters: Cluster 1 (n = 3634; 38.8%) characterized by older patients and prevalent non-cardiac comorbidities; Cluster 2 (n = 2774; 29.6%) characterized by younger patients with low prevalence of comorbidities; Cluster 3 (n = 2955;31.6%) characterized by patients\u2019 prevalent cardiovascular risk factors/comorbidities. Over a mean follow-up of 22.5 months, Cluster 3 had the highest rate of cardiovascular events, all-cause death, and the composite outcome (combining the previous two) compared to Cluster 1 and Cluster 2 (all P &lt;.001). An adjusted Cox regression showed that compared to Cluster 2, Cluster 3 (hazard ratio (HR) 2.87, 95% confidence interval (CI) 2.27\u20133.62; HR 3.42, 95%CI 2.72\u20134.31; HR 2.79, 95%CI 2.32\u20133.35), and Cluster 1 (HR 1.88, 95%CI 1.48\u20132.38; HR 2.50, 95%CI 1.98\u20133.15; HR 2.09, 95%CI 1.74\u20132.51) reported a higher risk for the three outcomes respectively. Conclusions: In European AF patients, three main clusters were identified, differentiated by differential presence of comorbidities. Both non-cardiac and cardiac comorbidities clusters were found to be associated with an increased risk of major adverse outcomes

Geographical and temporal distribution of SARS-CoV-2 clades in the WHO European Region, January to June 2020

We show the distribution of SARS-CoV-2 genetic clades over time and between countries and outline potential genomic surveillance objectives. We applied three available genomic nomenclature systems for SARS-CoV-2 to all sequence data from the WHO European Region available during the COVID-19 pandemic until 10 July 2020. We highlight the importance of real-time sequencing and data dissemination in a pandemic situation. We provide a comparison of the nomenclatures and lay a foundation for future European genomic surveillance of SARS-CoV-2.Peer reviewe

Replicability of Neural Computing Experiments

Amid the ever increasing research into various aspects of neural computing, much progress is evident both from theoretical advances and from empirical studies. On the empirical side a wealth of data from experimental studies is being reported. It is, however, not clear how best to report neural computing experiments such that they may be replicated by other interested researchers. In particular, the nature of iterative learning on a randomised initial architecture, such as backpropagation training of a multilayer perceptron, is such that precise replication of a reported result is virtually impossible. The outcome is that experimental replication of reported results, a touchstone of &quot;the scientific method&quot;, is not an option for researchers in this most popular subfield of neural computing. In this paper, we address this issue of replicability of experiments based on backpropagation training of multilayer perceptrons (although many of our results will be applicable to any other subfield..