On an Argument of David Deutsch

We analyse an argument of Deutsch, which purports to show that the deterministic part of classical quantum theory together with deterministic axioms of classical decision theory, together imply that a rational decision maker behaves as if the probabilistic part of quantum theory (Born's law) is true. We uncover two missing assumptions in the argument, and show that the argument also works for an instrumentalist who is prepared to accept that the outcome of a quantum measurement is random in the frequentist sense: Born's law is a consequence of functional and unitary invariance principles belonging to the deterministic part of quantum mechanics. Unfortunately, it turns out that after the necessary corrections we have done no more than give an easier proof of Gleason's theorem under stronger assumptions. However, for some special cases the proof method gives positive results while using different assumptions to Gleason. This leads to the conjecture that the proof could be improved to give the same conclusion as Gleason under unitary invariance together with a much weaker functional invariance condition.Comment: Revision 28-7-03: added reference Final revision 28-05-04. To appear in proceedings of "Quantum Probability and Infinite Dimensional Analysis", Greifswald, 2003; World Scientifi

Scope Management of Non-Functional Requirements

In order to meet commitments in software projects, a realistic assessment must be made of project scope. Such an assessment relies on the availability of knowledge on the user-defined project requirements and their effort estimates and priorities, as well as their risk. This knowledge enables analysts, managers and software engineers to identify the most significant requirements from the list of requirements initially defined by the user. In practice, this scope assessment is applied to the Functional Requirements (FRs) provided by users who are unaware of, or ignore, the Non-Functional Requirements (NFRs). This paper presents ongoing research which aims at managing NFRs during the software development process. Establishing the relative priority of each NFR, and obtaining a rough estimate of the effort and risk associated with it, is integral to the software development process and to resource management. Our work extends the taxonomy of the NFR framework by integrating the concept of the "hardgoal". A functional size measure of NFRs is applied to facilitate the effort estimation process. The functional size measurement method we have chosen is COSMICFFP, which is theoretically sound and the de facto standard in the software industry

Surveying the factors that influence maintainability: research design

We want to explore and analyse design decisions that influence maintainability of software. Software maintainability is important because the effort expended on changes and fixes in software is a major cost driver. We take an empirical, qualitative approach, by investigating cases where a change has cost more or less than comparable changes, and analysing the causes for those differences. We will use this analysis of causes as input to following research in which the individual contributions of a selection of those causes will be quantitatively analysed

Size matters: some stylized facts of the stock market revisited

We reanalyze high resolution data from the New York Stock Exchange and find a monotonic (but not power law) variation of the mean value per trade, the mean number of trades per minute and the mean trading activity with company capitalization. We show that the second moment of the traded value distribution is finite. Consequently, the Hurst exponents for the corresponding time series can be calculated. These are, however, non-universal: The persistence grows with larger capitalization and this results in a logarithmically increasing Hurst exponent. A similar trend is displayed by intertrade time intervals. Finally, we demonstrate that the distribution of the intertrade times is better described by a multiscaling ansatz than by simple gap scaling.Comment: 10 pages, 13 figures, 2 tables, accepted to Eur. Phys. J. B, updated references, fixed some minor error

Monitoring Challenges and Approaches for P2P File-Sharing Systems

Since the release of Napster in 1999, P2P file-sharing has enjoyed a dramatic rise in popularity. A 2000 study by Plonka on the University of Wisconsin campus network found that file-sharing accounted for a comparable volume of traffic to HTTP, while a 2002 study by Saroiu et al. on the University of Washington campus network found that file-sharing accounted for more than treble the volume of Web traffic observed, thus affirming the significance of P2P in the context of Internet traffic. Empirical studies of P2P traffic are essential for supporting the design of next-generation P2P systems, informing the provisioning of network infrastructure and underpinning the policing of P2P systems. The latter is of particular significance as P2P file-sharing systems have been implicated in supporting criminal behaviour including copyright infringement and the distribution of illegal pornograph

Body dissatisfaction revisited : on the importance of implicit beliefs about actual and ideal body image

Body dissatisfaction (i.e., a negative attitude towards one’s own physical appearance) is assumed to originate from a perceived discrepancy between the actual physical appearance (i.e., actual body image) and the desired ideal state of the body (i.e., ideal body image). We assessed implicit beliefs about these two aspects of the body image independently using two Relational Responding Tasks (RRT) in a sample of participants who were either low or high in explicitly reported body dissatisfaction. As hypothesized, differences in body dissatisfaction exerted a differential influence on the two RRT scores. The implicit belief that one is thin was less pronounced in participants who were strongly dissatisfied with their body relative to participants who were more satisfied with their body. The implicit desire to be thin (i.e., thin ideal body image), in contrast, tended to be more pronounced in participants who exhibited a high degree of body dissatisfaction as compared to participants who exhibited a low degree of body dissatisfaction. Hierarchical regression analyses also revealed that the RRT scores were predictive of self-reported body dissatisfaction, even over and above the predictive validity of some (but not all) explicit predictors of body dissatisfaction that were included in the present study. More generally, these findings contribute to the empirical validation of the RRT as a measure of implicit beliefs in the context of body dissatisfaction

Empirical studies of open source evolution

Copyright @ 2008 Springer-VerlagThis chapter presents a sample of empirical studies of Open Source Software (OSS) evolution. According to these studies, the classical results from the studies of proprietary software evoltion, such as Lehman’s laws of software evolution, might need to be revised, if not fully, at least in part, to account for the OSS observations. The book chapter also summarises what appears to be the empirical status of each of Lehman’s laws with respect to OSS and highlights the threads to validity that frequently emerge in these empirical studies. The chapter also discusses related topics for further research