Using Sat solvers for synchronization issues in partial deterministic automata

We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used.Comment: 15 pages, 3 figure

Sciatica (Gridhrasi) - An Ayurveda Perspective

Large number of population suffers from low back pain. Chronic low back pain (CLBP) prevalence increases linearly from the third decade of life on, until the 60 years of age, being more prevalent in women. Sciatica is the most common debilitating condition causes CLBP. Radiating leg pain and related disabilities are the observed in sciatica. Nearly 40% people experience sciatic pain at some point in their life. The diagnosis of sciatica and its management varies considerably within and between countries. Conventional Medicine and surgery are widely used in the management of sciatica. There is radical rise in the use of Complementary and Alternative Medicine (CAM) in patients with sciatica. Ayurveda is one of the widely used CAM in the recent past. Sciatica resembles the disease Gridharsi of Ayurveda. Gridharsi is one among the Vataja nanatmaja vyadhi, where dysfunction of Vata affect gridharsi nadi characterized by low back pain radiating to lower limbs, stiffness and pricking type of pain. It starts from kati- prishta (pelvic region and Lumbosacral) radiating to jangha paada (Thigh, Feets) with impairment of lifting the leg. The gait of the person is very similar to vulture (Gridhra) hence the name is given as Gridharsi. In this article, attempt has been made to review the Ayurvedic classics text and related literatures to understand the disease Gridharsi with emphasis on its samprapti on the basis of Kriyakala and role of Shodhana and Shamana chikitsa in the management of Gridharsi

Electrostatic Origins of CO2-Increased Hydrophilicity in Carbonate Reservoirs

Injecting CO2 into oil reservoirs appears to be cost-effective and environmentally friendly due to decreasing the use of chemicals and cutting back on the greenhouse gas emission released. However, there is a pressing need for new algorithms to characterize oil/brine/rock system wettability, thus better predict and manage CO2 geological storage and enhanced oil recovery in oil reservoirs. We coupled surface complexation/CO2 and calcite dissolution model, and accurately predicted measured oil-on-calcite contact angles in NaCl and CaCl2 solutions with and without CO2. Contact angles decreased in carbonated water indicating increased hydrophilicity under carbonation. Lowered salinity increased hydrophilicity as did Ca2+. Hydrophilicity correlates with independently calculated oil-calcite electrostatic bridging. The link between the two may be used to better implement CO2 EOR in fields

Steering in computational science: mesoscale modelling and simulation

This paper outlines the benefits of computational steering for high performance computing applications. Lattice-Boltzmann mesoscale fluid simulations of binary and ternary amphiphilic fluids in two and three dimensions are used to illustrate the substantial improvements which computational steering offers in terms of resource efficiency and time to discover new physics. We discuss details of our current steering implementations and describe their future outlook with the advent of computational grids.Comment: 40 pages, 11 figures. Accepted for publication in Contemporary Physic

Giant Superfluorescent Bursts from a Semiconductor Magnetoplasma

Currently, considerable resurgent interest exists in the concept of superradiance (SR), i.e., accelerated relaxation of excited dipoles due to cooperative spontaneous emission, first proposed by Dicke in 1954. Recent authors have discussed SR in diverse contexts, including cavity quantum electrodynamics, quantum phase transitions, and plasmonics. At the heart of these various experiments lies the coherent coupling of constituent particles to each other via their radiation field that cooperatively governs the dynamics of the whole system. In the most exciting form of SR, called superfluorescence (SF), macroscopic coherence spontaneously builds up out of an initially incoherent ensemble of excited dipoles and then decays abruptly. Here, we demonstrate the emergence of this photon-mediated, cooperative, many-body state in a very unlikely system: an ultradense electron-hole plasma in a semiconductor. We observe intense, delayed pulses, or bursts, of coherent radiation from highly photo-excited semiconductor quantum wells with a concomitant sudden decrease in population from total inversion to zero. Unlike previously reported SF in atomic and molecular systems that occur on nanosecond time scales, these intense SF bursts have picosecond pulse-widths and are delayed in time by tens of picoseconds with respect to the excitation pulse. They appear only at sufficiently high excitation powers and magnetic fields and sufficiently low temperatures - where various interactions causing decoherence are suppressed. We present theoretical simulations based on the relaxation and recombination dynamics of ultrahigh-density electron-hole pairs in a quantizing magnetic field, which successfully capture the salient features of the experimental observations.Comment: 21 pages, 4 figure

The impact generated by public and charity-funded research in the UK: A systematic literature review

Objective: To identify, synthesize and critically assess the empirical evidence of the impact generated by public and charity funded health research in the United Kingdom. Methods: We conducted a systematic literature review of the empirical evidence published in English in peer-reviewed journals between 2006 and 2017. Studies meeting the inclusion criteria were selected and their findings were analysed using the Payback Framework into five main categories: knowledge, benefits to future research and research use, benefits from informing policy and product development, health and health sector benefits and broader economic benefits. We assessed the studies for risk of selection, reporting and funding bias. Results: Thirteen studies met the inclusion criteria. The majority of the studies (10 out of 13) assessed impact at multiple domains including the main 5 key themes of the Payback Framework. All of them showed a positive impact of funded research on outcomes. Of those studies, one presented low risk of bias (8%), 6 studies were classified as presenting moderate risk of bias (46%) and 6 studies presented high risk of bias (46%). Conclusions: Empirical evidence on the impact of public and charity funded research is still limited and subject to funding and selection bias. More work is needed to establish the causal effects of funded research on academic outcomes, policy, practice and the broader economy

Analytical characterization and pharmacological evaluation of the new psychoactive substance 4-fluoromethylphenidate (4F-MPH) and differentiation between the (±)-threo- and (±)-erythro- diastereomers

Misuse of (±)-threo-methylphenidate (methyl-2-phenyl-2-(piperidin-2-yl)acetate; Ritalin®, MPH) has long been acknowledged, but the appearance of MPH analogs in the form of ‘research chemicals’ has only emerged in more recent years. 4-Fluoromethylphenidate (4F-MPH) is one of these recent examples and this study presents the identification and analytical characterization of two powdered 4F-MPH products that were obtained from an online vendor in 2015. Interestingly, the products appeared to have originated from two distinct batches given that one product consisted of (±)-threo-4F-MPH isomers whereas the second sample consisted of a mixture of (±)-threo and (±)-erythro 4F-MPH. Monoamine transporter studies using rat brain synaptosomes revealed that the biological activity of the 4F-MPH mixture resided with the (±)-threo- and not the (±)-erythro isomers based on higher potencies determined for blockage of dopamine uptake (IC50 4F-MPHmixture = 66 nM vs. IC50 (±)-threo = 61 nM vs. IC50 (±)-erythro = 8,528 nM) and norepinephrine uptake (IC50 4F-MPHmixture = 45 nM vs. (±)-threo = 31 nM vs. IC50 (±)-erythro = 3,779 nM). In comparison, MPH was three times less potent than (±)-threo-4F-MPH at the dopamine transporter (IC50 = 131 nM) and around 2.5-times less potent at the norepinephrine transporter (IC50 = 83 nM). Both substances were catecholamine selective with IC50 values of 8,805 nM and >10,000 nM for (±)-threo-4F-MPH and MPH at the serotonin transporter. These findings suggest that the psychostimulant properties of (±)-threo-4F-MPH might be more potent in humans than MPH

Historical Reconstruction Reveals Recovery in Hawaiian Coral Reefs

Coral reef ecosystems are declining worldwide, yet regional differences in the trajectories, timing and extent of degradation highlight the need for in-depth regional case studies to understand the factors that contribute to either ecosystem sustainability or decline. We reconstructed social-ecological interactions in Hawaiian coral reef environments over 700 years using detailed datasets on ecological conditions, proximate anthropogenic stressor regimes and social change. Here we report previously undetected recovery periods in Hawaiian coral reefs, including a historical recovery in the MHI (∼AD 1400–1820) and an ongoing recovery in the NWHI (∼AD 1950–2009+). These recovery periods appear to be attributed to a complex set of changes in underlying social systems, which served to release reefs from direct anthropogenic stressor regimes. Recovery at the ecosystem level is associated with reductions in stressors over long time periods (decades+) and large spatial scales (>103 km2). Our results challenge conventional assumptions and reported findings that human impacts to ecosystems are cumulative and lead only to long-term trajectories of environmental decline. In contrast, recovery periods reveal that human societies have interacted sustainably with coral reef environments over long time periods, and that degraded ecosystems may still retain the adaptive capacity and resilience to recover from human impacts

Vaccination against Foot-and-mouth disease : do initial conditions affect its benefit?

When facing incursion of a major livestock infectious disease, the decision to implement a vaccination programme is made at the national level. To make this decision, governments must consider whether the benefits of vaccination are sufficient to outweigh potential additional costs, including further trade restrictions that may be imposed due to the implementation of vaccination. However, little consensus exists on the factors triggering its implementation on the field. This work explores the effect of several triggers in the implementation of a reactive vaccination-to-live policy when facing epidemics of foot-and-mouth disease. In particular, we tested whether changes in the location of the incursion and the delay of implementation would affect the epidemiological benefit of such a policy in the context of Scotland. To reach this goal, we used a spatial, premises-based model that has been extensively used to investigate the effectiveness of mitigation procedures in Great Britain. The results show that the decision to vaccinate, or not, is not straightforward and strongly depends on the underlying local structure of the population-at-risk. With regards to disease incursion preparedness, simply identifying areas of highest population density may not capture all complexities that may influence the spread of disease as well as the benefit of implementing vaccination. However, if a decision to vaccinate is made, we show that delaying its implementation in the field may markedly reduce its benefit. This work provides guidelines to support policy makers in their decision to implement, or not, a vaccination-to-live policy when facing epidemics of infectious livestock disease

Search for Axionlike and Scalar Particles with the NA64 Experiment

We carried out a model-independent search for light scalar (s) and pseudoscalar axionlike (a) particles that couple to two photons by using the high-energy CERN SPS H4 electron beam. The new particles, if they exist, could be produced through the Primakoff effect in interactions of hard bremsstrahlung photons generated by 100 GeV electrons in the NA64 active dump with virtual photons provided by the nuclei of the dump. The a(s) would penetrate the downstream HCAL module, serving as shielding, and would be observed either through their $a(s)\to\gamma \gamma$ decay in the rest of the HCAL detector or as events with large missing energy if the a(s) decays downstream of the HCAL. This method allows for the probing the a(s) parameter space, including those from generic axion models, inaccessible to previous experiments. No evidence of such processes has been found from the analysis of the data corresponding to $2.84\times10^{11}$ electrons on target allowing to set new limits on the $a(s)\gamma\gamma$-coupling strength for a(s) masses below 55 MeV.Comment: This publication is dedicated to the memory of our colleague Danila Tlisov. 7 pages, 5 figures, revised version accepted for publication in Phys. Rev. Let