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

Gaps in patient reported outcome measures in randomised clinical trials of cardiac catheter ablation: a systematic review

Aims: To systematically evaluate randomised clinical trials of cardiac catheter ablation and to assess the prevalence, characteristics and reporting standards of clinically relevant patient reported outcome measures (PROMs). / Methods and Results: Electronic database searches of Medline, Embase, CENTRAL and the WHO Trial Registry were conducted in March 2019. The study protocol was registered on PROSPERO (CRD42019133086). Of 7,125 records identified, 237 RCTs were included for analysis, representing 35,427 patients with a mean age of 59 years. Only 43 RCTs (18%) reported PROMs of which 27 included a generic PROM that measured health-related quality of life (HRQL) necessary to conduct comparative effectiveness research. There was notable under-representation of certain patient groups - only 31% were women and only 8% were of non-Caucasian ethnicity, in trials which reported such data. The reporting standard of PROMs was highly variable with 8-62% adherence against CONSORT PRO specific items. / Conclusion: PROMs play a crucial role in determining the clinical and cost effectiveness of treatments which primarily offer symptomatic improvement, such as cardiac catheter ablation (CCA). Their underuse significantly limits evaluation of the comparative effectiveness of treatments. Using CCA as an exemplar, there are additional issues of infrequent assessment, poor reporting and under-representation of many population groups. Greater use of PROMs, and specifically validated HRQL questionnaires, is paramount in giving patients a voice in studies, generating more meaningful comparisons between treatments and driving better patient-centred clinical and policy-level decision making

Checking Whether an Automaton Is Monotonic Is NP-complete

An automaton is monotonic if its states can be arranged in a linear order that is preserved by the action of every letter. We prove that the problem of deciding whether a given automaton is monotonic is NP-complete. The same result is obtained for oriented automata, whose states can be arranged in a cyclic order. Moreover, both problems remain hard under the restriction to binary input alphabets.Comment: 13 pages, 4 figures. CIAA 2015. The final publication is available at http://link.springer.com/chapter/10.1007/978-3-319-22360-5_2

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

Medial patellofemoral ligament injury patterns and associated pathology in lateral patella dislocation: an MRI study

BACKGROUND: Lateral Patella dislocations are common injuries seen in the active and young adult populations. Our study focus was to evaluate medial patellofemoral ligament (MPFL) injury patterns and associated knee pathology using Magnetic Resonance Imaging studies. METHODS: MRI studies taken at one imaging site between January, 2007 to January, 2008 with the final diagnosis of patella dislocation were screened for this study. Of the 324 cases that were found, 195 patients with lateral patellar dislocation traumatic enough to cause bone bruises on the lateral femoral trochlea and the medial facet of the patella were selected for this study. The MRI images were reviewed by three independent observers for location and type of MPFL injury, osteochondral defects, loose bodies, MCL and meniscus tears. The data was analyzed as a single cohort and by gender. RESULTS: This study consisted of 127 males and 68 females; mean age of 23 yrs. Tear of the MPFL at the patellar attachment occurred in 93/195 knees (47%), at the femoral attachment in 50/195 knees (26%), and at both the femoral and patella attachment sites in 26/195 knees (13%). Attenuation of the MPFL without rupture occurred in 26/195 knees (13%). Associated findings included loose bodies in 23/195 (13%), meniscus tears 41/195 (21%), patella avulsion/fracture in 14/195 (7%), medial collateral ligament sprains/tears in 37/195 (19%) and osteochondral lesions in 96/195 knees (49%). Statistical analysis showed females had significantly more associated meniscus tears than the males (27% vs. 17%, p = 0.04). Although not statistically significant, osteochondral lesions were seen more in male patients with acute patella dislocation (52% vs. 42%, p = 0.08). CONCLUSION: Patients who present with lateral patella dislocation with the classic bone bruise pattern seen on MRI will likely rupture the MPFL at the patellar side. Females are more likely to have an associated meniscal tear than males; however, more males have underlying osteochondral lesions. Given the high percentage of associated pathology, we recommend a MRI of the knee in all patients who present with acute patella dislocation

Artificial graphene as a tunable Dirac material

Artificial honeycomb lattices offer a tunable platform to study massless Dirac quasiparticles and their topological and correlated phases. Here we review recent progress in the design and fabrication of such synthetic structures focusing on nanopatterning of two-dimensional electron gases in semiconductors, molecule-by-molecule assembly by scanning probe methods, and optical trapping of ultracold atoms in crystals of light. We also discuss photonic crystals with Dirac cone dispersion and topologically protected edge states. We emphasize how the interplay between single-particle band structure engineering and cooperative effects leads to spectacular manifestations in tunneling and optical spectroscopies.Comment: Review article, 14 pages, 5 figures, 112 Reference

Modelling the Effect of Temperature on Respiration Rate of Fresh Cut Papaya (Carica papaya L.) Fruits.

A respiration rate (RR) model based on Peleg’s equation was developed for predicting RRs of fresh cut papaya. Respiration data for fresh cut papaya at 3/4 maturity were generated at temperatures 5, 10, 15, 20, 25 and 30°C using a closed system. RRs was found to be significantly influenced by storage temperature and increased from 0.021 to 0.289 mL[O2]/kg·h and 0.063 to 0.393 mL[CO2]/kg·h as a function of O2 and CO2 gas concentrations, respectively. Peleg’s constant K 1 and K 2 were obtained from linear regression analysis using GraphPad Prism 5.0 software and regression coefficients have good fit with values close to unity. The model was verified to assess the capability of its predictability of the RRs over the temperatures. There was good agreement with the experimentally estimated RRs. Information derived from the model can contribute in the design of successful modified atmospheric systems for storage of fresh cut papaya

Discovery of Markers of Exposure Specific to Bites of Lutzomyia longipalpis, the Vector of Leishmania infantum chagasi in Latin America

Leishmania parasites are transmitted by the bite of an infected vector sand fly that injects salivary molecules into the host skin during feeding. Certain salivary molecules can produce antibodies and can be used as an indicator of exposure to a vector sand fly and potentially the disease it transmits. Here we identified potential markers of specific exposure to the sand fly Lutzomyia longipalpis, the vector of visceral leishmaniasis in Latin America. Initially, we determined which of the salivary proteins produce antibodies in humans, dogs, and foxes from areas endemic for the disease. To identify potential specific markers of vector exposure, we produced nine different recombinant salivary proteins from Lu. longipalpis and tested for their recognition by individuals exposed to another human-biting sand fly, Lu. intermedia, that transmits cutaneous leishmaniasis and commonly occurs in the same endemic areas as Lu. longipalpis. Two of the nine salivary proteins were recognized only by humans exposed to Lu. longipalpis, suggesting they are immunogenic proteins and may be useful in epidemiological studies. The identification of specific salivary proteins as potential markers of exposure to vector sand flies will increase our understanding of vector–human interaction, bring new insights to vector control, and in some instances act as an indicator for risk of acquiring disease