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.

2163 Publications


2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen, X., Grandont, L., Li, H., Hauschild, R., Paque, S., Abuzeineh, A., … Friml, J. (2014). Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature, 516(729), 90–93. https://doi.org/10.1038/nature13889
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2014). Lipschitz robustness of finite-state transducers. In Leibniz International Proceedings in Informatics, LIPIcs (Vol. 29, pp. 431–443). Delhi, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, A., Kovács, L., Kragl, B., & Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez & J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_14
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta, R., Olivo, O., & Allen, E. (2014). Cost-aware automatic program repair. In M. Müller-Olm & H. Seidl (Eds.) (Vol. 8723, pp. 268–284). Presented at the SAS: Static Analysis Symposium, Munich, Germany: Springer. https://doi.org/10.1007/978-3-319-10936-7_17
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin, N., Edelsbrunner, H., Glazyrin, A., & Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal, 14(3), 491–504.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., & Tkačik, G. (2014). Variance predicts salience in central sensory processing. ELife, (November). https://doi.org/10.7554/eLife.03722
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics, 26(7). https://doi.org/10.1142/S0129055X14500123
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner, C., Braunstein, V., Stangl, M., Schlögl, A., Neuper, C., & Ischebeck, A. (2014). Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology, 51(4), 385–395. https://doi.org/10.1111/psyp.12062
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana, S., Meidl, P., Bonfils, D., & Taborsky, M. (2014). Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences, 281(1794). https://doi.org/10.1098/rspb.2014.0253
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
Nováková, P., Hirsch, S., Feraru, E., Tejos, R., Van Wijk, R., Viaene, T., … Friml, J. (2014). SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS, 111(7), 2818–2823. https://doi.org/10.1073/pnas.1324264111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska, A., Wywiał, E., Dunin Horkawicz, S., Łasica, A., Wösten, M., Nagy-Staron, A. A., … Jagusztyn Krynicka, E. (2014). Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One, 9(9). https://doi.org/10.1371/journal.pone.0106247
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura, M., Murakami, G., Meng, H., Itakura, M., Shigemoto, R., Fukuda, A., & Nakahara, D. (2014). Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One, 9(9). https://doi.org/10.1371/journal.pone.0107099
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár, R., Bod’ová, K., Nosek, J., & Tomáška, Ľ. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics, 89(3). https://doi.org/10.1103/PhysRevE.89.032701
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto, S., Otegui, M., Kutsuna, N., De Rycke, R., Dainobu, T., Karampelias, M., … Friml, J. (2014). Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell, 26(7), 3062–3076. https://doi.org/10.1105/tpc.114.125880
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams, S., Ratliff, L., Postiglione, M. P., Knoblich, J., & Fuchs, E. (2014). Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology, 16(8), 758–769. https://doi.org/10.1038/ncb3001
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1904 | OA
Frank, R., Lewin, M., Lieb, É., & Seiringer, R. (2014). Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society, 16(7), 1507–1526. https://doi.org/10.4171/JEMS/467
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1906 | OA
Arikan, M., Preiner, R., Scheiblauer, C., Jeschke, S., & Wimmer, M. (2014). Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics, 20(9), 1280–1292. https://doi.org/10.1109/TVCG.2014.2312011
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1907 | OA
Demay, G., Gazi, P., Maurer, U., & Tackmann, B. (2014). Optimality of non-adaptive strategies: The case of parallel games. In IEEE International Symposium on Information Theory. Honolulu, USA: IEEE. https://doi.org/10.1109/ISIT.2014.6875125
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1908 | OA
Weissman, D., & Hallatschek, O. (2014). The rate of adaptation in large sexual populations with linear chromosomes. Genetics, 196(4), 1167–1183. https://doi.org/10.1534/genetics.113.160705
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909 | OA
Ezard, T., Prizak, R., & Hoyle, R. (2014). The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology, 28(3), 693–701. https://doi.org/10.1111/1365-2435.12207
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1912 | OA
Compagnon, J., Barone, V., Rajshekar, S., Kottmeier, R., Pranjic-Ferscha, K., Behrndt, M., & Heisenberg, C.-P. J. (2014). The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell, 31(6), 774–783. https://doi.org/10.1016/j.devcel.2014.11.003
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković, I., Petrov, T., & Kovács, G. (2014). Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders, 38(5–6), 375–388. https://doi.org/10.1159/000365548
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1916 | OA
Novarino, G., Fenstermaker, A., Zaki, M., Hofree, M., Silhavy, J., Heiberg, A., … Gleeson, J. (2014). Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science, 343(6170), 506–511. https://doi.org/10.1126/science.1247363
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1917 | OA
Xu, T., Dai, N., Chen, J., Nagawa, S., Cao, M., Li, H., … Yang, Z. (2014). Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science, 343(6174), 1025–1028. https://doi.org/10.1126/science.1245125
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1918 | OA
Bellazzini, J., Frank, R., Lieb, É., & Seiringer, R. (2014). Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics, 26(1). https://doi.org/10.1142/S0129055X13500219
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919 | OA
Aziz, W., Wang, W., Kesaf, S., Mohamed, A., Fukazawa, Y., & Shigemoto, R. (2014). Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning. PNAS, 111(1), E194–E202. https://doi.org/10.1073/pnas.1303317110
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920 | OA
Wang, W., Nakadate, K., Masugi Tokita, M., Shutoh, F., Aziz, W., Tarusawa, E., … Shigemoto, R. (2014). Distinct cerebellar engrams in short-term and long-term motor learning. PNAS, 111(1), E188–E193. https://doi.org/10.1073/pnas.1315541111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1921 | OA
Tejos, R., Sauer, M., Vanneste, S., Palacios-Gomez, M., Li, H., Heilmann, M., … Friml, J. (2014). Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell, 26(5), 2114–2128. https://doi.org/10.1105/tpc.114.126185
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923 | OA
Berthoumieux, H., Maître, J.-L., Heisenberg, C.-P. J., Paluch, E., Julicher, F., & Salbreux, G. (2014). Active elastic thin shell theory for cellular deformations. New Journal of Physics, 16. https://doi.org/10.1088/1367-2630/16/6/065005
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1925 | OA
Lamprecht, C., Plochberger, B., Ruprecht, V., Wieser, S., Rankl, C., Heister, E., … Ebner, A. (2014). A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology, 25(12). https://doi.org/10.1088/0957-4484/25/12/125704
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926 | OA
Sadel, C. (2014). Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry, 17(3–4), 409–440. https://doi.org/10.1007/s11040-014-9163-4
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin, C., & Triesch, J. (2014). Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience, 8(MAY). https://doi.org/10.3389/fncom.2014.00057
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter, M., Weissman, D., Peterson, G., Peck, K., & Masel, J. (2014). Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution, 68(12), 3357–3367. https://doi.org/10.1111/evo.12517
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani, A., Lieb, É., & Seiringer, R. (2014). Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics, 331(1), 333–350. https://doi.org/10.1007/s00220-014-1923-2
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly, M., Weissman, D., Feldman, M., & Grodzinski, U. (2014). An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology, 25(3), 487–495. https://doi.org/10.1093/beheco/aru002
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade, P., Erdös, L., & Yau, H. (2014). Edge universality of beta ensembles. Communications in Mathematical Physics, 332(1), 261–353. https://doi.org/10.1007/s00220-014-2120-z
View | DOI | Download Submitted Version (ext.)
 

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 | 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.)
 

2014 | Journal Article | IST-REx-ID: 2158 | OA
Majumdar, R., Sixt, M. K., & Parent, C. (2014). New paradigms in the establishment and maintenance of gradients during directed cell migration. Current Opinion in Cell Biology, 30(1), 33–40. https://doi.org/10.1016/j.ceb.2014.05.010
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard, I., & Wagner, U. (2014). Eliminating Tverberg points, I. An analogue of the Whitney trick. In Proceedings of the Annual Symposium on Computational Geometry (pp. 171–180). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582134
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2160 | OA
Pentina, A., & Lampert, C. (2014). A PAC-Bayesian bound for Lifelong Learning. In E. Xing & T. Jebara (Eds.) (Vol. 32, pp. 991–999). Presented at the ICML: International Conference on Machine Learning, Beijing, China: Omnipress.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2162 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2014). The complexity of ergodic mean payoff games (Vol. 8573, pp. 122–133). Presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_11
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2163 | OA
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. In Lecture Notes in Computer Science (Vol. 8573, pp. 110–121). Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_10
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2167 | OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation (p. 6823899). Cleveland, USA: IEEE. https://doi.org/10.1109/ICST.2014.50
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2168 | OA
Kelleher, J., Etheridge, A., & Barton, N. H. (2014). Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology, 95, 13–23. https://doi.org/10.1016/j.tpb.2014.05.001
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2169 | OA
Barton, N. H., Novak, S., & Paixao, T. (2014). Diverse forms of selection in evolution and computer science. PNAS, 111(29), 10398–10399. https://doi.org/10.1073/pnas.1410107111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2170 | OA
Hearn, J., Stone, G., Bunnefeld, L., Nicholls, J., Barton, N. H., & Lohse, K. (2014). Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology, 23(1), 198–211. https://doi.org/10.1111/mec.12578
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2171 | OA
Kolesnikov, A., Guillaumin, M., Ferrari, V., & Lampert, C. (2014). Closed-form approximate CRF training for scalable image segmentation. In D. Fleet, T. Pajdla, B. Schiele, & T. Tuytelaars (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8691, pp. 550–565). Zurich, Switzerland: Springer. https://doi.org/10.1007/978-3-319-10578-9_36
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2173 | OA
Khamis, S., & Lampert, C. (2014). CoConut: Co-classification with output space regularization. In Proceedings of the British Machine Vision Conference 2014. Nottingham, UK: BMVA Press.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2174 | OA
De Vladar, H., & Barton, N. H. (2014). Stability and response of polygenic traits to stabilizing selection and mutation. Genetics, 197(2), 749–767. https://doi.org/10.1534/genetics.113.159111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2175 | OA
Postiglione, M. P., & Hippenmeyer, S. (2014). Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology, 9(3), 323–340. https://doi.org/10.2217/fnl.14.18
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2178 | OA
Haws, D., Martin Del Campo Sanchez, A., Takemura, A., & Yoshida, R. (2014). Markov degree of the three-state toric homogeneous Markov chain model. Beitrage Zur Algebra Und Geometrie, 55(1), 161–188. https://doi.org/10.1007/s13366-013-0178-y
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179 | OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2014). Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability, 19. https://doi.org/10.1214/ECP.v19-3121
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2180 | OA
Bellet, A., Habrard, A., Morvant, E., & Sebban, M. (2014). Learning a priori constrained weighted majority votes. Machine Learning, 97(1–2), 129–154. https://doi.org/10.1007/s10994-014-5462-z
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2184 | OA
Čadek, M., Krcál, M., Matoušek, J., Sergeraert, F., Vokřínek, L., & Wagner, U. (2014). Computing all maps into a sphere. Journal of the ACM, 61(3). https://doi.org/10.1145/2597629
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications