ISTA Research Explorer

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.

12143 Publications

2024 | Published | Thesis | PhD | IST-REx-ID: 17490 |

Markov I. Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. 2024. doi:10.15479/at:ista:17490

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 17493 |

Vermersch B, Ljubotina M, Cirac JI, Zoller P, Serbyn M, Piroli L. Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. 2024;14(3). doi:10.1103/physrevx.14.031035

[Published Version] View | Files available | DOI | WoS | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17494 |

Bravo JPK. Anti-plasmid immunity: A key to pathogen success? Future Microbiology. 2024;19(15):1269-1272. doi:10.1080/17460913.2024.2389720

2024 | Published | Journal Article | IST-REx-ID: 17495 |

Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. 2024;8(PLDI):1115-1139. doi:10.1145/3656422

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17497 |

Spies S, Gäher L, Sammler MJ, Dreyer D. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 2024;8(PLDI):889-913. doi:10.1145/3656413

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17517 |

Saade ML, Brightman M, Stern D, et al. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad372e

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17531 |

Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad2e0b

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17535 |

Scoggins MT, Haiman Z. Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio. Monthly Notices of the Royal Astronomical Society. 2024;531(4):4584-4597. doi:10.1093/mnras/stae1449

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17545 |

Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 2024;109(10). doi:10.1103/physrevd.109.103014

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17546 |

Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 2024;962(1). doi:10.3847/1538-4357/ad1a17

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17590 |

Xin C, Haiman Z, Perna R, Wang Y, Ryu T. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 2024;961(2). doi:10.3847/1538-4357/ad11d3

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Thesis | PhD | IST-REx-ID: 17850 |

Gonzalez Somermeyer L. Fitness landscapes of orthologous green fluorescent proteins. 2024. doi:10.15479/at:ista:17850

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 17852 |

Lee W, Li L, Camarasa-Gómez M, et al. Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. 2024;15. doi:10.1038/s41467-024-45707-z

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17853

Li L, Louie S, Orchanian NM, Nuckolls C, Venkataraman L. Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. 2024;146(24):16920-16925. doi:10.1021/jacs.4c05699