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.




4964 Publications

2012 | Journal Article | IST-REx-ID: 2958 | OA
Hippocampal place cells can encode multiple trial-dependent features through rate remapping
K. Allen, J.N. Rawlins, D. Bannerman, J.L. Csicsvari, Journal of Neuroscience 32 (2012) 14752–14766.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2959 | OA
Geometry of maximum likelihood estimation in Gaussian graphical models
C. Uhler, Annals of Statistics 40 (2012) 238–261.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2966 | OA
The dynamics of male-male competition in Cardiocondyla obscurior ants
S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
[Published Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2962 | OA
A novel approach for choosing summary statistics in approximate Bayesian computation
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2963
Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata
F. Jesse, K. Riebel, Behavioural Processes 91 (2012) 262–266.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2974 | OA
Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
[Submitted Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2969 | OA
Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling
S. Goswami, I. Bucurenciu, P.M. Jonas, Journal of Neuroscience 32 (2012) 14294–14304.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2970
Investigating the principles of morphogen gradient formation: from tissues to cells
A. Kicheva, M.T. Bollenbach, O. Wartlick, F. Julicher, M. Gonzalez Gaitan, Current Opinion in Genetics & Development 22 (2012) 527–532.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2971
Interactive labeling of image segmentation hierarchies
G. Zankl, Y. Haxhimusa, A. Ion, in:, Springer, 2012, pp. 11–20.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3119 | OA
Controlling liquids using meshes
K. Raveendran, N. Thuerey, C. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
[Submitted Version] View | Files available
 
2012 | Journal Article | IST-REx-ID: 3118 | OA
Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C. Wojtan, ACM Transactions on Graphics 31 (2012).
[Submitted Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3122
Disassortative mating and the maintenance of sexual polymorphism in painted maple
D. Field, S. Barrett, Molecular Ecology 21 (2012) 3640–3643.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3121 | OA
Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3120 | OA
Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3117 | OA
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3131 | OA
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
[Published Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3130 | OA
Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
[Published Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3136
Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3135 | OA
Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3133 | OA
Alexander duality for functions: The persistent behavior of land and water and shore
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3134
Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
H. Edelsbrunner, B. Fasy, G. Rote, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 91–100.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3132
Two pathways ensuring social harmony
M. Konrad, T. Pamminger, S. Foitzik, Naturwissenschaften 99 (2012) 627–636.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3161 | OA
Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
[Published Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3162 | OA
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
[Submitted Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3160
Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3164
Guest editorial: Special issue on structured prediction and inference
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3166 | OA
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
[Published Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View | DOI | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 3252 | OA
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3255 | OA
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
[Submitted Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3250
Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3256 | OA
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
[Submitted Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3254
The complexity of stochastic Müller games
K. Chatterjee, Information and Computation 211 (2012) 29–48.
View | DOI | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3253
Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3265
Image segmentation by figure-ground composition into maximal cliques
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3282 | OA
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
[Submitted Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3280 | OA
Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3281
Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
View | DOI | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 3317 | OA
Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
[Submitted Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3314
Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3115 | OA
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3331 | OA
A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3168
Lumpability abstractions of rule based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3846 | OA
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 3128 | OA
A survey of partial-observation stochastic parity games
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
[Submitted Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3125 | OA
Augmented attribute representations
V. Sharmanska, N. Quadrianto, C. Lampert, in:, Springer, 2012, pp. 242–255.
[Submitted Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3129 | OA
Annotating simplices with a homology basis and its applications
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 3126
Information theoretic clustering using minimal spanning trees
A. Müller, S. Nowozin, C. Lampert, in:, Springer, 2012, pp. 205–215.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3155 | OA
Synchronous interface theories and time triggered scheduling
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.
[Submitted Version] View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3159 | OA
Hierarchical ordering of reticular networks
Y. Mileyko, H. Edelsbrunner, C. Price, J. Weitz, PLoS One 7 (2012).
[Published Version] View | Files available | DOI
 

Search

Filter Publications