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.




2934 Publications

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor S, Boker U, Kupferman O. Formalizing and reasoning about quality. 2013;7966(Part 2):15-27. doi:10.1007/978-3-642-39212-2_3
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov V. The power of linear programming for finite-valued CSPs: A constructive characterization. In: Vol 7965. Springer; 2013:625-636. doi:10.1007/978-3-642-39206-1_53
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2520 | OA
Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. The supervised IBP: Neighbourhood preserving infinite latent feature models. In: Proceedings of the 29th Conference Uncertainty in Artificial Intelligence. AUAI Press; 2013:527-536.
View | Files available
 
2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton NH, Paixao T. Can quantitative and population genetics help us understand evolutionary computation? In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation. ACM; 2013:1573-1580. doi:10.1145/2463372.2463568
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2719
Paixao T, Barton NH. A variance decomposition approach to the analysis of genetic algorithms. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation. ACM; 2013:845-852. doi:10.1145/2463372.2463470
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2720 | OA
Long H, Paixao T, Azevedo R, Zufall R. Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. 2013;195(2):527-540. doi:10.1534/genetics.113.153536
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2698 | OA
Erdös L, Fournais S, Solovej J. Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. 2013;15(6):2093-2113. doi:10.4171/JEMS/416
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2782 | OA
Erdös L, Farrell B. Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. 2013;152(6):1003-1032. doi:10.1007/s10955-013-0807-8
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2806
Avila K, Hof B. High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects. Review of Scientific Instruments. 2013;84(6). doi:10.1063/1.4807704
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2807 | OA
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. Extending continuous maps: Polynomiality and undecidability. In: 45th Annual ACM Symposium on Theory of Computing. ACM; 2013:595-604. doi:10.1145/2488608.2488683
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2808 | OA
Landberg K, Pederson E, Viaene T, et al. 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. Plant Physiology. 2013;162(3):1406-1419. doi:10.1104/pp.113.214023
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2810 | OA
de Vos M, Poelwijk F, Battich N, Ndika J, Tans S. Environmental dependence of genetic constraint. PLoS Genetics. 2013;9(6). doi:10.1371/journal.pgen.1003580
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2811 | OA
Avila M, Hof B. Nature of laminar-turbulence intermittency in shear flows. Physical Review E. 2013;87(6). doi:10.1103/PhysRevE.87.063012
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2812 | OA
Attali D, Bauer U, Devillers O, Glisse M, Lieutier A. Homological reconstruction and simplification in R3. In: Proceedings of the 29th Annual Symposium on Computational Geometry. ACM; 2013:117-125. doi:10.1145/2462356.2462373
View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2813 | OA
Samanta D, Dubief Y, Holzner M, et al. Elasto-inertial turbulence. PNAS. 2013;110(26):10557-10562. doi:10.1073/pnas.1219666110
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2814 | OA
Chatterjee K, Alfaro L, Majumdar R. The complexity of coverage. International Journal of Foundations of Computer Science. 2013;24(2):165-185. doi:10.1142/S0129054113400066
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2821 | OA
Remy E, Cabrito T, Baster P, et al. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 2013;25(3):901-926. doi:10.1105/tpc.113.110353
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2822 | OA
Topp C, Iyer Pascuzzi A, Anderson J, et al. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. 2013;110(18):E1695-E1704. doi:10.1073/pnas.1304354110
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2823
Pickup M, Wilson S, Freudenberger D, et al. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 2013;38(3):300-312. doi:10.1111/j.1442-9993.2012.02404.x
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2824
Chatterjee K, Prabhu V. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. 2013;228-229:83-119. doi:10.1016/j.ic.2013.04.003
View | DOI
 

Search

Filter Publications