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.
5128 Publications
2016 |Published| Conference Abstract | IST-REx-ID: 12903 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schlögl, Alois, and Stephan Stadlbauer. “High Performance Computing at IST Austria: Modelling the Human Hippocampus.” AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
[Preprint]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 5749 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wielgoss, Sébastien, et al. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press, 2016, pp. 770–82, doi:10.1093/molbev/msv270.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 |Published| Book Chapter | IST-REx-ID: 1094
Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” High-Resolution Imaging of Cellular Proteins, vol. 1474, Springer, 2016, pp. 203–16, doi:10.1007/978-1-4939-6352-2_12.
View
| DOI
2016 |Published| Thesis | IST-REx-ID: 1121 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Journal Article | IST-REx-ID: 1662 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.” Advances in Mathematics, vol. 287, Academic Press, 2016, pp. 674–703, doi:10.1016/j.aim.2015.10.004.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1124 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1129 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:TH_776.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. Institute of Science and Technology Austria, 2016.
View
2016 |Published| Thesis | IST-REx-ID: 1123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mabillard, Isaac. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Journal Article | IST-REx-ID: 1432 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mishra, Rajiv Kumar, et al. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications, vol. 7, 11552, Nature Publishing Group, 2016, doi:10.1038/ncomms11552.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1125 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Novak, Sebastian. Evolutionary Proccesses in Variable Emvironments. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1130 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. Institute of Science and Technology Austria, 2016, doi:10.15479/at:ista:1130.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1391 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)