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.




2950 Publications

2012 | Conference Paper | IST-REx-ID: 2915
O. Kroemer, C. Lampert, and J. Peters, “Multi-modal learning for dynamic tactile sensing,” 2012.
View
 
2012 | Conference Paper | IST-REx-ID: 2916 | OA
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface Simulation Distances,” in Electronic Proceedings in Theoretical Computer Science, Napoli, Italy, 2012, vol. 96, pp. 29–42.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 2917
H. Vladar, “The game of active search for extra terrestrial intelligence Breaking the Great Silence ,” International Journal of Astrobiology, vol. 12, no. 1, pp. 53–62, 2012.
View | DOI
 
2012 | Preprint | IST-REx-ID: 2928 | OA
V. Kolmogorov and T. Schoenemann, “Generalized sequential tree-reweighted message passing,” arXiv. ArXiv, 2012.
View | Download Preprint (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2930 | OA
A. Huber and V. Kolmogorov, “Towards minimizing k-submodular functions,” presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece, 2012, vol. 7422, pp. 451–462.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2931
L. Torresani, V. Kolmogorov, and C. Rother, “A dual decomposition approach to feature correspondence,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 35, no. 2, pp. 259–271, 2012.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2936 | OA
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Finite automata with time delay blocks,” in roceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 43–52.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2937 | OA
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, and S. Béguelin, “Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols,” in Proceedings of the 2012 ACM conference on Computer and communications security, Raleigh, NC, USA, 2012, pp. 488–500.
View | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2938
L. V. Ugelvig and S. Cremer, “Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies,” Functional Ecology, vol. 26, no. 6, pp. 1300–1312, 2012.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2941 | OA
N. Dolbilin, H. Edelsbrunner, and O. Musin, “On the optimality of functionals over triangulations of Delaunay sets,” Russian Mathematical Surveys, vol. 67, no. 4, pp. 781–783, 2012.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2942
T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2943 | OA
N. Hadizadeh Yazdi, C. C. Guet, R. Johnson, and J. Marko, “Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions,” Molecular Microbiology, vol. 86, no. 6, pp. 1318–1333, 2012.
View | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2945
J. Girard, C. Moussion, and R. Förster, “HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes,” Nature Reviews Immunology, vol. 12, no. 11, pp. 762–773, 2012.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2946 | OA
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, and G. Meister, “MicroRNAs associated with the different human Argonaute proteins,” Nucleic Acids Research, vol. 40, no. 19, pp. 9850–9862, 2012.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2947 | OA
K. Chatterjee, M. Chmelik, and R. Majumdar, “Equivalence of games with probabilistic uncertainty and partial observation games,” presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 385–399.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2949
D. Dupret and J. L. Csicsvari, “The medial entorhinal cortex keeps Up,” Nature Neuroscience, vol. 15, no. 11, pp. 1471–1472, 2012.
View | DOI | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 2950
M. Behrndt et al., “Forces driving epithelial spreading in zebrafish gastrulation,” Science, vol. 338, no. 6104, pp. 257–260, 2012.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2951
J.-L. Maître et al., “Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells,” Science, vol. 338, no. 6104, pp. 253–256, 2012.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2952
M. Tada and C.-P. J. Heisenberg, “Convergent extension Using collective cell migration and cell intercalation to shape embryos,” Development, vol. 139, no. 21, pp. 3897–3904, 2012.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2953
C.-P. J. Heisenberg and R. Fässler, “Cell-cell adhesion and extracellular matrix diversity counts,” Current Opinion in Cell Biology, vol. 24, no. 5, pp. 559–561, 2012.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2954 | OA
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, and P. M. Jonas, “A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo,” Biophysical Journal, vol. 103, no. 7, pp. 1429–1439, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2955 | OA
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2956
K. Chatterjee and Y. Velner, “Mean payoff pushdown games,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2957 | OA
K. Chatterjee and M. Tracol, “Decidable problems for probabilistic automata on infinite words,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 2958 | OA
K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place cells can encode multiple trial-dependent features through rate remapping,” Journal of Neuroscience, vol. 32, no. 42, pp. 14752–14766, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2959 | OA
C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical models,” Annals of Statistics, vol. 40, no. 1, pp. 238–261, 2012.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2962 | OA
S. Aeschbacher, M. Beaumont, and A. Futschik, “A novel approach for choosing summary statistics in approximate Bayesian computation,” Genetics, vol. 192, no. 3, pp. 1027–1047, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2963
F. Jesse and K. Riebel, “Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata,” Behavioural Processes, vol. 91, no. 3, pp. 262–266, 2012.
View | DOI
 
2012 | Thesis | IST-REx-ID: 2964
S. Kim, Active properties of hippocampal CA3 pyramidal neuron dendrites. IST Austria, 2012.
View | Files available
 
2012 | Journal Article | IST-REx-ID: 2965 | OA
P. Danowski, “Kontext Open Access: Creative Commons,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, vol. 65, no. 2, pp. 200–212, 2012.
View | Files available | Download Published Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2966 | OA
S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male competition in Cardiocondyla obscurior ants,” BMC Ecology, vol. 12, 2012.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2967
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 2012.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2968 | OA
K. Lohse, N. H. Barton, G. Melika, and G. Stone, “A likelihood based comparison of population histories in a parasitoid guild,” Molecular Ecology, vol. 21, no. 18, pp. 4605–4617, 2012.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2969 | OA
S. Goswami, I. Bucurenciu, and P. M. Jonas, “Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling,” Journal of Neuroscience, vol. 32, no. 41, pp. 14294–14304, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2970
A. Kicheva, M. T. Bollenbach, O. Wartlick, F. Julicher, and M. Gonzalez Gaitan, “Investigating the principles of morphogen gradient formation: from tissues to cells,” Current Opinion in Genetics & Development, vol. 22, no. 6, pp. 527–532, 2012.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2971
G. Zankl, Y. Haxhimusa, and A. Ion, “Interactive labeling of image segmentation hierarchies,” presented at the Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 11–20.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2972 | OA
K. Chatterjee and L. Doyen, “Energy parity games,” Theoretical Computer Science, vol. 458, pp. 49–60, 2012.
View | Files available | DOI | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2974 | OA
A. Jain, S. Krenn, K. Z. Pietrzak, and A. Tentes, “Commitments and efficient zero knowledge proofs from learning parity with noise,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China, 2012, vol. 7658, pp. 663–680.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3115 | OA
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” Discrete & Computational Geometry, vol. 48, no. 4, pp. 964–989, 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3117 | OA
V. Kolmogorov, “Minimizing a sum of submodular functions,” Discrete Applied Mathematics, vol. 160, no. 15, pp. 2246–2258, 2012.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3118 | OA
M. Bojsen-Hansen, H. Li, and C. J. Wojtan, “Tracking surfaces with evolving topology,” ACM Transactions on Graphics, vol. 31, no. 4, 2012.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3119 | OA
K. Raveendran, N. Thuerey, C. J. Wojtan, and G. Turk, “Controlling liquids using meshes,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Aire-la-Ville, Switzerland, 2012, pp. 255–264.
View | Files available
 
2012 | Journal Article | IST-REx-ID: 3120 | OA
G. Brown, M. Kerber, and M. Reid, “Fano 3 folds in codimension 4 Tom and Jerry Part I,” Compositio Mathematica, vol. 148, no. 4, pp. 1171–1194, 2012.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3121 | OA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, and S. Smith, “Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA,” Nature Neuroscience, vol. 15, no. 9, pp. 1195–1197, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3122
D. Field and S. Barrett, “Disassortative mating and the maintenance of sexual polymorphism in painted maple,” Molecular Ecology, vol. 21, no. 15, pp. 3640–3643, 2012.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3123 | OA
J. Yu, C. J. Wojtan, G. Turk, and C. Yap, “Explicit mesh surfaces for particle based fluids,” in Computer Graphics Forum, Cagliari, Sardinia, Italy, 2012, vol. 31, no. 2, pp. 815–824.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3124 | OA
F. Korc, V. Kolmogorov, and C. Lampert, “Approximating marginals using discrete energy minimization,” presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland, 2012.
View | Files available
 
2012 | Conference Paper | IST-REx-ID: 3125 | OA
V. Sharmanska, N. Quadrianto, and C. Lampert, “Augmented attribute representations,” presented at the ECCV: European Conference on Computer Vision, Florence, Italy, 2012, vol. 7576, no. PART 5, pp. 242–255.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3126
A. Müller, S. Nowozin, and C. Lampert, “Information theoretic clustering using minimal spanning trees,” presented at the DAGM: German Association For Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 205–215.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3127 | OA
N. Quadrianto, C. Lampert, and C. Chen, “The most persistent soft-clique in a set of sampled graphs,” in Proceedings of the 29th International Conference on Machine Learning, Edinburgh, United Kingdom, 2012, pp. 211–218.
View | Download Preprint (ext.)
 

Search

Display / Sort

Citation Style: IEEE

Export / Embed