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

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

2687 Publications


2013 | Journal Article | IST-REx-ID: 2914   OA
Stephens, G., Mora, T., Tkacik, G., & Bialek, W. (2013). Statistical thermodynamics of natural images. Physical Review Letters, 110(1). https://doi.org/10.1103/PhysRevLett.110.018701
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2832   OA
Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R., … Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics, 9(5). https://doi.org/10.1371/journal.pgen.1003540
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2837   OA
Erdös, L., Knowles, A., Yau, H., & Yin, J. (2013). The local semicircle law for a general class of random matrices. Electronic Journal of Probability, 18(59), 1–58. https://doi.org/10.1214/EJP.v18-2473
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856   OA
Levitz, J., Pantoja, C., Gaub, B., Janovjak, H. L., Reiner, A., Hoagland, A., … Isacoff, E. (2013). Optical control of metabotropic glutamate receptors. Nature Neuroscience, 16, 507–516. https://doi.org/10.1038/nn.3346
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2844
Rosquete, M., Von Wangenheim, D., Marhavy, P., Barbez, E., Stelzer, E., Benková, E., … Kleine Vehn, J. (2013). An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology, 23(9), 817–822. https://doi.org/10.1016/j.cub.2013.03.064
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2851
Berry, M., Tkacik, G., Dubuis, J., Marre, O., & Da Silveira, R. (2013). A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment, 2013(3). https://doi.org/10.1088/1742-5468/2013/03/P03015
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2818   OA
Rajan, K., Marre, O., & Tkacik, G. (2013). Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation, 25(7), 1661–1692. https://doi.org/10.1162/NECO_a_00463
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2940   OA
Krenn, S., Pietrzak, K. Z., & Wadia, A. (2013). A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In A. Sahai (Ed.) (Vol. 7785, pp. 23–39). Presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-642-36594-2_2
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2919   OA
Baster, P., Robert, S., Kleine Vehn, J., Vanneste, S., Kania, U., Grunewald, W., … Friml, J. (2013). SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal, 32(2), 260–274. https://doi.org/10.1038/emboj.2012.310
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 450   OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1750). https://doi.org/10.1098/rspb.2012.2058
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 501   OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy, 94(6), 1331–1345. https://doi.org/10.1644/12-MAMM-A-169.1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401   OA
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 828   OA
Cuesta, C., Wabnik, K. T., & Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science, 4. https://doi.org/10.3389/fpls.2013.00537
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, 23(1), 76–82. https://doi.org/10.1016/j.cub.2012.11.034
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2445   OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
Dragoi, C., Enea, C., & Sighireanu, M. (2013). Local shape analysis for overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static Analysis Symposium, Seattle, WA, United States: Springer. https://doi.org/10.1007/978-3-642-38856-9_10
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2301
Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., & Zufferey, D. (2013). P: Safe asynchronous event-driven programming. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 321–331). Seattle, WA, United States: ACM. https://doi.org/10.1145/2491956.2462184
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn, J., & Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.563
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J. (2013). Looking at mean-payoff and total-payoff through windows. Presented at the ATVA: Automated Technology for Verification and Analysis, Hanoi, Vietnam: Springer. https://doi.org/10.1007/978-3-319-02444-8_10
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed