DOI,IST REx ID,Research Group,Title of publication
null,18121,DaAl,SPADE: Sparsity-guided debugging for deep neural networks
10.15479/at:ista:18132,18132,"GradSch,TiBr",Counting rational points over function fields
10.15479/at:ista:18135,18135,"GradSch,RoSe",Energies of dilute Fermi gases and universalities in BCS theory
10.1038/s41467-024-49845-2,18153,,Shifts in attention drive context-dependent subspace encoding in anterior cingulate cortex in mice during decision making
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.4230/LIPIcs.APPROX/RANDOM.2024.40,18156,MoHe,Private counting of distinct elements in the turnstile model and extensions
10.5802/jep.270,18158,JaMa,Wasserstein geometry and Ricci curvature bounds for Poisson spaces
10.24963/ijcai.2024/1,18159,KrCh,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1016/bs.mie.2024.07.051,18167,PaSc,Generation of TIM chaperone substrate complexes
10.1021/acs.biomac.3c01239,18168,NMR,Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein
10.1016/j.jip.2024.108209,18171,SyCr,Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females
10.1093/mnras/stae2053,18172,LiBu,Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants
10.1112/jlms.12991,18173,TiBr,Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t)
10.1063/5.0226954,18174,GradSch,"Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system"
10.4230/LIPIcs.ECOOP.2024.27,18175,ToHe,The fault in our stars: Designing reproducible large-scale code analysis experiments
10.1103/PRXQuantum.5.030356,18176,MaSe,Quantum many-body spin ratchets
10.1007/978-3-031-71671-3_2,18177,ToHe,"BNClassifier: Classifying boolean models by dynamic properties"
10.1038/s41567-023-02357-0,18187,,A kicked quasicrystal
10.22331/q-2024-06-27-1388,18188,,Bayesian optimization for robust state preparation in quantum many-body systems