686 research outputs found
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 across the long
orthorhombic axis - along which the spins couple antiferromagnetically
below the magnetic transition temperature - is smaller than the resistivity
of the short orthorhombic axis , i. e. .
Here we report that in the hole-doped compounds
BaKFeAs, as the doping level increases, the
resistivity anisotropy initially becomes vanishingly small, and eventually
changes sign for sufficiently large doping, i. e. . 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
Genotype-environment interaction in common bean cultivars with carioca grain, recommended for cultivation in Brazil in the last 40 years
- …