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.

1724 Publications


2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2010   OA
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2469   OA
Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology, vol. 23, no. 14, Cell Press, 2013, pp. R626–33, doi:10.1016/j.cub.2013.06.019.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2471   OA
Sanchez Romero, Inmaculada, et al. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One, vol. 8, no. 7, e70013, Public Library of Science, 2013, doi:10.1371/journal.pone.0070013.
View | Files available | DOI
 

2013 | Book | IST-REx-ID: 2306   OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2286   OA
Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi:10.1038/emboj.2013.225.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2293   OA
Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
View | DOI | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274   OA
Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2813   OA
Samanta, Devranjan, et al. “Elasto-Inertial Turbulence.” PNAS, vol. 110, no. 26, National Academy of Sciences, 2013, pp. 10557–62, doi:10.1073/pnas.1219666110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863   OA
Granot Atedgi, Einat, et al. “Stimulus-Dependent Maximum Entropy Models of Neural Population Codes.” PLoS Computational Biology, vol. 9, no. 3, e1002922, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1002922.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2882   OA
Löfke, Christian, et al. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.” PNAS, vol. 110, no. 9, National Academy of Sciences, 2013, pp. 3627–32, doi:10.1073/pnas.1300107110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2887   OA
Fang, Suqin, et al. “Genotypic Recognition and Spatial Responses by Rice Roots.” PNAS, vol. 110, no. 7, National Academy of Sciences, 2013, pp. 2670–75, doi:10.1073/pnas.1222821110.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 2907   OA
Barton, Nicholas H. “Recombination and Sex.” The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–33.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2914   OA
Stephens, Greg, et al. “Statistical Thermodynamics of Natural Images.” Physical Review Letters, vol. 110, no. 1, 018701, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.018701.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2832   OA
Tanaka, Hirokazu, et al. “Cell Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments in Arabidopsis Thaliana.” PLoS Genetics, vol. 9, no. 5, e1003540, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003540.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2837   OA
Erdös, László, et al. “The Local Semicircle Law for a General Class of Random Matrices.” Electronic Journal of Probability, vol. 18, no. 59, Institute of Mathematical Statistics, 2013, pp. 1–58, doi:10.1214/EJP.v18-2473.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856   OA
Levitz, Joshua, et al. “Optical Control of Metabotropic Glutamate Receptors.” Nature Neuroscience, vol. 16, Nature Publishing Group, 2013, pp. 507–16, doi:10.1038/nn.3346.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2818   OA
Rajan, Kanaka, et al. “Learning Quadratic Receptive Fields from Neural Responses to Natural Stimuli.” Neural Computation, vol. 25, no. 7, MIT Press , 2013, pp. 1661–92, doi:10.1162/NECO_a_00463.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2940   OA
Krenn, Stephan, et al. A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It. Edited by Amit Sahai, vol. 7785, Springer, 2013, pp. 23–39, doi:10.1007/978-3-642-36594-2_2.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2919   OA
Baster, Pawel, et al. “SCF^TIR1 AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.” EMBO Journal, vol. 32, no. 2, Wiley-Blackwell, 2013, pp. 260–74, doi:10.1038/emboj.2012.310.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 450   OA
Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 501   OA
Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.” Journal of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45, doi:10.1644/12-MAMM-A-169.1.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401   OA
Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 828   OA
Cuesta, Candela, et al. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science, vol. 4, 537, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00537.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2445   OA
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn, Jakub, and Jan Otop. Elementary Modal Logics over Transitive Structures. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2009   OA
Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629 .
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2270   OA
Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
View | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2256   OA
Danowski, Patrick, et al. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen, vol. 66, no. 3/4, Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013, pp. 559–87.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2244   OA
Matoušek, Jiří, et al. Untangling Two Systems of Noncrossing Curves. Vol. 8242, Springer, 2013, pp. 472–83, doi:10.1007/978-3-319-03841-4_41.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2472   OA
Cazzonelli, Christopher, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One, vol. 8, no. 7, e70069, Public Library of Science, 2013, doi:10.1371/journal.pone.0070069.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2410   OA
Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2287   OA
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2294   OA
Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718   OA
Barton, Nicholas H., and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–80, doi:10.1145/2463372.2463568.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720   OA
Long, Hongan, et al. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.” Genetics, vol. 195, no. 2, Genetics Society of America, 2013, pp. 527–40, doi:10.1534/genetics.113.153536 .
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782   OA
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics, vol. 152, no. 6, Springer, 2013, pp. 1003–32, doi:10.1007/s10955-013-0807-8.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2807   OA
Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.” 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604, doi:10.1145/2488608.2488683.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2698   OA
Erdös, László, et al. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society, vol. 15, no. 6, European Mathematical Society, 2013, pp. 2093–113, doi:10.4171/JEMS/416.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2883   OA
Wang, Bangjun, 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, 2013, pp. 202–14, doi:10.1105/tpc.112.105999.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2908   OA
Barton, Nicholas H. “Does Hybridisation Influence Speciation?  .” Journal of Evolutionary Biology, vol. 26, no. 2, Wiley-Blackwell, 2013, pp. 267–69, doi:10.1111/jeb.12015.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910   OA
Kelleher, Jerome, et al. “Coalescent Simulation in Continuous Space.” Bioinformatics, vol. 29, no. 7, Oxford University Press, 2013, pp. 955–56, doi:10.1093/bioinformatics/btt067.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821   OA
Remy, Estelle, 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, 2013, pp. 901–26, doi:10.1105/tpc.113.110353.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
Tran Viet, Khanh, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.” American Journal of Human Genetics, vol. 92, no. 5, Cell Press, 2013, pp. 820–26, doi:10.1016/j.ajhg.2013.04.005.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2838   OA
Arquè Fuste, Gloria, et al. “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, e54285, Public Library of Science, 2013, doi:10.1371/journal.pone.0054285.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2857   OA
Szobota, Stephanie, et al. “Optical Control of Ligand-Gated Ion Channels.” Methods in Molecular Biology, vol. 998, Springer, 2013, pp. 417–35, doi:10.1007/978-1-62703-351-0_32.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 3261   OA
Dubuis, Julien, et al. “Positional Information, in Bits.” PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507   OA
Kim, Soo, et al. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2970–85, doi:10.1105/tpc.113.114264.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed