Please note that ISTA 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.
3481 Publications
2013 | Journal Article | IST-REx-ID: 2290 | 
Boutté Y, Jonsson K, Mcfarlane H, et al. ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. 2013;110(40):16259-16264. doi:10.1073/pnas.1309057110
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2294 |
Kazmar T, Kvon E, Stark A, Lampert C. Drosophila Embryo Stage Annotation using Label Propagation. In: IEEE; 2013. doi:10.1109/ICCV.2013.139
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2293 |
Sharmanska V, Quadrianto N, Lampert C. Learning to rank using privileged information. In: IEEE; 2013:825-832. doi:10.1109/ICCV.2013.107
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2291 |
Ferrara A, Fuchsbauer G, Warinschi B. Cryptographically enforced RBAC. In: IEEE; 2013:115-129. doi:10.1109/CSF.2013.15
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2298 |
Dragoi C, Enea C, Sighireanu M. Local shape analysis for overlaid data structures. In: Vol 7935. Springer; 2013:150-171. doi:10.1007/978-3-642-38856-9_10
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2299 |
Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. 2013;15(5-6):585-601. doi:10.1007/s10009-011-0207-9
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2297 |
Seiringer R. Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. 2013;8(2):185-232. doi:10.1007/s11537-013-1264-5
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Book | IST-REx-ID: 2306 |
Danowski P, Pohl A. (Open) Linked Data in Bibliotheken. Vol 50. De Gruyter; 2013. doi:10.1515/9783110278736
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2305 |
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2300 |
Giuliani A, Lieb É, Seiringer R. Realization of stripes and slabs in two and three dimensions. Physical Review B. 2013;88(6). doi:10.1103/PhysRevB.88.064401
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2328 |
Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. 2013;8052:242-256. doi:10.1007/978-3-642-40184-8_18
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2412 |
Kupczok A, Bollback JP. Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. 2013;13(1):54-54. doi:10.1186/1471-2148-13-54
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2410 |
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 2013;1(3). doi:10.1128/genomeA.00216-13
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2445 |
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2447 |
Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:10.1007/978-3-642-39799-8_54
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2443 |
Simon S, Kubeš M, Baster P, et al. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 2013;200(4):1034-1048. doi:10.1111/nph.12437
View
| DOI
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2446 |
Chatterjee K, Gaiser A, Kretinsky J. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 2013;8044:559-575. doi:10.1007/978-3-642-39799-8_37
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2444 |
Chatterjee K, Ła̧Cki J. Faster algorithms for Markov decision processes with low treewidth. 2013;8044:543-558. doi:10.1007/978-3-642-39799-8_36
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2448 |
Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2471 |
Sanchez-Romero I, Ariza A, Wilson K, et al. Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070013
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2472 |
Cazzonelli C, Vanstraelen M, Simon S, et al. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070069
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2470 |
Čovanová M, Sauer M, Rychtář J, Friml J, Petrášek J, Zažímalová E. Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070050
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2466 |
Ando R, Thuerey N, Wojtan C. Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461982
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2467 |
Bernstein G, Wojtan C. Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2462027
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2468 |
Bojsen-Hansen M, Wojtan C. Liquid surface tracking with error compensation. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461991
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2469 |
Maître J-L, Heisenberg C-PJ. Three functions of cadherins in cell adhesion. Current Biology. 2013;23(14):R626-R633. doi:10.1016/j.cub.2013.06.019
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2473 |
Barton NH, Etheridge A, Kelleher J, Véber A. Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. 2013;87(8):75-89. doi:10.1016/j.tpb.2012.12.001
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2517 |
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 |
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 |
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 | Journal Article | IST-REx-ID: 2698 |
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 | Conference Paper | IST-REx-ID: 2718 |
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 | Journal Article | IST-REx-ID: 2720 |
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: 2782 |
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 | Conference Paper | IST-REx-ID: 2807 |
Č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 |
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 |
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: 2814 |
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: 2811 |
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 | Journal Article | IST-REx-ID: 2813 |
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 | Conference Paper | IST-REx-ID: 2812 |
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: 2817 |
Novak S, Chatterjee K, Nowak M. Density games. Journal of Theoretical Biology. 2013;334:26-34. doi:10.1016/j.jtbi.2013.05.029
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2816 |
Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2819 |
Chatterjee K, Prabhu V. Quantitative timed simulation functions and refinement metrics for real-time systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. Vol 1. Springer; 2013:273-282. doi:10.1145/2461328.2461370
View
| DOI
| Download Preprint (ext.)
2013 | Journal Article | IST-REx-ID: 2818 |
Rajan K, Marre O, Tkačik G. Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. 2013;25(7):1661-1692. doi:10.1162/NECO_a_00463
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2826 |
Tran Viet K, Powell C, Barathi V, et al. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 2013;92(5):820-826. doi:10.1016/j.ajhg.2013.04.005
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2822 |
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: 2821 |
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: 2827 |
Du Y, Tejos R, Beck M, et al. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. 2013;110(19):7946-7951. doi:10.1073/pnas.1220205110
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2832 |
Tanaka H, Kitakura S, Rakusová H, et al. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 2013;9(5). doi:10.1371/journal.pgen.1003540
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2828 |
Kolmogorov V, Živný S. The complexity of conservative valued CSPs. Journal of the ACM. 2013;60(2). doi:10.1145/2450142.2450146
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2829 |
Shi L, Avila M, Hof B. Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. 2013;110(20). doi:10.1103/PhysRevLett.110.204502
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2834 |
Avila M, Mellibovsky F, Roland N, Hof B. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 2013;110(22). doi:10.1103/PhysRevLett.110.224502
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2842 |
Barton NH, Etheridge A, Kelleher J, Véber A. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 2013;87(1):105-119. doi:10.1016/j.tpb.2013.03.001
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2838 |
Arquè Fuste G, Casanovas A, Dierssen M. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 2013;8(1). doi:10.1371/journal.pone.0054285
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2839 |
Weber M, Hauschild R, Schwarz J, et al. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 2013;339(6117):328-332. doi:10.1126/science.1228456
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2837 |
Erdös L, Knowles A, Yau H, Yin J. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 2013;18(59):1-58. doi:10.1214/EJP.v18-2473
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2835 |
Yu H, Karampelias M, Robert S, et al. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 2013;162(2):965-976. doi:10.1104/pp.113.217018
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2836 |
Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 2013;26(4):825-859. doi:10.1007/s00165-013-0283-6
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2847 |
Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2854 |
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 2013;79(5):640-657. doi:10.1016/j.jcss.2012.12.001
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2850 |
Tkačik G, Marre O, Mora T, Amodei D, Berry M, Bialek W. The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. 2013;2013(3). doi:10.1088/1742-5468/2013/03/P03011
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2858 |
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2857 |
Szobota S, Mckenzie C, Janovjak HL. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 2013;998:417-435. doi:10.1007/978-1-62703-351-0_32
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2860 |
Dupret D, O’Neill J, Csicsvari JL. Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. 2013;78(1):166-180. doi:10.1016/j.neuron.2013.01.033
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2855 |
Hippenmeyer S, Johnson R, Luo L. Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports. 2013;3(3):960-967. doi:10.1016/j.celrep.2013.02.002
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2856 |
Levitz J, Pantoja C, Gaub B, et al. Optical control of metabotropic glutamate receptors. Nature Neuroscience. 2013;16:507-516. doi:10.1038/nn.3346
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2859 |
Bendich P, Edelsbrunner H, Morozov D, Patel A. Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications. 2013;15(1):51-72. doi:10.4310/HHA.2013.v15.n1.a3
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2863 |
Granot Atedgi E, Tkačik G, Segev R, Schneidman E. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 2013;9(3). doi:10.1371/journal.pcbi.1002922
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2862 |
Tay H, Schulze S, Compagnon J, et al. Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. 2013;140(7):1550-1559. doi:10.1242/dev.087130
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2883 |
Wang B, Bailly A, Zwiewk M, et al. Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. 2013;25(1):202-214. doi:10.1105/tpc.112.105999
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2880 |
Marhavý P, Vanstraelen M, De Rybel B, et al. Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal. 2013;32(1):149-158. doi:10.1038/emboj.2012.303
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2882 |
Löfke C, Zwiewka M, Heilmann I, Van Montagu M, Teichmann T, Friml J. Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. 2013;110(9):3627-3632. doi:10.1073/pnas.1300107110
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2886 |
Chmelik M, Řehák V. Controllable-choice message sequence graphs. 2013;7721:118-130. doi:10.1007/978-3-642-36046-6_12
View
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2887 |
Fang S, Clark R, Zheng Y, et al. Genotypic recognition and spatial responses by rice roots. PNAS. 2013;110(7):2670-2675. doi:10.1073/pnas.1222821110
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2901 |
Chen C, Kolmogorov V, Yan Z, Metaxas D, Lampert C. Computing the M most probable modes of a graphical model. In: Vol 31. JMLR; 2013:161-169.
View
| Download None (ext.)
2013 | Conference Paper | IST-REx-ID: 2906 |
Kerber M, Edelsbrunner H. 3D kinetic alpha complexes and their implementation. In: 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments. Society of Industrial and Applied Mathematics; 2013:70-77. doi:10.1137/1.9781611972931.6
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2910 |
Kelleher J, Barton NH, Etheridge A. Coalescent simulation in continuous space. Bioinformatics. 2013;29(7):955-956. doi:10.1093/bioinformatics/btt067
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2909 |
Barton NH, Etheridge A, Véber A. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013;2013(1). doi:10.1088/1742-5468/2013/01/P01002
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2908 |
Barton NH. Does hybridisation influence speciation? . Journal of Evolutionary Biology. 2013;26(2):267-269. doi:10.1111/jeb.12015
View
| Files available
| DOI
2013 | Book Chapter | IST-REx-ID: 2907 |
Barton NH. Recombination and sex. In: The Princeton Guide to Evolution. Princeton University Press; 2013:328-333.
View
| Files available
2013 | Journal Article | IST-REx-ID: 2914 |
Stephens G, Mora T, Tkačik G, Bialek W. Statistical thermodynamics of natural images. Physical Review Letters. 2013;110(1). doi:10.1103/PhysRevLett.110.018701
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2913 |
Tkačik G, Granot Atedgi E, Segev R, Schneidman E. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 2013;110(5). doi:10.1103/PhysRevLett.110.058104
View
| DOI
| Download Preprint (ext.)
2013 | Journal Article | IST-REx-ID: 2919 |
Baster P, Robert S, Kleine Vehn J, et al. SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 2013;32(2):260-274. doi:10.1038/emboj.2012.310
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2920 |
Compagnon J, Heisenberg C-PJ. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 2013;32(1):1-3. doi:10.1038/emboj.2012.325
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2940 |
Krenn S, Pietrzak KZ, Wadia A. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In: Sahai A, ed. Vol 7785. Springer; 2013:23-39. doi:10.1007/978-3-642-36594-2_2
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2948 |
Tommasi T, Quadrianto N, Caputo B, Lampert C. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 2013;7724:1-15. doi:10.1007/978-3-642-37331-2_1
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2815 |
Edelsbrunner H, Fasy BT, Rote G. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete & Computational Geometry. 2013;49(4):797-822. doi:10.1007/s00454-013-9517-x
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 3261 |
Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. Positional information, in bits. PNAS. 2013;110(41):16301-16308. doi:10.1073/pnas.1315642110
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2831 |
Chatterjee K, Henzinger MH, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 2013;42(3):301-327. doi:10.1007/s10703-012-0180-2
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Thesis | IST-REx-ID: 1405 |
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 450 |
Pickup M, Field D, Rowell D, Young A. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 2013;280(1750). doi:10.1098/rspb.2012.2058
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 476 |
Dickerson D, Bilkey D. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 2013;7(DEC). doi:10.3389/fnbeh.2013.00217
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 500 |
Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-222
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 501 |
Cozzuol M, Clozato C, Holanda E, et al. A new species of tapir from the Amazon. Journal of Mammalogy. 2013;94(6):1331-1345. doi:10.1644/12-MAMM-A-169.1
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 508 |
Tarazona Santos E, Machado M, Magalhães W, et al. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. 2013;30(9):2157-2167. doi:10.1093/molbev/mst119
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 509 |
Di Rubbo S, Irani N, Kim S, et al. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell. 2013;25(8):2986-2997. doi:10.1105/tpc.113.114058
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 507 |
Kim S, Xu Z, Song K, et al. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 2013;25(8):2970-2985. doi:10.1105/tpc.113.114264
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 511 |
Pěnčík A, Simonovik B, Petersson S, et al. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 2013;25(10):3858-3870. doi:10.1105/tpc.113.114421
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 516 |
Bargmann B, Vanneste S, Krouk G, et al. A map of cell type‐specific auxin responses. Molecular Systems Biology. 2013;9(1). doi:10.1038/msb.2013.40
View
| Files available
| DOI