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.

1790 Publications


2008 |Published| Conference Paper | IST-REx-ID: 3698
M. Blaschko, C. Lampert, and A. Gretton, “Semi-supervised Laplacian regularization of kernel canonical correlation analysis,” presented at the ECML: European Conference on Machine Learning, 2008, vol. 5211, no. Part 1, pp. 133–145.
View | DOI
 

2008 |Published| Book Chapter | IST-REx-ID: 3726
A. Engel, H. L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, and D. Mueller, “Single-molecule microscopy and force spectroscopy of membrane proteins,” in Single Molecules and Nanotechnology, vol. 12, Springer, 2008, pp. 279–311.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3880
D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 325–339.
View | Files available | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 584
O. Hosten and P. Kwiat, “Spin hall effect of light via weak measurements: Sharp and smooth index variations,” presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States, 2008.
View | Download None (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 753
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “How to solve consensus in the smallest window of synchrony,” presented at the DISC: Distributed Computing, 2008, vol. 5218 LNCS, pp. 32–46.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 1797
T. Viney et al., “Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing,” Current Biology, vol. 17, no. 11. Cell Press, pp. 981–988, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 219
R. De La Bretèche, T. D. Browning, and U. Derenthal, “On Manin’s conjecture for a certain singular cubic surface,” Annales Scientifiques de l’Ecole Normale Superieure, vol. 40, no. 1. Societe Mathematique de France, pp. 1–50, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 2496
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, and K. Toyoshima, “Expression of group II metabotropic glutamate receptors in rat gustatory papillae,” Cell and Tissue Research, vol. 328, no. 1. Springer, pp. 57–63, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 2750
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams,” Communications in Mathematical Physics, vol. 271, no. 1. Springer, pp. 1–53, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 2751
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion for the Anderson model in the scaling limit,” Annales Henri Poincare, vol. 8, no. 4. Birkhäuser, pp. 621–685, 2007.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 2794
B. Hof, W. Tax, and J. Westerweel, “Lifetime of turbulence in pipe flow,” presented at the EETC11: European Turbulence Conference, 2007, vol. 117, pp. 556–558.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3187
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, and C. Rother, “Fusion of stereo colour and contrast,” Springer Tracts in Advanced Robotics, vol. 28. Springer, pp. 295–304, 2007.
View | DOI | Download (ext.)
 

2007 |Published| Conference Paper | IST-REx-ID: 3218
K. Z. Pietrzak, “Non-trivial black-box combiners for collision-resistant hash-functions don’t exist,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2007, vol. 4515, pp. 23–33.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3701
A. Ulges, C. Lampert, D. Keysers, and T. Breuel, “Optimal dominant motion estimation using adaptive search of transformation space,” presented at the DAGM: German Association For Pattern Recognition, 2007, vol. 4713, pp. 204–213.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3981
D. Attali, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Alpha-beta witness complexes,” presented at the WADS: International Workshop on Algrithms and Data Structures, 2007, vol. 4619, pp. 386–397.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3977
D. Attali and H. Edelsbrunner, “Inclusion-exclusion formulas from independent complexes,” Discrete & Computational Geometry, vol. 37, no. 1. Springer, pp. 59–77, 2007.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications