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.
3129 Publications
2013 | Conference Paper | IST-REx-ID: 2812 | 
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” in Proceedings of the 29th annual symposium on Computational Geometry, Rio de Janeiro, Brazil, 2013, pp. 117–125.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2813 |
D. Samanta et al., “Elasto-inertial turbulence,” PNAS, vol. 110, no. 26. National Academy of Sciences, pp. 10557–10562, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2814 |
K. Chatterjee, L. Alfaro, and R. Majumdar, “The complexity of coverage,” International Journal of Foundations of Computer Science, vol. 24, no. 2. World Scientific Publishing, pp. 165–185, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2815
H. Edelsbrunner, B. T. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” Discrete & Computational Geometry, vol. 49, no. 4. Springer, pp. 797–822, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2816 |
I. Božić et al., “Evolutionary dynamics of cancer in response to targeted combination therapy,” eLife, vol. 2. eLife Sciences Publications, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2817 |
S. Novak, K. Chatterjee, and M. Nowak, “Density games,” Journal of Theoretical Biology, vol. 334. Elsevier, pp. 26–34, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2818 |
K. Rajan, O. Marre, and G. Tkačik, “Learning quadratic receptive fields from neural responses to natural stimuli,” Neural Computation, vol. 25, no. 7. MIT Press , pp. 1661–1692, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2819 |
K. Chatterjee and V. Prabhu, “Quantitative timed simulation functions and refinement metrics for real-time systems,” in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA USA, 2013, vol. 1, pp. 273–282.
View
| DOI
| Download Preprint (ext.)
2013 | Conference Paper | IST-REx-ID: 2820
K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in Proceedings of the 16th International conference on Hybrid systems: Computation and control, Philadelphia, PA, United States, 2013, pp. 163–172.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2821 |
E. Remy et al., “A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis,” Plant Cell, vol. 25, no. 3. American Society of Plant Biologists, pp. 901–926, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2822 |
C. Topp et al., “3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture,” PNAS, vol. 110, no. 18. National Academy of Sciences, pp. E1695–E1704, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2827 |
Y. Du et al., “Salicylic acid interferes with clathrin-mediated endocytic protein trafficking,” PNAS, vol. 110, no. 19. National Academy of Sciences, pp. 7946–7951, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2828 |
V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,” Journal of the ACM, vol. 60, no. 2. ACM, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2829 |
L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence in couette flow,” Physical Review Letters, vol. 110, no. 20. American Physical Society, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2831 |
K. Chatterjee, M. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3. Springer, pp. 301–327, 2013.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2832 |
H. Tanaka et al., “Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana,” PLoS Genetics, vol. 9, no. 5. Public Library of Science, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2834 |
M. Avila, F. Mellibovsky, N. Roland, and B. Hof, “Streamwise-localized solutions at the onset of turbulence in pipe flow,” Physical Review Letters, vol. 110, no. 22. American Physical Society, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2835 |
H. Yu et al., “Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis,” Plant Physiology, vol. 162, no. 2. American Society of Plant Biologists, pp. 965–976, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2836 |
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4. Springer, pp. 825–859, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2837 |
L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a general class of random matrices,” Electronic Journal of Probability, vol. 18, no. 59. Institute of Mathematical Statistics, pp. 1–58, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2838 |
G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome,” PLoS One, vol. 8, no. 1. Public Library of Science, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2839 |
M. Weber et al., “Interstitial dendritic cell guidance by haptotactic chemokine gradients,” Science, vol. 339, no. 6117. American Association for the Advancement of Science, pp. 328–332, 2013.
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2842 |
N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks,” Theoretical Population Biology, vol. 87, no. 1. Elsevier, pp. 105–119, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2843
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” in 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Seville, Spain, 2013, vol. 7749, pp. XV–XIX.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2850 |
G. Tkačik, O. Marre, T. Mora, D. Amodei, M. Berry, and W. Bialek, “The simplest maximum entropy model for collective behavior in a neural network,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3. IOP Publishing Ltd., 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2853 |
D. Refardt, T. Bergmiller, and R. Kümmerli, “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, vol. 280, no. 1759. Royal Society, The, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2854 |
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability and turn based stochastic safety games,” Journal of Computer and System Sciences, vol. 79, no. 5. Elsevier, pp. 640–657, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2855 |
S. Hippenmeyer, R. Johnson, and L. Luo, “Mosaic analysis with double markers reveals cell type specific paternal growth dominance,” Cell Reports, vol. 3, no. 3. Cell Press, pp. 960–967, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2856 |
J. Levitz et al., “Optical control of metabotropic glutamate receptors,” Nature Neuroscience, vol. 16. Nature Publishing Group, pp. 507–516, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2857 |
S. Szobota, C. Mckenzie, and H. L. Janovjak, “Optical control of ligand-gated ion channels,” Methods in Molecular Biology, vol. 998. Springer, pp. 417–435, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2858 |
J. Reiter, I. Božić, B. Allen, K. Chatterjee, and M. Nowak, “The effect of one additional driver mutation on tumor progression,” Evolutionary Applications, vol. 6, no. 1. Wiley-Blackwell, pp. 34–45, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2859 |
P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “Homology and robustness of level and interlevel sets,” Homology, Homotopy and Applications, vol. 15, no. 1. International Press, pp. 51–72, 2013.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2860 |
D. Dupret, J. O’Neill, and J. L. Csicsvari, “Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning,” Neuron, vol. 78, no. 1. Elsevier, pp. 166–180, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2862 |
H. Tay et al., “Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle,” Development, vol. 140, no. 7. Company of Biologists, pp. 1550–1559, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2863 |
E. Granot Atedgi, G. Tkačik, R. Segev, and E. Schneidman, “Stimulus-dependent maximum entropy models of neural population codes,” PLoS Computational Biology, vol. 9, no. 3. Public Library of Science, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2880 |
P. Marhavý et al., “Auxin reflux between the endodermis and pericycle promotes lateral root initiation,” EMBO Journal, vol. 32, no. 1. Wiley-Blackwell, pp. 149–158, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2882 |
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, and J. Friml, “Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism,” PNAS, vol. 110, no. 9. National Academy of Sciences, pp. 3627–3632, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2883 |
B. Wang et al., “Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane,” Plant Cell, vol. 25, no. 1. American Society of Plant Biologists, pp. 202–214, 2013.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC