DOI,IST REx ID,Research Group,Title of publication
10.1109/emsoft.2018.8537203,5959,ToHe,Keynote: The first-order logic of signals
10.1177/0278364918808367,5960,UlWa,Proving the existence of loops in robot trajectories
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.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