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.

635 Publications

2023 | Submitted | Preprint | IST-REx-ID: 14961 |

Shortcuts for causal discovery of nonlinear models by score matching
F. Montagna, N. Noceti, L. Rosasco, F. Locatello, ArXiv (n.d.).

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

2023 | Submitted | Preprint | IST-REx-ID: 14962 |

Unsupervised open-vocabulary object localization in videos
K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu, T. He, ArXiv (n.d.).

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

2023 | Submitted | Preprint | IST-REx-ID: 14963 |

Object-centric multiple object tracking
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).

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

2023 | Published | Journal Article | IST-REx-ID: 14985 |

Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.

[Published Version] View | Files available | DOI

2023 | Published | Conference Paper | IST-REx-ID: 14989 |

Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.

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

2023 | Research Data Reference | IST-REx-ID: 14990 |

Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).

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

2023 | Research Data Reference | IST-REx-ID: 14991 |

Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).

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

2023 | Published | Book Chapter | IST-REx-ID: 14992 |

Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.

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

2023 | Published | Conference Paper | IST-REx-ID: 14993 |

A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.

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

2023 | Research Data Reference | IST-REx-ID: 14994 |

A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).

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

2023 | Research Data Reference | IST-REx-ID: 14995 |

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).

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

2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 |

Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.

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

2023 | Research Data Reference | IST-REx-ID: 15027 |

aggregation_data
S. Curk, (2023).

[Published Version] View | Files available | Download Published Version (ext.)

2023 | Research Data Reference | IST-REx-ID: 15035 |

Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).

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

2023 | Submitted | Preprint | IST-REx-ID: 15039 |

1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).

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

2023 | Published | Journal Article | IST-REx-ID: 13443 |

Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).

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

2023 | Submitted | Preprint | IST-REx-ID: 13447 |

Asteroseismology with the Roman galactic bulge time-domain survey
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.

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

2023 | Published | Journal Article | IST-REx-ID: 13449 |

Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop
Geen S, Agrawal P, Crowther PA, Keller BW, de Koter A, Keszthelyi Z, van de Voort F, Ali AA, Backs F, Bonne L, Brugaletta V, Derkink A, Ekström S, Fichtner YA, Grassitelli L, Götberg YLL, Higgins ER, Laplace E, You Liow K, Lorenzo M, McLeod AF, Meynet G, Newsome M, André Oliva G, Ramachandran V, Rey MP, Rieder S, Romano-Díaz E, Sabhahit G, Sander AAC, Sarwar R, Stinshoff H, Stoop M, Szécsi D, Trebitsch M, Vink JS, Winch E. 2023. Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. Publications of the Astronomical Society of the Pacific. 135(1044), 021001.

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

2023 | Published | Journal Article | IST-REx-ID: 13450 |

Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates
A.J.G. O‘Grady, M.R. Drout, B.M. Gaensler, C.S. Kochanek, K.F. Neugent, C.L. Doherty, J.S. Speagle, B.J. Shappee, M. Rauch, Y.L.L. Götberg, B. Ludwig, T.A. Thompson, The Astrophysical Journal 943 (2023).

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

2023 | Published | Journal Article | IST-REx-ID: 13963 |

Many-body localization proximity effect in a two-species bosonic Hubbard model
P. Brighi, M. Ljubotina, D.A. Abanin, M. Serbyn, Physical Review B 108 (2023).

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

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

635 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

635 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options