1,719 research outputs found

    Practically Applicable Formal Methods

    Full text link
    Abstract. Formal methods are considered to be highly expensive. There-fore, they are currently applied almost only in high risk software develop-ment. In this paper, we show that formal techniques can be also efficiently used in standard large-scale applications. We focus on the generation of specifications which state the termination condition of for loops in Java code (expressed as so called Java Modeling Language decreases clauses). We demonstrate that with help of relatively simple techniques it is pos-sible to successfully generate the clauses for almost 80 % of the loops in a number of widely deployed applications. Moreover, it turns out that the remaining 20 % cases contain loops which should be carefully reviewed by software quality assurance personnel. The results show that our tech-nique might be helpful in spreading the usage of formal methods onto typical business software

    Comparisons of Supergranule Characteristics During the Solar Minima of Cycles 22/23 and 23/24

    Full text link
    Supergranulation is a component of solar convection that manifests itself on the photosphere as a cellular network of around 35 Mm across, with a turnover lifetime of 1-2 days. It is strongly linked to the structure of the magnetic field. The horizontal, divergent flows within supergranule cells carry local field lines to the cell boundaries, while the rotational properties of supergranule upflows may contribute to the restoration of the poloidal field as part of the dynamo mechanism that controls the solar cycle. The solar minimum at the transition from cycle 23 to 24 was notable for its low level of activity and its extended length. It is of interest to study whether the convective phenomena that influences the solar magnetic field during this time differed in character to periods of previous minima. This study investigates three characteristics (velocity components, sizes and lifetimes) of solar supergranulation. Comparisons of these characteristics are made between the minima of cycles 22/23 and 23/24 using MDI Doppler data from 1996 and 2008, respectively. It is found that whereas the lifetimes are equal during both epochs (around 18 h), the sizes are larger in 1996 (35.9 +/- 0.3 Mm) than in 2008 (35.0 +/- 0.3 Mm), while the dominant horizontal velocity flows are weaker (139 +/- 1 m/s in 1996; 141 +/- 1 m/s in 2008). Although numerical differences are seen, they are not conclusive proof of the most recent minimum being inherently unusual.Comment: 22 pages, 5 figures. Solar Physics, in pres

    Accounting, Soci(et)al Risks, and Public Reason: Governmental Risk Discourses About the ILVA Steel Plant in Taranto (Italy)

    Get PDF
    The case of the ILVA steel plant in Taranto represents an example of con- trasting, incommensurable sustainability issues, explored in terms of “social” and “societal” risks (Asenova et al. in Managing the risks of public spending cuts in Scotland, 2013; Redistribution of social and societal risk: the impact on individuals, their networks and communities, 2015) [Asenova et al. (2015) refer to social risks as the risks of unemployment, and to societal risks as environmental and health risks.]. The case of ILVA has received significant attention for the great amount of dangerous pollutants spread in the environment, as well as the evidence of higher illness and mortality rates in the districts nearest to the plant. In July 2012, the Italian Judiciary halted activity in the steel plant. Four months after, the Italian Government declared the steel plant site as a “Strategic National Interest Site”, and allowed the company to restart its activity. Drawing on governmentality (Foucault in Questions of method, 1991), the paper aims to explore the role of accounting—here broadly intended as calculative practices (Miller in Soc Res 68:379–396, 2001)—in moulding ministerial discourse to support decisions when the governance of contrasting risks is needed to safeguard public interest. Supported by discourse analysis of governmental speech, the research shows that the Italian Government based its decision on various experts’ risk appraisals: accounting shaped governmental discourse by giving more visibility and relevance to “social” risks (i.e. unemployment, economic development, produc- tivity and competitiveness risks), while silencing “societal” ones (i.e. environmental and health risks). Focusing on a case of incommensurable contrasting issues, the findings contribute to show that accounting concurrently plays a significant role in government decisions legitimizing the business continuity through the creation of a specific risk discourse

    Pixantrone-rituximab versus gemcitabine-rituximab in relapsed/refractory aggressive non-Hodgkin lymphoma.

    Get PDF
    UNLABELLED: We describe the rationale and design of the ongoing randomized, active-controlled, multicenter, Phase III study evaluating the efficacy of pixantrone and rituximab versus gemcitabine and rituximab in patients with diffuse large B-cell lymphoma or follicular grade 3 lymphoma, who are ineligible for high-dose chemotherapy and stem cell transplantation, and who failed front-line regimens containing rituximab. The administration schedule is pixantrone 50 mg/m(2) intravenously (iv.) or gemcitabine 1000 mg/m(2) iv. on days 1, 8 and 15, combined with rituximab 375 mg/m(2) iv. on day 1, up to six cycles. Pixantrone has a conditional European marketing approval for monotherapy in adults with multiple relapsed or refractory aggressive B-cell non-Hodgkin lymphoma. Our trial explores the efficacy of combining pixantrone with rituximab and completes postauthorization measures. TRIAL REGISTRATION NUMBER: NCT01321541

    Highly efficient PCR assay to discriminate allelic DNA methylation status using whole genome amplification

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>We previously developed a simple method termed <it>Hpa</it>II-<it>McrBC </it>PCR (HM-PCR) to discriminate allelic methylation status of the genomic sites of interest, and successfully applied it to a comprehensive analysis of CpG islands (CGIs) on human chromosome 21q. However, HM-PCR requires 200 ng of genomic DNA to examine one target site, thereby precluding its application to such samples that are limited in quantity.</p> <p>Findings</p> <p>We developed <it>Hpa</it>II-<it>McrBC </it>whole-genome-amplification PCR (HM-WGA-PCR) that uses whole-genome-amplified DNA as the template. HM-WGA-PCR uses only 1/100th the genomic template material required for HM-PCR. Indeed, we successfully analyzed 147 CGIs by HM-WGA-PCR using only ~300 ng of DNA, whereas previous HM-PCR study had required ~30 μg. Furthermore, we confirmed that allelic methylation status revealed by HM-WGA-PCR is identical to that by HM-PCR in every case of the 147 CGIs tested, proving high consistency between the two methods.</p> <p>Conclusions</p> <p>HM-WGA-PCR would serve as a reliable alternative to HM-PCR in the analysis of allelic methylation status when the quantity of DNA available is limited.</p

    When who and how matter: explaining the success of referendums in Europe

    Get PDF
    This article aims to identify the institutional factors that make a referendum successful. This comparative analysis seeks to explain the success of top-down referendums organized in Europe between 2001 and 2013. It argues and tests for the main effect of three institutional factors (popularity of the initiator, size of parliamentary majority, and political cues during referendum campaigns) and controls for the type of referendum and voter turnout. The analysis uses data collected from referendums and electoral databases, public opinion surveys, and newspaper articles. Results show that referendums proposed by a large parliamentary majority or with clear messages from political parties during campaign are likely to be successful

    Networking expertise: Discursive coalitions and collaborative networks of experts in a public creationism controversy in the UK

    Get PDF
    Experts do play a particular role in public socio-scientific debates, even more so if they form heterogeneous coalition with other actors and experts. A case study about a public science education controversy surrounding the teaching of evolution/creationism in the UK press is used to investigate in detail how connections and coalitions between experts and other actors involved in the controversy emerged and played out. The research focuses on the question of what role collaborative and other networks of experts played in terms of influence, visibility, credibility, consensus and weight of argument. Issues that are considered in the research are the status of the members of the coalitions forming during the debate and how it is displayed in media representations and letters and petitions, and also how these networks and coalitions of experts perform in relation to each other

    Constructing resilience through security and surveillance: The politics, practices and tensions of security-driven resilience

    Get PDF
    This article illuminates how, since 9/11, security policy has gradually become more central to a range of resilience discourses and practices. As this process draws a wider range of security infrastructures, organizations and approaches into the enactment of resilience, security practices are enabled through more palatable and legitimizing discourses of resilience. This article charts the emergence and proliferation of security-driven resilience logics, deployed at different spatial scales, which exist in tension with each other. We exemplify such tensions in practice through a detailed case study from Birmingham, UK: ‘Project Champion’ an attempt to install over 200 high-resolution surveillance cameras, often invisibly, around neighbourhoods with a predominantly Muslim population. Here, practices of security-driven resilience came into conflict with other policy priorities focused upon community-centred social cohesion, posing a series of questions about social control, surveillance and the ability of national agencies to construct community resilience in local areas amidst state attempts to label the same spaces as ‘dangerous’. It is argued that security-driven logics of resilience generate conflicts in how resilience is operationalized, and produce and reproduce new hierarchical arrangements which, in turn, may work to subvert some of the founding aspirations and principles of resilience logic itself
    corecore