232 research outputs found

    The smallest Mealy automaton of intermediate growth

    Get PDF
    In this paper we study the smallest Mealy automaton of intermediate growth, first considered by the last two authors. We describe the automatic transformation monoid it defines, give a formula for the generating series for its (ball volume) growth function, and give sharp asymptotics for its growth function, namely [ F(n) \sim 2^{5/2} 3^{3/4} \pi^{-2} n^{1/4} \exp{\pi\sqrt{n/6}} ] with the ratios of left- to right-hand side tending to 1 as nn \to \infty

    Minimal Synthesis of String To String Functions From Examples

    Full text link
    We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite automata (DFA) that read pairs of letters, one letter from the input and one from the output. The DFA corresponding to these transformations have additional constraints, ensuring that each input string is mapped to exactly one output string. We suggest that, given a set of input/output examples, the smallest DFA consistent with the examples is a good candidate for the transformation the user was expecting. We therefore study the problem of, given a set of examples, finding a minimal DFA consistent with the examples and satisfying the functionality and totality constraints mentioned above. We prove that, in general, this problem (the corresponding decision problem) is NP-complete. This is unlike the standard DFA minimization problem which can be solved in polynomial time. We provide several NP-hardness proofs that show the hardness of multiple (independent) variants of the problem. Finally, we propose an algorithm for finding the minimal DFA consistent with input/output examples, that uses a reduction to SMT solvers. We implemented the algorithm, and used it to evaluate the likelihood that the minimal DFA indeed corresponds to the DFA expected by the user.Comment: SYNT 201

    A three-group study, internet-based, face-to-face based and standard- management after acute whiplash associated disorders (WAD) – choosing the most efficient and cost-effective treatment: study protocol of a randomized controlled trial

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>The management of Whiplash Associated Disorders is one of the most complicated challenges with high expenses for the health care system and society. There are still no general guidelines or scientific documentation to unequivocally support any single treatment for acute care following whiplash injury.</p> <p>The main purpose of this study is to try a new behavioural medicine intervention strategy at acute phase aimed to reduce the number of patients who have persistent problems after the whiplash injury. The goal is also to identify which of three different interventions that is most cost-effective for patients with Whiplash Associated Disorders. In this study we are controlling for two factors. First, the effect of behavioural medicine approach is compared with standard care. Second, the manner in which the behavioural medicine treatment is administered, Internet or face-to-face, is evaluated in it's effectiveness and cost-effectiveness.</p> <p>Methods/Design</p> <p>The study is a randomized, prospective, experimental three-group study with analyses of cost-effectiveness up to two-years follow-up. <it>Internet – based programme </it>and <it>face-to-face group treatment programme </it>are compared to <it>standard-treatment </it>only. Patient follow-ups take place three, six, twelve and 24 months, that is, short-term as well as long-term effects are evaluated. Patients will be enrolled via the emergency ward during the first week after the accident.</p> <p>Discussion</p> <p>This new self-help management will concentrate to those psychosocial factors that are shown to be predictive in long-term problems in Whiplash Associated Disorders, i.e. the importance of self-efficacy, fear of movement, and the significance of catastrophizing as a coping strategy for restoring and sustaining activities of daily life. Within the framework of this project, we will develop, broaden and evaluate current physical therapy treatment methods for acute Whiplash Associated Disorders. The project will contribute to the creation of a cost-effective behavioural medicine approach to management of acute Whiplash Associated Disorders. The results of this study will answer an important question; on what extent and how should these patients be treated at acute stage and how much does the best management cost.</p> <p>Trial registration number</p> <p>Current Controlled Trials ISRCTN61531337</p

    Utilisation of an operative difficulty grading scale for laparoscopic cholecystectomy

    Get PDF
    Background A reliable system for grading operative difficulty of laparoscopic cholecystectomy would standardise description of findings and reporting of outcomes. The aim of this study was to validate a difficulty grading system (Nassar scale), testing its applicability and consistency in two large prospective datasets. Methods Patient and disease-related variables and 30-day outcomes were identified in two prospective cholecystectomy databases: the multi-centre prospective cohort of 8820 patients from the recent CholeS Study and the single-surgeon series containing 4089 patients. Operative data and patient outcomes were correlated with Nassar operative difficultly scale, using Kendall’s tau for dichotomous variables, or Jonckheere–Terpstra tests for continuous variables. A ROC curve analysis was performed, to quantify the predictive accuracy of the scale for each outcome, with continuous outcomes dichotomised, prior to analysis. Results A higher operative difficulty grade was consistently associated with worse outcomes for the patients in both the reference and CholeS cohorts. The median length of stay increased from 0 to 4 days, and the 30-day complication rate from 7.6 to 24.4% as the difficulty grade increased from 1 to 4/5 (both p < 0.001). In the CholeS cohort, a higher difficulty grade was found to be most strongly associated with conversion to open and 30-day mortality (AUROC = 0.903, 0.822, respectively). On multivariable analysis, the Nassar operative difficultly scale was found to be a significant independent predictor of operative duration, conversion to open surgery, 30-day complications and 30-day reintervention (all p < 0.001). Conclusion We have shown that an operative difficulty scale can standardise the description of operative findings by multiple grades of surgeons to facilitate audit, training assessment and research. It provides a tool for reporting operative findings, disease severity and technical difficulty and can be utilised in future research to reliably compare outcomes according to case mix and intra-operative difficulty

    Emergence of responsible sanctions without second order free riders, antisocial punishment or spite

    Get PDF
    While empirical evidence highlights the importance of punishment for cooperation in collective action, it remains disputed how responsible sanctions targeted predominantly at uncooperative subjects can evolve. Punishment is costly; in order to spread it typically requires local interactions, voluntary participation, or rewards. Moreover, theory and experiments indicate that some subjects abuse sanctioning opportunities by engaging in antisocial punishment (which harms cooperators), spiteful acts (harming everyone) or revenge (as a response to being punished). These arguments have led to the conclusion that punishment is maladaptive. Here, we use evolutionary game theory to show that this conclusion is premature: If interactions are non-anonymous, cooperation and punishment evolve even if initially rare, and sanctions are directed towards non-cooperators only. Thus, our willingness to punish free riders is ultimately a selfish decision rather than an altruistic act; punishment serves as a warning, showing that one is not willing to accept unfair treatments

    Self-expanding metal stents in malignant colonic obstruction: experiences from Sweden

    Get PDF
    <p/> <p>Background</p> <p>Acute surgery in the management of malignant colonic obstruction is associated with high morbidity and mortality. The use of self-expanding metal stents (SEMS) is an alternative method of decompressing colonic obstruction. SEMS may allow time to optimize the patient and to perform preoperative staging, converting acute surgery into elective. SEMS is also proposed as palliative treatment in patients with contraindications to open surgery. Aim: To review our experience of SEMS focusing on clinical outcome and complications. The method used was a review of 75 consecutive trials at SEMS on 71 patients based on stent-protocols and patient charts.</p> <p>Findings</p> <p>SEMS was used for palliation in 64 (85%) cases and as a bridge to surgery in 11 (15%) cases. The majority of obstructions, 53 (71%) cases, were located in the recto-sigmoid. Technical success was achieved in 65 (87%) cases and clinical decompression was achieved in 60 (80%) cases. Reasons for technical failure were inability to cannulate the stricture in 5 (7%) cases and suboptimal SEMS placement in 3 (4%) cases. Complications included 4 (5%) procedure-related bowel perforations of which 2 (3%) patients died in junction to post operative complications. Three cases of bleeding after SEMS occurred, none of which needed invasive treatment. Five of the SEMS occluded. Two cases of stent erosion were diagnosed at the time of surgery. Average survival after palliative SEMS treatment was 6 months.</p> <p>Conclusion</p> <p>Our results correspond well to previously published data and we conclude that SEMS is a relatively safe and effective method of treating malignant colonic obstruction although the risk of SEMS-related perforations has to be taken into account.</p

    Collaborative International Research in Clinical and Longitudinal Experience Study in NMOSD

    Get PDF
    OBJECTIVE: To develop a resource of systematically collected, longitudinal clinical data and biospecimens for assisting in the investigation into neuromyelitis optica spectrum disorder (NMOSD) epidemiology, pathogenesis, and treatment. METHODS: To illustrate its research-enabling purpose, epidemiologic patterns and disease phenotypes were assessed among enrolled subjects, including age at disease onset, annualized relapse rate (ARR), and time between the first and second attacks. RESULTS: As of December 2017, the Collaborative International Research in Clinical and Longitudinal Experience Study (CIRCLES) had enrolled more than 1,000 participants, of whom 77.5% of the NMOSD cases and 71.7% of the controls continue in active follow-up. Consanguineous relatives of patients with NMOSD represented 43.6% of the control cohort. Of the 599 active cases with complete data, 84% were female, and 76% were anti-AQP4 seropositive. The majority were white/Caucasian (52.6%), whereas blacks/African Americans accounted for 23.5%, Hispanics/Latinos 12.4%, and Asians accounted for 9.0%. The median age at disease onset was 38.4 years, with a median ARR of 0.5. Seropositive cases were older at disease onset, more likely to be black/African American or Hispanic/Latino, and more likely to be female. CONCLUSION: Collectively, the CIRCLES experience to date demonstrates this study to be a useful and readily accessible resource to facilitate accelerating solutions for patients with NMOSD

    Treatment of neuromyelitis optica: state-of-the-art and emerging therapies.

    Get PDF
    Neuromyelitis optica (NMO) is an autoimmune disease of the CNS that is characterized by inflammatory demyelinating lesions in the spinal cord and optic nerve, potentially leading to paralysis and blindness. NMO can usually be distinguished from multiple sclerosis (MS) on the basis of seropositivity for IgG antibodies against the astrocytic water channel aquaporin-4 (AQP4). Differentiation from MS is crucial, because some MS treatments can exacerbate NMO. NMO pathogenesis involves AQP4-IgG antibody binding to astrocytic AQP4, which causes complement-dependent cytotoxicity and secondary inflammation with granulocyte and macrophage infiltration, blood-brain barrier disruption and oligodendrocyte injury. Current NMO treatments include general immunosuppressive agents, B-cell depletion, and plasma exchange. Therapeutic strategies targeting complement proteins, the IL-6 receptor, neutrophils, eosinophils and CD19--all initially developed for other indications--are under clinical evaluation for repurposing for NMO. Therapies in the preclinical phase include AQP4-blocking antibodies and AQP4-IgG enzymatic inactivation. Additional, albeit currently theoretical, treatment options include reduction of AQP4 expression, disruption of AQP4 orthogonal arrays, enhancement of complement inhibitor expression, restoration of the blood-brain barrier, and induction of immune tolerance. Despite the many therapeutic options in NMO, no controlled clinical trials in patients with this condition have been conducted to date
    corecore