Showing 2003Show all

11 papers · 1 filter

cond-mat2003★ 30 cited

Transition radiation by matter-wave solitons in optical lattices

A. V. Yulin, D. V. Skryabin, P. St. J. Russell

We demonstrate that matter-wave solitary pulses formed from Bose condensed atoms moving inside optical lattices continuously radiate dispersive matter waves with prescribed momentu…

cs.LO2003★ 6 cited

On Structuring Proof Search for First Order Linear Logic

Paola Bruscoli, Alessio Guglielmi

Full first order linear logic can be presented as an abstract logic programming language in Miller's system Forum, which yields a sensible operational interpretation in the 'proof…

math.AG2003★ 43 cited

Toric Fano 3-folds with terminal singularities

Alexander Kasprzyk

This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3…

math.PR2003

Skorokhod embeddings, minimality and non-centred target distributions

Alexander Cox, David Hobson

In this paper we consider the Skorokhod embedding problem for target distributions with non-zero mean. In the zero-mean case, uniform integrability provides a natural restriction o…

math.PR2003

Brownian intersection local times: Exponential moments and law of large masses

Wolfgang Koenig, Peter Moerters

Consider p independent Brownian motions in R^d, each running up to its first exit time from an open domain B, and their intersection local time l as a measure on B. We give a sharp…

cond-mat.stat-mech2003★ 33 cited

A non-equilibrium Monte Carlo approach to potential refinement in inverse problems

N. B. Wilding

The inverse problem for a disordered system involves determining the interparticle interaction parameters consistent with a given set of experimental data. Recently, Rutledge has s…