Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2

Field-induced quantum fluctuations in the heavy fermion superconductor CeCu2Ge2

Quantum-mechanical fluctuations in strongly correlated electron systems cause unconventional phenomena such as non-Fermi liquid behavior, and arguably high temperature superconductivity. Here we report the discovery of a field-tuned quantum critical phenomenon in stoichiometric CeCu2Ge2, a spin density wave ordered heavy fermion metal that exhibits unconventional superconductivity under ~ 10 GPa of applied pressure. Our finding of the associated quantum critical spin fluctuations of the antiferromagnetic spin density wave order, dominating the local fluctuations due to single-site Kondo effect, provide new information about the underlying mechanism that can be important in understanding superconductivity in this novel compound.Comment: Heavy Fermion, Quantum Critical Phenomeno

Risk factors for race-day fatality in flat racing Thoroughbreds in Great Britain (2000 to 2013)

A key focus of the racing industry is to reduce the number of race-day events where horses die suddenly or are euthanased due to catastrophic injury. The objective of this study was therefore to determine risk factors for race-day fatalities in Thoroughbred racehorses, using a cohort of all horses participating in flat racing in Great Britain between 2000 and 2013. Horse-, race- and course-level data were collected and combined with all race-day fatalities, recorded by racecourse veterinarians in a central database. Associations between exposure variables and fatality were assessed using logistic regression analyses for (1) all starts in the dataset and (2) starts made on turf surfaces only. There were 806,764 starts in total, of which 548,571 were on turf surfaces. A total of 610 fatalities were recorded; 377 (61.8%) on turf. In both regression models, increased firmness of the going, increasing racing distance, increasing average horse performance, first year of racing and wearing eye cover for the first time all increased the odds of fatality. Generally, the odds of fatality also increased with increasing horse age whereas increasing number of previous starts reduced fatality odds. In the ‘all starts’ model, horses racing in an auction race were at 1.46 (95% confidence interval (CI) 1.06–2.01) times the odds of fatality compared with horses not racing in this race type. In the turf starts model, horses racing in Group 1 races were at 3.19 (95% CI 1.71–5.93) times the odds of fatality compared with horses not racing in this race type. Identification of novel risk factors including wearing eye cover and race type will help to inform strategies to further reduce the rate of fatality in flat racing horses, enhancing horse and jockey welfare and safety

Proximity of Iron Pnictide Superconductors to a Quantum Tricritical Point

We determine the nature of the magnetic quantum critical point in the doped LaFeAsO using a set of constrained density functional calculations that provide ab initio coefficients for a Landau order parameter analysis. The system turns out to be remarkably close to a quantum tricritical point, where the nature of the phase transition changes from first to second order. We compare with the effective field theory and discuss the experimental consequences.Comment: 4 pages, 4 figure

Sensory Electrical Stimulation Improves Foot Placement during Targeted Stepping Post-Stroke

Proper foot placement is vital for maintaining balance during walking, requiring the integration of multiple sensory signals with motor commands. Disruption of brain structures post-stroke likely alters the processing of sensory information by motor centers, interfering with precision control of foot placement and walking function for stroke survivors. In this study, we examined whether somatosensory stimulation, which improves functional movements of the paretic hand, could be used to improve foot placement of the paretic limb. Foot placement was evaluated before, during, and after application of somatosensory electrical stimulation to the paretic foot during a targeted stepping task. Starting from standing, twelve chronic stroke participants initiated movement with the non-paretic limb and stepped to one of five target locations projected onto the floor with distances normalized to the paretic stride length. Targeting error and lower extremity kinematics were used to assess changes in foot placement and limb control due to somatosensory stimulation. Significant reductions in placement error in the medial–lateral direction (p = 0.008) were observed during the stimulation and post-stimulation blocks. Seven participants, presenting with a hip circumduction walking pattern, had reductions (p = 0.008) in the magnitude and duration of hip abduction during swing with somatosensory stimulation. Reductions in circumduction correlated with both functional and clinical measures, with larger improvements observed in participants with greater impairment. The results of this study suggest that somatosensory stimulation of the paretic foot applied during movement can improve the precision control of foot placement

Sign-reversal of the in-plane resistivity anisotropy in hole-doped iron pnictides

The in-plane anisotropy of the electrical resistivity across the coupled orthorhombic and magnetic transitions of the iron pnictides has been extensively studied in the parent and electron-doped compounds. All these studies universally show that the resistivity $\rho_{a}$ across the long orthorhombic axis $a_{O}$ - along which the spins couple antiferromagnetically below the magnetic transition temperature - is smaller than the resistivity $\rho_{b}$ of the short orthorhombic axis $b_{O}$, i. e. $\rho_{a}<\rho_{b}$. Here we report that in the hole-doped compounds Ba$_{1-x}$K$_{x}$Fe$_{2}$As$_{2}$, as the doping level increases, the resistivity anisotropy initially becomes vanishingly small, and eventually changes sign for sufficiently large doping, i. e. $\rho_{b}<\rho_{a}$. This observation is in agreement with a recent theoretical prediction that considers the anisotropic scattering of electrons by spin-fluctuations in the orthorhombic/nematic state.Comment: This paper has been replaced by the new version offering new explanation of the experimental results first reported her

A Deep Learning based Pipeline for Efficient Oral Cancer Screening on Whole Slide Images

Oral cancer incidence is rapidly increasing worldwide. The most important determinant factor in cancer survival is early diagnosis. To facilitate large scale screening, we propose a fully automated pipeline for oral cancer detection on whole slide cytology images. The pipeline consists of fully convolutional regression-based nucleus detection, followed by per-cell focus selection, and CNN based classification. Our novel focus selection step provides fast per-cell focus decisions at human-level accuracy. We demonstrate that the pipeline provides efficient cancer classification of whole slide cytology images, improving over previous results both in terms of accuracy and feasibility. The complete source code is available at https://github.com/MIDA-group/OralScreen.Comment: Accepted to ICIAR 202

What traits are carried on mobile genetic elements, and why?

Although similar to any other organism, prokaryotes can transfer genes vertically from mother cell to daughter cell, they can also exchange certain genes horizontally. Genes can move within and between genomes at fast rates because of mobile genetic elements (MGEs). Although mobile elements are fundamentally self-interested entities, and thus replicate for their own gain, they frequently carry genes beneficial for their hosts and/or the neighbours of their hosts. Many genes that are carried by mobile elements code for traits that are expressed outside of the cell. Such traits are involved in bacterial sociality, such as the production of public goods, which benefit a cell's neighbours, or the production of bacteriocins, which harm a cell's neighbours. In this study we review the patterns that are emerging in the types of genes carried by mobile elements, and discuss the evolutionary and ecological conditions under which mobile elements evolve to carry their peculiar mix of parasitic, beneficial and cooperative genes

The holographic principle

There is strong evidence that the area of any surface limits the information content of adjacent spacetime regions, at 10^(69) bits per square meter. We review the developments that have led to the recognition of this entropy bound, placing special emphasis on the quantum properties of black holes. The construction of light-sheets, which associate relevant spacetime regions to any given surface, is discussed in detail. We explain how the bound is tested and demonstrate its validity in a wide range of examples. A universal relation between geometry and information is thus uncovered. It has yet to be explained. The holographic principle asserts that its origin must lie in the number of fundamental degrees of freedom involved in a unified description of spacetime and matter. It must be manifest in an underlying quantum theory of gravity. We survey some successes and challenges in implementing the holographic principle.Comment: 52 pages, 10 figures, invited review for Rev. Mod. Phys; v2: reference adde