A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviours. This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution. We propose a "semantics workbench" with fully and semi-automatic tools for SCOOP, that can be used to analyse and compare programs with respect to different execution models. We demonstrate its use in checking the consistency of semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of the language. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, and how the visual yet algebraic nature of the model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear

Controller synthesis for dynamic hierarchical real-time plants using timed automata

We use timed I/O automata based timed games to synthesize task-level reconfiguration services for cost-effective fault tolerance in a case study. The case study shows that state-space explosion is a severe problem for timed games. By applying suitable abstractions, we dramatically improve the scalability. However, timed I/O automata do not facilitate algorithmic abstraction generation techniques. The case study motivates the development of timed process automata to improve modeling and analysis for controller synthesis of time-critical plants which can be hierarchical and dynamic. The model offers two essential features for industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating plant processes which can activate other plant processes. We show how to establish safety and reachability properties of timed process automata by reduction to solving timed games. To mitigate the state-space explosion problem, an algorithmic state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed. In this article, we demonstrate the theoretical framework of timed process automata and the effectiveness of the proposed state-space reduction technique by extending the case study

Determinants of job satisfaction: a European comparison of self-employed and paid employees

The job satisfaction of self-employed and paid-employed workers is analyzed using the European Community Household Panel for the EU-15 covering the years 1994-2001. We distinguish between two types of job satisfaction: job satisfaction in terms of type of work and job satisfaction in terms of job security. Findings from our generalized ordered logit regressions indicate that self-employed individuals as compared to paid employees are more likely to be satisfied with their present jobs in terms of type of work and less likely to be satisfied in terms of job security. The findings also provide many insights into the determinants of the two types of job satisfaction for both self-employed and paid-employed workers

The influence of organizational culture and climate on entrepreneurial intentions among research scientists

Over the past decades, universities have increasingly become involved in entrepreneurial activities. Despite efforts to embrace their ‘third mission’, universities still demonstrate great heterogeneity in terms of their involvement in academic entrepreneurship. This papers adopts an institutional perspective to understand how organizational characteristics affect research scientists’ entrepreneurial intentions. Specifically, we study the impact of university culture and climate on entrepreneurial intentions, including intentions to spin off a company, to engage in patenting or licensing and to interact with industry through contract research or consulting. Using a sample of 437 research scientists from Swedish and German universities, our results reveal that the extent to which universities articulate entrepreneurship as a fundamental element of their mission fosters research scientists’ intentions to engage in spin-off creation and intellectual property rights, but not industry-science interaction. Furthermore, the presence of university role models positively affects research scientists’ propensity to engage in entrepreneurial activities, both directly and indirectly through entrepreneurial self-efficacy. Finally, research scientists working at universities which explicitly reward people for ‘third mission’ related output show higher levels of spin-off and patenting or licensing intentions. This study has implications for both academics and practitioners, including university managers and policy makers

Evaluation of a novel real-time PCR test based on the ssrA gene for the identification of group B streptococci in vaginal swabs

<p>Abstract</p> <p>Background</p> <p>Despite the implementation of prevention guidelines, early-onset group B streptococci (GBS) disease remains a cause of neonatal morbidity and mortality worldwide. Strategies to identify women who are at risk of transmitting GBS to their infant and the administration of intrapartum antibiotics have greatly reduced the incidence of neonatal GBS disease. However, there is a requirement for a rapid diagnostic test for GBS that can be carried out in a labour ward setting especially for women whose GBS colonisation status is unknown at the time of delivery. We report the design and evaluation of a real-time PCR test (<it>RiboSEQ </it>GBS test) for the identification of GBS in vaginal swabs from pregnant women.</p> <p>Methods</p> <p>The qualitative real-time PCR <it>RiboSEQ </it>GBS test was designed based on the bacterial <it>ssrA </it>gene and incorporates a competitive internal standard control. The analytical sensitivity of the test was established using crude lysate extracted from serial dilutions of overnight GBS culture using the IDI Lysis kit. Specificity studies were performed using DNA prepared from a panel of GBS strains, related streptococci and other species found in the genital tract environment. The <it>RiboSEQ </it>GBS test was evaluated on 159 vaginal swabs from pregnant women and compared with the GeneOhm™ StrepB Assay and culture for the identification of GBS.</p> <p>Results</p> <p>The <it>RiboSEQ </it>GBS test is specific and has an analytical sensitivity of 1-10 cell equivalents. The <it>RiboSEQ </it>GBS test was 96.4% sensitive and 95.8% specific compared to "gold standard" culture for the identification of GBS in vaginal swabs from pregnant women. In this study, the <it>RiboSEQ </it>GBS test performed slightly better than the commercial BD GeneOhm™ StrepB Assay which gave a sensitivity of 94.6% and a specificity of 89.6% compared to culture.</p> <p>Conclusion</p> <p>The <it>RiboSEQ </it>GBS test is a valuable method for the rapid, sensitive and specific detection of GBS in pregnant women. This study also validates the <it>ssrA </it>gene as a suitable and versatile target for nucleic acid-based diagnostic tests for bacterial pathogens.</p

Epidemiology of reported Yersinia enterocolitica infections in Germany, 2001-2008

<p>Abstract</p> <p>Background</p> <p>Yersiniosis is the third most common zoonotic bacterial disease in Germany and the European Union. Sequelae of <it>Yersinia enterocolitica </it>infections, such as reactive arthritis, have been reported. Consumption of pork and its products, especially eaten raw or undercooked, is an important risk factor of yersiniosis. Infection with <it>Y. enterocolitica </it>is notifiable through the national surveillance system for infectious diseases in Germany and several thousands of cases are being reported each year. We present recent data on the epidemiology of reported yersiniosis in Germany.</p> <p>Methods</p> <p>Surveillance data on yersiniosis, accessed through the national level database (SurvNet), were analyzed with regard to time trends, demographical and geographical distribution, serotypes, and hospitalization, for the time period 2001-2008.</p> <p>Results</p> <p>A total of 47,627 cases of yersiniosis were reported. The mean annual incidence of yersiniosis was 7.2/100,000 population. A downward trend in the number of reportable cases has occurred since 2002. Almost all <it>Y. enterocolitica </it>infections were reported as single cases, i.e., with no apparent links to other cases. The number of reported infections showed substantially less seasonal variation than in other zoonotic enteric diseases. The incidence was highest in children under five years (58/100,000 population), in particular in one-year-old children (108/100,000 population). Almost 97% of infections were acquired domestically. High incidences occurred in the eastern German federal states Thuringia, Saxony, and Saxony-Anhalt. Differences in incidences across federal states were driven primarily by incidence differences in children under five years. Hospitalization was reported for 17% of cases, the proportion being highest among teenagers. Almost 90% of <it>Y. enterocolitica </it>strains were diagnosed as serotype O:3, which is the serotype most frequently isolated from pigs.</p> <p>Conclusions</p> <p>Yersiniosis is a zoonotic foodborne disease of relevance to public health in Germany because of its high incidence and risk for sequelae. The incidence of reported yersiniosis in Germany varies markedly from state to state, mainly due to incidence difference among young children. More research efforts should be directed towards the elucidation of risk factors of yersiniosis in this age group.</p

A life-course and time perspective on the construct validity of psychological distress in women and men. Measurement invariance of the K6 across gender

<p>Abstract</p> <p>Background</p> <p>Psychological distress is a widespread indicator of mental health and mental illness in research and clinical settings. A recurrent finding from epidemiological studies and population surveys is that women report a higher mean level and a higher prevalence of psychological distress than men. These differences may reflect, to some extent, cultural norms associated with the expression of distress in women and men. Assuming that these norms differ across age groups and that they evolve over time, one would expect gender differences in psychological distress to vary over the life-course and over time. The objective of this study was to investigate the construct validity of a psychological distress scale, the K6, across gender in different age groups and over a twelve-year period.</p> <p>Methods</p> <p>This study is based on data from the Canadian National Population Health Survey (C-NPHS). Psychological distress was assessed with the K6, a scale developed by Kessler and his colleagues. Data were examined through multi-group confirmatory factor analyses. Increasing levels of measurement and structural invariance across gender were assessed cross-sectionally with data from cycle 1 (n = 13019) of the C-NPHS and longitudinally with cycles 1 (1994-1995), 4 (2000-2001) and 7 (2006-2007).</p> <p>Results</p> <p>Higher levels of measurement and structural invariance across gender were reached only after the constraint of equivalence was relaxed for various parameters of a few items of the K6. Some items had a different pattern of gender non invariance across age groups and over the course of the study. Gender differences in the expression of psychological distress may vary over the lifespan and over a 12-year period without markedly affecting the construct validity of the K6.</p> <p>Conclusions</p> <p>This study confirms the cross-gender construct validity of psychological distress as assessed with the K6 despite differences in the expression of some symptoms in women and in men over the life-course and over time. Findings suggest that the higher mean level of psychological distress observed in women reflects a true difference in distress and is unlikely to be gender-biased. Gender differences in psychological distress are an important public health and clinical issue and further researches are needed to decipher the factors underlying these differences.</p

Mourning and melancholia revisited: correspondences between principles of Freudian metapsychology and empirical findings in neuropsychiatry

Freud began his career as a neurologist studying the anatomy and physiology of the nervous system, but it was his later work in psychology that would secure his place in history. This paper draws attention to consistencies between physiological processes identified by modern clinical research and psychological processes described by Freud, with a special emphasis on his famous paper on depression entitled 'Mourning and melancholia'. Inspired by neuroimaging findings in depression and deep brain stimulation for treatment resistant depression, some preliminary physiological correlates are proposed for a number of key psychoanalytic processes. Specifically, activation of the subgenual cingulate is discussed in relation to repression and the default mode network is discussed in relation to the ego. If these correlates are found to be reliable, this may have implications for the manner in which psychoanalysis is viewed by the wider psychological and psychiatric communities