DOI,IST REx ID,Research Group,Title of publication
10.1016/j.celrep.2023.113162,14402,GaTk,Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state
10.1038/s41592-023-01936-6,13267,"PeJo,GaNo,BeBi,JoDa,Bio",Dense 4D nanoscale reconstruction of living brain tissue
10.15479/AT:ISTA:14502,14502,FlSc,Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
10.1016/j.molp.2023.06.007,13212,JiFr,Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
10.1016/j.xplc.2023.100632,13209,JiFr,Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
null,13162,ScienComp,Cryo-EM software packages: A sys-admins point of view
null,13161,"ScienComp,EM-Fac",Running Windows-applications on a Linux HPC cluster using WINE
10.4310/mrl.2023.v30.n1.a6,13268,TaHa,On type II degenerations of hyperkähler manifolds
null,14609,ElKo,Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
10.34727/2023/isbn.978-3-85448-060-0_20,14718,ToHe,Binary decision diagrams on modern hardware
10.1107/S1600576723008324,14799,LifeSc,The human factor: Results of a small-angle scattering data analysis round robin
10.1609/aaai.v37i5.25679,14243,"ToHe,KrCh",Bidding graph games with partially-observable budgets
null,15364,MoHe,"Simple, scalable and effective clustering via one-dimensional projections"
null,15363,DaAl,Knowledge distillation performs partial variance reduction
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
null,14921,"MaMo,ChLa",Deep neural collapse is provably optimal for the deep unconstrained features model
10.1007/978-3-031-37706-8_8,14260,"DaAl,GradSch","Lincheck: A practical framework for testing concurrent data structures on JVM"
10.1007/978-3-031-37706-8_20,14259,KrCh,"Guessing winning policies in LTL synthesis by semantic learning"
10.5281/ZENODO.7877757,14995,DaAl,Lincheck: A practical framework for testing concurrent data structures on JVM
10.1137/21M1412918,12960,HeEd,"Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations"