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.

2981 Publications


2016 | Journal Article | IST-REx-ID: 1255 | OA
Peuß, R., Wensing, K., Woestmann, L., Eggert, H., Milutinovic, B., Sroka, M., … Armitage, S. (2016). Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction. Royal Society Open Science, 3(4). https://doi.org/10.1098/rsos.160138
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1256 | OA
Jiang, Y., Yang, Y., Liu, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria: IEEE. https://doi.org/10.1109/RTAS.2016.7461337
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1257 | OA
Sadel, C., & Virág, B. (2016). A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics, 343(3), 881–919. https://doi.org/10.1007/s00220-016-2600-4
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2016). Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry, 19(2). https://doi.org/10.1007/s11040-016-9209-x
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1260 | OA
De Martino, D. (2016). The dual of the space of interactions in neural network models. International Journal of Modern Physics C, 27(6), 1650067. https://doi.org/10.1142/S0129183116500674
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications