Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2474 Publications
2016 | Journal Article | IST-REx-ID: 1252 |

Inducing a map on homology from a correspondence
S. Harker, H. Kokubu, K. Mischaikow, P. Pilarczyk, Proceedings of the American Mathematical Society 144 (2016) 1787–1801.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Harker, H. Kokubu, K. Mischaikow, P. Pilarczyk, Proceedings of the American Mathematical Society 144 (2016) 1787–1801.
2016 | Journal Article | IST-REx-ID: 1253 |

How MicroRNAs Are involved in splitting the mind
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
View
| Files available
| DOI
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
2016 | Journal Article | IST-REx-ID: 1254 |

Uniform expansivity outside a critical neighborhood in the quadratic family
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
View
| DOI
| Download Preprint (ext.)
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
2016 | Journal Article | IST-REx-ID: 1255 |

Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction
R. Peuß, K. Wensing, L. Woestmann, H. Eggert, B. Milutinovic, M. Sroka, J. Scharsack, J. Kurtz, S. Armitage, Royal Society Open Science 3 (2016).
View
| Files available
| DOI
R. Peuß, K. Wensing, L. Woestmann, H. Eggert, B. Milutinovic, M. Sroka, J. Scharsack, J. Kurtz, S. Armitage, Royal Society Open Science 3 (2016).
2016 | Conference Paper | IST-REx-ID: 1256 |

From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
View
| Files available
| DOI
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
2016 | Journal Article | IST-REx-ID: 1257 |

A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
View
| Files available
| DOI
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
2016 | Journal Article | IST-REx-ID: 1259 |

Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
View
| Files available
| DOI
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
2016 | Journal Article | IST-REx-ID: 1260 |

The dual of the space of interactions in neural network models
D. De Martino, International Journal of Modern Physics C 27 (2016).
View
| DOI
| Download Preprint (ext.)
| arXiv
D. De Martino, International Journal of Modern Physics C 27 (2016).
2016 | Journal Article | IST-REx-ID: 1261 |

Long-time behavior of a finite volume discretization for a fourth order diffusion equation
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
View
| DOI
| Download Preprint (ext.)
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
2016 | Journal Article | IST-REx-ID: 1262 |

Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View
| Files available
| DOI
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).