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.
230 Publications
2006 | Published | Book Review | IST-REx-ID: 4250
Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.
View
| DOI
N.H. Barton, Current Biology 16 (2006) 647–650.
2006 | Published | Journal Article | IST-REx-ID: 4351
SIMMAP: stochastic character mapping of discrete traits on phylogenies
J.P. Bollback, BMC Bioinformatics 7 (2006).
View
| DOI
J.P. Bollback, BMC Bioinformatics 7 (2006).
2006 | Published | Journal Article | IST-REx-ID: 4352
Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
View
| Download (ext.)
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
2006 | Published | Conference Paper | IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
View
| DOI
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
2006 | Published | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
2006 | Published | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View
| DOI
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
2006 | Published | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View
| DOI
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
2006 | Published | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View
| DOI
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
2006 | Published | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
2006 | Published | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View
| DOI
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
2006 | Published | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View
| DOI
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
2006 | Published | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View
| DOI
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
2006 | Published | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
2006 | Published | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
2006 | Published | Conference Paper | IST-REx-ID: 4549
Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
2006 | Published | Journal Article | IST-REx-ID: 4550
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
2006 | Published | Conference Paper | IST-REx-ID: 4551
Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
2006 | Published | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
2006 | Published | Conference Paper | IST-REx-ID: 4574
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
2006 | Published | Preprint | IST-REx-ID: 573 | 
Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
2006 | Published | Preprint | IST-REx-ID: 574 |
Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (2006).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
O. Hosten, P. Kwiat, (2006).
2006 | Published | Conference Paper | IST-REx-ID: 577
High-efficiency single-photon detectors
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
View
| DOI
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
2006 | Published | Conference Paper | IST-REx-ID: 578
Towards a quasi-deterministic single-photon source
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
View
| DOI
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
2006 | Published | Journal Article | IST-REx-ID: 579
Counterfactual quantum computation through quantum interrogation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
2006 | Published | Conference Paper | IST-REx-ID: 583
Improved single-photon detection
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
View
| DOI
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
2006 | Published | Journal Article | IST-REx-ID: 6151 |
On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
2006 | Published | Journal Article | IST-REx-ID: 6152
Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
View
| DOI
| PubMed | Europe PMC
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
2006 | Published | Journal Article | IST-REx-ID: 18318
Multigrid multidimensional scaling
M.M. Bronstein, A.M. Bronstein, R. Kimmel, I. Yavneh, Numerical Linear Algebra with Applications 13 (2006) 149–171.
View
| DOI
M.M. Bronstein, A.M. Bronstein, R. Kimmel, I. Yavneh, Numerical Linear Algebra with Applications 13 (2006) 149–171.
2006 | Published | Conference Paper | IST-REx-ID: 18320
On separation of semitransparent dynamic images from static background
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
2006 | Published | Conference Paper | IST-REx-ID: 18321
Robust expression-invariant face recognition from partially missing data
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006.
2006 | Published | Conference Paper | IST-REx-ID: 18322
Facetoface: An isometric model for facial animation
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.
2006 | Published | Conference Paper | IST-REx-ID: 18323
Matching two-dimensional articulated shapes using generalized multidimensional scaling
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.
2006 | Published | Journal Article | IST-REx-ID: 18370
Generalized multidimensional scaling: A framework for isometry-invariant partial surface matching
A.M. Bronstein, M.M. Bronstein, R. Kimmel, PNAS 103 (2006) 1168–1172.
View
| DOI
| PubMed | Europe PMC
A.M. Bronstein, M.M. Bronstein, R. Kimmel, PNAS 103 (2006) 1168–1172.
2006 | Published | Journal Article | IST-REx-ID: 18408
Expression-invariant representations of faces
A.M. Bronstein, M.M. Bronstein, R. Kimmel, IEEE Transactions on Image Processing 16 (2006) 188–197.
View
| DOI
| PubMed | Europe PMC
A.M. Bronstein, M.M. Bronstein, R. Kimmel, IEEE Transactions on Image Processing 16 (2006) 188–197.
2006 | Published | Journal Article | IST-REx-ID: 1961
Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus
L.A. Sazanov, P. Hinchliffe, Science 311 (2006) 1430–1436.
View
| DOI
L.A. Sazanov, P. Hinchliffe, Science 311 (2006) 1430–1436.
2006 | Published | Journal Article | IST-REx-ID: 1966
Identification of a novel subunit of respiratory complex I from Thermus thermophilus
P. Hinchliffe, J. Carroll, L.A. Sazanov, Biochemistry 45 (2006) 4413–4420.
View
| DOI
P. Hinchliffe, J. Carroll, L.A. Sazanov, Biochemistry 45 (2006) 4413–4420.
2006 | Published | Journal Article | IST-REx-ID: 2066
Evolution on the X chromosome: Unusual patterns and processes
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.
View
| DOI
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.
2006 | Published | Conference Paper | IST-REx-ID: 2077
Adaptive simulation of electrical discharges
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
View
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
2006 | Published | Conference Paper | IST-REx-ID: 2088
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.
View
| DOI
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.
2006 | Published | Journal Article | IST-REx-ID: 2089
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.
View
| DOI
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.
2006 | Published | Conference Paper | IST-REx-ID: 2090
Processing and editing of faces using a measurement-based skin reflectance model
B. Bickel, T. Weyrich, W. Matusik, H. Pfister, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006.
View
| DOI
B. Bickel, T. Weyrich, W. Matusik, H. Pfister, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006.
2006 | Published | Journal Article | IST-REx-ID: 213
The density of rational points on non-singular hypersurfaces, II
T.D. Browning, R. Heath Brown, J. Starr, Proceedings of the London Mathematical Society 93 (2006) 273–303.
View
| DOI
T.D. Browning, R. Heath Brown, J. Starr, Proceedings of the London Mathematical Society 93 (2006) 273–303.
2006 | Published | Journal Article | IST-REx-ID: 2134
Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule
A. Ehresmann, L. Werner, S. Klumpp, P. Demekhin, M. Lemeshko, V. Sukhorukov, K. Schartner, H. Schmoranzer, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) L119–L126.
View
| DOI
A. Ehresmann, L. Werner, S. Klumpp, P. Demekhin, M. Lemeshko, V. Sukhorukov, K. Schartner, H. Schmoranzer, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) L119–L126.
2006 | Published | Journal Article | IST-REx-ID: 2142
Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance
A. Ehresmann, L. Werner, S. Klumpp, S. Lucht, H. Schmoranzer, S. Mickat, R. Schill, K. Schartner, P. Demekhin, M. Lemeshko, V. Sukhorukov, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) 283–304.
View
| DOI
A. Ehresmann, L. Werner, S. Klumpp, S. Lucht, H. Schmoranzer, S. Mickat, R. Schill, K. Schartner, P. Demekhin, M. Lemeshko, V. Sukhorukov, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) 283–304.
2006 | Published | Journal Article | IST-REx-ID: 2144
Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates
R. Vedrinskiǐ, E. Nazarenko, M. Lemeshko, V. Nassif, O. Proux, A. Novakovich, Y. Joly, Physical Review B - Condensed Matter and Materials Physics 73 (2006).
View
| DOI
R. Vedrinskiǐ, E. Nazarenko, M. Lemeshko, V. Nassif, O. Proux, A. Novakovich, Y. Joly, Physical Review B - Condensed Matter and Materials Physics 73 (2006).
2006 | Published | Journal Article | IST-REx-ID: 215
The density of rational points on non-singular hypersurfaces, I
T.D. Browning, R. Heath Brown, Bulletin of the London Mathematical Society 38 (2006) 401–410.
View
| DOI
T.D. Browning, R. Heath Brown, Bulletin of the London Mathematical Society 38 (2006) 401–410.
2006 | Published | Journal Article | IST-REx-ID: 216
Counting rational points on algebraic varieties
T.D. Browning, R. Heath Brown, P. Salberger, Duke Mathematical Journal 132 (2006) 545–578.
View
| DOI
T.D. Browning, R. Heath Brown, P. Salberger, Duke Mathematical Journal 132 (2006) 545–578.
2006 | Published | Journal Article | IST-REx-ID: 218
Sums of arithmetic functions over values of binary forms
R. De La Bretèche, T.D. Browning, Acta Arithmetica 125 (2006) 291–304.
View
| DOI
R. De La Bretèche, T.D. Browning, Acta Arithmetica 125 (2006) 291–304.
2006 | Published | Conference Paper | IST-REx-ID: 7326
What is learned beyond the scale of single cells?
F.N. Büchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.
View
| DOI
F.N. Büchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.
2006 | Published | Journal Article | IST-REx-ID: 7327
Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks
M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.
View
| DOI
M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.
2006 | Published | Journal Article | IST-REx-ID: 7328
Measuring the current distribution in PEFCs with sub-millimeter resolution
S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
View
| DOI
S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
2006 | Published | Journal Article | IST-REx-ID: 7329
Expanding current distribution measurement in PEFCs to sub-millimeter resolution
S.A. Freunberger, M. Reum, A. Wokaun, F.N. Büchi, Electrochemistry Communications 8 (2006) 1435–1438.
View
| DOI
S.A. Freunberger, M. Reum, A. Wokaun, F.N. Büchi, Electrochemistry Communications 8 (2006) 1435–1438.
2006 | Published | Journal Article | IST-REx-ID: 7330
Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients
M. Santis, S.A. Freunberger, A. Reiner, F.N. Büchi, Electrochimica Acta 51 (2006) 5383–5393.
View
| DOI
M. Santis, S.A. Freunberger, A. Reiner, F.N. Büchi, Electrochimica Acta 51 (2006) 5383–5393.
2006 | Published | Journal Article | IST-REx-ID: 7331
In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance
S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
View
| DOI
S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
2006 | Published | Journal Article | IST-REx-ID: 7332
In-plane effects in large-scale PEMFCs
S.A. Freunberger, M. Santis, I.A. Schneider, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
View
| DOI
S.A. Freunberger, M. Santis, I.A. Schneider, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).
2006 | Published | Journal Article | IST-REx-ID: 3152
In vivo migration A germ cell perspective
P. Kunwar, D.E. Siekhaus, R. Lehmann, Annual Review of Cell and Developmental Biology 22 (2006) 237–265.
View
| DOI
P. Kunwar, D.E. Siekhaus, R. Lehmann, Annual Review of Cell and Developmental Biology 22 (2006) 237–265.
2006 | Published | Conference Paper | IST-REx-ID: 3180
A comparative study of energy minimization methods for Markov random fields
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, in:, Springer, 2006, pp. 16–29.
View
| DOI
| Download (ext.)
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, in:, Springer, 2006, pp. 16–29.
2006 | Published | Conference Paper | IST-REx-ID: 3184
Comparison of energy minimization algorithms for highly connected graphs
V. Kolmogorov, C. Rother, in:, Springer, 2006, pp. 1–15.
View
| DOI
| Download (ext.)
V. Kolmogorov, C. Rother, in:, Springer, 2006, pp. 1–15.
2006 | Published | Journal Article | IST-REx-ID: 3185
Probabilistic fusion of stereo with color and contrast for bilayer segmentation
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1480–1492.
View
| DOI
| Download (ext.)
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1480–1492.
2006 | Published | Conference Paper | IST-REx-ID: 3186
An integral solution to surface evolution PDEs via geo cuts
Y. Boykov, V. Kolmogorov, D. Cremers, A. Delong, in:, Springer, 2006, pp. 409–422.
View
| DOI
Y. Boykov, V. Kolmogorov, D. Cremers, A. Delong, in:, Springer, 2006, pp. 409–422.
2006 | Published | Conference Paper | IST-REx-ID: 3188
Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs
C. Rother, V. Kolmogorov, T. Minka, A. Blake, in:, IEEE, 2006, pp. 993–1000.
View
| DOI
C. Rother, V. Kolmogorov, T. Minka, A. Blake, in:, IEEE, 2006, pp. 993–1000.
2006 | Published | Conference Paper | IST-REx-ID: 3189
Bilayer segmentation of live video
A. Criminisi, G. Cross, A. Blake, V. Kolmogorov, in:, IEEE, 2006, pp. 53–60.
View
| DOI
| Download (ext.)
A. Criminisi, G. Cross, A. Blake, V. Kolmogorov, in:, IEEE, 2006, pp. 53–60.
2006 | Published | Journal Article | IST-REx-ID: 3190
Convergent tree reweighted message passing for energy minimization
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1568–1583.
View
| DOI
| Download (ext.)
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1568–1583.
2006 | Published | Conference Paper | IST-REx-ID: 3214
Luby Rackoff ciphers from weak round functions
U. Maurer, Y. Oswald, K.Z. Pietrzak, J. Sjödin, in:, Springer, 2006, pp. 391–408.
View
| DOI
U. Maurer, Y. Oswald, K.Z. Pietrzak, J. Sjödin, in:, Springer, 2006, pp. 391–408.
2006 | Published | Conference Paper | IST-REx-ID: 3215
Separating sources for encryption and secret sharing
Y. Dodis, K.Z. Pietrzak, B. Przydatek, in:, Springer, 2006, pp. 601–616.
View
| DOI
Y. Dodis, K.Z. Pietrzak, B. Przydatek, in:, Springer, 2006, pp. 601–616.
2006 | Published | Conference Paper | IST-REx-ID: 3216
A tight bound for EMAC
K.Z. Pietrzak, in:, Springer, 2006, pp. 168–179.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2006, pp. 168–179.
2006 | Published | Conference Paper | IST-REx-ID: 3217
Composition implies adaptive security in minicrypt
K.Z. Pietrzak, in:, Springer, 2006, pp. 328–338.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2006, pp. 328–338.
2006 | Published | Book Chapter | IST-REx-ID: 3404
Atomic force microscopy
H.L. Janovjak, R. Sawhney, M. Stark, D. Mueller, in:, Techniques in Microscopy for Biomedical Applications, World Scientific Publishing, 2006, pp. 213–284.
View
H.L. Janovjak, R. Sawhney, M. Stark, D. Mueller, in:, Techniques in Microscopy for Biomedical Applications, World Scientific Publishing, 2006, pp. 213–284.
2006 | Published | Journal Article | IST-REx-ID: 3413
Bacteriorhodopsin folds into the membrane against an external force
M. Kessler, K. Gottschalk, H.L. Janovjak, D. Mueller, H. Gaub, Journal of Molecular Biology 357 (2006) 644–654.
View
| DOI
M. Kessler, K. Gottschalk, H.L. Janovjak, D. Mueller, H. Gaub, Journal of Molecular Biology 357 (2006) 644–654.
2006 | Published | Journal Article | IST-REx-ID: 3414
Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli
A. Kedrov, H.L. Janovjak, C. Ziegler, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 355 (2006) 2–8.
View
| DOI
A. Kedrov, H.L. Janovjak, C. Ziegler, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 355 (2006) 2–8.
2006 | Published | Book Review | IST-REx-ID: 3415
Imaging and detecting molecular interactions of single membrane proteins
H.L. Janovjak, A. Kedrov, D. Cisneros, T. Sapra, J. Struckmeier, D. Mueller, Neurobiology of Aging 27 (2006) 546–561.
View
| DOI
H.L. Janovjak, A. Kedrov, D. Cisneros, T. Sapra, J. Struckmeier, D. Mueller, Neurobiology of Aging 27 (2006) 546–561.
2006 | Published | Preprint | IST-REx-ID: 3431 |
Ising models for networks of real neurons
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv (2006) 1–4.
View
| Download (ext.)
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv (2006) 1–4.
2006 | Published | Journal Article | IST-REx-ID: 3437
Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution
A. Betancourt, J.P. Bollback, Current Opinion in Genetics & Development 16 (2006) 618–623.
View
| DOI
A. Betancourt, J.P. Bollback, Current Opinion in Genetics & Development 16 (2006) 618–623.
2006 | Published | Conference Paper | IST-REx-ID: 3449
Games for controls
K. Chatterjee, R. Jagadeesan, C. Pitcher, in:, IEEE, 2006, pp. 70–82.
View
| DOI
K. Chatterjee, R. Jagadeesan, C. Pitcher, in:, IEEE, 2006, pp. 70–82.
2006 | Published | Book Review | IST-REx-ID: 3463
Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review)
J. Bischofberger, D. Engel, M. Frotscher, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 453 (2006) 361–372.
View
| DOI
J. Bischofberger, D. Engel, M. Frotscher, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 453 (2006) 361–372.
2006 | Published | Conference Paper | IST-REx-ID: 3499
Nash equilibrium for upward-closed objectives
K. Chatterjee, in:, Springer, 2006, pp. 271–286.
View
| DOI
K. Chatterjee, in:, Springer, 2006, pp. 271–286.
2006 | Published | Conference Paper | IST-REx-ID: 3500
Algorithms for Büchi Games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, ACM, 2006.
View
| Download (ext.)
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, ACM, 2006.
2006 | Patent | IST-REx-ID: 3510 |
Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism
H. Edelsbrunner, P. Fu, D. Nekhayev, M. Facello, S. Williams, (2006).
[Published Version]
View
| Download Published Version (ext.)
H. Edelsbrunner, P. Fu, D. Nekhayev, M. Facello, S. Williams, (2006).
2006 | Patent | IST-REx-ID: 3511 |
Manufacturing methods and systems for rapid production of hearing-aid shells
P. Fu, D. Nekhayev, H. Edelsbrunner, (2006).
[Published Version]
View
| Download Published Version (ext.)
P. Fu, D. Nekhayev, H. Edelsbrunner, (2006).
2006 | Patent | IST-REx-ID: 3512 |
Method, apparatus and computer products that reconstruct surfaces from data points
Y. Fletcher, T. Gloth, H. Edelsbrunner, P. Fu, (2006).
[Published Version]
View
| Download Published Version (ext.)
Y. Fletcher, T. Gloth, H. Edelsbrunner, P. Fu, (2006).
2006 | Published | Journal Article | IST-REx-ID: 3522
Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior
J. O’Neill, T. Senior, J.L. Csicsvari, Neuron 49 (2006) 143–155.
View
| DOI
J. O’Neill, T. Senior, J.L. Csicsvari, Neuron 49 (2006) 143–155.
2006 | Published | Journal Article | IST-REx-ID: 3545
Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo
P. Magill, A. Pogosyan, A. Sharott, J.L. Csicsvari, J. Bolam, P. Brown, Journal of Neuroscience 26 (2006) 6318–6329.
View
| DOI
P. Magill, A. Pogosyan, A. Sharott, J.L. Csicsvari, J. Bolam, P. Brown, Journal of Neuroscience 26 (2006) 6318–6329.
2006 | Published | Conference Paper | IST-REx-ID: 3559
Vines and vineyards by updating persistence in linear time
D. Cohen Steiner, H. Edelsbrunner, D. Morozov, in:, ACM, 2006, pp. 119–126.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, D. Morozov, in:, ACM, 2006, pp. 119–126.
2006 | Published | Conference Paper | IST-REx-ID: 3560
Persistence-sensitive simplification of functions on 2-manifolds
H. Edelsbrunner, D. Morozov, V. Pascucci, in:, ACM, 2006, pp. 127–134.
View
| DOI
| Download (ext.)
H. Edelsbrunner, D. Morozov, V. Pascucci, in:, ACM, 2006, pp. 127–134.
2006 | Published | Book Review | IST-REx-ID: 3594
Hybridisation between red and sika deer in Scotland
J. Pemberton, G. Swanson, N.H. Barton, S. Livingstone, H. Senn, Deer 13 (2006) 22–26.
View
J. Pemberton, G. Swanson, N.H. Barton, S. Livingstone, H. Senn, Deer 13 (2006) 22–26.
2006 | Published | Journal Article | IST-REx-ID: 3607
Will population bottlenecks and multilocus epistasis increase additive genetic variance?
M. Turelli, N.H. Barton, Evolution; International Journal of Organic Evolution 60 (2006) 1763–1776.
View
| DOI
M. Turelli, N.H. Barton, Evolution; International Journal of Organic Evolution 60 (2006) 1763–1776.
2006 | Published | Journal Article | IST-REx-ID: 3608
Chromosome inversions, local adaptation, and speciation
M. Kirkpatrick, N.H. Barton, Genetics 173 (2006) 419–434.
View
| DOI
M. Kirkpatrick, N.H. Barton, Genetics 173 (2006) 419–434.
2006 | Published | Journal Article | IST-REx-ID: 3609
Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time
A. Yanchukov, S. Hofman, J. Szymura, S. Mezhzherin, S. Morozov Leonov, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 60 (2006) 583–600.
View
| DOI
A. Yanchukov, S. Hofman, J. Szymura, S. Mezhzherin, S. Morozov Leonov, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 60 (2006) 583–600.
2006 | Published | Journal Article | IST-REx-ID: 3610
Prediction of effects of genetic drift on variance components under a general model of epistasis
W. Hill, N.H. Barton, M. Turelli, Theoretical Population Biology 70 (2006) 56–62.
View
| DOI
W. Hill, N.H. Barton, M. Turelli, Theoretical Population Biology 70 (2006) 56–62.
2006 | Published | Conference Paper | IST-REx-ID: 3677
Spatiogram-based shot distances for video retrieval
A. Ulges, C. Lampert, D. Keysers, in:, NIST (National Institute of Standards and Technology, US Department of Commerce), 2006, pp. 1–10.
View
| Download (ext.)
A. Ulges, C. Lampert, D. Keysers, in:, NIST (National Institute of Standards and Technology, US Department of Commerce), 2006, pp. 1–10.
2006 | Published | Conference Paper | IST-REx-ID: 3679
Satellite tracks removal in astronomical images
H. Ali, C. Lampert, T. Breuel, in:, Springer, 2006, pp. 892–901.
View
| DOI
| Download (ext.)
H. Ali, C. Lampert, T. Breuel, in:, Springer, 2006, pp. 892–901.
2006 | Published | Conference Paper | IST-REx-ID: 3680
Printing technique classification for document counterfeit detection
C. Lampert, L. Mei, T. Breuel, in:, IEEE, 2006, pp. 639–634.
View
| DOI
| Download (ext.)
C. Lampert, L. Mei, T. Breuel, in:, IEEE, 2006, pp. 639–634.
2006 | Published | Conference Paper | IST-REx-ID: 3683
Objective quality measurement for geometric document image restoration
C. Lampert, T. Breuel, in:, Springer, 2006.
View
| Download (ext.)
C. Lampert, T. Breuel, in:, Springer, 2006.
2006 | Published | Conference Paper | IST-REx-ID: 3685
Machine learning for video compression: Macroblock mode decision
C. Lampert, in:, IEEE, 2006, pp. 936–940.
View
| DOI
C. Lampert, in:, IEEE, 2006, pp. 936–940.
2006 | Published | Conference Paper | IST-REx-ID: 3692
Color image dequantization by constrained diffusion
D. Keysers, C. Lampert, T. Breuel, in:, SPIE, 2006.
View
| DOI
D. Keysers, C. Lampert, T. Breuel, in:, SPIE, 2006.
2006 | Published | Conference Paper | IST-REx-ID: 3693
Anisotropic Gaussian filtering using fixed point arithmetic
C. Lampert, O. Wirjadi, in:, IEEE, 2006, pp. 1565–1568.
View
| DOI
C. Lampert, O. Wirjadi, in:, IEEE, 2006, pp. 1565–1568.
2006 | Published | Journal Article | IST-REx-ID: 3695 |
An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter
C. Lampert, O. Wirjadi, IEEE Transactions on Image Processing (TIP) 15 (2006) 3501–3513.
View
| DOI
| Download (ext.)
C. Lampert, O. Wirjadi, IEEE Transactions on Image Processing (TIP) 15 (2006) 3501–3513.
2006 | Published | Book Chapter | IST-REx-ID: 3722
Rastersondenmikroskopie
H.L. Janovjak, D. Mueller, in:, Bioanalytik, Spektrum Akademischer Verlag, 2006.
View
H.L. Janovjak, D. Mueller, in:, Bioanalytik, Spektrum Akademischer Verlag, 2006.
2006 | Published | Journal Article | IST-REx-ID: 3728
Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment
M. Cieplak, S. Filipek, H.L. Janovjak, K. Krzysko, Biochimica et Biophysica Acta (BBA) - Biomembranes 1758 (2006) 537–544.
View
| DOI
M. Cieplak, S. Filipek, H.L. Janovjak, K. Krzysko, Biochimica et Biophysica Acta (BBA) - Biomembranes 1758 (2006) 537–544.
2006 | Published | Journal Article | IST-REx-ID: 3729
Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments
C. Bippes, A. Humphris, M. Stark, D. Mueller, H.L. Janovjak, European Biophysics Journal 35 (2006) 287–292.
View
| DOI
C. Bippes, A. Humphris, M. Stark, D. Mueller, H.L. Janovjak, European Biophysics Journal 35 (2006) 287–292.