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.




5339 Publications

2013 | Published | Journal Article | IST-REx-ID: 2806 View | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2807 | OA
Extending continuous maps: Polynomiality and undecidability
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2808 | OA
The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2810 | OA
Environmental dependence of genetic constraint
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2811 | OA
Nature of laminar-turbulence intermittency in shear flows
M. Avila, B. Hof, Physical Review E 87 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2812 | OA
Homological reconstruction and simplification in R3
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 2813 | OA
Elasto-inertial turbulence
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2814 | OA
The complexity of coverage
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2815 | OA
Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
H. Edelsbrunner, B.T. Fasy, G. Rote, Discrete & Computational Geometry 49 (2013) 797–822.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 2817 | OA
Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2818 | OA
Learning quadratic receptive fields from neural responses to natural stimuli
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2819 | OA
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
[Preprint] View | DOI | Download Preprint (ext.)
 
2013 | Published | Conference Paper | IST-REx-ID: 2820
Automated analysis of real-time scheduling using graph games
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2821 | OA
A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis
E. Remy, T. Cabrito, P. Baster, R. Batista, M. Teixeira, J. Friml, I. Sá Correia, P. Duque, Plant Cell 25 (2013) 901–926.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2822 | OA
3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture
C. Topp, A. Iyer Pascuzzi, J. Anderson, C. Lee, P. Zurek, O. Symonova, Y. Zheng, A. Bucksch, Y. Mileyko, T. Galkovskyi, B. Moore, J. Harer, H. Edelsbrunner, T. Mitchell Olds, J. Weitz, P. Benfey, PNAS 110 (2013) E1695–E1704.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2823
Post-fire recovery of revegetated woodland communities in south-eastern Australia
M. Pickup, S. Wilson, D. Freudenberger, N. Nicholls, L. Gould, S. Hnatiuk, J. Delandre, Austral Ecology 38 (2013) 300–312.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2824
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2827 | OA
Salicylic acid interferes with clathrin-mediated endocytic protein trafficking
Y. Du, R. Tejos, M. Beck, E. Himschoot, H. Li, S. Robatzek, S. Vanneste, J. Friml, PNAS 110 (2013) 7946–7951.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2828 | OA
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2829 | OA
Scale invariance at the onset of turbulence in couette flow
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed