Runtime verification of parametric properties using SMEDL

Parametric properties are typical properties to be checked in runtime verification (RV). As a common technique for parametric monitoring, trace slicing divides an execution trace into a set of sub traces which are checked against non-parametric base properties. An efficient trace slicing algorithm is implemented in MOP. Another RV technique, QEA further allows for nested use of universal and existential quantification over parameters. In this paper, we present a methodology for parametric monitoring using the RV framework SMEDL. Trace slicing algorithm in MOP can be expressed by execution of a set of SMEDL monitors. Moreover, the semantics of nested quantifiers is encoded by a hierarchy of monitors for aggregating verdicts of sub traces. Through case studies, we demonstrate that SMEDL provides a natural way to monitor parametric properties with more potentials for flexible deployment and optimizations

Introduction

ASC – Publicaties niet-programma gebonde

Ex vivo expansion and differentiation of erythroblasts: From culture dishes to stirred tank reactors for the production of red blood cells

Please click Additional Files below to see the full abstract

The international entrepreneurial firm's social networks

This paper investigates theoretically the importance and impact of the international entrepreneurial firms’ (IEFs) social networks on selected firms’ strategies. We focus specifically on some core attributes of IEFs and the impact of social networks on such strategies as the choice of the foreign markets to operate and the foreign entry modes. The social networks are a major driver of the internationalization from inception and help in overcoming a variety of physical and social resource limitations as well as transactional hazards. We conclude that it is likely that both some fundamental characteristics of the IEFs and those of the foreign markets entered account for these firms reliance on their social networks

The lived experience of dysphagia following non-surgical treatment for head and neck cancer

The prevalence and severity of dysphagia in people treated non-surgically for primary head and neck cancer (HNC) is well documented. However, few studies have looked beyond the physiological impairment to explore the lived experience of dysphagia in the post-treatment period of HNC. The current study adopted a person-centred, qualitative approach to describe the experiences of people living with dysphagia in the months and years following non-surgical treatment for HNC. Using maximum variation sampling, 24 participants who had undergone radiotherapy treatment for HNC were recruited. Individual interviews were conducted to explore the impact of dysphagia on participants' everyday lives. The themes identified included: (1) physical changes related to swallowing; (2) emotions evoked by living with dysphagia; (3) altered perceptions and changes in appreciation of food; and (4) personal and lifestyle impacts. The data revealed the breadth and significance of the impact of dysphagia on the lives of people treated curatively for HNC. Assessment and management in the post-treatment period must be sufficiently holistic to address both the changing physical states and the psychosocial needs of people with dysphagia following HNC. Rehabilitation services which focus only on impairment-based management will fail to fully meet the support needs of this clinical population

Role of Personal Networks in the Growth of Entrepreneurship Ventures of Ethnic Minority Female Entrepreneurs

The main objective of the paper is to explore and explain the differences/similarities in personal networks of, and their use by, immigrant and British born Pakistani female entrepreneurs for business growth.A broad range of studies has explored the social context of ethnic minority and immigrant entrepreneurship by assuming all minority entrepreneurs as a cohesive group without taking into account intergroup (geographical categorisation) and intra-group (generational) differences. These differences are explained by socio-economic and cultural factors such as family background and support, ethnicity, religion, education, and more importantly personal network (Metcalf et. al., 1996; Basu, 1998). The blend of culture and religion depicted in entrepreneurial practices of Pakistani entrepreneurs is an interesting but under-researched area. Our particular interest is to explore the scope, depth, variations and limitations of the personal networks of Pakistani female entrepreneurs in their effort to grow their business

Regionalisation of trauma care in England

Aims We aimed to determine whether there is evidence of improved patient outcomes in Major Trauma Centres following the regionalisation of trauma care in England. Patients and Methods An observational study was undertaken using the Trauma Audit and Research Network (TARN), Hospital Episode Statistics (HES) and national death registrations. The outcome measures were indicators of the quality of trauma care, such as treatment by a senior doctor and clinical outcomes, such as mortality in hospital. Results and Conclusion A total of 20 181 major trauma cases were reported to TARN during the study period, which was 270 days before and after each hospital became a Major Trauma Centre. Following regionalisation of trauma services, all indicators of the quality of care improved, fewer patients required secondary transfer between hospitals and a greater proportion were discharged with a Glasgow Outcome Score of “good recovery”. In this early post-implementation analysis, there were a number of apparent process improvements (e.g. time to CT) but no differences in either crude or adjusted mortality. The overall number of deaths following trauma in England did not change following the national reconfiguration of trauma services. Evidence from other countries that have regionalised trauma services suggests that further benefits may become apparent after a period of maturing of the trauma system

Sound art and the making of public space

This paper draws on a collaborative sound art project that aimed to explore how sound art as a non-representational method might attract and produce new publics and re-signify iconic public spaces . We describe how the project, AGORA, proceeded and to what extent it transformed the spaces it was performed in and made new, if transient, publics in the moments of performance. This paper focuses on the British Museum and St George’s Church, Bloomsbury. In the Museum the contemplation and resignification provoked by the intervention enlivened the sacred character of the museum. We argue that this (re)sacralization can be experienced as a practice of decolonization, albeit perhaps limited to the space and time of the performance. The Church, already signified as a sacred space, provoked another kind of encounter with the sacred and the colonial. The extended period of reflection provoked by the performance made visible the etchings of colonialism in the fabric of the building. Our contribution is primarily to the geographic literature on non-representational theory in relation to sonic geographies and music geographies. This paper points to the potential of sound art to make us listen to spaces more attentively