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

2.9k citations

Showing 2011Show all

46 papers · 1 filter

cond-mat.mtrl-sci2011

Single and two-scale sharp-interface models for concrete carbonation -- Asymptotics and numerical approximation

Jonathan D. Evans, Andrea Fernández, Adrian Muntean

We investigate the fast-reaction asymptotics for a one-dimensional reaction-diffusion (RD) system describing the penetration of the carbonation reaction in concrete. The technique…

cs.LO2011★ 4 cited

Isomorphisms of types in the presence of higher-order references

Pierre Clairambault

We investigate the problem of type isomorphisms in a programming language with higher-order references. We first recall the game-theoretic model of higher-order references by Abram…

cs.LO2011★ 6 cited

Estimation of the length of interactions in arena game semantics

Pierre Clairambault

We estimate the maximal length of interactions between strategies in HO/N game semantics, in the spirit of the work by Schwichtenberg and Beckmann for the length of reduction in si…

astro-ph.IM2011★ 140 cited

A complex multi-notch astronomical filter to suppress the bright infrared sky

J. Bland-Hawthorn, S. C. Ellis, S. G. Leon-Saval +10

A long-standing and profound problem in astronomy is the difficulty in obtaining deep near-infrared observations due to the extreme brightness and variability of the night sky at t…

cond-mat.stat-mech2011★ 43 cited

Random pinning in glassy spin models with plaquette interactions

Robert L. Jack, Ludovic Berthier

We use a random pinning procedure to study amorphous order in two glassy spin models. On increasing the concentration of pinned spins at constant temperature, we find a sharp cross…

math.PR2011★ 15 cited

Unbiased shifts of Brownian motion

Günter Last, Peter Mörters, Hermann Thorisson

Let be a two-sided standard Brownian motion. An unbiased shift of is a random time , which is a measurable function of , such that $(B_{T+t}…