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.
3060 Publications
2017 | Journal Article | IST-REx-ID: 680 | 
Chalk, M. J., Masset, P., Gutkin, B., & Denève, S. (2017). Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005582
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 681 |
Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J. (2017). Doomsday equilibria for omega-regular games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2016.10.012
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 683 |
Lubiw, A., Masárová, Z., & Wagner, U. (2017). A proof of the orbit conjecture for flipping edge labelled triangulations (Vol. 77). Presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2017.49
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 684 |
Chatterjee, K., & Piterman, N. (2017). Obligation blackwell games and p-automata. Journal of Symbolic Logic. Cambridge University Press. https://doi.org/10.1017/jsl.2016.71
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 6841 |
Martius, G. S., & Lampert, C. (2017). Extrapolation and learning equations. In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. Toulon, France: International Conference on Learning Representations.
View
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 685 |
Briscoe, J., & Kicheva, A. (2017). The physics of development 100 years after D’Arcy Thompson’s “on growth and form.” Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2017.03.005
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 686
Heisenberg, C.-P. J. (2017). D’Arcy Thompson’s ‘on growth and form’: From soap bubbles to tissue self organization. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2017.03.006
View
| DOI
2017 | Journal Article | IST-REx-ID: 687 |
Davison, B. (2017). The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haw053
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 688 |
Edelsbrunner, H., & Wagner, H. (2017). Topological data analysis with Bregman divergences (Vol. 77, pp. 391–3916). Presented at the Symposium on Computational Geometry, SoCG, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2017.39
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 689
Novarino, G. (2017). Rett syndrome modeling goes simian. Science Translational Medicine. American Association for the Advancement of Science. https://doi.org/10.1126/scitranslmed.aan8196
View
| DOI
2017 | Journal Article | IST-REx-ID: 693 |
Miki, T., Kaufmann, W., Malagon, G., Gomez, L., Tabuchi, K., Watanabe, M., … Marty, A. (2017). Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1704470114
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 694 |
Veß, A., Blache, U., Leitner, L., Kurz, A., Ehrenpfordt, A., Sixt, M. K., & Posern, G. (2017). A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.200899
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 697 |
Pietrzak, K. Z., & Skórski, M. (2017). Non uniform attacks against pseudoentropy (Vol. 80). Presented at the ICALP: International Colloquium on Automata, Languages, and Programming, Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2017.39
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 698 |
Wang, Y., Nagarajan, M., Uhler, C., & Shivashankar, G. (2017). Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression. Molecular Biology of the Cell. American Society for Cell Biology. https://doi.org/10.1091/mbc.E16-12-0825
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 699 |
Veller, C., Hayward, L., Nowak, M., & Hilbe, C. (2017). The red queen and king in finite populations. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1702020114
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 700 |
Barzanjeh, S., Salari, V., Tuszynski, J., Cifra, M., & Simon, C. (2017). Optomechanical proposal for monitoring microtubule mechanical vibrations. Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics. https://doi.org/10.1103/PhysRevE.96.012404
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 701 |
Kynčl, J., & Patakova, Z. (2017). On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. International Press.
View
| Files available
2017 | Journal Article | IST-REx-ID: 702
Novarino, G. (2017). The riddle of CHD8 haploinsufficiency in autism spectrum disorder. Science Translational Medicine. American Association for the Advancement of Science. https://doi.org/10.1126/scitranslmed.aao0972
View
| DOI
2017 | Journal Article | IST-REx-ID: 706
Geng, X., Maruo, T., Mandai, K., Supriyanto, I., Miyata, M., Sakakibara, S., … Mori, M. (2017). Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. Genes to Cells. Wiley-Blackwell. https://doi.org/10.1111/gtc.12508
View
| DOI
2017 | Journal Article | IST-REx-ID: 707 |
Akopyan, A., & Karasev, R. (2017). A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. Wiley-Blackwell. https://doi.org/10.1112/blms.12062
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 708 |
Nagy, B., Hovhannisyan, A., Barzan, R., Chen, T., & Kukley, M. (2017). Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2001993
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 709
Sun, W., Li, C., Zhang, Y., Jiang, C., Zhai, M.-Z., Zhou, Q., … Deng, Q. (2017). Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. Cell Biology International. Wiley-Blackwell. https://doi.org/10.1002/cbin.10783
View
| DOI
2017 | Conference Paper | IST-REx-ID: 710 |
Obremski, M., & Skórski, M. (2017). Renyi entropy estimation revisited (Vol. 81). Presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 711 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2017). Bidirectional nested weighted automata (Vol. 85). Presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2017.5
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 712 |
Fischer, J. L. (2017). Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. Elsevier. https://doi.org/10.1016/j.na.2017.03.001
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 713 |
Andergassen, D., Dotter, C., Wenzel, D., Sigl, V., Bammer, P., Muckenhuber, M., … Hudson, Q. (2017). Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.25125
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 714 |
Brailoiu, G., Deliu, E., Barr, J., Console Bram, L., Ciuciu, A., Abood, M., … Brǎiloiu, E. (2017). HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. Elsevier. https://doi.org/10.1016/j.drugalcdep.2017.04.015
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1294 |
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.09.009
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1336 |
Paixao, T., Pérez Heredia, J., Sudholt, D., & Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. Algorithmica. Springer. https://doi.org/10.1007/s00453-016-0212-1
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1337 |
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2017). Universality for general Wigner-type matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-016-0740-2
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1338 |
Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., & Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-016-0256-5
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1351 |
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica. Springer. https://doi.org/10.1007/s00236-016-0278-x
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1367 |
Manteaux, P., Wojtan, C. J., Narain, R., Redon, S., Faure, F., & Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12941
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1407 |
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.04.006
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1433
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
View
| DOI
2017 | Journal Article | IST-REx-ID: 1528 |
Bao, Z., & Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-015-0692-y
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1000 |
Kolesnikov, A., & Lampert, C. (2017). PixelCNN models with auxiliary variables for natural image modeling (Vol. 70, pp. 1905–1914). Presented at the ICML: International Conference on Machine Learning, Sydney, Australia: Omnipress.
View
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1001 |
Guseinov, R., Miguel, E., & Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/3072959.3073709
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1002 |
Zhang, R., Auzinger, T., Ceylan, D., Li, W., & Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1003 |
Avni, G., Guha, S., & Kupferman, O. (2017). An abstraction-refinement methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia: AAAI Press. https://doi.org/10.24963/ijcai.2017/11
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1004 |
Ötvös, K., & Benková, E. (2017). Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2017.03.010
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1006 |
Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. BioMed Central. https://doi.org/10.1186/s12864-017-3705-7
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1007 |
Lang, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances. Automatica. IFAC, the International Federation of Automatic Control. https://doi.org/10.1016/j.automatica.2017.03.030
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1009 |
Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., & Zikelic, D. (2017). Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.
View
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1010 |
Alt, J., Erdös, L., & Krüger, T. H. (2017). Local law for random Gram matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-EJP42
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 1011 |
Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1013 |
Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics. American Physical Society. https://doi.org/10.1103/Physics.10.32
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1015 |
Bighin, G., & Salasnich, L. (2017). Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep45702
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1016
Breuss, M., Nguyen, T., Srivatsan, A., Leca, I., Tian, G., Fritz, T., … Gleeson, J. (2017). Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddw383
View
| DOI
2017 | Journal Article | IST-REx-ID: 1017 |
Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., & Keays, D. (2017). Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/10.1016/j.mcn.2017.03.002
View
| Files available
| DOI