Low-income homeowners in Britain: descriptive analysis

This report is based on findings from secondary analysis of a range of datasets, including the Family Resources Survey (2002/03 and 1995/96), the British Household Panel Study 1991-2002), the Families and Children Study (1999 and 2002), the Survey of English Housing (2002/03) and the English House Condition Survey 2001). The study aimed to establish the characteristics and circumstances of low-income homeowners. It also examined the reasons why people become, or cease to be low-income homeowners. This study followed up research by Burrows and Wilcox (2000) that found around half the poor are homeowners. The research was carried out by the National Institute for Economic and Social Research

European Union - Reforms - Hungarian interests. What kind of European Union would we like?

The lecture deals with broad topics. First, it addresses some questions related to the current state of the EU integration regarding institutions and common policies. Second, it discusses the continued importance, the main results and hindering factors related to the Lisbon Programme, with a special emphasis on the educational system in Europe and Hungary. Third, the lecture deals with some possibilities in changing the EU’s rather limited external relation models to more flexible instruments

Near-infrared oxygen airglow from the Venus nightside

Groundbased imaging and spectroscopic observations of Venus reveal intense near-infrared oxygen airglow emission from the upper atmosphere and provide new constraints on the oxygen photochemistry and dynamics near the mesopause (approximately 100 km). Atomic oxygen is produced by the Photolysis of CO2 on the dayside of Venus. These atoms are transported by the general circulation, and eventually recombine to form molecular oxygen. Because this recombination reaction is exothermic, many of these molecules are created in an excited state known as O2(delta-1). The airglow is produced as these molecules emit a photon and return to their ground state. New imaging and spectroscopic observations acquired during the summer and fall of 1991 show unexpected spatial and temporal variations in the O2(delta-1) airglow. The implications of these observations for the composition and general circulation of the upper venusian atmosphere are not yet understood but they provide important new constraints on comprehensive dynamical and chemical models of the upper mesosphere and lower thermosphere of Venus

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

VPLanet: The Virtual Planet Simulator

We describe a software package called VPLanet that simulates fundamental aspects of planetary system evolution over Gyr timescales, with a focus on investigating habitable worlds. In this initial release, eleven physics modules are included that model internal, atmospheric, rotational, orbital, stellar, and galactic processes. Many of these modules can be coupled simultaneously to simulate the evolution of terrestrial planets, gaseous planets, and stars. The code is validated by reproducing a selection of observations and past results. VPLanet is written in C and designed so that the user can choose the physics modules to apply to an individual object at runtime without recompiling, i.e., a single executable can simulate the diverse phenomena that are relevant to a wide range of planetary and stellar systems. This feature is enabled by matrices and vectors of function pointers that are dynamically allocated and populated based on user input. The speed and modularity of VPLanet enables large parameter sweeps and the versatility to add/remove physical phenomena to assess their importance. VPLanet is publicly available from a repository that contains extensive documentation, numerous examples, Python scripts for plotting and data management, and infrastructure for community input and future development.Comment: 75 pages, 34 figures, 10 tables, accepted to the Proceedings of the Astronomical Society of the Pacific. Source code, documentation, and examples available at https://github.com/VirtualPlanetaryLaboratory/vplane

The Flying Fish Persistent Ocean Surveillance Platform

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77030/1/AIAA-2009-1902-584.pd