DOI,IST REx ID,Research Group,Title of publication
10.1103/PhysRevB.107.184312,13138,GradSch,Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
10.1007/978-3-031-30823-9_25,13139,KrCh,"Correct approximation of stationary distributions"
10.1007/978-3-031-30820-8_15,13141,ToHe,Computing adequately permissive assumptions for synthesis
10.1007/978-3-031-30823-9_1,13142,"KrCh,ToHe",A learner-verifier framework for neural network controllers and certificates of stochastic systems
10.1214/23-ECP528,13145,JaMa,"A Mecke-type characterization of the Dirichlet–Ferguson measure"
null,13161,"ScienComp,EM-Fac",Running Windows-applications on a Linux HPC cluster using WINE
null,13162,ScienComp,Cryo-EM software packages: A sys-admins point of view
10.1038/s41467-023-39317-4,13164,FyKo,Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
10.1016/j.jcta.2023.105776,13165,HeEd,Successive vertex orderings of fully regular graphs
10.1038/s41598-023-35979-8,13166,GradSch,"The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization"
10.1038/s41591-023-02365-w,13168,GaNo,Effects of urban living environments on mental health in adults
10.15479/AT:ISTA:13173,13173,RySh,Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
10.1090/proc/14361,13177,JaMa,Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
10.1017/fms.2023.45,13178,RoSe,Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
10.1145/3591230,13179,DaAl,CQS: A formally-verified framework for fair and abortable synchronization
10.2140/involve.2023.16.331,13180,TiBr,Local solubility for a family of quadrics over a split quadric surface
10.1103/physrevmaterials.7.065601,13197,ScWa,Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
10.1523/JNEUROSCI.1514-22.2023,13202,RySh,Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons
10.1016/j.xplc.2023.100632,13209,JiFr,Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
10.1093/plphys/kiad207,13213,JiFr,Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots