10.6k citations
- Centre National de la Recherche ScientifiqueFR568 papers
- University of OxfordGB500 papers
- University of CambridgeGB477 papers
- University of EdinburghGB451 papers
- Royal ObservatoryGB428 papers
- California Institute of TechnologyUS350 papers
- Durham UniversityGB342 papers
- European Southern ObservatoryCL334 papers
- University College LondonGB329 papers
- National Institute for AstrophysicsIT318 papers
- Imperial College LondonGB312 papers
- Leiden UniversityNL297 papers
247 papers · 1 filter
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…
Detection of stacking faults breaking the [110]/[1-10] symmetry in ferromagnetic semiconductors (Ga,Mn)As and (Ga,Mn)(As,P)
M. Kopecky, J. Kub, F. Maca +6
We report high resolution x-ray diffraction measurements of (Ga,Mn)As and (Ga,Mn)(As,P) epilayers. We observe a structural anisotropy in the form of stacking faults which are prese…
Galaxy And Mass Assembly (GAMA): Galaxies at the faint end of the Halpha luminosity function
S. Brough, A. M. Hopkins, R. G. Sharp +30
We present an analysis of the properties of the lowest Halpha-luminosity galaxies (L_Halpha<4x10^32 W; SFR<0.02 Msun/yr) in the Galaxy And Mass Assembly (GAMA) survey. These galaxi…
Weakly interacting Bose gas in the one-dimensional limit
P. Krüger, S. Hofferberth, I. E. Mazets +2
We prepare a chemically and thermally one-dimensional (1d) quantum degenerate Bose gas in a single microtrap. We introduce a new interferometric method to distinguish the quasicond…
Parity conjectures for elliptic curves over global fields of positive characteristic
Fabien Trihan, Christian Wuthrich
We prove the -parity conjecture for elliptic curves over global fields of characteristic . We also present partial results on the -parity conjecture for primes $\el…
Spin-orbit driven ferromagnetic resonance: A nanoscale magnetic characterisation technique
D. Fang, H. Kurebayashi, J. Wunderlich +7
We demonstrate a scalable new ferromagnetic resonance (FMR) technique based on the spin-orbit interaction. An alternating current drives FMR in uniform ferromagnetic structures pat…