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.




2902 Publications

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
 
2013 | Journal Article | IST-REx-ID: 2816 | OA
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 | Journal Article | IST-REx-ID: 2817 | OA
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: 2818 | OA
Rajan K, Marre O, Tkacik 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 | Conference Paper | IST-REx-ID: 2819 | OA
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 | Conference Paper | IST-REx-ID: 2820
Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling using graph games. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ACM; 2013:163-172. doi:10.1145/2461328.2461356
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2821 | OA
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: 2822 | OA
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: 2823
Pickup M, Wilson S, Freudenberger D, et al. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 2013;38(3):300-312. doi:10.1111/j.1442-9993.2012.02404.x
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2824
Chatterjee K, Prabhu V. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. 2013;228-229:83-119. doi:10.1016/j.ic.2013.04.003
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2827 | OA
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: 2828 | OA
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 | OA
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: 2830
Moussion C, Sixt MK. A conduit to amplify innate immunity. Immunity. 2013;38(5):853-854. doi:10.1016/j.immuni.2013.05.005
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2831 | OA
Chatterjee K, Henzinger M, 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 | Journal Article | IST-REx-ID: 2832 | OA
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: 2833
Heisenberg C-PJ, Bellaïche Y. Forces in tissue morphogenesis and patterning. Cell. 2013;153(5):948-962. doi:10.1016/j.cell.2013.05.008
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2834 | OA
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: 2835 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 2837 | OA
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: 2838 | OA
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 | OA
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: 2840
Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. 2013;23(2):451-459. doi:10.1093/cercor/bhs033
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2841
Morita H, Heisenberg C-PJ. Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. 2013;24(6):567-569. doi:10.1016/j.devcel.2013.03.007
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2842 | OA
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 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. In: 17th IAPR International Conference on Discrete Geometry for Computer Imagery. Vol 7749. Springer; 2013:XV-XIX. doi:10.1007/978-3-642-37067-0
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2844
Rosquete M, Von Wangenheim D, Marhavy P, et al. An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. 2013;23(9):817-822. doi:10.1016/j.cub.2013.03.064
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2845
Rose T, Schönenberger P, Jezek K, Oertner T. Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. 2013;77(6):1109-1121. doi:10.1016/j.neuron.2013.01.021
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2847 | OA
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: 2850 | OA
Tkacik 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):P03011. doi:10.1088/1742-5468/2013/03/P03011
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2851
Berry M, Tkacik G, Dubuis J, Marre O, Da Silveira R. A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment. 2013;2013(3). doi:10.1088/1742-5468/2013/03/P03015
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. 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. 2013;280(1759). doi:10.1098/rspb.2012.3035
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2854 | OA
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: 2855 | OA
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 | OA
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: 2857 | OA
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: 2858 | OA
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: 2859 | OA
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: 2860 | OA
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: 2861
Botella Soler V, Oteo J, Ros J, Glendinning P. Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical. 2013;46(12). doi:10.1088/1751-8113/46/12/125101
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2862 | OA
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: 2863 | OA
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: 2880 | OA
Marhavy 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 | OA
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 | Journal Article | IST-REx-ID: 2883 | OA
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: 2884
Maître J-L, Berthoumieux H, Krens G, et al. Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences. 2013;29(2):147-150. doi:10.1051/medsci/2013292011
View | DOI
 
2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera A, Henzinger TA, Nesetril J, Vojnar T, Antos D, eds. Mathematical and Engineering Methods in Computer Science. Vol 7721. Springer; 2013:1-228. doi:10.1007/978-3-642-36046-6
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2886 | OA
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 | OA
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 | OA
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 | OA
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 | Book Chapter | IST-REx-ID: 2907 | OA
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: 2908 | OA
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 | Journal Article | IST-REx-ID: 2909 | OA
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: 2910 | OA
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: 2913 | OA
Tkacik 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: 2914 | OA
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: 2918
Castanon I, Abrami L, Holtzer L, Heisenberg C-PJ, Van Der Goot F, González Gaitán M. Anthrax toxin receptor 2a controls mitotic spindle positioning. Nature Cell Biology. 2013;15(1):28-39. doi:10.1038/ncb2632
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2919 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2939
Chen C, Kerber M. An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. 2013;46(4):435-447. doi:10.1016/j.comgeo.2012.02.010
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2940 | OA
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 | Journal Article | IST-REx-ID: 2944
Aeschbacher S, Futschik A, Beaumont M. Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. 2013;22(4):987-1002. doi:10.1111/mec.12165
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2948 | OA
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: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management. Formal Methods in System Design. 2013;42(2):142-174. doi:10.1007/s10703-012-0170-4
View | DOI
 
2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien J, Benková E. Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. 2013;4. doi:10.3389/fpls.2013.00451
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta C, Wabnik KT, Benková E. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 2013;4. doi:10.3389/fpls.2013.00537
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
View | Files available | DOI
 
2013 | Thesis | IST-REx-ID: 1405
Zufferey D. Analysis of Dynamic Message Passing Programs. IST Austria; 2013.
View | Files available | Download None (ext.)
 
2013 | Thesis | IST-REx-ID: 1406
Campinho P. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria; 2013.
View
 
2013 | Journal Article | IST-REx-ID: 3261 | OA
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 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto N, Lampert C. Kernel based learning. In: Dubitzky W, Wolkenhauer O, Cho K, Yokota H, eds. Encyclopedia of Systems Biology. Vol 3. Springer; 2013:1069-1069. doi:10.1007/978-1-4419-9863-7_604
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: Conference Proceedings FSE 2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang H, Hippenmeyer S, Ghashghaei H. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 2012;1(12):1200-1203. doi:10.1242/bio.20122287
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2302
Henzinger TA, Mateescu M. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 2012;10(2):310-322. doi:10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer R. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2012;2(3):321-328. doi:10.4171/JST/31
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger I, De Matos Simoes R, Kupczok A, et al. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 2012;29(5):1319-1334. doi:10.1093/molbev/msr285
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 494
Boker U, Kupferman O. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 2012;13(4). doi:10.1145/2362355.2362357
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich A, Rubin S. Interpretations in trees with countably many branches. In: IEEE; 2012. doi:10.1109/LICS.2012.65
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee K, Chaubal S, Kamath P. Faster algorithms for alternating refinement relations. In: Vol 16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:167-182. doi:10.4230/LIPIcs.CSL.2012.167
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup M, Field D, Rowell D, Young A. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 2012;5(8):913-924. doi:10.1111/j.1752-4571.2012.00284.x
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt MK. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 2012;197(3):347-349. doi:10.1083/jcb.201204039
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee K, Chaubal S, Kamath P. Faster Algorithms for Alternating Refinement Relations. IST Austria; 2012. doi:10.15479/AT:IST-2012-0001
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc F, Kolmogorov V, Lampert C. Approximating Marginals Using Discrete Energy Minimization. IST Austria; 2012. doi:10.15479/AT:IST-2012-0003
View | Files available | DOI
 
2012 | Report | IST-REx-ID: 5398 | OA
Porsche J. Actual State of Research Data @ ISTAustria. IST Austria; 2012.
View | Files available
 
2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. In: Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:461-473. doi:10.4230/LIPIcs.FSTTCS.2012.461
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2825
Lampert C. Dynamic pruning of factor graphs for maximum marginal prediction. In: Vol 1. Neural Information Processing Systems; 2012:82-90.
View
 
2012 | Journal Article | IST-REx-ID: 2848 | OA
Chatterjee K, Zufferey D, Nowak M. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 2012;301:161-173. doi:10.1016/j.jtbi.2012.02.021
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2849 | OA
Edelsbrunner H, Strelkova N. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 2012;67(6):1167-1168. doi:10.1070/RM2012v067n06ABEH004820
View | Files available | DOI
 

Search

Display / Sort

Citation Style: AMA

Export / Embed