Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Two-Body Photodisintegration of the Deuteron up to 2.8 GeV

Measurements were performed for the photodisintegration cross section of the deuteron for photon energies from 1.6 to 2.8 GeV and center-of-mass angles from 37° to 90°. The measured energy dependence of the cross section at θc.m. = 90° is in agreement with the constituent counting rules

Complications arising from a misdiagnosed giant lipoma of the hand and palm: a case report

<p>Abstract</p> <p>Introduction</p> <p>Lipomas are benign tumors which may appear in almost any human organ. Their diagnosis rate in the hand region is not known.</p> <p>Case Presentation</p> <p>We present the case of a 63-year-old Greek Caucasian woman with a giant lipoma of the hand and palm which was not initially diagnosed. After repeated surgical decompression of the carpal tunnel the patient was referred with persisting symptoms of median and ulnar nerve compression and a prominent mass of her left palm and thenar eminence. Clinical examination, magnetic resonance imaging, nerve conduction study and biopsy, revealed a giant lipoma in the deep palmar space (8.0 × 4.0 × 3.75 cm), which was also infiltrating the carpal tunnel. She had already undergone two operations for carpal tunnel syndrome with no relief of her symptoms and she also ended up with a severed flexor pollicis longus tendon. Definitive treatment was performed by marginal resection of the lipoma and restoration of the flexor pollicis longus with an intercalated graft harvested from the palmaris longus. Thirty months after surgery the patient had a fully functional hand without any neurological deficit.</p> <p>Conclusion</p> <p>Not all lipomas of the wrist and hand are diagnosed. Our report tries to emphasize the hidden danger of lipomas in cases with carpal tunnel symptoms. The need for a high index of suspicion in conjunction with good clinical evaluation and the use of appropriate investigative studies is mandatory in order to avoid unnecessary operations and complications. Marginal excision of these tumors is restorative.</p

Archival Film: New Opportunities for Case Study Development and Presentation?

The potential opportunities and limitations of utilising archival film as a primary data source have received very little attention from business historians. Archival film can be a rich source of oral and visual material for the development and presentation of historical case study material, but it can also be utilised as a powerful research tool. The paper draws on the experiences of the author, who produced two films during a study of the history of the South Coast Labour Council (SCLC). The SCLC is the peak union body for the Illawarra region of NSW. During the study access to one of the region’s local television newsreel archives provided a rare opportunity to work with primary data that significantly extended the range of possibilities for rich case study development and presentation. The resulting artefacts included 1) a 15 minutes documentary on the 75 year history of the SCLC and; 2) a two hour set of selected historical excerpts. The presentation explores first, a range of essential processes that require consideration when working with this form of data. Issues explored include: 1) access, 2) equipment and 3) production processes. Second, the paper explores a range of research methods that allowed a deeper exploration of the history of the organisation post production. This section includes methods for eliciting memories in focus groups and small groups.The symposium is organised on behalf of AAHANZBS by the Business and Labour History Group, The University of Sydney, with the financial support of the University’s Faculty of Economics and Business

Cold atoms in space: community workshop summary and proposed road-map

We summarise the discussions at a virtual Community Workshop on Cold Atoms in Space concerning the status of cold atom technologies, the prospective scientific and societal opportunities offered by their deployment in space, and the developments needed before cold atoms could be operated in space. The cold atom technologies discussed include atomic clocks, quantum gravimeters and accelerometers, and atom interferometers. Prospective applications include metrology, geodesy and measurement of terrestrial mass change due to, e.g., climate change, and fundamental science experiments such as tests of the equivalence principle, searches for dark matter, measurements of gravitational waves and tests of quantum mechanics. We review the current status of cold atom technologies and outline the requirements for their space qualification, including the development paths and the corresponding technical milestones, and identifying possible pathfinder missions to pave the way for missions to exploit the full potential of cold atoms in space. Finally, we present a first draft of a possible road-map for achieving these goals, that we propose for discussion by the interested cold atom, Earth Observation, fundamental physics and other prospective scientific user communities, together with the European Space Agency (ESA) and national space and research funding agencies

The global EPTO database: Worldwide occurrences of aquatic insects

Motivation: Aquatic insects comprise 64% of freshwater animal diversity and are widely used as bioindicators to assess water quality impairment and freshwater ecosystem health, as well as to test ecological hypotheses. Despite their importance, a comprehensive, global database of aquatic insect occurrences for mapping freshwater biodiversity in macroecological studies and applied freshwater research is missing. We aim to fill this gap and present the Global EPTO Database, which includes worldwide geo-referenced aquatic insect occurrence records for four major taxa groups: Ephemeroptera, Plecoptera, Trichoptera and Odonata (EPTO). Main type of variables contained: A total of 8,368,467 occurrence records globally, of which 8,319,689 (99%) are publicly available. The records are attributed to the corresponding drainage basin and sub-catchment based on the Hydrography90m dataset and are accompanied by the elevation value, the freshwater ecoregion and the protection status of their location. Spatial location and grain: The database covers the global extent, with 86% of the observation records having coordinates with at least four decimal digits (11.1 m precision at the equator) in the World Geodetic System 1984 (WGS84) coordinate reference system. Time period and grain: Sampling years span from 1951 to 2021. Ninety-nine percent of the records have information on the year of the observation, 95% on the year and month, while 94% have a complete date. In the case of seven sub-datasets, exact dates can be retrieved upon communication with the data contributors.Major taxa and level of measurement: Ephemeroptera, Plecoptera, Trichoptera and Odonata, standardized at the genus taxonomic level. We provide species names for 7,727,980 (93%) records without further taxonomic verification. Software format: The entire tab-separated value (.csv) database can be downloaded and visualized at https://glowa bio.org/proje ct/epto_datab ase/. Fifty individual datasets are also available at https://fred.igb-berlin. de, while six datasets have restricted access. For the latter, we share metadata and the contact details of the authors

Balanced chromosomal rearrangements offer insights into coding and noncoding genomic features associated with developmental disorders

Balanced chromosomal rearrangements (BCRs), including inversions, translocations, and insertions, reorganize large sections of the genome and contribute substantial risk for developmental disorders (DDs). However, the rarity and lack of systematic screening for BCRs in the population has precluded unbiased analyses of the genomic features and mechanisms associated with risk for DDs versus normal developmental outcomes. Here, we sequenced and analyzed 1,420 BCR breakpoints across 710 individuals, including 406 DD cases and the first large-scale collection of 304 control BCR carriers. We found that BCRs were not more likely to disrupt genes in DD cases than controls, but were seven-fold more likely to disrupt genes associated with dominant DDs (21.3% of cases vs. 3.4% of controls; P = 1.60×10$^{−12}$). Moreover, BCRs that did not disrupt a known DD gene were significantly enriched for breakpoints that altered topologically associated domains (TADs) containing dominant DD genes in cases compared to controls (odds ratio [OR] = 1.43, P = 0.036). We discovered six TADs enriched for noncoding BCRs (false discovery rate < 0.1) that contained known DD genes (MEF2C, FOXG1, SOX9, BCL11A, BCL11B, and SATB2) and represent candidate pathogenic long-range positional effect (LRPE) loci. These six TADs were collectively disrupted in 7.4% of the DD cohort. Phased Hi-C analyses of five cases with noncoding BCR breakpoints localized to one of these putative LRPEs, the 5q14.3 TAD encompassing MEF2C, confirmed extensive disruption to local 3D chromatin structures and reduced frequency of contact between the MEF2C promoter and annotated enhancers. We further identified six genomic features enriched in TADs preferentially disrupted by noncoding BCRs in DD cases versus controls and used these features to build a model to predict TADs at risk for LRPEs across the genome. These results emphasize the potential impact of noncoding structural variants to cause LRPEs in unsolved DD cases, as well as the complex interaction of features associated with predicting three-dimensional chromatin structures intolerant to disruption

A Model of Brain Circulation and Metabolism: NIRS Signal Changes during Physiological Challenges

We construct a model of brain circulation and energy metabolism. The model is designed to explain experimental data and predict the response of the circulation and metabolism to a variety of stimuli, in particular, changes in arterial blood pressure, CO2 levels, O2 levels, and functional activation. Significant model outputs are predictions about blood flow, metabolic rate, and quantities measurable noninvasively using near-infrared spectroscopy (NIRS), including cerebral blood volume and oxygenation and the redox state of the CuA centre in cytochrome c oxidase. These quantities are now frequently measured in clinical settings; however the relationship between the measurements and the underlying physiological events is in general complex. We anticipate that the model will play an important role in helping to understand the NIRS signals, in particular, the cytochrome signal, which has been hard to interpret. A range of model simulations are presented, and model outputs are compared to published data obtained from both in vivo and in vitro settings. The comparisons are encouraging, showing that the model is able to reproduce observed behaviour in response to various stimuli

Auditory Spatial Acuity Approximates the Resolving Power of Space-Specific Neurons

The relationship between neuronal acuity and behavioral performance was assessed in the barn owl (Tyto alba), a nocturnal raptor renowned for its ability to localize sounds and for the topographic representation of auditory space found in the midbrain. We measured discrimination of sound-source separation using a newly developed procedure involving the habituation and recovery of the pupillary dilation response. The smallest discriminable change of source location was found to be about two times finer in azimuth than in elevation. Recordings from neurons in its midbrain space map revealed that their spatial tuning, like the spatial discrimination behavior, was also better in azimuth than in elevation by a factor of about two. Because the PDR behavioral assay is mediated by the same circuitry whether discrimination is assessed in azimuth or in elevation, this difference in vertical and horizontal acuity is likely to reflect a true difference in sensory resolution, without additional confounding effects of differences in motor performance in the two dimensions. Our results, therefore, are consistent with the hypothesis that the acuity of the midbrain space map determines auditory spatial discrimination

Subjective Distresses of Nasogastric Tube Feeding

Health care professionals assume that tube feeding is an unpleasant, distressing experience for patients, which is only partially substantiated by experience. Thirty patients were interviewed via a tube feeding and hospital experience checklist (a 47–item interview schedule). Common experiences were operationally defined as those felt by at least 50%; subjectively distressful experiences were those identified by patients as causing distress. The most common and most distressful experiences of nasogastric tube feeding were: sensory irritations and sensory deprivation. The psychosensory irritation experiences were: thirst, sore nose or throat, dry mouth, runny nose, a tube in the nose, taking food through a tube, breathing through the mouth, breathing with a tube in the nose, taking food in a treatment type container, and taking food with a different texture and smell than usual. The psychosensory deprivation experiences were: an unsatisfied appetite for certain foods, deprivation of tasting, chewing, swallowing food, and drinking liquids, limited mobility, and deprivation of regular food. Except for burping, gastrointestinal symptoms were not common though they were usually distressful. This information has been used to develop teaching programs which are being tested for effectiveness in reducing distress associated with nasogastric tube feeding.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68702/2/10.1177_014860717900300204.pd