output
19942026
most citedSemantics derived automatically from language corpora contain human-like biases

2.9k citations

Showing 2013Show all

82 papers · 1 filter

math.PR2013

Phase transition for finite-speed detection among moving particles

Vladas Sidoravicius, Alexandre Stauffer

Consider the model where particles are initially distributed on , according to a Poisson point process of intensity , and are moving in continuous ti…

cs.PL2013

Coalgebraic Logic Programming: from Semantics to Implementation

Ekaterina Komendantskaya, John Power, Martin Schmidt

Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations f…

nlin.PS2013★ 26 cited

The Swift-Hohenberg equation with a nonlocal nonlinearity

David Morgan, Jonathan H. P. Dawes

It is well known that aspects of the formation of localised states in a one-dimensional Swift--Hohenberg equation can be described by Ginzburg--Landau-type envelope equations. This…

math.NA2013

Mixed Finite Element Analysis of Lognormal Diffusion and Multilevel Monte Carlo Methods

Ivan G. Graham, Robert Scheichl, Elisabeth Ullmann

This work is motivated by the need to develop efficient tools for uncertainty quantification in subsurface flows associated with radioactive waste disposal studies. We consider sin…

math.PR2013★ 5 cited

Potentials of stable processes

A. E. Kyprianou, A. R. Watson

For a stable process, we give an explicit formula for the potential measure of the process killed outside a bounded interval and the joint law of the overshoot, undershoot and unde…

cond-mat.stat-mech2013★ 21 cited

Investigating amorphous order in stable glasses by random pinning

Christopher J. Fullerton, Robert L. Jack

We use a random pinning procedure to investigate stable glassy states associated with large deviations of the activity in a model glass-former. We pin particles both from active (e…