A general relativistic model for the light propagation in the gravitational field of the Solar System: the dynamical case

Modern astrometry is based on angular measurements at the micro-arcsecond level. At this accuracy a fully general relativistic treatment of the data reduction is required. This paper concludes a series of articles dedicated to the problem of relativistic light propagation, presenting the final microarcsecond version of a relativistic astrometric model which enable us to trace back the light path to its emitting source throughout the non-stationary gravity field of the moving bodies in the Solar System. The previous model is used as test-bed for numerical comparisons to the present one. Here we also test different versions of the computer code implementing the model at different levels of complexity to start exploring the best trade-off between numerical efficiency and the micro-arcsecond accuracy needed to be reached.Comment: 40 pages, 5 figures. Accepted for publication on The Astrophysical Journal. Manuscript prepared with AASLaTeX macros v.5.

Comparative study of design: application to Engineering Design

A recent exploratory study examines design processes across domains and compares them. This is achieved through a series of interdisciplinary, participative workshops. A systematic framework is used to collect data from expert witnesses who are practising designers across domains from engineering through architecture to product design and fashion, including film production, pharmaceutical drugs, food, packaging, graphics and multimedia and software. Similarities and differences across domains are described which indicate the types of comparative analysis we have been able to do from our data. The paper goes further and speculates on possible lessons for selected areas of engineering design which can be drawn from comparison with processes in other domains. As such this comparative design study offers the potential for improving engineering design processes. More generally it is a first step in creating a discipline of comparative design which aims to provide a new rich picture of design processes

Testing general relativity by micro-arcsecond global astrometry

The global astrometric observations of a GAIA-like satellite were modeled within the PPN formulation of Post-Newtonian gravitation. An extensive experimental campaign based on realistic end-to-end simulations was conducted to establish the sensitivity of global astrometry to the PPN parameter \gamma, which measures the amount of space curvature produced by unit rest mass. The results show that, with just a few thousands of relatively bright, photometrically stable, and astrometrically well behaved single stars, among the ~10^9 objects that will be observed by GAIA, \gamma can be estimated after 1 year of continuous observations with an accuracy of ~10^{-5} at the 3\sigma level. Extrapolation to the full 5-year mission of these results based on the scaling properties of the adjustment procedure utilized suggests that the accuracy of \simeq 2x10^{-7}, at the same 3\sigma level, can be reached with \~10^6 single stars, again chosen as the most astrometrically stable among the millions available in the magnitude range V=12-13. These accuracies compare quite favorably with recent findings of scalar-tensor cosmological models, which predict for \gamma a present-time deviation, |1-\gamma|, from the General Relativity value between 10^{-5} and 10^{-7}.Comment: 7 pages, 2 figures, to be published in A&

Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

On Linear Information Systems

Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a new-Seely category), with a "set-theoretic" interpretation of exponentials that recovers Scott continuous functions via the co-Kleisli construction. From a domain theoretic point of view, linear information systems are equivalent to prime algebraic Scott domains, which in turn generalize prime algebraic lattices, already known to provide a model of classical linear logic

The GSC-II-based survey of ancient cool white dwarfs I. The sample of spectroscopically confirmed WDs

The GSC-II white dwarf survey was designed to identify faint and high proper motion objects, which we used to define a new and independent sample of cool white dwarfs. With this survey we aim to derive new constraints on the halo white dwarf space density. Also, these data can provide information on the age of thick disk and halo through the analysis of the luminosity function. On the basis of astrometric and photometric parameters, we selected candidates with mu > 0.28 as/yr and R_F > 16 in an area of 1150 square degrees. Then, we separated white dwarfs from late type dwarfs and subdwarfs by means of the reduced proper motion diagram. Finally, spectroscopic follow-up observations were carried out to confirm the white dwarf nature of the selected candidates. We found 41 white dwarfs of which 24 are new discoveries. Here we present the full sample and for each object provide positions, absolute proper motions, photometry, and spectroscopy.Comment: 14 pages, 7 figures, submitted to A&

NPARSEC : NTT Parallaxes of Southern Extremely Cool objects. Goals, targets, procedures and first results

The discovery and subsequent detailed study of T dwarfs have provided many surprises and pushed the physics and modelling of cool atmospheres in unpredicted directions. Distance is a critical parameter for studies of these objects to determine intrinsic luminosities, test binarity and measure their motion in the Galaxy. We describe a new observational programme to determine distances across the full range of T-dwarf subtypes using the New Technology Telescope (NTT)/SOFI telescope/instrument combination. We present preliminary results for ten objects, five of which represent new distances.Peer reviewe

Linearity in the non-deterministic call-by-value setting

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

Iron biogeochemistry across marine systems progress from the past decade

Based on an international workshop (Gothenburg, 14–16 May 2008), this review article aims to combine interdisciplinary knowledge from coastal and open ocean research on iron biogeochemistry. The major scientific findings of the past decade are structured into sections on natural and artificial iron fertilization, iron inputs into coastal and estuarine systems, colloidal iron and organic matter, and biological processes. Potential effects of global climate change, particularly ocean acidification, on iron biogeochemistry are discussed. The findings are synthesized into recommendations for future research areas