DOI,IST REx ID,Research Group,Title of publication
null,10668,"GradSch,ToHe",On-off center-surround receptive fields for accurate and robust image classification
null,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
null,10670,"GradSch,ToHe",Causal navigation by continuous-time neural networks
null,10671,"GradSch,ToHe",Liquid time-constant networks
10.23638/LMCS-17(1:10)2021,10674,ToHe,Determinacy in discrete-bidding infinite-duration games
10.34727/2021/isbn.978-3-85448-046-4_23,10688,ToHe,The Civl verifier
null,10692,,Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
10.1137/1.9781611976465.38,10694,"GradSch,KrCh",Infinite-duration all-pay bidding games
10.1112/s0010437x21007351,10711,TiBr,The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
10.2140/APDE.2021.14.2079,10738,RoSe," The Landau–Pekar equations: Adiabatic theorem and accuracy"
10.48550/arXiv.2105.15193,10762,MiLe,Artificial neural network states for non-additive systems
10.48550/arXiv.2102.05996,10803,ChLa,Fairness through regularization for learning to rank
10.1021/jacsau.1c00349,10806,MaIb,Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
10.1126/science.abg0886,10809,MaIb,Tidying up the mess
10.1145/3450626.3459788,17384,,3D weaving with curved ribbons
10.1177/0278364921992788,17422,,A visibility-based approach to computing non-deterministic bouncing strategies
10.1145/3453483.3454036,17505,,RefinedC: Automating the foundational verification of C code with refined ownership types
10.1007/s10686-021-09714-y,17508,,THEZA: TeraHertz exploration and zooming-in for astrophysics
10.3847/1538-4357/abd555,17509,,Mass-gap mergers in active galactic nuclei
10.3847/1538-4357/abfdb4,17515,,Accretion-induced collapse of neutron stars in the disks of active galactic nuclei