This paper presents a method proposal for estimation of software reliability before the implementation phase. The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e., locating semantic faults in the design. The analysis is performed with both applying a usage profile as input as well as doing a full analysis

This essay, and the speical issue it introduces, seeks to explore leadership in a post-truth age, focusing in particular on the types of narratives and counter-narratives that characterize it and at times dominate it. We first examine the factors that are often held responsible for the rise of post-truth in politics, including the rise of relativist and postmodernist ideas, dishonest leaders and b

Why do coalition parties settle some policy issues in great detail, whereas other issues are hardly mentioned in coalition agreements? Coalition agreements are important policy platforms that determine policy making during the legislative term. However, we know remarkably little about their content. We shed light on why issue attention in coalition agreements varies so extensively. We argue that i

Introduction: A water-soluble Cremophor EL-free formulation of paclitaxel, in which retinoic acid derivates solubilize paclitaxel by forming micelles (paclitaxel micellar), was studied for the first time in man to establish the maximum tolerated dose (MTD) and to characterize the pharmacokinetics (PK). Methods: This was an open-label, one-arm, dose-escalating study in patients with advanced solid

Background: Supratentorial intracerebral haemorrhage (ICH) carries an excessive mortality and morbidity. Although surgical ICH treatment can be life-saving, the indications for surgery in larger cohorts of ICH patients are controversial and not well defined. We hypothesised that surgical indications vary substantially among neurosurgical centres in Sweden. Objective: In this nation-wide retrospect

Objective Pacemaker (PM) therapy is effective when syncope is associated with bradycardia, but syncope recurrences and fall injuries after PM implantation may occur. We aimed to survey indications and outcomes of PM implantation, following evaluation of unexplained syncope. Methods Among 1666 consecutive unpaced patients investigated in a tertiary syncope unit by carotid-sinus massage (CSM), head-

Background: Tinnitus sufferers commonly report concentration difficulties. Despite several previous studies investigating this, the underlying cause and the role of hearing status remains unclear. Purpose: To investigate whether there are any differences between normal hearing individuals with and without tinnitus in terms of working memory capacity, and whether working memory capacity correlates

The study makes an inventory of learning opportunities young people were offered in connection with CEI 2016, one of the annual international conferences organized by the NGO named Caretakers of the Environment International (CEI), which year 2016 took place in Aalborg in Denmark. The learning opportunities offered by this transnational learning community are discussed in relation to some essentia

Multifunktionella byggnader karaktäriseras av att flera olika funktioner (verksamheter) finns inom en och samma byggnad. Ofta är några av funktionerna att betrakta som samhällsviktiga. Brandskyddet i sådana byggnader är av största vikt med hänsyn till att ett stort antal personer kan befinna sig i byggnaden samtidigt som en brand skulle kunna orsaka förlust av samhällsviktiga funktioner. Vidare ha

Data on longitudinal lung function change in the elderly are scarce. Uncertainty remains about whether to use absolute or relative change and how it relates to subject demographics.We studied absolute and relative forced expiratory volume in 1 s (FEV1) and forced vital capacity (FVC) change in a population-based geriatric sample using a repeated measurements model adjusted for age, sex, smoking ha

In late summer-early autumn, trees undergo growth cessation culminating in bud set. For a wide range of plants, including Populus, photoperiod is considered as the primary environmental cue determining timing of growth cessation and shoot to bud transition. However, studies on Populus have revealed temperature influence on seasonal growth cessation and bud set. In this study we examine the role of

It is of paramount importance that software reliability requirements not only can be formulated, but also enforced and evaluated before accepting a software product for release. This requires sound acceptance criteria for software, which implies that methods for evaluating the software reliability are needed during the testing phase. Thus, theoretical models which are practically applicable are ne

Background: There is an ongoing discussion on whether routinely patch testing with p-phenylenediamine (PPD) 1.0% pet. is safe, owing to the risk of patch test sensitization. Late-appearing patch test reactions may reflect patch test sensitization, but may also be attributable to a low degree of pre-existing sensitization. Objectives: To follow the positive patch test reactions to PPD and its salt

Background: The accessibility of public facilities for all is an issue increasingly gaining focus in policy debates, especially regarding the ageing population. Objective: This paper describes a psychometric approach to the development of a new instrument for assessing the accessibility of public entrances. Methods: Items to include were selected by means of literature review and classified accor

Widespread species often show extensive phenotypic variation due to the contrasting abi-otic and biotic factors that shape selective pressures in different environments. In this context, the gradual and predictable patterns of variation in climatic and environmental conditions found in mountain areas offer a great opportunity to explore intraspecific phenotypic variation. For instance, temperature

BACKGROUND: People of Sub Saharan Africa (SSA) and South Asians(SA) ethnic minorities living in Europe have higher risk of stroke than native Europeans(EU). Study objective is to provide an assessment of gender specific absolute differences in office systolic(SBP) and diastolic(DBP) blood pressure(BP) levels between SSA, SA, and EU.METHODS AND FINDINGS: We performed a systematic review and meta-an

This study focuses on drivers for changing urban flood risk. We suggest a framework for guiding climate change adaptation action concerning flood risk and manageability in cities. The identified key drivers of changing flood hazard and vulnerability are used to provide an overview of each driver's impact on flood risk and manageability at the city level. We find that identified drivers for urban f