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.
7296 Publications
2014 | Published | Technical Report | IST-REx-ID: 5425 | 
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
[Published Version]
View
| Files available
2014 | Research Data Reference | IST-REx-ID: 9740 |
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2014). Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Dryad. https://doi.org/10.5061/dryad.vm0vc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2028 |
Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. Academic Press. https://doi.org/10.1016/j.jtbi.2014.09.041
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2165 |
Morvant, E. (2014). Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling. Pattern Recognition Letters. Elsevier. https://doi.org/10.1016/j.patrec.2014.08.013
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 | Published | Technical Report | IST-REx-ID: 5415 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1927 |
Fuchsbauer, G., Konstantinov, M., Pietrzak, K. Z., & Rao, V. (2014). Adaptive security of constrained PRFs. In 20th International Conference on the Theory and Application of Cryptology and Information Security (Vol. 8874, pp. 82–101). Kaoshiung, Taiwan, China: Springer Nature. https://doi.org/10.1007/978-3-662-45608-8_5
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1854 |
Guerrero, P., Auzinger, T., Wimmer, M., & Jeschke, S. (2014). Partial shape matching using transformation parameter similarity. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12509
[Submitted Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 3263 |
Tkačik, G., Ghosh, A., Schneidman, E., & Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085841
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2261 |
Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B., … Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkt1290
[Preprint]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2285 |
Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., & Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.22214
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2716 |
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer. https://doi.org/10.1007/s00236-013-0182-6
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2281 |
Guo, Y., & Seiringer, R. (2014). On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-013-0667-9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2699 |
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2649752
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2257 |
Tkačik, G., Marre, O., Amodei, D., Schneidman, E., Bialek, W., & Berry, M. (2014). Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003408
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2254 |
Pernia-Andrade, A., & Jonas, P. M. (2014). Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.09.046
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2251 |
Csicsvari, J. L., & Dupret, D. (2014). Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2012.0528
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2253 |
Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H., … Geisler, M. (2014). Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/tpj.12369
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2255 |
Edelsbrunner, H., & Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. Springer. https://doi.org/10.1007/s10851-013-0468-x
[Submitted Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2234 |
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2014). Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-10(1:13)2014
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2250 |
Kuchibhatla, D., Sherman, W., Chung, B., Cook, S., Schneider, G., Eisenhaber, B., & Karlin, D. (2014). Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently “orphan” viral proteins. Journal of Virology. ASM. https://doi.org/10.1128/JVI.02595-13
[Published Version]
View
| Files available
| DOI
| WoS