343 citations · 354 across the 7 of their papers we have counts for
7 papers
Magnetic Phase Imaging using Lorentz Near-field Electron Ptychography
Shengbo You, Peng-Han Lu, András Kovács +4
Over the past few years, the combination of diffuser and near-field electron ptychography has drawn more attention by its ability to recover large field of view with few diffractio…
NANCY: Next-generation All-sky Near-infrared Community surveY
Jiwon Jesse Han, Arjun Dey, Adrian M. Price-Whelan +206
The Nancy Grace Roman Space Telescope is capable of delivering an unprecedented all-sky, high-spatial resolution, multi-epoch infrared map to the astronomical community. This oppor…
The Early Data Release of the Dark Energy Spectroscopic Instrument
DESI Collaboration, A. G. Adame, J. Aguilar +266
The Dark Energy Spectroscopic Instrument (DESI) completed its five-month Survey Validation in May 2021. Spectra of stellar and extragalactic targets from Survey Validation constitu…
Validation of the Scientific Program for the Dark Energy Spectroscopic Instrument
DESI Collaboration, A. G. Adame, J. Aguilar +261
The Dark Energy Spectroscopic Instrument (DESI) was designed to conduct a survey covering 14,000 deg over five years to constrain the cosmic expansion history through precise m…
Element-Specific Study of Magnetic Anisotropy and Hardening in SmCoCu Thin Films
Georgia Gkouzia, Damian Günzing, Ruiwen Xie +10
This work investigates the effect of copper substitution on the magnetic properties of SmCo thin films synthesized by molecular beam epitaxy. A series of thin films with vary…
Identifying grain boundary and intragranular pinning centres in Sm2(Co,Fe,Cu,Zr)17 permanent magnets to guide performance optimisation
Stefan Giron, Nikita Polin, Esmaeil Adabifiroozjaei +21
Permanent magnets draw their properties from a complex interplay of chemical composition and phase, each with their associated intrinsic magnetic properties. Gaining an understandi…
Type-Theoretic Signatures for Algebraic Theories and Inductive Types
András Kovács
We develop the usage of certain type theories as specification languages for algebraic theories and inductive types. We observe that the expressive power of dependent type theories…