Multipass automata and group word problems

We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes

Simplifying Satellite and Ground Data Validation with Level-2 Subsetting

We demonstrate that scientists can simplify their satellite data validation workflow with the use of NASA Godddard Earth Sciences Data and Information Services Center (GES DISC) subsetting services. We perform a sample validation of Aura ozone products collocated with ground-based ozone measurements using subsetting services to trim satellite data to only the relevant user-defined variables and spatio-temporal region. Because the subsetting service automatically returns only relevant data granules that adhere to a set of user-defined coincidence criteria, user workload is greatly reduced. Moreover, the resultant data files are substantially smaller than full data granules due to the subsetting service further culling the data to the relevant geospatio-temporal coincidence criteria, user-defined variables, and user-defined dimensions of variables. This decreases data download throughput and file storage requirements. The validation presented here quantifies the time and file size savings that can be achieved by utilizing subsetting services within the satellite data validation workflow

Streamlining Access to Satellite Level 2 Data

Users wishing to work with Satellite Level 2 data often have to overcome many hurdles: various file format standards, large files containing hundreds of variables, inconsistent presentation of geospatial and temporal variables, inhomogeneous data structures, and nonlinear spatial geometry. The Level 2 Subsetting service at NASA Goddard Earth Sciences Data and Information Services Center (GES DISC) has many options to streamline and simplify user access to this data. In this presentation, we will detail the capabilities of this service and demonstrate how users can incorporate it into their Level 2 data workflow

Fremanezumab for the Preventive Treatment of Chronic Migraine.

BACKGROUND: Fremanezumab, a humanized monoclonal antibody targeting calcitonin gene-related peptide (CGRP), is being investigated as a preventive treatment for migraine. We compared two fremanezumab dose regimens with placebo for the prevention of chronic migraine. METHODS: In this phase 3 trial, we randomly assigned patients with chronic migraine (defined as headache of any duration or severity on ≥15 days per month and migraine on ≥8 days per month) in a 1:1:1 ratio to receive fremanezumab quarterly (a single dose of 675 mg at baseline and placebo at weeks 4 and 8), fremanezumab monthly (675 mg at baseline and 225 mg at weeks 4 and 8), or matching placebo. Both fremanezumab and placebo were administered by means of subcutaneous injection. The primary end point was the mean change from baseline in the average number of headache days (defined as days in which headache pain lasted ≥4 consecutive hours and had a peak severity of at least a moderate level or days in which acute migraine-specific medication [triptans or ergots] was used to treat a headache of any severity or duration) per month during the 12 weeks after the first dose. RESULTS: Of 1130 patients enrolled, 376 were randomly assigned to fremanezumab quarterly, 379 to fremanezumab monthly, and 375 to placebo. The mean number of baseline headache days (as defined above) per month was 13.2, 12.8, and 13.3, respectively. The least-squares mean (±SE) reduction in the average number of headache days per month was 4.3±0.3 with fremanezumab quarterly, 4.6±0.3 with fremanezumab monthly, and 2.5±0.3 with placebo (P CONCLUSIONS: Fremanezumab as a preventive treatment for chronic migraine resulted in a lower frequency of headache than placebo in this 12-week trial. Injection-site reactions to the drug were common. The long-term durability and safety of fremanezumab require further study. (Funded by Teva Pharmaceuticals; ClinicalTrials.gov number, NCT02621931 .)

Non-invasive vagus nerve stimulation for primary headache: A clinical update.

Background Non-invasive vagus nerve stimulation (nVNS) is a proven treatment for cluster headache and migraine. Several possible mechanisms of action by which nVNS mitigates headache have been identified. Methods We conducted a narrative review of recent scientific and clinical research into nVNS for headache, including findings from mechanistic studies and their possible relationships to the clinical effects of nVNS. Results Findings from animal and human studies have provided possible mechanistic explanations for nVNS efficacy in headache involving four core areas: Autonomic nervous system functions; cortical spreading depression inhibition; neurotransmitter regulation; and nociceptive modulation. We discuss how overlap and interplay among these areas may underlie the utility of nVNS in the context of clinical evidence supporting its safety and efficacy as acute and preventive therapy for both cluster headache and migraine. Possible future nVNS applications are also discussed. Conclusion Significant progress over the past several years has yielded valuable mechanistic and clinical evidence that, combined with the excellent safety and tolerability profile of nVNS, suggests that it should be considered a first-line treatment for both acute and preventive treatment of cluster headache, an effective option for acute treatment of migraine, and a highly relevant, practical option for migraine prevention

Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic

In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic

Complexities in Subsetting Level 2 Data

Satellite Level 2 data presents unique challenges for tools and services. From nonlinear spatial geometry to inhomogeneous file data structure to inconsistent temporal variables to complex data variable dimensionality to multiple file formats, there are many difficulties in creating general tools for Level 2 data support. At NASA Goddard Earth Sciences Data and Information Services Center (GES DISC), we are implementing a general Level 2 Subsetting service for Level 2 data to a user-specified spatio-temporal region of interest (ROI). In this presentation, we will unravel some of the challenges faced in creating this service and the strategies we used to surmount them

Balance control systems in Parkinson's disease and the impact of pedunculopontine area stimulation

Impaired balance is a major contributor to falls and diminished quality of life in Parkinson’s disease, yet the pathophysiology is poorly understood. Here, we assessed if patients with Parkinson’s disease and severe clinical balance impairment have deficits in the intermittent and continuous control systems proposed to maintain upright stance, and furthermore, whether such deficits are potentially reversible, with the experimental therapy of pedunculopontine nucleus deep brain stimulation. Two subject groups were assessed: (i) 13 patients with Parkinson’s disease and severe clinical balance impairment, implanted with pedunculopontine nucleus deep brain stimulators; and (ii) 13 healthy control subjects. Patients were assessed in the OFF medication state and blinded to two conditions; off and on pedunculopontine nucleus stimulation. Postural sway data (deviations in centre of pressure) were collected during quiet stance using posturography. Intermittent control of sway was assessed by calculating the frequency of intermittent switching behaviour (discontinuities), derived using a wavelet-based transformation of the sway time series. Continuous control of sway was assessed with a proportional–integral–derivative (PID) controller model using ballistic reaction time as a measure of feedback delay. Clinical balance impairment was assessed using the ‘pull test’ to rate postural reflexes and by rating attempts to arise from sitting to standing. Patients with Parkinson’s disease demonstrated reduced intermittent switching of postural sway compared with healthy controls. Patients also had abnormal feedback gains in postural sway according to the PID model. Pedunculopontine nucleus stimulation improved intermittent switching of postural sway, feedback gains in the PID model and clinical balance impairment. Clinical balance impairment correlated with intermittent switching of postural sway (rho = − 0.705, P < 0.001) and feedback gains in the PID model (rho = 0.619, P = 0.011). These results suggest that dysfunctional intermittent and continuous control systems may contribute to the pathophysiology of clinical balance impairment in Parkinson’s disease. Clinical balance impairment and their related control system deficits are potentially reversible, as demonstrated by their improvement with pedunculopontine nucleus deep brain stimulation

Migraine and restless legs syndrome: is there an association?

Occasional clinical reports have suggested a link between migraine and restless legs syndrome. We undertook a systematic review of the evidence, which supports this association, and consider possible shared pathogenic mechanisms and the implications for current clinical practice