Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and lower cost, especially for testing. Some of the main challenges in testing today are to match the test cases with requirements correctly, and to provide accurate estimates and track the test progress accordingly. In th...

INTRODUCTION Torque teno virus (TTV) and SEN virus are circular single-stranded DNA viruses that cause blood-borne infections. The SEN virus (SEN-V) was originally detected in the serum of an injection drug user infected with human immunodeficiency virus (HIV). Recently TTV was discovered as a potential causative agent of non-A-E hepatitis. The aim of this study was to investigate the prevalenc...

This paper shows that a broad class of dynamic models of diffusion of new technology (usually estimated using duration models) can be estimated using data with extreme censoring i.e. when only discrete choice data is available in the form of repeated cross-sections. This finding should have broad relevance across numerous fields where such models are currently used, since it opens up new potent...

BACKGROUND SEN virus is a blood-borne, single-stranded, nonenveloped DNA virus. Two of its strains (D and H), appear to be associated with non-A-to-E hepatitis more frequently than the others, although it is not clear whether this observation has any significance. The prevalence of SEN virus in otherwise healthy individuals, including blood donors, differs markedly by geographic region. In this...

In the transmissible spongiform encephalopathies, normal prion protein (PrP-sen) is converted to a protease-resistant isoform, PrP-res, by an apparent self-propagating activity of the latter. Here we describe new, more physiological cell-free systems for analyzing the initial binding and subsequent conversion reactions between PrP-sen and PrP-res. These systems allowed the use of antibodies to ...

We study equational axiomatizations of bisimulation equivalence for the language obtained by extending Milner's basic CCS with string iteration. String iteration is a variation on the original binary version of the Kleene star operation p q obtained by restricting the rst argument to be a non-empty sequence of atomic actions. We show that, for every positive integer k, bisimulation equivalence ...

In this paper I maintain that Amartya Sen’s Capability Approach (CA) implies a recuperation of practical science in Economics. Sen’s proposal has some problems closely related to this practical character: the heterogeneity and incommensurability of capabilities, its ambiguity concerning the use of the term “capability”, and the consequent lack of operative character of the CA. Sen recognizes th...