Quantitative approximation of the probability distribution of a Markov process by formal abstractions
Esmaeil Zadeh Soudjani, S
Abate, A
Logical Methods in Computer Science
volume 11
issue 3
1-29
(04 Sep 2015)
Tue, 13 Oct 2015
12:00 -
13:00
L5
Tue, 27 Oct 2015
12:00 -
13:00
L5
The evolutionary dynamics of influenza A virus adaptation to mammalian hosts
Bhatt, S
Lam, T
Lycett, S
Brown, A
Bowden, T
Holmes, E
Guan, Y
Wood, J
Brown, I
Kellam, P
Pybus, O
Brookes, S
Germundsson, A
Cook, A
Williamson, S
Essen, S
Garcon, F
Gunn, G
Sanchez, M
Marques, D
Tucker, D
McCrone, I
Gog, J
Saenz, R
Staff, M
Murcia, P
Barclay, W
Donnelly, C
Elderfield, R
Baillie, G
Coulter, E
Wieland, B
Mastin, A
McCauley, J
Woolhouse, M
Hayward, A
Ishola, D
Archibald, A
Freeman, T
Charleston, B
LeFevre, E
Bailey, M
Inman, C
Stokes, C
Chang, K
Dunham, S
White, G
Nguyen-Van-Tam, J
Enstone, J
Philosophical Transactions of the Royal Society B Biological Sciences
volume 368
issue 1614
20120382
(19 Mar 2013)