Data-efficient Bayesian verification of parametric Markov chains
Polgreen, E
Wijesuriya, V
Haesaert, S
Abate, A
International Conference on Quantitative Evaluation of Systems: QEST 2016: Quantitative Evaluation of Systems
volume 9826
35-51
(01 Jan 2016)
Differential effects of male nutrient balance on pre-and post-copulatory traits, and consequences for female reproduction in Drosophila melanogaster
Morimoto, J
Wigby, S
Scientific Reports
(08 Jun 2016)
Sine-gordon quantum magnets
Eßler, F
International Journal of Modern Physics B
volume 13
issue 24-25
2915-2925
(01 Jan 1999)
Tue, 14 Jun 2016
12:45 -
13:30
C5
Wed, 08 Jun 2016
16:00 -
17:00
C1
Finiteness properties of subgroups of direct products of surface groups
Claudio Llosa Isenrich
(Oxford)
Abstract
We will explain a result of Bridson, Howie, Miller and Short on the finiteness properties of subgroups of direct products of surface groups. More precisely, we will show that a subgroup of a direct product of n surface groups is of finiteness type $FP_n$ if and only if there is virtually a direct product of at most n finitely generated surface groups. All relevant notions will be explained in the talk.