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.

2200 Publications


2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control, 60(4), 1010–1022. https://doi.org/10.1109/TAC.2014.2364971
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37(5), 919–930. https://doi.org/10.1109/TPAMI.2014.2363465
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael, D. H., Espinoza Martinez, C. M., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron, 85(6), 1149–1151. https://doi.org/10.1016/j.neuron.2015.03.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1846 | OA
Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica, 52(2–3), 269–297. https://doi.org/10.1007/s00236-015-0215-4
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1848 | OA
Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V., … Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer, 137(6), 1318–1329. https://doi.org/10.1002/ijc.29498
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1850 | OA
Novak, S., & Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology, 372(5), 54–64. https://doi.org/10.1016/j.jtbi.2015.02.018
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1851 | OA
Priklopil, T., Kisdi, E., & Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution, 69(4), 1015–1026. https://doi.org/10.1111/evo.12618
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855 | OA
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2015). A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology, 84(3), 615–624. https://doi.org/10.1111/1365-2656.12345
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM, 62(1). https://doi.org/10.1145/2699430
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857 | OA
Pentina, A., Sharmanska, V., & Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7299188
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858 | OA
Lampert, C. (2015). Predicting the future behavior of a time-varying probability distribution (pp. 942–950). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7298696
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1859 | OA
Shah, N., Kolmogorov, V., & Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7298890
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1860 | OA
Royer, A., & Lampert, C. (2015). Classifier adaptation at prediction time (pp. 1401–1409). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7298746
View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864 | OA
Erdös, L., & Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare, 16(3), 709–799. https://doi.org/10.1007/s00023-014-0333-5
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871 | OA
Grones, P., & Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science, 128(1), 1–7. https://doi.org/10.1242/jcs.159418
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1873 | OA
Chatterjee, K., & Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence, 221, 46–72. https://doi.org/10.1016/j.artint.2014.12.009
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1879 | OA
Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M., … Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal of Microscopy, 259(2), 80–96. https://doi.org/10.1111/jmi.12211
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1880 | OA
Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics, 17. https://doi.org/10.1088/1367-2630/17/1/013022
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg, U., Kretinsky, J., Legay, A., & Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer. https://doi.org/10.1007/978-3-319-15317-9_19
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1883 | OA
Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., & Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(2), 022803. https://doi.org/10.1103/PhysRevE.91.022803
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1885 | OA
Tkacik, G., Dubuis, J., Petkova, M., & Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics, 199(1), 39–59. https://doi.org/10.1534/genetics.114.171850
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski, T. R., & Tkacik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(6). https://doi.org/10.1103/PhysRevE.91.062710
View | DOI | Download Preprint (ext.)
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1383 | OA
Yu, L., Scholl, S., Doering, A., Yi, Z., Irani, N., Di Rubbo, S., … Russinova, E. (2015). V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants, 1(7), 15094. https://doi.org/10.1038/nplants.2015.94
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1424 | OA
Kwitt, R., Huber, S., Niethammer, M., Lin, W., & Bauer, U. (2015). Statistical topological data analysis-A kernel perspective (Vol. 28, pp. 3070–3078). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1425 | OA
Pentina, A., & Lampert, C. (2015). Lifelong learning with non-i.i.d. tasks (Vol. 2015, pp. 1540–1548). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara, A., Fuchsbauer, G., Liu, B., & Warinschi, B. (2015). Policy privacy in cryptographic access control (pp. 46–60). Presented at the CSF: Computer Security Foundations, Verona, Italy: IEEE. https://doi.org/10.1109/CSF.2015.11
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481 | OA
Ahmed, U., Chatterjee, K., & Gulwani, S. (2015). Automatic generation of alternative starting positions for simple traditional board games. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 2, pp. 745–752). Austin, TX, USA: AAAI Press.
View | Files available | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus, J., Huber, S., Bauer, U., & Kwitt, R. (2015). A stable multi-scale kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7299106
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner, H., Iglesias Ham, M., & Kurlin, V. (2015). Relaxed disk packing. In Proceedings of the 27th Canadian Conference on Computational Geometry (Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University.
View | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497 | OA
Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research, 43(21). https://doi.org/10.1093/nar/gkv727
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky, J., Larsen, K., Laursen, S., & Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design, 47(2), 230–264. https://doi.org/10.1007/s10703-015-0235-2
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš, N., Daca, P., Henzinger, T. A., Kretinsky, J., & Nickovic, D. (2015). Complete composition operators for IOCO-testing theory (pp. 101–110). Presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM. https://doi.org/10.1145/2737166.2737175
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Bao, Z., Pan, G., & Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics, 43(1), 382–421. https://doi.org/10.1214/14-AOS1281
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506 | OA
Bao, Z., Pan, G., & Zhou, W. (2015). The logarithmic law of random determinant. Bernoulli, 21(3), 1600–1628. https://doi.org/10.3150/14-BEJ615
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
Erdös, L., & Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society, 17(8), 1927–2036. https://doi.org/10.4171/JEMS/548
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko, J., Lukacisinova, M., Bollenbach, M. T., & Friml, J. (2015). Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research , 4. https://doi.org/10.12688/f1000research.7143.1
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
Franek, P., & Krcál, M. (2015). On computability and triviality of well groups (Vol. 34, pp. 842–856). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.842
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result (Vol. 34, pp. 476–490). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.476
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: ACM. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
Pal, A., & Vicoso, B. (2015). The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution, 7(12), 3259–3268. https://doi.org/10.1093/gbe/evv215
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar, M., Maas, J., & Renger, M. (2015). From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability, 20. https://doi.org/10.1214/ECP.v20-4315
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton, N. H., & Servedio, M. (2015). The interpretation of selection coefficients. Evolution, 69(5), 1101–1112. https://doi.org/10.1111/evo.12641
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
Bauer, B., Blechl, G., Bock, C., Danowski, P., Ferus, A., Graschopf, A., … Welzig, E. (2015). Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen, 68(3), 580–607. https://doi.org/10.5281/zenodo.33178
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang, H., Yang, K., Zou, J., Zhu, L., Xie, Z., Morita, M., … Le, J. (2015). Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications, 6. https://doi.org/10.1038/ncomms9822
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael, D. H., Marcantoni, A., & Carbone, E. (2015). Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology, 8(2), 149–161. https://doi.org/10.2174/1874467208666150507105443
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., sako, keisuke, … Heisenberg, C.-P. J. (2015). Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell, 160(4), 673–685. https://doi.org/10.1016/j.cell.2015.01.008
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, J., Parise, F., Milias Argeitis, A., Khammash, M., & Lygeros, J. (2015). Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS, 112(26), 8148–8153. https://doi.org/10.1073/pnas.1423947112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, J. (2015). Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics, 143(24). https://doi.org/10.1063/1.4937937
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1995 | OA
Fratini, F., Mascarenhas, E., Safari, L., Poizat, J., Valente, D., Auffèves, A., … Santos, M. (2014). Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters, 113(24). https://doi.org/10.1103/PhysRevLett.113.243601
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1996 | OA
Hazak, O., Obolski, U., Prat, T., Friml, J., Hadany, L., & Yalovsky, S. (2014). Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS, 111(50), E5471–E5479. https://doi.org/10.1073/pnas.1413918111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002 | OA
Kim, S. (2014). Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One, 9(11). https://doi.org/10.1371/journal.pone.0113124
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2004 | OA
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., & Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One, 9(11). https://doi.org/10.1371/journal.pone.0111430
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007 | OA
Klimova, A., & Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2011 | OA
Yu, F., Fienberg, S., Slaković, A., & Uhler, C. (2014). Scalable privacy-preserving data sharing methodology for genome-wide association studies. Journal of Biomedical Informatics, 50, 133–141. https://doi.org/10.1016/j.jbi.2014.01.008
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2012 | OA
Iglesias Ham, M., Kerber, M., & Uhler, C. (2014). Sphere packing with limited overlap (pp. 155–161). Presented at the CCCG: Canadian Conference on Computational Geometry, Halifax, Canada: Unknown.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2013 | OA
Lin, S., Uhler, C., Sturmfels, B., & Bühlmann, P. (2014). Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics, 14(5), 1079–1116. https://doi.org/10.1007/s10208-014-9205-0
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2019 | OA
Erdös, L., & Schröder, D. J. (2014). Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry, 17(3–4), 441–464. https://doi.org/10.1007/s11040-014-9164-3
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2021 | OA
William, J., Hippenmeyer, S., & Luo, L. (2014). Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science, 346(6209), 626–629. https://doi.org/10.1126/science.1258996
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2022 | OA
Gao, P., Postiglione, M. P., Krieger, T., Hernandez, L., Wang, C., Han, Z., … Shi, S. (2014). Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell, 159(4), 775–788. https://doi.org/10.1016/j.cell.2014.10.027
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023 | OA
Novak, S. (2014). Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution, 4(24), 4589–4597. https://doi.org/10.1002/ece3.1289
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2024 | OA
Toshima, J., Nishinoaki, S., Sato, Y., Yamamoto, W., Furukawa, D., Siekhaus, D. E., … Toshima, J. (2014). Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications, 5. https://doi.org/10.1038/ncomms4498
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2014). Verification of markov decision processes using learning algorithms. In F. Cassez & J.-F. Raskin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 98–114). Sydney, Australia: Society of Industrial and Applied Mathematics. https://doi.org/10.1007/978-3-319-11936-6_8
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028 | OA
Bod’ová, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology, 365, 40–54. https://doi.org/10.1016/j.jtbi.2014.09.041
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2029 | OA
Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL, 108(2). https://doi.org/10.1209/0295-5075/108/20003
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2031 | OA
Arai, itaru, & Jonas, P. M. (2014). Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. ELife, 3. https://doi.org/10.7554/eLife.04057
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2032 | OA
Inglés Prieto, Á., Gschaider-Reichhart, E., Schelch, K., Janovjak, H. L., & Grusch, M. (2014). The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology, 1(4). https://doi.org/10.4161/23723548.2014.964045
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2033 | OA
Hernandez Lobato, D., Sharmanska, V., Kersting, K., Lampert, C., & Quadrianto, N. (2014). Mind the nuisance: Gaussian process classification using privileged noise. In Advances in Neural Information Processing Systems (Vol. 1, pp. 837–845). Montreal, Canada: Neural Information Processing Systems.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036 | OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences, 281(1794). https://doi.org/10.1098/rspb.2014.1679
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2014). Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL), 15(4). https://doi.org/10.1145/2629686
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2039 | OA
Chatterjee, K., Pavlogiannis, A., Adlam, B., & Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology, 10(9). https://doi.org/10.1371/journal.pcbi.1003818
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2040 | OA
Kicheva, A., Bollenbach, M. T., Ribeiro, A., Pérez Valle, H., Lovell Badge, R., Episkopou, V., & Briscoe, J. (2014). Coordination of progenitor specification and growth in mouse and chick spinal cord. Science, 345(6204). https://doi.org/10.1126/science.1254927
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2041 | OA
Jonas, P. M., & Lisman, J. (2014). Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits, 8. https://doi.org/10.3389/fncir.2014.00107
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2042 | OA
Kupczok, A., & Bollback, J. P. (2014). Motif depletion in bacteriophages infecting hosts with CRISPR systems. BMC Genomics, 15(1). https://doi.org/10.1186/1471-2164-15-663
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2043 | OA
Bauer, U., Kerber, M., & Reininghaus, J. (2014). Distributed computation of persistent homology. In C. McGeoch & U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments (pp. 31–38). Portland, USA: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.4
View | DOI | Download Submitted Version (ext.)
 

2014 | Book Chapter | IST-REx-ID: 2044 | OA
Bauer, U., Kerber, M., & Reininghaus, J. (2014). Clear and Compress: Computing Persistent Homology in Chunks. In P.-T. Bremer, I. Hotz, V. Pascucci, & R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III (pp. 103–117). Springer. https://doi.org/10.1007/978-3-319-04099-8_7
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2045 | OA
Dachman Soled, D., Fuchsbauer, G., Mohassel, P., & O’Neill, A. (2014). Enhanced chosen-ciphertext security and applications. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 329–344). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_19
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2046 | OA
Bellare, M., & Fuchsbauer, G. (2014). Policy-based signatures. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 520–537). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_30
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2047 | OA
Yu, F., Rybar, M., Uhler, C., & Fienberg, S. (2014). Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases. In J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8744, pp. 170–184). Ibiza, Spain: Springer. https://doi.org/10.1007/978-3-319-11257-2_14
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2050 | OA
Kühnen, J., Holzner, M., Hof, B., & Kuhlmann, H. (2014). Experimental investigation of transitional flow in a toroidal pipe. Journal of Fluid Mechanics, 738, 463–491. https://doi.org/10.1017/jfm.2013.603
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2053 | OA
Hermanns, H., Krčál, J., & Kretinsky, J. (2014). Probabilistic bisimulation: Naturally on distributions. In P. Baldan & D. Gorla (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8704, pp. 249–265). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-662-44584-6_18
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2056 | OA
Ganguly, A., Petrov, T., & Koeppl, H. (2014). Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology, 69(3), 767–797. https://doi.org/10.1007/s00285-013-0738-7
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2057 | OA
Morvant, E., Habrard, A., & Ayache, S. (2014). Majority vote of diverse classifiers for late fusion. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8621, pp. 153–162). Joensuu, Finland: Springer. https://doi.org/10.1007/978-3-662-44415-3_16
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2058 | OA
Raveendran, K., Wojtan, C. J., Thuerey, N., & Türk, G. (2014). Blending liquids. In ACM Transactions on Graphics (Vol. 33). Vancouver, Canada: ACM. https://doi.org/10.1145/2601097.2601126
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2059 | OA
Dubas, E., Moravčíková, J., Libantová, J., Matušíková, I., Benková, E., Zur, I., & Krzewska, M. (2014). The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma, 251(5), 1077–1087. https://doi.org/10.1007/s00709-014-0616-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062 | OA
Hu, H., Gan, J., & Jonas, P. M. (2014). Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science, 345(6196). https://doi.org/10.1126/science.1255263
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2064 | OA
Rubio, M., Fukazawa, Y., Kamasawa, N., Clarkson, C., Molnár, E., & Shigemoto, R. (2014). Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology, 522(18), 4023–4042. https://doi.org/10.1002/cne.23654
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2082 | OA
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2014). The exact PRF-security of NMAC and HMAC. In J. Garay & R. Gennaro (Eds.) (Vol. 8616, pp. 113–130). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA: Springer. https://doi.org/10.1007/978-3-662-44371-2_7
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2083 | OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution, 68(8), 2296–2305. https://doi.org/10.1111/evo.12440
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2084 | OA
Grusch, M., Schelch, K., Riedler, R., Gschaider-Reichhart, E., Differ, C., Berger, W., … Janovjak, H. L. (2014). Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal, 33(15), 1713–1726. https://doi.org/10.15252/embj.201387695
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2086 | OA
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One, 9(8). https://doi.org/10.1371/journal.pone.0103989
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2141 | OA
Chatterjee, K., & Henzinger, M. (2014). Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM, 61(3). https://doi.org/10.1145/2597631
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2153 | OA
Bauer, U., & Lesnick, M. (2014). Induced matchings of barcodes and the algebraic stability of persistence. In Proceedings of the Annual Symposium on Computational Geometry (pp. 355–364). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582168
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2154 | OA
Matoušek, J., & Wagner, U. (2014). On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry, 52(1), 1–33. https://doi.org/10.1007/s00454-014-9584-7
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2155 | OA
Bauer, U., & Edelsbrunner, H. (2014). The morse theory of Čech and Delaunay filtrations. In Proceedings of the Annual Symposium on Computational Geometry (pp. 484–490). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582167
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2156 | OA
Bauer, U., Ge, X., & Wang, Y. (2014). Measuring distance between Reeb graphs. In Proceedings of the Annual Symposium on Computational Geometry (pp. 464–473). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582169
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2157 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2014). Embeddability in the 3 sphere is decidable. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582137
View | Files available | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications