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.
3213 Publications
2015 | Journal Article | IST-REx-ID: 1501 | 
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1502 |
N. Beneš, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1505 |
Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” Annals of Statistics, vol. 43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1506 |
Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,” Bernoulli, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics and Probability, pp. 1600–1628, 2015.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1508 |
L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,” Journal of the European Mathematical Society, vol. 17, no. 8. European Mathematical Society, pp. 1927–2036, 2015.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1509 |
J. Michalko, M. Lukacisinova, M. T. Bollenbach, and J. Friml, “Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene,” F1000 Research , vol. 4. F1000 Research Ltd. , 2015.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1510 |
P. Franek and M. Krcál, “On computability and triviality of well groups,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 842–856.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1511 |
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 476–490.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1512 |
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding Helly numbers via Betti numbers,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 507–521.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1513 |
A. Pal and B. Vicoso, “The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression,” Genome Biology and Evolution, vol. 7, no. 12. Oxford University Press, pp. 3259–3268, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |
M. Erbar, J. Maas, and M. Renger, “From large deviations to Wasserstein gradient flows in multiple dimensions,” Electronic Communications in Probability, vol. 20. Institute of Mathematical Statistics, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |
N. H. Barton and M. Servedio, “The interpretation of selection coefficients,” Evolution, vol. 69, no. 5. Wiley, pp. 1101–1112, 2015.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1520
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, and H. Pfister, “Computational design of walking automata,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States, 2015, pp. 93–100.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1525 |
B. Bauer et al., “Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3. Verein Österreichischer Bibliothekare, pp. 580–607, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1534 |
H. Wang et al., “Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1535 |
D. H. Vandael, A. Marcantoni, and E. Carbone, “Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells,” Current Molecular Pharmacology, vol. 8, no. 2. Bentham Science Publishers, pp. 149–161, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1537 |
V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1538 |
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, and J. Lygeros, “Iterative experiment design guides the characterization of a light-inducible gene expression circuit,” PNAS, vol. 112, no. 26. National Academy of Sciences, pp. 8148–8153, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1539 |
J. Ruess, “Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space,” Journal of Chemical Physics, vol. 143, no. 24. American Institute of Physics, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1540
H. Robert, L. Crhák Khaitová, S. Mroue, and E. Benková, “The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis,” Journal of Experimental Botany, vol. 66, no. 16. Oxford University Press, pp. 5029–5042, 2015.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1542 |
T. Paixao et al., “Toward a unifying framework for evolutionary processes,” Journal of Theoretical Biology, vol. 383. Elsevier, pp. 28–43, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1543
Y. Olvera Carrillo et al., “A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants,” Plant Physiology, vol. 169, no. 4. American Society of Plant Biologists, pp. 2684–2699, 2015.
View
| DOI
2015 | Book Chapter | IST-REx-ID: 1544 |
P. Nguyen, C. Field, A. Groen, T. Mitchison, and M. Loose, “Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins,” in Building a Cell from its Components Parts, vol. 128, Academic Press, 2015, pp. 223–241.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1546 |
Y. Nakamura et al., “Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development,” Neuron, vol. 85, no. 1. Elsevier, pp. 145–158, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1547 |
F. Mohammadi and S. Moradi, “Resolution of unmixed bipartite graphs,” Bulletin of the Korean Mathematical Society, vol. 52, no. 3. Korean Mathematical Society, pp. 977–986, 2015.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1548 |
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, and J. Kurtz, “Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination,” Applied and Environmental Microbiology, vol. 81, no. 23. American Society for Microbiology, pp. 8135–8144, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Book Chapter | IST-REx-ID: 1549 |
C. Mckenzie, I. Sanchez-Romero, and H. L. Janovjak, “Flipping the photoswitch: Ion channels under light control,” in Novel chemical tools to study ion channel biology, vol. 869, Springer, 2015, pp. 101–117.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1550 |
C. Mayer et al., “Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries,” Neuron, vol. 87, no. 5. Elsevier, pp. 989–998, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1551 |
L. El Masri et al., “Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes,” PLoS Biology, vol. 13, no. 6. Public Library of Science, pp. 1–30, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1554 |
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, and D. Weijers, “Reporters for sensitive and quantitative measurement of auxin response,” Nature Methods, vol. 12, no. 3. Nature Publishing Group, pp. 207–210, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1555 |
D. Knipl, P. Pilarczyk, and G. Röst, “Rich bifurcation structure in a two patch vaccination model,” SIAM Journal on Applied Dynamical Systems, vol. 14, no. 2. Society for Industrial and Applied Mathematics , pp. 980–1017, 2015.
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1556 |
Y. Jia et al., “The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development,” Journal of Experimental Botany, vol. 66, no. 15. Oxford University Press, pp. 4631–4642, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1559 |
R. Ibsen-Jensen, K. Chatterjee, and M. Nowak, “Computational complexity of ecological and evolutionary spatial dynamics,” PNAS, vol. 112, no. 51. National Academy of Sciences, pp. 15636–15641, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1563
G. Graff and P. Pilarczyk, “An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds,” Topological Methods in Nonlinear Analysis, vol. 45, no. 1. Juliusz Schauder Center for Nonlinear Studies, pp. 273–286, 2015.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1564 |
M. Gilson, C. Savin, and F. Zenke, “Editorial: Emergent neural computation from the interaction of different forms of plasticity,” Frontiers in Computational Neuroscience, vol. 9, no. 11. Frontiers Research Foundation, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1565 |
D. Gavello, D. H. Vandael, S. Gosso, E. Carbone, and V. Carabelli, “Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells,” Journal of Physiology, vol. 593, no. 22. Wiley-Blackwell, pp. 4835–4853, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Conference Paper | IST-REx-ID: 1567
H. Edelsbrunner, “Shape, homology, persistence, and stability,” vol. 9411. Springer, 2015.
View
2015 | Conference Paper | IST-REx-ID: 1568
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, and D. Malkova, “The classification of endoscopy images with persistent homology,” in Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2015, p. 7034731.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1569 |
S. Doyle et al., “An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana,” PNAS, vol. 112, no. 7. National Academy of Sciences, pp. E806–E815, 2015.
View
| DOI
| Download Published Version (ext.)