Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3390 Publications

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003344
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.3035
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Research Data Reference | IST-REx-ID: 9751
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. Dryad. https://doi.org/10.5061/dryad.b1q2n
View | Files available | DOI
 
2013 | Research Data Reference | IST-REx-ID: 9754
Hearn, J., Stone, G., Barton, N. H., Lohse, K., & Bunnefeld, L. (2013). Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. Dryad. https://doi.org/10.5061/dryad.r3r60
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2926
Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.11.034
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, S., Futschik, A., & Beaumont, M. (2013). Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.12165
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 9459 | OA
Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L., Thao, K., … ZILBERMAN, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. Elsevier. https://doi.org/10.1016/j.cell.2013.02.033
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 9481 | OA
Rodrigues, J. A., Ruan, R., Nishimura, T., Sharma, M. K., Sharma, R., Ronald, P. C., … ZILBERMAN, D. (2013). Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1306164110
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 9520 | OA
Feng, X., ZILBERMAN, D., & Dickinson, H. (2013). A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2013.01.014
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang, H., Hippenmeyer, S., & Ghashghaei, H. (2012). A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology Open. The Company of Biologists. https://doi.org/10.1242/bio.20122287
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, T. A., & Mateescu, M. (2012). The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. IEEE. https://doi.org/10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, R. (2012). Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. European Mathematical Society. https://doi.org/10.4171/JST/31
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, I., De Matos Simoes, R., Kupczok, A., Gube, M., Kothe, E., Voigt, K., & Von Haeseler, A. (2012). A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msr285
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee, K., Joglekar, M., & Shah, N. (2012). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Vol. 18, pp. 461–473). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2825
Lampert, C. (2012). Dynamic pruning of factor graphs for maximum marginal prediction (Vol. 1, pp. 82–90). Presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV, United States: Neural Information Processing Systems.
View
 
2012 | Journal Article | IST-REx-ID: 2848 | OA
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2012.02.021
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2849 | OA
Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing Ltd. https://doi.org/10.1070/RM2012v067n06ABEH004820
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, T. A. (2012). Quantitative reactive models. In Conference proceedings MODELS 2012 (Vol. 7590, pp. 1–2). Innsbruck, Austria: Springer. https://doi.org/10.1007/978-3-642-33666-9_1
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2890
Cerny, P., Gopi, S., Henzinger, T. A., Radhakrishna, A., & Totla, N. (2012). Synthesis from incompatible specifications. In Proceedings of the tenth ACM international conference on Embedded software (pp. 53–62). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380371
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2891 | OA
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2902
Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya, V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. Technische Universität Darmstadt.
View | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2903 | OA
Edelsbrunner, H., & Symonova, O. (2012). The adaptive topology of a digital image (pp. 41–48). Presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/ISVD.2012.11
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2904 | OA
Pausinger, F. (2012). Weak multipliers for generalized van der Corput sequences. Journal de Theorie Des Nombres Des Bordeaux. Universite de Bordeaux. https://doi.org/10.5802/jtnb.819
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2912
Edelsbrunner, H., & Strelkova, N. (2012). Configuration space for shortest networks . Uspekhi Mat. Nauk. Moscow Mathematical Society . https://doi.org/10.4213/rm9503
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2915
Kroemer, O., Lampert, C., & Peters, J. (2012). Multi-modal learning for dynamic tactile sensing. Deutsches Zentrum für Luft und Raumfahrt.
View
 
2012 | Conference Paper | IST-REx-ID: 2916 | OA
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2012). Interface Simulation Distances. In Electronic Proceedings in Theoretical Computer Science (Vol. 96, pp. 29–42). Napoli, Italy: EPTCS. https://doi.org/10.4204/EPTCS.96.3
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 2917
de Vladar, H. (2012). The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. Cambridge University Press. https://doi.org/10.1017/S1473550412000407
View | DOI
 
2012 | Preprint | IST-REx-ID: 2928 | OA
Kolmogorov, V., & Schoenemann, T. (2012). Generalized sequential tree-reweighted message passing. arXiv. ArXiv.
View | Download Preprint (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2930 | OA
Huber, A., & Kolmogorov, V. (2012). Towards minimizing k-submodular functions (Vol. 7422, pp. 451–462). Presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-642-32147-4_40
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2931
Torresani, L., Kolmogorov, V., & Rother, C. (2012). A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2012.105
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2012). Finite automata with time delay blocks. In roceedings of the tenth ACM international conference on Embedded software (pp. 43–52). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380370
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2937 | OA
Almeida, J., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., & Béguelin, S. (2012). Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In Proceedings of the 2012 ACM conference on Computer and communications security (pp. 488–500). Raleigh, NC, USA: ACM. https://doi.org/10.1145/2382196.2382249
View | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2938
Ugelvig, L. V., & Cremer, S. (2012). Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. Wiley-Blackwell. https://doi.org/10.1111/1365-2435.12013
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2941 | OA
Dolbilin, N., Edelsbrunner, H., & Musin, O. (2012). On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. IOP Publishing. https://doi.org/10.1070/RM2012v067n04ABEH004807
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, T. A., & Nickovic, D. (2012). Independent implementability of viewpoints. In Conference proceedings Monterey Workshop 2012 (Vol. 7539, pp. 380–395). Oxford, UK: Springer. https://doi.org/10.1007/978-3-642-34059-8_20
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2943 | OA
Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., & Marko, J. (2012). Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.12071
View | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2945
Girard, J., Moussion, C., & Förster, R. (2012). HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. Nature Reviews Immunology. Nature Publishing Group. https://doi.org/10.1038/nri3298
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2946 | OA
Dueck, A., Ziegler, C., Eichner, A., Berezikov, E., & Meister, G. (2012). MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gks705
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2947 | OA
Chatterjee, K., Chmelik, M., & Majumdar, R. (2012). Equivalence of games with probabilistic uncertainty and partial observation games (Vol. 7561, pp. 385–399). Presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India: Springer. https://doi.org/10.1007/978-3-642-33386-6_30
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2949
Dupret, D., & Csicsvari, J. L. (2012). The medial entorhinal cortex keeps Up. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3245
View | DOI | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 2950
Behrndt, M., Salbreux, G., Campinho, P., Hauschild, R., Oswald, F., Roensch, J., … Heisenberg, C.-P. J. (2012). Forces driving epithelial spreading in zebrafish gastrulation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224143
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2951
Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., & Heisenberg, C.-P. J. (2012). Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1225399
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2952
Tada, M., & Heisenberg, C.-P. J. (2012). Convergent extension Using collective cell migration and cell intercalation to shape embryos. Development. Company of Biologists. https://doi.org/10.1242/dev.073007
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2953
Heisenberg, C.-P. J., & Fässler, R. (2012). Cell-cell adhesion and extracellular matrix diversity counts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2012.09.002
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2954 | OA
Pernia-Andrade, A., Goswami, S., Stickler, Y., Fröbe, U., Schlögl, A., & Jonas, P. M. (2012). A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. Biophysical. https://doi.org/10.1016/j.bpj.2012.08.039
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee, K., & Doyen, L. (2012). Partial-observation stochastic games: How to win when belief fails. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.28
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, K., & Velner, Y. (2012). Mean payoff pushdown games. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.30
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee, K., & Tracol, M. (2012). Decidable problems for probabilistic automata on infinite words. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.29
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen, K., Rawlins, J. N., Bannerman, D., & Csicsvari, J. L. (2012). Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6175-11.2012
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler, C. (2012). Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOS957
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications