output
20022011
most citedDynamics of dark energy

6.3k citations

Showing 2010Show all

70 papers · 1 filter

cs.LO201033 cited

Beating the Productivity Checker Using Embedded Languages

Nils Anders Danielsson

Some total languages, like Agda and Coq, allow the use of guarded corecursion to construct infinite values and proofs. Guarded corecursion is a form of recursion in which arbitrary…

quant-ph2010

Quantum filtering for systems driven by fermion fields

J. E. Gough, M. I. Guta, M. R. James +1

Recent developments in quantum technology mean that is it now possible to manipulate systems and measure fermion fields (e.g. reservoirs of electrons) at the quantum level. This pr…

gr-qc201014 cited

A Unified Theory of Non-Linear Electrodynamics and Gravity

Alexander Torres-Gomez, Kirill Krasnov, Carlos Scarinci

We describe a class of unified theories of electromagnetism and gravity. The Lagrangian is of the BF type, with a potential for the B-field, the gauge group is U(2) (complexified).…

astro-ph.CO2010437 cited

The Detection of a Population of Submillimeter-Bright, Strongly-Lensed Galaxies

Mattia Negrello, R. Hopwood, G. De Zotti +86

Gravitational lensing is a powerful astrophysical and cosmological probe and is particularly valuable at submillimeter wavelengths for the study of the statistical and individual p…

hep-th201027 cited

Goldstone's Theorem and Hamiltonian of Multi-galileon Modified Gravity

Shuang-Yong Zhou

The galileon model was recently proposed to locally describe a class of modified gravity theories, including the braneworld DGP model. We discuss spontaneous symmetry breaking of t…

astro-ph.CO201079 cited

The Sudden Death of the Nearest Quasar

Kevin Schawinski, Daniel A. Evans, Shanil Virani +13

Galaxy formation is significantly modulated by energy output from supermassive black holes at the centers of galaxies which grow in highly efficient luminous quasar phases. The tim…