output
20022013
most citedA Massive Pulsar in a Compact Relativistic Binary

3.9k citations

Showing 2011Show all

32 papers · 1 filter

math.DG20113 cited

Splitting of 3-Manifolds and Rigidity of Area-Minimising Surfaces

Mario Micallef, Vlad Moraru

In this paper we prove an area comparison result for certain totally geodesic surfaces in 3-manifolds with a lower bound on the scalar curvature. This result is a variant of a comp…

cs.LO20116 cited

Formal Analysis of Quantum Systems using Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan

Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on…

q-fin.PR2011

A note on essential smoothness in the Heston model

Martin Forde, Antoine Jacquier, Aleksandar Mijatovic

This note studies an issue relating to essential smoothness that can arise when the theory of large deviations is applied to a certain option pricing formula in the Heston model. T…

hep-ex20111.4k cited

Indication of Electron Neutrino Appearance from an Accelerator-produced Off-axis Muon Neutrino Beam

T2K Collaboration, K. Abe, N. Abgrall +408

The T2K experiment observes indications of appearance in data accumulated with protons on target. Six events pass all selection criteria at…

gr-qc20112 cited

The asymmetric Kerr metric as a source of CP violation

Mark J Hadley

All experimental evidence for violation of discrete spacetime symmetries: Parity and Time reversal and the related Charge conjugation/Parity combination (P, T and CP respectively)…

cs.GT201117 cited

Two-Player Reachability-Price Games on Single-Clock Timed Automata

Michal Rutkowski

We study two player reachability-price games on single-clock timed automata. The problem is as follows: given a state of the automaton, determine whether the first player can guara…