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.
321 Publications
2012 | Journal Article | IST-REx-ID: 2917
The game of active search for extra terrestrial intelligence Breaking the Great Silence
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
View
| DOI
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
2012 | Preprint | IST-REx-ID: 2928 | 
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
2012 | Report | IST-REx-ID: 2929 |
The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
View
| Download (ext.)
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
2012 | Conference Paper | IST-REx-ID: 2930 |
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
View
| DOI
| Download Preprint (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 | Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View
| DOI
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
2012 | Conference Paper | IST-REx-ID: 2936 |
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
2012 | Conference Paper | IST-REx-ID: 2937 |
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
View
| DOI
| Download Submitted Version (ext.)
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
2012 | Journal Article | IST-REx-ID: 2938
Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
View
| DOI
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
2012 | Journal Article | IST-REx-ID: 2941 |
On the optimality of functionals over triangulations of Delaunay sets
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
View
| Files available
| DOI
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
2012 | Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View
| DOI
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
2012 | Journal Article | IST-REx-ID: 2943 |
Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
View
| DOI
| Download Submitted Version (ext.)
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
2012 | Journal Article | IST-REx-ID: 2945
HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
View
| DOI
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
2012 | Journal Article | IST-REx-ID: 2946 |
MicroRNAs associated with the different human Argonaute proteins
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
View
| Files available
| DOI
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
2012 | Conference Paper | IST-REx-ID: 2947 |
Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
2012 | Journal Article | IST-REx-ID: 2949
The medial entorhinal cortex keeps Up
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
View
| DOI
| Download None (ext.)
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
2012 | Journal Article | IST-REx-ID: 2950
Forces driving epithelial spreading in zebrafish gastrulation
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
View
| Files available
| DOI
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
2012 | Journal Article | IST-REx-ID: 2951
Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
View
| DOI
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
2012 | Journal Article | IST-REx-ID: 2952
Convergent extension Using collective cell migration and cell intercalation to shape embryos
M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.
View
| DOI
M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.
2012 | Journal Article | IST-REx-ID: 2953
Cell-cell adhesion and extracellular matrix diversity counts
C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012) 559–561.
View
| DOI
C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012) 559–561.
2012 | Journal Article | IST-REx-ID: 2954 |
A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
2012 | Conference Paper | IST-REx-ID: 2955 |
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Conference Paper | IST-REx-ID: 2956
Mean payoff pushdown games
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
View
| Files available
| DOI
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Conference Paper | IST-REx-ID: 2957 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Journal Article | IST-REx-ID: 2958 |
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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Allen, J.N. Rawlins, D. Bannerman, J.L. Csicsvari, Journal of Neuroscience 32 (2012) 14752–14766.
2012 | Journal Article | IST-REx-ID: 2959 |
Geometry of maximum likelihood estimation in Gaussian graphical models
C. Uhler, Annals of Statistics 40 (2012) 238–261.
View
| DOI
| Download Preprint (ext.)
C. Uhler, Annals of Statistics 40 (2012) 238–261.
2012 | Journal Article | IST-REx-ID: 2962 |
A novel approach for choosing summary statistics in approximate Bayesian computation
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
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
F. Jesse, K. Riebel, Behavioural Processes 91 (2012) 262–266.
2012 | Thesis | IST-REx-ID: 2964
Active properties of hippocampal CA3 pyramidal neuron dendrites
S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, IST Austria, 2012.
View
| Files available
S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, IST Austria, 2012.
2012 | Journal Article | IST-REx-ID: 2965 |
Kontext Open Access: Creative Commons
P. Danowski, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 65 (2012) 200–212.
View
| Files available
| Download Published Version (ext.)
P. Danowski, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 65 (2012) 200–212.
2012 | Journal Article | IST-REx-ID: 2966 |
The dynamics of male-male competition in Cardiocondyla obscurior ants
S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
View
| Files available
| DOI
S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
2012 | Journal Article | IST-REx-ID: 2967
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, ACM Transactions on Computational Logic (TOCL) 13 (2012).
View
| Files available
| DOI
R. Alur, P. Cerny, S. Weinstein, ACM Transactions on Computational Logic (TOCL) 13 (2012).
2012 | Journal Article | IST-REx-ID: 2968 |
A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
View
| Files available
| DOI
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
2012 | Journal Article | IST-REx-ID: 2969 |
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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S. Goswami, I. Bucurenciu, P.M. Jonas, Journal of Neuroscience 32 (2012) 14294–14304.
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
A. Kicheva, M.T. Bollenbach, O. Wartlick, F. Julicher, M. Gonzalez Gaitan, Current Opinion in Genetics & Development 22 (2012) 527–532.
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
G. Zankl, Y. Haxhimusa, A. Ion, in:, Springer, 2012, pp. 11–20.
2012 | Journal Article | IST-REx-ID: 2972 |
Energy parity games
K. Chatterjee, L. Doyen, Theoretical Computer Science 458 (2012) 49–60.
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, Theoretical Computer Science 458 (2012) 49–60.
2012 | Conference Paper | IST-REx-ID: 2974 |
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.
View
| Files available
| DOI
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
2012 | Journal Article | IST-REx-ID: 3104
Transcription factor WRKY23 assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis
W. Grunewald, I. De Smet, D. Lewis, C. Löfke, L. Jansen, G. Goeminne, R. Vanden Bossche, M. Karimi, B. De Rybel, B. Vanholme, T. Teichmann, W. Boerjan, M. Van Montagu, G. Gheysen, G. Muday, J. Friml, T. Beeckman, PNAS 109 (2012) 1554–1559.
View
| DOI
W. Grunewald, I. De Smet, D. Lewis, C. Löfke, L. Jansen, G. Goeminne, R. Vanden Bossche, M. Karimi, B. De Rybel, B. Vanholme, T. Teichmann, W. Boerjan, M. Van Montagu, G. Gheysen, G. Muday, J. Friml, T. Beeckman, PNAS 109 (2012) 1554–1559.
2012 | Journal Article | IST-REx-ID: 3105
GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses
Whitford R, Fernandez A, Tejos R, Pérez A, Kleine Vehn J, Vanneste S, Drozdzecki A, Leitner J, Abas L, Aerts M, Hoogewijs K, Baster P, De Groodt R, Lin Y, Storme V, Van De Peer Y, Beeckman T, Madder A, Devreese B, Luschnig C, Friml J, Hilson P. 2012. GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses. Developmental Cell. 22(3), 678–685.
View
| DOI
Whitford R, Fernandez A, Tejos R, Pérez A, Kleine Vehn J, Vanneste S, Drozdzecki A, Leitner J, Abas L, Aerts M, Hoogewijs K, Baster P, De Groodt R, Lin Y, Storme V, Van De Peer Y, Beeckman T, Madder A, Devreese B, Luschnig C, Friml J, Hilson P. 2012. GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses. Developmental Cell. 22(3), 678–685.
2012 | Journal Article | IST-REx-ID: 3106
ROP GTPase-dependent actin microfilaments promote PIN1 polarization by localized inhibition of clathrin-dependent endocytosis
S. Nagawa, T. Xu, D. Lin, P. Dhonukshe, X. Zhang, J. Friml, B. Scheres, Y. Fu, Z. Yang, PLoS Biology 10 (2012).
View
| DOI
S. Nagawa, T. Xu, D. Lin, P. Dhonukshe, X. Zhang, J. Friml, B. Scheres, Y. Fu, Z. Yang, PLoS Biology 10 (2012).
2012 | Other Publication | IST-REx-ID: 3107
Plant signaling: Deconstructing auxin sensing
S. Vanneste, J. Friml, Plant Signaling: Deconstructing Auxin Sensing, Nature Publishing Group, 2012.
View
| DOI
S. Vanneste, J. Friml, Plant Signaling: Deconstructing Auxin Sensing, Nature Publishing Group, 2012.
2012 | Journal Article | IST-REx-ID: 3108
A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants
E. Barbez, M. Kubeš, J. Rolčík, C. Béziat, A. Pěnčík, B. Wang, M. Rosquete, J. Zhu, P. Dobrev, Y. Lee, E. Zašímalová, J. Petrášek, M. Geisler, J. Friml, J. Kleine Vehn, Nature 485 (2012) 119–122.
View
| DOI
E. Barbez, M. Kubeš, J. Rolčík, C. Béziat, A. Pěnčík, B. Wang, M. Rosquete, J. Zhu, P. Dobrev, Y. Lee, E. Zašímalová, J. Petrášek, M. Geisler, J. Friml, J. Kleine Vehn, Nature 485 (2012) 119–122.
2012 | Journal Article | IST-REx-ID: 3109
Fluorescent castasterone reveals BRI1 signaling from the plasma membrane
N. Irani, S. Di Rubbo, E. Mylle, J. Van Den Begin, J. Schneider Pizoń, J. Hniliková, M. Šíša, D. Buyst, J. Vilarrasa Blasi, A. Szatmári, D. Van Damme, K. Mishev, M. Codreanu, L. Kohout, M. Strnad, A. Caño Delgado, J. Friml, A. Madder, E. Russinova, Nature Chemical Biology 8 (2012) 583–589.
View
| DOI
N. Irani, S. Di Rubbo, E. Mylle, J. Van Den Begin, J. Schneider Pizoń, J. Hniliková, M. Šíša, D. Buyst, J. Vilarrasa Blasi, A. Szatmári, D. Van Damme, K. Mishev, M. Codreanu, L. Kohout, M. Strnad, A. Caño Delgado, J. Friml, A. Madder, E. Russinova, Nature Chemical Biology 8 (2012) 583–589.
2012 | Journal Article | IST-REx-ID: 3110
A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis
M. Dai, C. Zhang, U. Kania, F. Chen, Q. Xue, T. Mccray, G. Li, G. Qin, M. Wakeley, W. Terzaghi, J. Wan, Y. Zhao, J. Xu, J. Friml, X. Deng, H. Wang, Plant Cell 24 (2012) 2497–2514.
View
| DOI
M. Dai, C. Zhang, U. Kania, F. Chen, Q. Xue, T. Mccray, G. Li, G. Qin, M. Wakeley, W. Terzaghi, J. Wan, Y. Zhao, J. Xu, J. Friml, X. Deng, H. Wang, Plant Cell 24 (2012) 2497–2514.
2012 | Journal Article | IST-REx-ID: 3111
A ROP GTPase dependent auxin signaling pathway regulates the subcellular distribution of PIN2 in Arabidopsis roots
D. Lin, S. Nagawa, J. Chen, L. Cao, X. Chen, T. Xu, H. Li, P. Dhonukshe, C. Yamamuro, J. Friml, B. Scheres, Y. Fu, Z. Yang, Current Biology 22 (2012) 1319–1325.
View
| DOI
D. Lin, S. Nagawa, J. Chen, L. Cao, X. Chen, T. Xu, H. Li, P. Dhonukshe, C. Yamamuro, J. Friml, B. Scheres, Y. Fu, Z. Yang, Current Biology 22 (2012) 1319–1325.
2012 | Journal Article | IST-REx-ID: 3112
ABP1 and ROP6 GTPase signaling regulate clathrin mediated endocytosis in Arabidopsis roots
X. Chen, S. Naramoto, S. Robert, R. Tejos, C. Löfke, D. Lin, Z. Yang, J. Friml, Current Biology 22 (2012) 1326–1332.
View
| DOI
X. Chen, S. Naramoto, S. Robert, R. Tejos, C. Löfke, D. Lin, Z. Yang, J. Friml, Current Biology 22 (2012) 1326–1332.
2012 | Journal Article | IST-REx-ID: 3113
Cell wall constrains lateral diffusion of plant plasma membrane proteins
A. Martinière, I. Lavagi, G. Nageswaran, D. Rolfe, L. Maneta Peyret, D. Luu, S. Botchway, S. Webb, S. Mongrand, C. Maurel, M. Martin Fernandez, J. Kleine Vehn, J. Friml, P. Moreau, J. Runions, PNAS 109 (2012) 12805–12810.
View
| DOI
A. Martinière, I. Lavagi, G. Nageswaran, D. Rolfe, L. Maneta Peyret, D. Luu, S. Botchway, S. Webb, S. Mongrand, C. Maurel, M. Martin Fernandez, J. Kleine Vehn, J. Friml, P. Moreau, J. Runions, PNAS 109 (2012) 12805–12810.
2012 | Journal Article | IST-REx-ID: 3114
ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis
Ding Z, Wang B, Moreno I, Dupláková N, Simon S, Carraro N, Reemmer J, Pěnčík A, Chen X, Tejos R, Skůpa P, Pollmann S, Mravec J, Petrášek J, Zažímalová E, Honys D, Rolčík J, Murphy A, Orellana A, Geisler M, Friml J. 2012. ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis. Nature Communications. 3(AN 941).
View
| DOI
Ding Z, Wang B, Moreno I, Dupláková N, Simon S, Carraro N, Reemmer J, Pěnčík A, Chen X, Tejos R, Skůpa P, Pollmann S, Mravec J, Petrášek J, Zažímalová E, Honys D, Rolčík J, Murphy A, Orellana A, Geisler M, Friml J. 2012. ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis. Nature Communications. 3(AN 941).
2012 | Journal Article | IST-REx-ID: 3115 |
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
2012 | Journal Article | IST-REx-ID: 3117 |
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
View
| DOI
| Download Preprint (ext.)
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
2012 | Conference Paper | IST-REx-ID: 3119 |
Controlling liquids using meshes
K. Raveendran, N. Thuerey, C.J. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
View
| Files available
K. Raveendran, N. Thuerey, C.J. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
2012 | Journal Article | IST-REx-ID: 3120 |
Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
View
| DOI
| Download Preprint (ext.)
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
2012 | Journal Article | IST-REx-ID: 3121 |
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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
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
D. Field, S. Barrett, Molecular Ecology 21 (2012) 3640–3643.
2012 | Conference Paper | IST-REx-ID: 3123 |
Explicit mesh surfaces for particle based fluids
J. Yu, C.J. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Blackwell Publishing, 2012, pp. 815–824.
View
| Files available
| DOI
J. Yu, C.J. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Blackwell Publishing, 2012, pp. 815–824.
2012 | Conference Paper | IST-REx-ID: 3124 |
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
View
| Files available
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
2012 | Conference Paper | IST-REx-ID: 3125 |
Augmented attribute representations
V. Sharmanska, N. Quadrianto, C. Lampert, in:, Springer, 2012, pp. 242–255.
View
| Files available
| DOI
V. Sharmanska, N. Quadrianto, C. Lampert, in:, Springer, 2012, pp. 242–255.
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
A. Müller, S. Nowozin, C. Lampert, in:, Springer, 2012, pp. 205–215.
2012 | Conference Paper | IST-REx-ID: 3127 |
The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, Omnipress, 2012, pp. 211–218.
View
| Download Preprint (ext.)
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, Omnipress, 2012, pp. 211–218.
2012 | Journal Article | IST-REx-ID: 3128 |
A survey of partial-observation stochastic parity games
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
2012 | Conference Paper | IST-REx-ID: 3129 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
2012 | Journal Article | IST-REx-ID: 3130 |
Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
View
| Files available
| DOI
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
2012 | Journal Article | IST-REx-ID: 3131 |
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
View
| Files available
| DOI
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
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
M. Konrad, T. Pamminger, S. Foitzik, Naturwissenschaften 99 (2012) 627–636.
2012 | Conference Paper | IST-REx-ID: 3133 |
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.
View
| DOI
| Download Preprint (ext.)
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
2012 | Conference Paper | IST-REx-ID: 3135 |
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.
View
| DOI
| Download Preprint (ext.)
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.
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
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
2012 | Conference Paper | IST-REx-ID: 3155 |
Synchronous interface theories and time triggered scheduling
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.
View
| Files available
| DOI
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.
2012 | Journal Article | IST-REx-ID: 3156
Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion
L.V. Ugelvig, A. Andersen, J. Boomsma, D. Nash, Molecular Ecology 21 (2012) 3224–3236.
View
| DOI
L.V. Ugelvig, A. Andersen, J. Boomsma, D. Nash, Molecular Ecology 21 (2012) 3224–3236.
2012 | Journal Article | IST-REx-ID: 3157 |
The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
2012 | Journal Article | IST-REx-ID: 3158 |
Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo
H. Schachtner, A. Li, D. Stevenson, S. Calaminus, S. Thomas, S. Watson, M.K. Sixt, R. Wedlich Söldner, D. Strathdee, L. Machesky, European Journal of Cell Biology 91 (2012) 923–929.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Schachtner, A. Li, D. Stevenson, S. Calaminus, S. Thomas, S. Watson, M.K. Sixt, R. Wedlich Söldner, D. Strathdee, L. Machesky, European Journal of Cell Biology 91 (2012) 923–929.
2012 | Journal Article | IST-REx-ID: 3159 |
Hierarchical ordering of reticular networks
Y. Mileyko, H. Edelsbrunner, C. Price, J. Weitz, PLoS One 7 (2012).
View
| Files available
| DOI
Y. Mileyko, H. Edelsbrunner, C. Price, J. Weitz, PLoS One 7 (2012).
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
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
2012 | Journal Article | IST-REx-ID: 3161 |
Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
View
| Files available
| DOI
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
2012 | Conference Paper | IST-REx-ID: 3162 |
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
View
| Files available
| DOI
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
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
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
2012 | Journal Article | IST-REx-ID: 3166 |
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
View
| Files available
| DOI
H. de Vladar, Biology Direct 7 (2012).
2012 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View
| DOI
| PubMed | Europe PMC
M. Weber, Science 336 (2012) 32–34.
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
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.
2012 | Journal Article | IST-REx-ID: 3241
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
View
| DOI
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
2012 | Journal Article | IST-REx-ID: 3243
Zwischen Technologie und Information
P. Danowski, Büchereiperspektiven 1/2012 (2012) 11.
View
| Download None (ext.)
P. Danowski, Büchereiperspektiven 1/2012 (2012) 11.
2012 | Journal Article | IST-REx-ID: 3244
Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB – Forum Bibliothek und Information 64 (2012) 284.
View
| Download None (ext.)
P. Danowski, BuB – Forum Bibliothek und Information 64 (2012) 284.
2012 | Journal Article | IST-REx-ID: 3245
Spurred by resistance mechanosensation in collective migration
M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 22 (2012) 3–4.
View
| DOI
M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 22 (2012) 3–4.
2012 | Journal Article | IST-REx-ID: 3246
Cell adhesion in embryo morphogenesis
V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012) 148–153.
View
| Files available
| DOI
V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012) 148–153.
2012 | Journal Article | IST-REx-ID: 3247
Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)
S. Vilaça, R.A. Fernandes Redondo, L. Lins, F. Santos, Conservation Genetics 13 (2012) 293–298.
View
| DOI
S. Vilaça, R.A. Fernandes Redondo, L. Lins, F. Santos, Conservation Genetics 13 (2012) 293–298.
2012 | Journal Article | IST-REx-ID: 3249
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
2012 | Conference Paper | IST-REx-ID: 3250
Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
2012 | Conference Paper | IST-REx-ID: 3251 |
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
View
| Files available
| DOI
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
2012 | Conference Paper | IST-REx-ID: 3252 |
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
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
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
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.)
K. Chatterjee, Information and Computation 211 (2012) 29–48.
2012 | Conference Paper | IST-REx-ID: 3255 |
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
2012 | Journal Article | IST-REx-ID: 3256 |
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
View
| Files available
| DOI
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
2012 | Journal Article | IST-REx-ID: 3257 |
Generalized roof duality and bisubmodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
2012 | Journal Article | IST-REx-ID: 3258 |
Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
2012 | Journal Article | IST-REx-ID: 3260 |
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
2012 | Journal Article | IST-REx-ID: 3262 |
Optimizing information flow in small genetic networks. III. A self-interacting gene
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 85 (2012).
View
| DOI
| Download Preprint (ext.)
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 85 (2012).
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
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
2012 | Journal Article | IST-REx-ID: 3274
A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
G. Rieckh, W. Kreuzer, H. Waubke, P. Balazs, Engineering Analysis with Boundary Elements 36 (2012) 960–967.
View
| DOI
G. Rieckh, W. Kreuzer, H. Waubke, P. Balazs, Engineering Analysis with Boundary Elements 36 (2012) 960–967.
2012 | Book Chapter | IST-REx-ID: 3277
Can the evolution of multicellularity be anticipated in the exploration of the solar system?
H. de Vladar, J. Chela Flores, in:, Life on Earth and Other Planetary Bodies, Springer, 2012, pp. 387–405.
View
| DOI
H. de Vladar, J. Chela Flores, in:, Life on Earth and Other Planetary Bodies, Springer, 2012, pp. 387–405.