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.
561 Publications
2018 | Published | Book Chapter | IST-REx-ID: 60
Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
View
| DOI
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
2018 | Published | Journal Article | IST-REx-ID: 6001
ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
View
| Files available
| DOI
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
2018 | Published | Journal Article | IST-REx-ID: 6002 |
The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
2018 | Published | Journal Article | IST-REx-ID: 6003 |
State of the art on stylized fabrication
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
[Submitted Version]
View
| Files available
| DOI
| WoS
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
2018 | Published | Journal Article | IST-REx-ID: 6010 |
“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network
F. Garrido-Charad, T.A. Vega Zuniga, C. Gutiérrez-Ibáñez, P. Fernandez, L. López-Jury, C. González-Cabrera, H.J. Karten, H. Luksch, G.J. Marín, Proceedings of the National Academy of Sciences 115 (2018) E7615–E7623.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
F. Garrido-Charad, T.A. Vega Zuniga, C. Gutiérrez-Ibáñez, P. Fernandez, L. López-Jury, C. González-Cabrera, H.J. Karten, H. Luksch, G.J. Marín, Proceedings of the National Academy of Sciences 115 (2018) E7615–E7623.
2018 | Published | Conference Paper | IST-REx-ID: 6011 |
Data-dependent stability of stochastic gradient descent
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824.
2018 | Published | Conference Paper | IST-REx-ID: 6012 |
Learning equations for extrapolation and control
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| WoS
| arXiv
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450.
2018 | Published | Journal Article | IST-REx-ID: 17 |
Drag enhancement and drag reduction in viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 174
How often does the Hasse principle hold?
T.D. Browning, in:, American Mathematical Society, 2018, pp. 89–102.
View
| DOI
T.D. Browning, in:, American Mathematical Society, 2018, pp. 89–102.
2018 | Published | Journal Article | IST-REx-ID: 17544
Learning from the machine
Z. Haiman, Nature Astronomy 3 (2018) 18–19.
View
| DOI
| Download None (ext.)
Z. Haiman, Nature Astronomy 3 (2018) 18–19.
2018 | Published | Journal Article | IST-REx-ID: 17550 |
Non-steady-state long-term evolution of supermassive black hole binaries surrounded by accretion discs
C. Fontecilla, Z. Haiman, J. Cuadra, Monthly Notices of the Royal Astronomical Society 482 (2018) 4383–4396.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Fontecilla, Z. Haiman, J. Cuadra, Monthly Notices of the Royal Astronomical Society 482 (2018) 4383–4396.
2018 | Published | Journal Article | IST-REx-ID: 17575 |
Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO
B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B. Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen, The Astrophysical Journal 866 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B. Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen, The Astrophysical Journal 866 (2018).
2018 | Published | Journal Article | IST-REx-ID: 176 |
Averages of arithmetic functions over principal ideals
T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018) 547–567.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018) 547–567.
2018 | Published | Journal Article | IST-REx-ID: 17612
The X-ray chirp of a compact black hole binary
Z. Haiman, Foundations of Physics 48 (2018) 1430–1445.
View
| DOI
| Download None (ext.)
Z. Haiman, Foundations of Physics 48 (2018) 1430–1445.
2018 | Published | Journal Article | IST-REx-ID: 17619 |
The late inspiral of supermassive black hole binaries with circumbinary gas discs in the LISA band
Y. Tang, Z. Haiman, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 476 (2018) 2249–2257.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Tang, Z. Haiman, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 476 (2018) 2249–2257.
2018 | Published | Journal Article | IST-REx-ID: 17627 |
Identifying direct collapse black hole seeds through their small host galaxies
E. Visbal, Z. Haiman, The Astrophysical Journal Letters 865 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Visbal, Z. Haiman, The Astrophysical Journal Letters 865 (2018).
2018 | Published | Journal Article | IST-REx-ID: 17640 |
Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies
K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863 (2018).
2018 | Published | Journal Article | IST-REx-ID: 17655 |
Self-consistent semi-analytic models of the first stars
E. Visbal, Z. Haiman, G.L. Bryan, Monthly Notices of the Royal Astronomical Society 475 (2018) 5246–5256.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Visbal, Z. Haiman, G.L. Bryan, Monthly Notices of the Royal Astronomical Society 475 (2018) 5246–5256.
2018 | Published | Journal Article | IST-REx-ID: 17662 |
Non-Gaussian information from weak lensing data via deep learning
A. Gupta, J.M.Z. Matilla, D. Hsu, Z. Haiman, Physical Review D 97 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Gupta, J.M.Z. Matilla, D. Hsu, Z. Haiman, Physical Review D 97 (2018).
2018 | Published | Journal Article | IST-REx-ID: 17679 |
Low-density, radiatively inefficient rotating-accretion flow on to a black hole
K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.