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.




3100 Publications

2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen K, Rawlins JN, Bannerman D, Csicsvari JL. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 2012;32(42):14752-14766. doi:10.1523/JNEUROSCI.6175-11.2012
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler C. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 2012;40(1):238-261. doi:10.1214/11-AOS957
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2962 | OA
Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 2012;192(3):1027-1047. doi:10.1534/genetics.112.143164
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2963
Jesse F, Riebel K. Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. 2012;91(3):262-266. doi:10.1016/j.beproc.2012.09.006
View | DOI
 
2012 | Thesis | IST-REx-ID: 2964
Kim S. Active properties of hippocampal CA3 pyramidal neuron dendrites. 2012.
View | Files available
 
2012 | Journal Article | IST-REx-ID: 2965 | OA
Danowski P. Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 2012;65(2):200-212.
View | Files available | Download Published Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2966 | OA
Cremer S, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 2012;12. doi:10.1186/1472-6785-12-7
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2967
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). 2012;13(3). doi:10.1145/2287718.2287727
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2968 | OA
Lohse K, Barton NH, Melika G, Stone G. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 2012;21(18):4605-4617. doi:10.1111/j.1365-294X.2012.05700.x
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2969 | OA
Goswami S, Bucurenciu I, Jonas PM. Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. 2012;32(41):14294-14304. doi:10.1523/JNEUROSCI.6104-11.2012
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2970
Kicheva A, Bollenbach MT, Wartlick O, Julicher F, Gonzalez Gaitan M. Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics & Development. 2012;22(6):527-532. doi:10.1016/j.gde.2012.08.004
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2971
Zankl G, Haxhimusa Y, Ion A. Interactive labeling of image segmentation hierarchies. In: Vol 7476. Springer; 2012:11-20. doi:10.1007/978-3-642-32717-9_2
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2972 | OA
Chatterjee K, Doyen L. Energy parity games. Theoretical Computer Science. 2012;458:49-60. doi:10.1016/j.tcs.2012.07.038
View | Files available | DOI | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2974 | OA
Jain A, Krenn S, Pietrzak KZ, Tentes A. Commitments and efficient zero knowledge proofs from learning parity with noise. In: Wang X, Sako K, eds. Vol 7658. Springer; 2012:663-680. doi:10.1007/978-3-642-34961-4_40
View | Files available | 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: 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 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.
View | Download Published Version (ext.) | WoS
 
2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3836
Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. 2012;77(2):96-112. doi:10.1016/j.scico.2010.06.004
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3846 | OA
Chatterjee K, Henzinger TA. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 2012;78(2):394-413. doi:10.1016/j.jcss.2011.05.002
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3115 | OA
Berberich E, Halperin D, Kerber M, Pogalnikova R. Deconstructing approximate offsets. Discrete & Computational Geometry. 2012;48(4):964-989. doi:10.1007/s00454-012-9441-5
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3117 | OA
Kolmogorov V. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 2012;160(15):2246-2258. doi:10.1016/j.dam.2012.05.025
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3118 | OA
Bojsen-Hansen M, Li H, Wojtan CJ. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185549
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3119 | OA
Raveendran K, Thuerey N, Wojtan CJ, Turk G. Controlling liquids using meshes. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM; 2012:255-264.
View | Files available
 
2012 | Journal Article | IST-REx-ID: 3120 | OA
Brown G, Kerber M, Reid M. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 2012;148(4):1171-1194. doi:10.1112/S0010437X11007226
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3121 | OA
Williams C, Chen W, Lee C, Yaeger D, Vyleta N, Smith S. Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. 2012;15(9):1195-1197. doi:10.1038/nn.3162
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3122
Field D, Barrett S. Disassortative mating and the maintenance of sexual polymorphism in painted maple. Molecular Ecology. 2012;21(15):3640-3643. doi:10.1111/j.1365-294X.2012.05643.x
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3123 | OA
Yu J, Wojtan CJ, Turk G, Yap C. Explicit mesh surfaces for particle based fluids. In: Computer Graphics Forum. Vol 31. Blackwell Publishing; 2012:815-824. doi:10.1111/j.1467-8659.2012.03062.x
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc F, Kolmogorov V, Lampert C. Approximating marginals using discrete energy minimization. In: ICML; 2012.
View | Files available
 
2012 | Conference Paper | IST-REx-ID: 3125 | OA
Sharmanska V, Quadrianto N, Lampert C. Augmented attribute representations. In: Vol 7576. Springer; 2012:242-255. doi:10.1007/978-3-642-33715-4_18
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3126
Müller A, Nowozin S, Lampert C. Information theoretic clustering using minimal spanning trees. In: Vol 7476. Springer; 2012:205-215. doi:10.1007/978-3-642-32717-9_21
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto N, Lampert C, Chen C. The most persistent soft-clique in a set of sampled graphs. In: Proceedings of the 29th International Conference on Machine Learning. Omnipress; 2012:211-218.
View | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3128 | OA
Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 2012;43(2):268-284. doi:10.1007/s10703-012-0164-2
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev O, Cabello S, Chen C, Dey T, Wang Y. Annotating simplices with a homology basis and its applications. In: Vol 7357. Springer; 2012:189-200. doi:10.1007/978-3-642-31155-0_17
View | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3130 | OA
Bergmiller T, Ackermann M, Silander O. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 2012;8(6). doi:10.1371/journal.pgen.1002803
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman D, Barton NH. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 2012;8(6). doi:10.1371/journal.pgen.1002740
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3132
Konrad M, Pamminger T, Foitzik S. Two pathways ensuring social harmony. Naturwissenschaften. 2012;99(8):627-636. doi:10.1007/s00114-012-0943-z
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3133 | OA
Edelsbrunner H, Kerber M. Alexander duality for functions: The persistent behavior of land and water and shore. In: Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry . ACM; 2012:249-258. doi:10.1145/2261250.2261287
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications