DOI,IST REx ID,Research Group,Title of publication
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
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.1038/s43588-021-00157-1,10816,PeJo,"How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network"
10.1371/journal.pone.0248940,9362,GaTk,Inferring the function performed by a recurrent neural network
10.1371/journal.pgen.1009479,9363,"EM-Fac,LoSw,DaSi",Optogenetic delivery of trophic signals in a genetic model of Parkinson's disease
10.1093/plphys/kiab199,9368,JiFr,mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth
10.1111/evo.14235,9374,NiBa,"Homage to Felsenstein 1981, or why are there so few/many species?"
10.1073/pnas.2015005118,9375,NiBa,Haplotype tagging reveals parallel formation of hybrid races in two butterfly species
10.1145/3453477,9376,BeBi,Computational design of planar multistable compliant structures
10.3389/fcell.2021.649433,9379,CaHe,The Wdr1-LIMK-Cofilin axis controls B cell antigen receptor-induced actin remodeling and signaling at the immune synapse