RankPL: A Qualitative Probabilistic Programming Language

In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing "normal" from" surprising" events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. We present the language, its denotational semantics, and a number of practical examples. We also discuss an implementation of RankPL that is available for download

Data assimilation for the Martian atmosphere using MGS Thermal Emission Spectrometer observations

From the introduction: Given the quantity of data expected from current and forthcoming spacecraft missions to Mars, it is now possible to use data assimilation as a means of atmospheric analysis for the first time for a planet other than the Earth. Several groups have described plans to develop assimilation schemes for Mars [Banfield et al., 1995; Houben, 1999; Lewis and Read, 1995; Lewis et al., 1996, 1997; Zhang et al., 2001]. Data assimilation is a technique for the analysis of atmospheric observations which combines currently valid information with prior knowledge from previous observations and dynamical and physical constraints, via the use of a numerical model. Despite the number of new missions, observations of the atmosphere of Mars in the near future are still likely to be sparse when compared to those of the Earth, perhaps comprising one orbiter and a few surface stations at best at any one time. Data assimilation is useful as a means to extract the maximum information from such observations, both by a form of interpolation in space and time using model constraints and by the combination of information from different observations, e.g. temperature profiles and surface pressure measurements which may be irregularly distributed. The procedure can produce a dynamically consistent set of meteorological fields and can be used directly to test and to refine an atmospheric model against observations

Gaussian Belief with dynamic data and in dynamic network

In this paper we analyse Belief Propagation over a Gaussian model in a dynamic environment. Recently, this has been proposed as a method to average local measurement values by a distributed protocol ("Consensus Propagation", Moallemi & Van Roy, 2006), where the average is available for read-out at every single node. In the case that the underlying network is constant but the values to be averaged fluctuate ("dynamic data"), convergence and accuracy are determined by the spectral properties of an associated Ruelle-Perron-Frobenius operator. For Gaussian models on Erdos-Renyi graphs, numerical computation points to a spectral gap remaining in the large-size limit, implying exceptionally good scalability. In a model where the underlying network also fluctuates ("dynamic network"), averaging is more effective than in the dynamic data case. Altogether, this implies very good performance of these methods in very large systems, and opens a new field of statistical physics of large (and dynamic) information systems.Comment: 5 pages, 7 figure

Hierarchical Models for Independence Structures of Networks

We introduce a new family of network models, called hierarchical network models, that allow us to represent in an explicit manner the stochastic dependence among the dyads (random ties) of the network. In particular, each member of this family can be associated with a graphical model defining conditional independence clauses among the dyads of the network, called the dependency graph. Every network model with dyadic independence assumption can be generalized to construct members of this new family. Using this new framework, we generalize the Erd\"os-R\'enyi and beta-models to create hierarchical Erd\"os-R\'enyi and beta-models. We describe various methods for parameter estimation as well as simulation studies for models with sparse dependency graphs.Comment: 19 pages, 7 figure

Assimilation of TES data from the Mars Global Surveyor scientifc mapping phase

The Thermal Emission Spectrometer (TES)aboard Mars Global Surveyor has produced data which cover almost two Martian years so far (during its scientific mapping phase). Thermal profiles for the atmosphere below 40 km and total dust opacities can be retrieved from TES nadir spectra and assimilated into a Mars general circulation model (MGCM), by using the assimilation techniques described in detail by Lewis et al. (2002). This paper describes some preliminary results from assimilations of temperature data from the period Ls=141°- 270° corresponding to late northern summer until winter solstice on Mars. Work in progress is devoted to assimilate both temperature and total dust opacity data for the full period for which they are already available

The Significance Of Social Capital In Intergenerational Social Mobility Of Former Indian Plantation Based Communities: A Case Study Of The Matang Plantations.

This thesis presents a micro-sociological study of socio-cultural consequences of the changing landscape of the Malaysian plantation that have undergone significant development and restructuring. Tesis ini meneliti kesan sosio budaya, terhadap penstrukturan fabrik sosial komuniti pekerja ladang yang mengalami perubahan status dari segi hartanah, pengurusan dan bahan pengeluaran secara sosiomikr

VIDA: a virus database system for the organization of animal virus genome open reading frames

VIDA is a new virus database that organizes open reading frames (ORFs) from partial and complete genomic sequences from animal viruses. Currently VIDA includes all sequences from GenBank for Herpesviridae, Coronaviridae and Arteriviridae. The ORFs are organized into homologous protein families, which are identified on the basis of sequence similarity relationships, Conserved sequence regions of potential functional importance are identified and can be retrieved as sequence alignments. We use a controlled taxonomical and functional classification for all the proteins and protein families in the database. When available, protein structures that are related to the families have also been included. The database is available for online search and sequence information retrieval at http://www.biochem.ucl.ac.uk/bsm/virus-database/ VIDA.html

Structural change of vortex patterns in anisotropic Bose-Einstein condensates

We study the changes in the spatial distribution of vortices in a rotating Bose-Einstein condensate due to an increasing anisotropy of the trapping potential. Once the rotational symmetry is broken, we find that the vortex system undergoes a rich variety of structural changes, including the formation of zig-zag and linear configurations. These spatial re-arrangements are well signaled by the change in the behavior of the vortex-pattern eigenmodes against the anisotropy parameter. The existence of such structural changes opens up possibilities for the coherent exploitation of effective many-body systems based on vortex patterns.Comment: 5 pages, 4 figure

Colouring random graphs and maximising local diversity

We study a variation of the graph colouring problem on random graphs of finite average connectivity. Given the number of colours, we aim to maximise the number of different colours at neighbouring vertices (i.e. one edge distance) of any vertex. Two efficient algorithms, belief propagation and Walksat are adapted to carry out this task. We present experimental results based on two types of random graphs for different system sizes and identify the critical value of the connectivity for the algorithms to find a perfect solution. The problem and the suggested algorithms have practical relevance since various applications, such as distributed storage, can be mapped onto this problem.Comment: 10 pages, 10 figure

On the Josephson Coupling between a disk of one superconductor and a surrounding superconducting film of a different symmetry

A cylindrical Josephson junction with a spatially dependent Josephson coupling which averages to zero is studied in order to model the physics of a disk of d-wave superconductor embedded in a superconducting film of a different symmetry. It is found that the system always introduces Josepshon vortices in order to gain energy at the junction. The critical current is calculated. It is argued that a recent experiment claimed to provide evidence for s-wave superconductivity in $YBa_2Cu_3O_7$ may also be consistent with d-wave superconductivity. Figures available from the author on request.Comment: 10 pages, revtex3.0, TM-11111-940321-1