Institution
University of St Andrews
Education•St Andrews, Fife, United Kingdom•
About: University of St Andrews is a education organization based out in St Andrews, Fife, United Kingdom. It is known for research contribution in the topics: Population & Laser. The organization has 16260 authors who have published 43364 publications receiving 1636072 citations. The organization is also known as: St Andrews University & University of St. Andrews.
Topics: Population, Laser, Stars, Catalysis, Galaxy
Papers published on a yearly basis
Papers
More filters
••
TL;DR: The SLS concept needs updating to accommodate recent findings that individuals switch between strategies flexibly, that multiple strategies are deployed simultaneously, and that there is no one-to-one correspondence between psychological heuristics deployed and resulting population-level patterns.
299 citations
••
TL;DR: This paper describes the implementation of Idris, a new dependently typed functional programming language, and presents a tactic-based method for elaborating concrete high-level syntax with implicit arguments and type classes into a fully explicit type theory.
Abstract: Many components of a dependently-typed programming language are by now well understood, for example the underlying type theory, type checking, unification and evaluation. How to combine these components into a realistic and usable high-level language is, however, folklore, discovered anew by successive language implementators. In this paper, I describe the implementation of IDRIS, a new dependently-typed functional programming language. IDRIS is intended to be a general purpose programming language and as such provides high-level concepts such as implicit syntax, type classes and do notation. I describe the high-level language and the underlying type theory, and present a tactic-based method for elaborating concrete high-level syntax with implicit arguments and type classes into a fully explicit type theory. Furthermore, I show how this method facilitates the implementation of new high-level language constructs.
299 citations
••
TL;DR: In this article, the first hydrodynamical star formation calculation was performed to demonstrate that close binary stellar systems (separations 10 au) need not be formed directly by fragmentation and that a high frequency of close binaries can be produced through a combination of dynamical interactions in unstable multiple systems and the orbital decay of initially wider binaries.
Abstract: We present results from the first hydrodynamical star formation calculation to demonstrate that close binary stellar systems (separations 10 au) need not be formed directly by fragmentation. Instead, a high frequency of close binaries can be produced through a combination of dynamical interactions in unstable multiple systems and the orbital decay of initially wider binaries. Orbital decay may occur as a result of gas accretion and/or the interaction of a binary with its circumbinary disc. These three mechanisms avoid the problems associated with the fragmentation of optically thick gas to form close systems directly. They also result in a preference for close binaries to have roughly equal-mass components because dynamical exchange interactions and the accretion of gas with high specific angular momentum drive mass ratios towards unity. Furthermore, because of the importance of dynamical interactions, we find that stars with greater masses ought to have a higher frequency of close companions, and that many close binaries ought to have wide companions. These properties are in good agreement with the results of observational surveys.
299 citations
••
TL;DR: It is shown that 12 other paramyxoviruses also target mda-5 by a direct interaction between the conserved cysteine-rich C-terminus of their V proteins and the helicase domain of mDA-5, and that the inhibition of m da-5 function is also not restricted to mammalian cells.
298 citations
••
TL;DR: The authors examines the positioning of qualitative research to date in the field of management accounting and offers a critical reflection and an appraisal of its profile relative to the dominant positivist quantitative accounting research literature.
298 citations
Authors
Showing all 16531 results
Name | H-index | Papers | Citations |
---|---|---|---|
Yi Chen | 217 | 4342 | 293080 |
Paul M. Thompson | 183 | 2271 | 146736 |
Ian J. Deary | 166 | 1795 | 114161 |
Dongyuan Zhao | 160 | 872 | 106451 |
Mark J. Smyth | 153 | 713 | 88783 |
Harry Campbell | 150 | 897 | 115457 |
William J. Sutherland | 148 | 966 | 94423 |
Thomas J. Smith | 140 | 1775 | 113919 |
John A. Peacock | 140 | 565 | 125416 |
Jean-Marie Tarascon | 136 | 853 | 137673 |
David A. Jackson | 136 | 1095 | 68352 |
Ian Ford | 134 | 678 | 85769 |
Timothy J. Mitchison | 133 | 404 | 66418 |
Will J. Percival | 129 | 473 | 87752 |
David P. Lane | 129 | 568 | 90787 |