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.

11357 Publications

2024 | Published | Conference Paper | IST-REx-ID: 18121 |

Moakhar AS, Iofinova EB, Frantar E, Alistarh D-A. SPADE: Sparsity-guided debugging for deep neural networks. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:45955-45987.

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

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

Glas J. Counting rational points over function fields. 2024. doi:10.15479/at:ista:18132

[Published Version] View | Files available | DOI

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

Lauritsen AB. Energies of dilute Fermi gases and universalities in BCS theory. 2024. doi:10.15479/at:ista:18135

[Published Version] View | Files available | DOI

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

Hajnal MA, Tran D, Szabó Z, et al. Shifts in attention drive context-dependent subspace encoding in anterior cingulate cortex in mice during decision making. Nature Communications. 2024;15. doi:10.1038/s41467-024-49845-2

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Conference Paper | IST-REx-ID: 18155 |

Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14933. Springer Nature; 2024:600-619. doi:10.1007/978-3-031-71162-6_31

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

2024 | Published | Conference Paper | IST-REx-ID: 18156 |

Henzinger M, Sricharan AR, Steiner TA. Private counting of distinct elements in the turnstile model and extensions. In: International Conference on Approximation Algorithms for Combinatorial Optimization Problems . Vol 317. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.APPROX/RANDOM.2024.40

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

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

Dello Schiavo L, Herry R, Suzuki K. Wasserstein geometry and Ricci curvature bounds for Poisson spaces. Journal de l’Ecole Polytechnique - Mathematiques. 2024;11:957-1010. doi:10.5802/jep.270

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

2024 | Published | Conference Paper | IST-REx-ID: 18159 |

Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2024:3-12. doi:10.24963/ijcai.2024/1

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

2024 | Published | Conference Paper | IST-REx-ID: 18160 |

Chatterjee K, Goharshady E, Karrabi M, Novotný P, Zikelic D. Solving long-run average reward robust MDPs via stochastic games. In: 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2024:6707-6715. doi:10.24963/ijcai.2024/741

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

2024 | Published | Book Chapter | IST-REx-ID: 18167

Guillerm U, Sučec I, Schanda P. Generation of TIM chaperone substrate complexes. In: Methods in Enzymology. Vol 707. Elsevier; 2024:391-422. doi:10.1016/bs.mie.2024.07.051

View | DOI | PubMed | Europe PMC

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

Wu D, Koscic A, Schneider S, et al. Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein. Biomacromolecules. 2024;25(3):1759-1774. doi:10.1021/acs.biomac.3c01239

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

Basu A, Singh A, Sehgal S, Madaan T, Prasad NG. Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females. Journal of Invertebrate Pathology. 2024;207(11). doi:10.1016/j.jip.2024.108209

View | DOI | WoS | PubMed | Europe PMC

Hatt EJ, Ong JMJ, Nielsen MB, et al. Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants. Monthly Notices of the Royal Astronomical Society. 2024;534(2):1060-1076. doi:10.1093/mnras/stae2053

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

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

Glas J. Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t). Journal of the London Mathematical Society. 2024;110(4). doi:10.1112/jlms.12991

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

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

Wassermair M, Kahl G, Roth R, Archer AJ. Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system. The Journal of chemical physics. 2024;161(12). doi:10.1063/5.0226954

2024 | Published | Conference Paper | IST-REx-ID: 18175 |

Maj P, Muroya Lei S, Siek K, Di Grazia L, Vitek J. The fault in our stars: Designing reproducible large-scale code analysis experiments. In: 38th European Conference on Object-Oriented Programming. Vol 313. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ECOOP.2024.27

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

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

Zadnik L, Ljubotina M, Krajnik Ž, Ilievski E, Prosen T. Quantum many-body spin ratchets. PRX Quantum. 2024;5(3). doi:10.1103/PRXQuantum.5.030356

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

2024 | Published | Conference Paper | IST-REx-ID: 18177

Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. BNClassifier: Classifying boolean models by dynamic properties. In: Computational Methods in Systems Biology. Vol 14971. Springer Nature; 2024:19-26. doi:10.1007/978-3-031-71671-3_2

View | DOI | WoS

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

Leonard J. A kicked quasicrystal. Nature Physics. 2024;20(3):351-352. doi:10.1038/s41567-023-02357-0

View | DOI

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

Blatz T, Kwan J, Leonard J, Bohrdt A. Bayesian optimization for robust state preparation in quantum many-body systems. Quantum. 2024;8. doi:10.22331/q-2024-06-27-1388

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

ISTA Research Explorer

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

11357 Publications

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).

11357 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options