Coordination via Interaction Constraints I: Local Logic

Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction. Our model captures behaviour described in terms of synchronisation and data flow constraints, plus various modes of interaction with the outside world provided by external constraint symbols, on-the-fly constraint generation, and coordination variables. Underlying our approach is an engine performing (partial) constraint satisfaction of the sets of constraints. Our model extends previous work on three counts: firstly, a more advanced notion of external interaction is offered; secondly, our approach enables local satisfaction of constraints with appropriate partial solutions, avoiding global synchronisation over the entire constraints set; and, as a consequence, constraint satisfaction can finally occur concurrently, and multiple parts of a set of constraints can be solved and interact with the outside world in an asynchronous manner, unless synchronisation is required by the constraints. This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic

Integrated Structure and Semantics for Reo Connectors and Petri Nets

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a number of interconnected, user-defined primitives with fixed behavior. While the structure of connectors resembles hypergraphs, their semantics is given in terms of so-called port automata. We define both models in a categorical setting where composition operations can be elegantly defined and integrated. Specifically, we formalize structural gluings of connectors as pushouts, and joins of port automata as pullbacks. We then define a semantical functor from the connector to the port automata category which preserves this composition. We further show how to encode Reo connectors and Petri nets into this model and indicate applications to dynamic reconfigurations modeled using double pushout graph transformation

MEG language mapping using a novel automatic ECD algorithm in comparison with MNE, dSPM, and DICS beamformer

IntroductionThe single equivalent current dipole (sECD) is the standard clinical procedure for presurgical language mapping in epilepsy using magnetoencephalography (MEG). However, the sECD approach has not been widely used in clinical assessments, mainly because it requires subjective judgements in selecting several critical parameters. To address this limitation, we developed an automatic sECD algorithm (AsECDa) for language mapping.MethodsThe localization accuracy of the AsECDa was evaluated using synthetic MEG data. Subsequently, the reliability and efficiency of AsECDa were compared to three other common source localization methods using MEG data recorded during two sessions of a receptive language task in 21 epilepsy patients. These methods include minimum norm estimation (MNE), dynamic statistical parametric mapping (dSPM), and dynamic imaging of coherent sources (DICS) beamformer.ResultsFor the synthetic single dipole MEG data with a typical signal-to-noise ratio, the average localization error of AsECDa was less than 2 mm for simulated superficial and deep dipoles. For the patient data, AsECDa showed better test-retest reliability (TRR) of the language laterality index (LI) than MNE, dSPM, and DICS beamformer. Specifically, the LI calculated with AsECDa revealed excellent TRR between the two MEG sessions across all patients (Cor = 0.80), while the LI for MNE, dSPM, DICS-event-related desynchronization (ERD) in the alpha band, and DICS-ERD in the low beta band ranged lower (Cor = 0.71, 0.64, 0.54, and 0.48, respectively). Furthermore, AsECDa identified 38% of patients with atypical language lateralization (i.e., right lateralization or bilateral), compared to 73%, 68%, 55%, and 50% identified by DICS-ERD in the low beta band, DICS-ERD in the alpha band, MNE, and dSPM, respectively. Compared to other methods, AsECDa’s results were more consistent with previous studies that reported atypical language lateralization in 20-30% of epilepsy patients.DiscussionOur study suggests that AsECDa is a promising approach for presurgical language mapping, and its fully automated nature makes it easy to implement and reliable for clinical evaluations

Uniqueness Typing for Resource Management in Message-Passing Concurrency

We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. Inevitably, the added expressiveness increases the possibilities for runtime errors. We define a substructural type system which combines uniqueness typing and affine typing to reject these ill-behaved programs

Introduction : screen Londons

Our aim, in editing the ‘London Issue’ of this journal, is to contribute to a conversation between scholars of British cinema and television, London historians and scholars of the cinematic city. In 2007, introducing the themed issue on ‘Space and Place in British Cinema and Television’, Steve Chibnall and Julian Petley observed that it would have been possible to fill the whole journal with essays about the representation of London. This issue does just that, responding to the increased interest in cinematic and, to a lesser extent, televisual, Londons, while also demonstrating the continuing fertility of the paradigms of ‘space and place’ for scholars of the moving image1. It includes a wide range of approaches to the topic of London on screen, with varying attention to British institutions of the moving image – such as Channel Four or the British Board of Film Classification – as well as to concepts such as genre, narration and memory. As a whole, the issue, through its juxtapositions of method and approach, shows something of the complexity of encounters between the terms ‘London’, ‘cinema’ and ‘television’ within British film and television studies

Epilepsy Center Characteristics and Geographic Region Influence Presurgical Testing in the United States

bjective Persons with drug‐resistant epilepsy may benefit from epilepsy surgery and should undergo presurgical testing to determine potential candidacy and appropriate intervention. Institutional expertise can influence use and availability of evaluations and epilepsy surgery candidacy. This census survey study aims to examine the influence of geographic region and other center characteristics on presurgical testing for medically intractable epilepsy. Methods We analyzed annual report and supplemental survey data reported in 2020 from 206 adult epilepsy center directors and 136 pediatric epilepsy center directors in the United States. Test utilization data were compiled with annual center volumes, available resources, and US Census regional data. We used Wilcoxon rank‐sum, Kruskal–Wallis, and chi‐squared tests for univariate analysis of procedure utilization. Multivariable modeling was also performed to assign odds ratios (ORs) of significant variables. Results The response rate was 100% with individual element missingness \u3c 11% across 342 observations undergoing univariate analysis. A total of 278 complete observations were included in the multivariable models, and significant regional differences were present. For instance, compared to centers in the South, those in the Midwest used neuropsychological testing (OR = 2.87, 95% confidence interval [CI] = 1.2–6.86; p = .018) and fluorodeoxyglucose–positron emission tomography (OR = 2.74, 95% CI = = 1.14–6.61; p = .025) more commonly. For centers in the Northeast (OR = .46, 95% CI = .23–.93; p = .031) and West (OR = .41, 95% CI = .19–.87; p = .022), odds of performing single‐photon emission computerized tomography were lower by nearly 50% compared to those in the South. Center accreditation level, demographics, volume, and resources were also associated with varying individual testing rates. Significance Presurgical testing for drug‐resistant epilepsy is influenced by US geographic region and other center characteristics. These findings have potential implications for comparing outcomes between US epilepsy centers and may inject disparities in access to surgical treatment

Association Between Characteristics of National Association of Epilepsy Centers and Reported Utilization of Specific Surgical Techniques

Background and Objective Nearly one-third of persons with epilepsy will continue having seizures despite trialing multiple antiseizure medications. Epilepsy surgery may be beneficial in these cases, and evaluation at a comprehensive epilepsy center is recommended. Numerous palliative and potentially curative approaches exist, and types of surgery performed may be influenced by center characteristics. This article describes epilepsy center characteristics associated with epilepsy surgery access and volumes in the United States. Methods We analyzed National Association of Epilepsy Centers 2019 annual report and supplemental survey data obtained with responses from 206 adult epilepsy center directors and 136 pediatric epilepsy center directors in the United States. Surgical treatment volumes were compiled with center characteristics, including US Census region. We used multivariable modeling with zero-inflated Poisson regression models to present ORs and incidence rate ratios of receiving a given surgery type based on center characteristics. Results The response rate was 100% with individual element missingness less than 4% across 352 observations undergoing univariate analysis. Multivariable models included 319 complete observations. Significant regional differences were present. The rates of laser interstitial thermal therapy (LITT) were lower at centers in the Midwest (incidence rate ratio [IRR] 0.74, 95% CI 0.59–0.92; p = 0.006) and Northeast (IRR 0.77, 95% CI 0.61–0.96; p = 0.022) compared with those in the South. Conversely, responsive neurostimulation implantation rates were higher in the Midwest (IRR 1.45, 95% CI 1.1–1.91; p = 0.008) and West (IRR 1.91, 95% CI 1.49–2.44; p \u3c 0.001) compared with the South. Center accreditation level, institution type, demographics, and resources were also associated with variations in access and rates of potentially curative and palliative surgical interventions. Discussion Epilepsy surgery procedure volumes are influenced by US epilepsy center region and other characteristics. These variations may affect access to specific surgical treatments for persons with drug resistant epilepsy across the United States

A large scale hearing loss screen reveals an extensive unexplored genetic landscape for auditory dysfunction

The developmental and physiological complexity of the auditory system is likely reflected in the underlying set of genes involved in auditory function. In humans, over 150 non-syndromic loci have been identified, and there are more than 400 human genetic syndromes with a hearing loss component. Over 100 non-syndromic hearing loss genes have been identified in mouse and human, but we remain ignorant of the full extent of the genetic landscape involved in auditory dysfunction. As part of the International Mouse Phenotyping Consortium, we undertook a hearing loss screen in a cohort of 3006 mouse knockout strains. In total, we identify 67 candidate hearing loss genes. We detect known hearing loss genes, but the vast majority, 52, of the candidate genes were novel. Our analysis reveals a large and unexplored genetic landscape involved with auditory function

Genome of the Asian Longhorned Beetle (\u3cem\u3eAnoplophora glabripennis\u3c/em\u3e), a Globally Significant Invasive Species, Reveals Key Functional and Evolutionary Innovations at the Beetle-Plant Interface

Background: Relatively little is known about the genomic basis and evolution of wood-feeding in beetles. We undertook genome sequencing and annotation, gene expression assays, studies of plant cell wall degrading enzymes, and other functional and comparative studies of the Asian longhorned beetle, Anoplophora glabripennis, a globally significant invasive species capable of inflicting severe feeding damage on many important tree species. Complementary studies of genes encoding enzymes involved in digestion of woody plant tissues or detoxification of plant allelochemicals were undertaken with the genomes of 14 additional insects, including the newly sequenced emerald ash borer and bull-headed dung beetle. Results: The Asian longhorned beetle genome encodes a uniquely diverse arsenal of enzymes that can degrade the main polysaccharide networks in plant cell walls, detoxify plant allelochemicals, and otherwise facilitate feeding on woody plants. It has the metabolic plasticity needed to feed on diverse plant species, contributing to its highly invasive nature. Large expansions of chemosensory genes involved in the reception of pheromones and plant kairomones are consistent with the complexity of chemical cues it uses to find host plants and mates. Conclusions: Amplification and functional divergence of genes associated with specialized feeding on plants, including genes originally obtained via horizontal gene transfer from fungi and bacteria, contributed to the addition, expansion, and enhancement of the metabolic repertoire of the Asian longhorned beetle, certain other phytophagous beetles, and to a lesser degree, other phytophagous insects. Our results thus begin to establish a genomic basis for the evolutionary success of beetles on plants

All-sky search in early O3 LIGO data for continuous gravitational-wave signals from unknown neutron stars in binary systems

Rapidly spinning neutron stars are promising sources of continuous gravitational waves. Detecting such a signal would allow probing of the physical properties of matter under extreme conditions. A significant fraction of the known pulsar population belongs to binary systems. Searching for unknown neutron stars in binary systems requires specialized algorithms to address unknown orbital frequency modulations. We present a search for continuous gravitational waves emitted by neutron stars in binary systems in early data from the third observing run of the Advanced LIGO and Advanced Virgo detectors using the semicoherent, GPU-accelerated, binaryskyhough pipeline. The search analyzes the most sensitive frequency band of the LIGO detectors, 50-300 Hz. Binary orbital parameters are split into four regions, comprising orbital periods of three to 45 days and projected semimajor axes of two to 40 light seconds. No detections are reported. We estimate the sensitivity of the search using simulated continuous wave signals, achieving the most sensitive results to date across the analyzed parameter space