Filtyp
Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving ‘assertions’ in software testing. Based on a term–based search, we filtered the inclusion of relevant papers and synthesised them w.r.t. the problem addressed, the s
Aim: To further develop the Person-Centred Care instrument for outpatient care (PCCoc), evaluate its user-friendliness and content validity, and to explore its basic psychometric properties in various outpatient settings for adults with long-term conditions. Background: Person-centred care (PCC) has been identified as a key factor to provide high-quality care. However, there is still a lack of ins
Background: Little evidence is available on how public transport features can impact on older people's health. The overarching aim of this paper is to evaluate socio-demographic, health and mobility-related factors correlated with health-related quality of life among people aged between 75 to 90 years old in three Swedish Municipalities. Methods: Within the SEBEM study, a cross-sectional survey us
In Russland leben Millionen von zentralasiatischen Arbeitsmigranten. Aus Sprach-, Informations- oder Geldmangel verfügen sie oft über keine Papiere und sind in der Schattenwirtschaft tätig, wo sie Missbräuchen ausgesetzt sind. Deshalb haben sie informelle Integrationsstrukturen entwickelt, bei denen häufig Schutzgelderpresser die Interessen der Migranten vertreten.
In this paper, we describe Docforia, a multilayer document model and application programming interface (API) to store formatting, lexical, syntactic, and semantic annotations on Wikipedia and other kinds of text and visualize them. While Wikipedia has become a major NLP resource, its scale and heterogeneity makes it relatively difficult to do experimentations on the whole corpus. These experimentat
This study investigates interaction in dialogues between children with language impairment (LI) and peers of different ages and at two different times, taking into account the language skills of the children with LI. The hypotheses tested were that dialogues between more mature children are more coherent and that the degree of language problems of the child with LI is not directly associated with
Centrifugal sedimentation of an ideal suspension in a rotating tube or basket can be modelled by an initial-boundary-value problem for a scalar conservation law with a nonconvex flux function. The sought unknown is the volume fraction of solids as function of radial distance and time for constant initial data. The method of characteristics is used to construct entropy solutions. The qualitatively
Introduction: Detection of circulating tumour cells (CTCs) in peripheral blood has an established prognostic significance in patients with metastatic breast cancer. Change in the number of detected CTCs is also an indication of response to therapy. Characterisation of CTCs could provide easily accessible treatment predictive information of present cancer cells within the patient and could reveal i
The association between contextual factors and health inequalities is well documented, also in Brazil. However, questions about how contextual factors actually affect health and well-being persist. The aim of this qualitative study was to explore how contextual factors-i.e., social stratification and neighborhood opportunity structures-are manifested in the lives of the residents of a vulnerable d
The tense relationship between 'troublesome youth' and conventional society does not end with incarceration or institutional treatment. Rather, it is transformed into an abundance of interpersonal conflicts within incarceration and treatment. This article uses an interactionist perspective to critically assess five research approaches that account for these phenomena in various ways: 1) quarrels a
In sections of paraformaldehyde, fixed brain tissue, stained using immunohistochemical methods, the distribution of staining within the sections is not uniform. Whilst stained cells are seen at the top and bottom surfaces, the central thicknesses of the sections contain little or no immunoreactivity. This presents a major problem for quantification, as each section contains a population of cells t
To evaluate the cost-effectiveness of an additional 12-week treatment with varenicline for abstainers who had successfully completed an initial 12-week treatment. The Benefits of Smoking Cessation on Outcomes simulation model was used to simulate both direct and indirect effects of smoking cessation. All calculations were performed in 2003 Swedish prices. Sweden in 2003. The modelled cohort consis
Microsphere-based constitutive models are a helpful tool in the modelling of materials with a microstructure composed of contributing elements directionally arranged. This is the case, for instance, for fibred soft tissues. In these models, the macroscopic mechanical behaviour is obtained from the integration of the micro-structural contribution of each component (e.g. each fibre) over the surface
We describe the design and implementation of a generic robotic solution to automate the loading of MALDI sample plates into a mass spectrometer. The soft- and hardware aspects are described together with the various safety issues that need to be addressed. The automation increases thoughput by a factor of between 5- and 80-fold.
