Please note that ISTA 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.
4181 Publications
2016 | Journal Article | IST-REx-ID: 1255 |
Peuß, Robert, Kristina Wensing, Luisa Woestmann, Hendrik Eggert, Barbara Milutinovic, Marlene Sroka, Jörn Scharsack, Joachim Kurtz, and Sophie Armitage. “Down Syndrome Cell Adhesion Molecule 1: Testing for a Role in Insect Immunity, Behaviour and Reproduction.” Royal Society Open Science. Royal Society, The, 2016. https://doi.org/10.1098/rsos.160138.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1256 |
Jiang, Yu, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design.” IEEE, 2016. https://doi.org/10.1109/RTAS.2016.7461337.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1257 |
Sadel, Christian, and Bálint Virág. “A Central Limit Theorem for Products of Random Matrices and GOE Statistics for the Anderson Model on Long Boxes.” Communications in Mathematical Physics. Springer, 2016. https://doi.org/10.1007/s00220-016-2600-4.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1259 |
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry. Springer, 2016. https://doi.org/10.1007/s11040-016-9209-x.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1260 |
De Martino, Daniele. “The Dual of the Space of Interactions in Neural Network Models.” International Journal of Modern Physics C. World Scientific Publishing, 2016. https://doi.org/10.1142/S0129183116500674.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv