Mathematicians seek truth, beauty and elegance, in mathematics itself and in our work with researchers studying fundamental questions in a host of other disciplines. We pursue excellence in all aspects of research, teaching and the communication of mathematics.
The Gaia-ESO Survey: processing FLAMES-UVES spectra⋆
Sacco, G
Morbidelli, L
Franciosini, E
Maiorca, E
Randich, S
Modigliani, A
Gilmore, G
Asplund, M
Binney, J
Bonifacio, P
Drew, J
Feltzing, S
Ferguson, A
Jeffries, R
Micela, G
Negueruela, I
Prusti, T
Rix, H
Vallenari, A
Alfaro, E
Prieto, C
Babusiaux, C
Bensby, T
Blomme, R
Bragaglia, A
Flaccomio, E
Francois, P
Hambly, N
Irwin, M
Koposov, S
Korn, A
Lanzafame, A
Pancino, E
Recio-Blanco, A
Smiljanic, R
Van Eck, S
Walton, N
Bergemann, M
Costado, M
de Laverny, P
Heiter, U
Hill, V
Hourihane, A
Jackson, R
Jofre, P
Lewis, J
Lind, K
Lardo, C
Magrini, L
Masseron, T
Prisinzano, L
Worley, C
Astronomy & Astrophysics
volume 565
a113
(20 May 2014)
Confinement of knotted polymers in a slit
Matthews, R
Louis, A
Yeomans, J
MOLECULAR PHYSICS
volume 109
issue 7-10
1289-1295
(30 Mar 2011)
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000208914600025&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity
Abramsky, S
23-50
(24 Jan 2016)
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
Abate, A
Kwiatkowska, M
Norman, G
Parker, D
Lecture Notes in Computer Science
volume 8464
40-58
(2014)
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem
Tkachey, I
Abate, A
3211-3216
(01 Dec 2013)
Bisimilar finite abstractions of stochastic control systems
Zamani, M
Esfahani, P
Majumdar, R
Abate, A
Lygeros, J
3926-3931
(01 Dec 2013)
Constraining the Galaxy's dark halo with RAVE stars
Piffl, T
Binney, J
McMillan, P
Steinmetz, M
Helmi, A
Wyse, R
Bienaymé, O
Bland-Hawthorn, J
Freeman, K
Gibson, B
Gilmore, G
Grebel, E
Kordopatis, G
Navarro, J
Parker, Q
Reid, W
Seabroke, G
Siebert, A
Watson, F
Zwitter, T
Monthly Notices of the Royal Astronomical Society
volume 445
issue 3
3133-3151
(11 Dec 2014)
An Algebraic Characterisation of Concurrent Composition
Abramsky, S
(08 Jun 2014)
http://arxiv.org/abs/1406.1965v1