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.
2030 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 17751
Feedback effects on population III star formation
G.L. Bryan, I.D. McGreer, A. Mesinger, Z. Haiman, in:, AIP Conference Proceedings, American Institute of Physics, 2008.
View
| DOI
| Download None (ext.)
G.L. Bryan, I.D. McGreer, A. Mesinger, Z. Haiman, in:, AIP Conference Proceedings, American Institute of Physics, 2008.
2008 |
Published |
Journal Article |
IST-REx-ID: 17778 |
Fluctuations in the high-redshift Lyman-Werner background: Close halo pairs as the origin of supermassive black holes
M. Dijkstra, Z. Haiman, A. Mesinger, J.S.B. Wyithe, Monthly Notices of the Royal Astronomical Society 391 (2008) 1961–1972.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Dijkstra, Z. Haiman, A. Mesinger, J.S.B. Wyithe, Monthly Notices of the Royal Astronomical Society 391 (2008) 1961–1972.
2008 |
Published |
Journal Article |
IST-REx-ID: 17787 |
Fossil Ionized bubbles around dead quasars during reionization
S.R. Furlanetto, Z. Haiman, S.P. Oh, The Astrophysical Journal 686 (2008) 25–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S.R. Furlanetto, Z. Haiman, S.P. Oh, The Astrophysical Journal 686 (2008) 25–40.
2008 |
Published |
Journal Article |
IST-REx-ID: 17788 |
An evolving entropy floor in the intracluster gas?
W. Fang, Z. Haiman, The Astrophysical Journal 680 (2008) 200–213.
[Published Version]
View
| DOI
| Download Published Version (ext.)
W. Fang, Z. Haiman, The Astrophysical Journal 680 (2008) 200–213.
2008 |
Published |
Journal Article |
IST-REx-ID: 17804 |
Can supermassive black holes form in metal‐enriched high‐redshift protogalaxies?
K. Omukai, R. Schneider, Z. Haiman, The Astrophysical Journal 686 (2008) 801–814.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Omukai, R. Schneider, Z. Haiman, The Astrophysical Journal 686 (2008) 801–814.
2008 |
Published |
Conference Paper |
IST-REx-ID: 753
How to solve consensus in the smallest window of synchrony
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
2008 |
Published |
Book Chapter |
IST-REx-ID: 3577
Skeletal structures
S. Biasotti, D. Attali, J. Boissonnat, H. Edelsbrunner, G. Elber, M. Mortara, G. Sanniti Di Baja, M. Spagnuolo, M. Tanase, R. Veltkam, in:, Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
View
| DOI
S. Biasotti, D. Attali, J. Boissonnat, H. Edelsbrunner, G. Elber, M. Mortara, G. Sanniti Di Baja, M. Spagnuolo, M. Tanase, R. Veltkam, in:, Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3600
Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
View
| DOI
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3698
Semi-supervised Laplacian regularization of kernel canonical correlation analysis
M. Blaschko, C. Lampert, A. Gretton, in:, Springer, 2008, pp. 133–145.
View
| DOI
M. Blaschko, C. Lampert, A. Gretton, in:, Springer, 2008, pp. 133–145.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3705
Learning to localize objects with structured output regression
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
View
| DOI
| Download (ext.)
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3716
A multiple kernel learning approach to joint multi-class object detection
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.
View
| DOI
| Download (ext.)
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.
2008 |
Published |
Book Chapter |
IST-REx-ID: 3726
Single-molecule microscopy and force spectroscopy of membrane proteins
A. Engel, H.L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, D. Mueller, in:, Single Molecules and Nanotechnology, Springer, 2008, pp. 279–311.
View
| DOI
A. Engel, H.L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, D. Mueller, in:, Single Molecules and Nanotechnology, Springer, 2008, pp. 279–311.
2008 |
Published |
Book Chapter |
IST-REx-ID: 3872
Value iteration
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer, 2008, pp. 107–138.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer, 2008, pp. 107–138.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3873
Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
View
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
View
| DOI
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
View
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.