DOI,IST REx ID,Research Group,Title of publication
10.1145/3212734.3212785,5964,DaAl,Brief Announcement: Performance prediction for coarse-grained locking
10.1145/3210377.3210406,5966,DaAl,The transactional conflict problem
10.1145/3219166.3219198,5967,KrCh,The Big Match with a clock and a bit of memory
10.1142/s2010326319500096,5971,LaEr,Bounds on the norm of Wigner-type random matrices
10.1137/16m1093306,5975,VlKo,Commutativity in the algorithmic Lovász local lemma
10.1145/3272127.3275076,5976,BeBi,FlexMaps: Computational design of flat flexible shells for shaping 3D objects
null,5978,VlKo,Exact MAP-inference by confining combinatorial search with LP relaxation
10.3934/amc.2018002,5980,KrPi,Private set-intersection with common set-up
10.1002/anie.201809847,5982,MaIb,Tin diselenide molecular precursor for solution-processable thermoelectric materials
10.1103/physrevb.98.224506,5983,"MiLe,RoSe",Theory of the rotating polaron: Spectrum and self-localization
10.1038/s41467-018-04342-1,5984,"HaJa,CaGu,MiSi",Optical functionalization of human class A orphan G-protein-coupled receptors
10.1093/gbe/evy037,5989,BeVi,Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
10.1002/adma.201802257,5990,GeKa,Josephson effect in a few-hole quantum dot
10.1091/mbc.e18-02-0082,5992,MiSi,"On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility"
10.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1093/bioinformatics/bty340,5995,FyKo,Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation
10.1017/jfm.2017.923,5996,BjHo,The critical point of the transition to turbulence in pipe flow
10.1371/journal.pgen.1007698,5998,JoDa,Genome amplification and cellular senescence are hallmarks of human placenta development
10.1112/plms.12111,5999,TaHa,The cohomological Hall algebra of a preprojective algebra
10.3791/58585,6,MaJö,A micro-CT-based method for characterising lesions and locating electrodes in small animal brains