Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation

Comparison of coupled DEM-CFD and SPH-DEM methods in single and multiple particle sedimentation test cases

In this paper, the capability of two major methods for modelling two-phase flow systems, coupled discrete element method and computational fluid dynamics (DEM-CFD) and smoothed particle hydrodynamics and discrete element method (SPH-DEM), is investigated. The particle phase is modelled using the discrete element method DEM, while the fluid phase is described using either a mesh-based (CFD) or a mesh-less (SPH) method. Comparisons are performed to address algorithmic differences between these methods using a series of verification test cases, prior to its application to more complex systems. The present study describes a comprehensive verification for the fluid-particle simulations with -two different test cases: single particle sedimentation and sedimentation of a constant porosity block. In each case the simulation results are compared with the corresponding analytical solutions showing a good agreement in each case

Why doorstepping can increase household waste recycling

AbstractIn this study we report on a doorstepping intervention which produced a 12.5%, statistically significant, increase in the recycling capture rate. More importantly, we investigate why doorstepping caused the increase, through focus groups, structured interviews and questionnaires. By analyzing the findings with respect to a pragmatic set of eleven clusters of determinants of behaviour change, we find that social norms and emotion were important, with prompts as a more minor determinant. We can now plan further doorstepping knowing an emphasis on these is useful. Knowledge, skills, belief of consequences, belief of capability, action planning, role clarification, feedback, and motivation were determinant clusters found not to be important in this case.Recycling behaviour change interventions often do not generally produce transferable learning because they are usually presented as case studies and not broken down into key elements. Our analytical approach of breaking down a poorly defined activity – doorstepping – into elements which influence different clusters of determinants, and then exploring their separate impacts, allows some predictive planning and optimization for other interventions. The specific context here was residential food waste recycling in apartment blocks of communities in Shanghai, China

On equations over sets of integers

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition S+T=\makeset{m+n}{m \in S, \: n \in T} and with ultimately periodic constants is exactly the class of hyper-arithmetical sets. Equations using addition only can represent every hyper-arithmetical set under a simple encoding. All hyper-arithmetical sets can also be represented by equations over sets of natural numbers equipped with union, addition and subtraction S \dotminus T=\makeset{m-n}{m \in S, \: n \in T, \: m \geqslant n}. Testing whether a given system has a solution is $\Sigma^1_1$-complete for each model. These results, in particular, settle the expressive power of the most general types of language equations, as well as equations over subsets of free groups.Comment: 12 apges, 0 figure

Josephson Coupling and Fiske Dynamics in Ferromagnetic Tunnel Junctions

We report on the fabrication of Nb/AlO_x/Pd_{0.82}Ni_{0.18}/Nb superconductor/insulator/ferromagnetic metal/superconductor (SIFS) Josephson junctions with high critical current densities, large normal resistance times area products, high quality factors, and very good spatial uniformity. For these junctions a transition from 0- to \pi-coupling is observed for a thickness d_F ~ 6 nm of the ferromagnetic Pd_{0.82}Ni_{0.18} interlayer. The magnetic field dependence of the \pi-coupled junctions demonstrates good spatial homogeneity of the tunneling barrier and ferromagnetic interlayer. Magnetic characterization shows that the Pd_{0.82}Ni_{0.18} has an out-of-plane anisotropy and large saturation magnetization, indicating negligible dead layers at the interfaces. A careful analysis of Fiske modes provides information on the junction quality factor and the relevant damping mechanisms up to about 400 GHz. Whereas losses due to quasiparticle tunneling dominate at low frequencies, the damping is dominated by the finite surface resistance of the junction electrodes at high frequencies. High quality factors of up to 30 around 200 GHz have been achieved. Our analysis shows that the fabricated junctions are promising for applications in superconducting quantum circuits or quantum tunneling experiments.Comment: 15 pages, 9 figure

Anomaly analysis of Hawking radiation from Kaluza-Klein black hole with squashed horizon

Considering gravitational and gauge anomalies at the horizon, a new method that to derive Hawking radiations from black holes has been developed by Wilczek et al. In this paper, we apply this method to non-rotating and rotating Kaluza-Klein black holes with squashed horizon, respectively. For the rotating case, we found that, after the dimensional reduction, an effective U(1) gauge field is generated by an angular isometry. The results show that the gauge current and energy-momentum tensor fluxes are exactly equivalent to Hawking radiation from the event horizon.Comment: 15 pages, no figures, the improved version, accepted by Eur. Phys. J.

Chinese Script vs Plate-Like Precipitation of Beta-Al9Fe2Si2 Phase in an Al-6.5Si-1Fe Alloy

The microstructure of a high-purity Al-6.5Si-1Fe(wt pct) alloy after solidification at various cooling rates was investigated. In most of the cases, the monoclinic beta-Al9Fe2Si2 phase was observed as long and thin lamellae. However, at a very slow cooling rate, Febearing precipitates with Chinese script morphology appeared together with lamellae. Further analysis showed all these Chinese script precipitates correspond also to the monoclinic beta phase. This finding stresses that differentiating second phases according to their shape may be misleading

Photoproduction of D∗±D^{*\pm} mesons associated with a leading neutron

The photoproduction of $D^{*\pm} (2010)$ mesons associated with a leading neutron has been observed with the ZEUS detector in $ep$ collisions at HERA using an integrated luminosity of 80 pb$^{-1}$. The neutron carries a large fraction, {$x_L>0.2$}, of the incoming proton beam energy and is detected at very small production angles, {$\theta_n<0.8$ mrad}, an indication of peripheral scattering. The $D^*$ meson is centrally produced with pseudorapidity {$|\eta| 1.9$ GeV}, which is large compared to the average transverse momentum of the neutron of 0.22 GeV. The ratio of neutron-tagged to inclusive $D^*$ production is $8.85\pm 0.93({\rm stat.})^{+0.48}_{-0.61}({\rm syst.})\%$ in the photon-proton center-of-mass energy range {$130 <W<280$ GeV}. The data suggest that the presence of a hard scale enhances the fraction of events with a leading neutron in the final state.Comment: 28 pages, 4 figures, 2 table

COVID-19: Rapid antigen detection for SARS-CoV-2 by lateral flow assay: A national systematic evaluation of sensitivity and specificity for mass-testing

Background Lateral flow device (LFD) viral antigen immunoassays have been developed around the world as diagnostic tests for SARS-CoV-2 infection. They have been proposed to deliver an infrastructure-light, cost-economical solution giving results within half an hour. Methods LFDs were initially reviewed by a Department of Health and Social Care team, part of the UK government, from which 64 were selected for further evaluation from 1st August to 15th December 2020. Standardised laboratory evaluations, and for those that met the published criteria, field testing in the Falcon-C19 research study and UK pilots were performed (UK COVID-19 testing centres, hospital, schools, armed forces). Findings 4/64 LFDs so far have desirable performance characteristics (orient Gene, Deepblue, Abbott and Innova SARS-CoV-2 Antigen Rapid Qualitative Test). All these LFDs have a viral antigen detection of >90% at 100,000 RNA copies/ml. 8951 Innova LFD tests were performed with a kit failure rate of 5.6% (502/8951, 95% CI: 5.1–6.1), false positive rate of 0.32% (22/6954, 95% CI: 0.20–0.48). Viral antigen detection/sensitivity across the sampling cohort when performed by laboratory scientists was 78.8% (156/198, 95% CI 72.4–84.3). Interpretation Our results suggest LFDs have promising performance characteristics for mass population testing and can be used to identify infectious positive individuals. The Innova LFD shows good viral antigen detection/sensitivity with excellent specificity, although kit failure rates and the impact of training are potential issues. These results support the expanded evaluation of LFDs, and assessment of greater access to testing on COVID-19 transmission. Funding Department of Health and Social Care. University of Oxford. Public Health England Porton Down, Manchester University NHS Foundation Trust, National Institute of Health Research

Identification of common genetic risk variants for autism spectrum disorder

Autism spectrum disorder (ASD) is a highly heritable and heterogeneous group of neurodevelopmental phenotypes diagnosed in more than 1% of children. Common genetic variants contribute substantially to ASD susceptibility, but to date no individual variants have been robustly associated with ASD. With a marked sample-size increase from a unique Danish population resource, we report a genome-wide association meta-analysis of 18,381 individuals with ASD and 27,969 controls that identified five genome-wide-significant loci. Leveraging GWAS results from three phenotypes with significantly overlapping genetic architectures (schizophrenia, major depression, and educational attainment), we identified seven additional loci shared with other traits at equally strict significance levels. Dissecting the polygenic architecture, we found both quantitative and qualitative polygenic heterogeneity across ASD subtypes. These results highlight biological insights, particularly relating to neuronal function and corticogenesis, and establish that GWAS performed at scale will be much more productive in the near term in ASD.Peer reviewe