Analysis in weak systems

The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.info:eu-repo/semantics/publishedVersio

One-loop stau masses in the effective potential approach

We calculate the one-loop contributions to the tau slepton masses in the Minimal Supersymmetric Standard Model in the effective potential approach. For the majority of parameter space under study, those corrections are shown to elevate the value of the lightest stau mass.Comment: 11 pages, 3 figure

Building an alternative social currency: Dematerialising and rematerialising digital money across media

This paper reports on the user experience and design of physical and digital forms of a mixed-media local currency. We reconceive digitally mediated transactions as social interactions and report on the development of conceptual designs informed by user research and interactive workshops. Our findings show that use is strongly tied to conceptions of locality and community, markers of identity, information exchange and the digital and physical forms as tools for shaping interactions. The form of the currency can make the invisible visible, exposing our identities and values, business models, and the details of the transactions themselves. Our analysis stresses the need to provide opportunities for extending social interaction, making more local connections and deriving the best value from those connections, without insulating individuals from each other, or from the wider geographical context. Themes that emerged from the user research were visualized as conceptual designs for digitally augmented media, allowing us to explore the monetary transaction at three levels: the material, as interaction between two parties, and the context of the transaction.The RCUK Digital Economy theme (EP/K012304/1)

Exchange coupling between magnetic layers across non-magnetic superlattices

The oscillation periods of the interlayer exchange coupling are investigated when two magnetic layers are separated by a metallic superlattice of two distinct non-magnetic materials. In spite of the conventional behaviour of the coupling as a function of the spacer thickness, new periods arise when the coupling is looked upon as a function of the number of cells of the superlattice. The new periodicity results from the deformation of the corresponding Fermi surface, which is explicitly related to a few controllable parameters, allowing the oscillation periods to be tuned.Comment: 13 pages; 5 figures; To appear in J. Phys.: Cond. Matte

The evaluation of E-business related technologies in the Railway Industry

For the purposes of this paper, e-business is defined as: "the performance, automisation and organisation of transactions, or chains of them, and the gathering and publishing of data, electronically over a communication protocol" Little research has been conducted either into how e-business technology can be successfully evaluated, or into the associated costs and benefits specifically related to the transportation and railway industries. Based upon a review of the current literature and a series of interviews held with railway operators, track managers and transportation customers from the Australian Fortune 100, the paper puts forward a framework for the evaluation of e-business investments within the railway industry. The research reported here is aimed at developing a flexible interface that enables the decision maker to assess and evaluate a wide variety of complex interacting variables. The proposed approach uses a variety of evaluation methods, as opposed to searching for a single "best" approach. Additionally, an attempt is being made to include the complex interaction between the implementation of the new technology and the changing organisational setting. A model is proposed using fuzzy logic to handle incomplete and uncertain knowledge; as well as to combine criteria within a conceptual model from which "real-worth" evaluations can be performed. This model provides a systematic approach to guide the decision maker in the deployment of e-business and emerging technologies in the industry. After discussing the main findings from a literature review on the use of evaluation frameworks in IT related projects, the paper deals with the proposed framework in detail. The use of empirical data, which was obtained transportation customers to help define the main framework factors, is also discussed. Finally, the paper summarises the main implications for rail freight of customers’s perceptions and stated needs in the e-business domain