Modern software allows us to draw symbols (such as Chinese characters, or mathematical symbols) that the computer will then recognise and turn into type. How can these systems be improved, so that they run faster and more accurately?
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