DOI,IST REx ID,Research Group,Title of publication
10.1145/3212734.3212798,5961,DaAl,A brief tutorial on distributed and concurrent machine learning
10.1145/3212734.3212763,5962,DaAl,The convergence of stochastic gradient descent in asynchronous shared memory
10.1145/3212734.3212756,5963,DaAl,Relaxed schedulers can efficiently parallelize iterative algorithms
10.1145/3212734.3212785,5964,DaAl,Brief Announcement: Performance prediction for coarse-grained locking
10.1145/3210377.3210411,5965,DaAl,Distributionally linearizable data structures
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.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
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.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
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.1007/978-3-319-10575-8_1,60,ToHe,Introduction to model checking
10.1145/3201897,6001,DaAl,ThreadScan: Automatic and scalable memory reclamation
10.1007/s00205-018-1232-6,6002,RoSe,The Bogoliubov free energy functional I: Existence of minimizers and phase diagram