Quantum Resonances of Weakly Linked, Mesoscopic, Superconducting Dots

We examine quantum properties of mesoscopic, Josephson coupled superconducting dots, in the limit that charging effects and quantization of energy levels within the dots are negligible, but quasi-particle transmission into the weak link is not. We demonstrate that quasi-particle resonances lead to current-phase relations, which deviate markedly from those of weak links connecting macroscopic superconductors. Results for the steady state dc Josephson current of two coupled dots are presented.Comment: Tex, 3 figures available on request to [email protected] (Andy Martin

Contractile properties of fibroblasts derived from primary frozen shoulder and effects of TGF beta 1 stimulation

INTRODUCTION: Primary Frozen Shoulder (PFS) is a debilitating disease of unknown aetiology. There is fibrosis and contracture of the coracohumeral ligament, tissues of the rotator interval and the glenohumeral ligaments, leading to restrictive shoulder movements requiring surgical intervention [1]. Frozen shoulder has been postulated to be dupuytren’s disease of the shoulder with an association inferred since 1936. The purpose of the study was to test the hypothesis that cellular mechanisms of fibroblasts derived from primary frozen shoulder exhibited similar activity in terms of contraction and response to cytokine (transforming growth factor beta1) to fibroblasts derived from dupuytren’s disease. Understanding of cellular responses is critical to developing non surgical treatment strategies

Data curation standards and social science occupational information resources

Occupational information resources - data about the characteristics of different occupational positions - are widely used in the social sciences, across a range of disciplines and international contexts. They are available in many formats, most often constituting small electronic files that are made freely downloadable from academic web-pages. However there are several challenges associated with how occupational information resources are distributed to, and exploited by, social researchers. In this paper we describe features of occupational information resources, and indicate the role digital curation can play in exploiting them. We report upon the strategies used in the GEODE research project (Grid Enabled Occupational Data Environment, http://www.geode.stir.ac.uk). This project attempts to develop long-term standards for the distribution of occupational information resources, by providing a standardized framework-based electronic depository for occupational information resources, and by providing a data indexing service, based on e-Science middleware, which collates occupational information resources and makes them readily accessible to non-specialist social scientists

Towards the Formal Specification and Verification of Maple Programs

In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs. The main goal of our work is to find behavioral errors in such programs w.r.t. their specifications by static analysis. This task is more complex for widely used computer algebra languages like Maple as these are fundamentally different from classical languages: they support non-standard types of objects such as symbols, unevaluated expressions and polynomials and require abstract computer algebraic concepts and objects such as rings and orderings etc. As a starting point we have defined and formalized a syntax, semantics, type system and specification language for MiniMaple