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.

2616 Publications


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 Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
View | DOI | Download Preprint (ext.) | arXiv
 

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 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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: 2412 | OA
Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology, vol. 13, no. 1, BioMed Central, 2013, pp. 54–54, doi:10.1186/1471-2148-13-54.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior, vol. 8, no. 10, e25688, Landes Bioscience, 2013, doi:10.4161/psb.25688.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
Ando, Ryoichi, et al. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics, vol. 32, no. 4, 103, ACM, 2013, doi:10.1145/2461912.2461982.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2467 | OA
Bernstein, Gilbert, and Christopher J. Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics, vol. 32, no. 4, 34, ACM, 2013, doi:10.1145/2461912.2462027.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, Morten, and Christopher J. Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics, vol. 32, no. 4, 68, ACM, 2013, doi:10.1145/2461912.2461991.
View | Files available | DOI
 

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: 2470 | OA
Čovanová, Milada, et al. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One, vol. 8, no. 7, e70050, Public Library of Science, 2013, doi:10.1371/journal.pone.0070050.
View | Files available | DOI
 

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 | 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: 2473 | OA
Barton, Nicholas H., et al. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology, vol. 87, no. 8, Elsevier, 2013, pp. 75–89, doi:10.1016/j.tpb.2012.12.001.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, et al. Formalizing and Reasoning about Quality. Vol. 7966, no. Part 2, Springer, 2013, pp. 15–27, doi:10.1007/978-3-642-39212-2_3.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, Vladimir. The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization. Vol. 7965, no. 1, Springer, 2013, pp. 625–36, 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, Novi, et al. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–36.
View | Files available
 

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 Preprint (ext.) | arXiv
 

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 Submitted Version (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 Preprint (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: 2808 | OA
Landberg, Katarina, 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, vol. 162, no. 3, American Society of Plant Biologists, 2013, pp. 1406–19, 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, Marjon, et al. “Environmental Dependence of Genetic Constraint.” PLoS Genetics, vol. 9, no. 6, e1003580, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003580.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2811 | OA
Avila, Marc, and Björn Hof. “Nature of Laminar-Turbulence Intermittency in Shear Flows.” Physical Review E, vol. 87, no. 6, 063012, American Institute of Physics, 2013, doi:10.1103/PhysRevE.87.063012.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2812 | OA
Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–25, doi:10.1145/2462356.2462373.
View | Files available | DOI | Download Submitted Version (ext.)
 

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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2814 | OA
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” International Journal of Foundations of Computer Science, vol. 24, no. 2, World Scientific Publishing, 2013, pp. 165–85, doi:10.1142/S0129054113400066.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2817 | OA
Novak, Sebastian, et al. “Density Games.” Journal of Theoretical Biology, vol. 334, Elsevier, 2013, pp. 26–34, doi:10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 

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 Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2819 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, vol. 1, Springer, 2013, pp. 273–82, doi:10.1145/2461328.2461370.
View | DOI | Download Preprint (ext.)
 

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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822 | OA
Topp, Christopher, et al. “3D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.” PNAS, vol. 110, no. 18, National Academy of Sciences, 2013, pp. E1695–704, doi:10.1073/pnas.1304354110.
View | DOI | Download Submitted Version (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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827 | OA
Du, Yunlong, et al. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” PNAS, vol. 110, no. 19, National Academy of Sciences, 2013, pp. 7946–51, doi:10.1073/pnas.1220205110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2828 | OA
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” Journal of the ACM, vol. 60, no. 2, 10, ACM, 2013, doi:10.1145/2450142.2450146.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2829 | OA
Shi, Liang, et al. “Scale Invariance at the Onset of Turbulence in Couette Flow.” Physical Review Letters, vol. 110, no. 20, 204502, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.204502.
View | DOI | Download Preprint (ext.) | arXiv
 

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 Preprint (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: 2834 | OA
Avila, Marc, et al. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.” Physical Review Letters, vol. 110, no. 22, 224502, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.224502.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2835 | OA
Yu, Hong, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.” Plant Physiology, vol. 162, no. 2, American Society of Plant Biologists, 2013, pp. 965–76, doi:10.1104/pp.113.217018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2836 | OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing, vol. 26, no. 4, Springer, 2013, pp. 825–59, doi:10.1007/s00165-013-0283-6.
View | DOI | Download Preprint (ext.) | arXiv
 

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: 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: 2839 | OA
Weber, Michele, et al. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” Science, vol. 339, no. 6117, American Association for the Advancement of Science, 2013, pp. 328–32, doi:10.1126/science.1228456.
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2842 | OA
Barton, Nicholas H., et al. “Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence Blocks.” Theoretical Population Biology, vol. 87, no. 1, Elsevier, 2013, pp. 105–19, doi:10.1016/j.tpb.2013.03.001.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2846 | OA
El Masri, Leila, et al. “Sex Differences in Host Defence Interfere with Parasite-Mediated Selection for Outcrossing during Host-Parasite Coevolution.” Ecology Letters, vol. 16, no. 4, Wiley-Blackwell, 2013, pp. 461–68, doi:10.1111/ele.12068.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkačik, Gašper, et al. “The Simplest Maximum Entropy Model for Collective Behavior in a Neural Network.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, P03011, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/03/P03011.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, Royal Society, The, 2013, doi:10.1098/rspb.2012.3035.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
Hippenmeyer, Simon, et al. “Mosaic Analysis with Double Markers Reveals Cell Type Specific Paternal Growth Dominance.” Cell Reports, vol. 3, no. 3, Cell Press, 2013, pp. 960–67, doi:10.1016/j.celrep.2013.02.002.
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 Submitted Version (ext.) | PubMed | Europe PMC
 

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: 2858 | OA
Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2859 | OA
Bendich, Paul, et al. “Homology and Robustness of Level and Interlevel Sets.” Homology, Homotopy and Applications, vol. 15, no. 1, International Press, 2013, pp. 51–72, doi:10.4310/HHA.2013.v15.n1.a3.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2860 | OA
Dupret, David, et al. “Dynamic Reconfiguration of Hippocampal Interneuron Circuits during Spatial Learning.” Neuron, vol. 78, no. 1, Elsevier, 2013, pp. 166–80, doi:10.1016/j.neuron.2013.01.033.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862 | OA
Tay, Hwee, et al. “Lethal Giant Larvae 2 Regulates Development of the Ciliated Organ Kupffer’s Vesicle.” Development, vol. 140, no. 7, Company of Biologists, 2013, pp. 1550–59, doi:10.1242/dev.087130.
View | DOI | Download Submitted Version (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: 2880 | OA
Marhavý, Peter, et al. “Auxin Reflux between the Endodermis and Pericycle Promotes Lateral Root Initiation.” EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 149–58, doi:10.1038/emboj.2012.303.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 Submitted Version (ext.) | PubMed | Europe PMC
 

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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2886 | OA
Chmelik, Martin, and Vojtěch Řehák. Controllable-Choice Message Sequence Graphs. Vol. 7721, Springer, 2013, pp. 118–30, doi:10.1007/978-3-642-36046-6_12.
View | DOI | Download Submitted Version (ext.)
 

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 Published Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2901 | OA
Chen, Chao, et al. Computing the M Most Probable Modes of a Graphical Model. Vol. 31, JMLR, 2013, pp. 161–69.
View | Download None (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2906 | OA
Kerber, Michael, and Herbert Edelsbrunner. “3D Kinetic Alpha Complexes and Their Implementation.” 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77, doi:10.1137/1.9781611972931.6.
View | Files available | DOI
 

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: 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: 2909 | OA
Barton, Nicholas H., et al. “Modelling Evolution in a Spatial Continuum.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/01/P01002.
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: 2913 | OA
Tkačik, Gašper, et al. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.” Physical Review Letters, vol. 110, no. 5, 058104, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.058104.
View | DOI | Download Preprint (ext.)
 

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 Published Version (ext.) | arXiv
 

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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2920 | OA
Compagnon, Julien, and Carl-Philipp J. Heisenberg. “Neurulation Coordinating Cell Polarisation and Lumen Formation.” EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 1–3, doi:10.1038/emboj.2012.325.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi, Tatiana, et al. Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer. Vol. 7724, Springer, 2013, pp. 1–15, doi:10.1007/978-3-642-37331-2_1.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 8245 | OA
Petricevic, Branka, et al. “Trastuzumab Mediates Antibody-Dependent Cell-Mediated Cytotoxicity and Phagocytosis to the Same Extent in Both Adjuvant and Metastatic HER2/Neu Breast Cancer Patients.” Journal of Translational Medicine, vol. 11, 307, Springer Nature, 2013, doi:10.1186/1479-5876-11-307.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.
View | Files available | DOI
 

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: 2000 | OA
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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 Published Version (ext.)
 

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 Published Version (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl, Therese, et al. “Reconstructing Polygons from Embedded Straight Skeletons.” 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
View | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
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 | 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 Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
View | Files available | DOI
 

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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications