DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-44479-6_17,424,UlWa,Bounding helly numbers via betti numbers
null,431,DaAl,QSGD: Communication-efficient SGD via gradient quantization and encoding
null,432,DaAl,"ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning"
10.1039/9781788010405-00025,444,LeSa,"Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions"
10.30757/ALEA.v14-17,447,"LaEr,JaMa",Fluctuations of the competition interface in presence of shocks
10.1145/3068766,452,BeBi,Spin it: Optimizing moment of inertia for spinnable objects
10.1016/j.bpj.2017.09.006,453,MaLo,Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
null,459,SyCr,Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
10.1038/s41588-017-0008-5,12193,XiFe,Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
10.1007/978-3-319-54292-8,638,ToHe,Numerical Software Verification
10.1145/3009837.3009873,1194,KrCh,Stochastic invariants for probabilistic termination
10.1007/978-3-319-63688-7_5,637,KrPi,Be adaptive avoid overcommitting
10.1145/3072959.3073709,1001,BeBi,CurveUps: Shaping objects from flat plates with tension-actuated curvature
10.1103/PhysRevA.95.033608,1120,"MiLe,RoSe",Angular self-localization of impurities rotating in a bosonic bath
10.5244/c.31.85,911,ChLa,Probabilistic image colorization
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1007/978-3-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
10.1038/s41467-017-00238-8,955,"GaTk,NiBa",Evolution of new regulatory functions on biophysically realistic fitness landscapes
10.1214/16-ECP38,1144,LaEr,Fluctuations of functions of Wigner matrices
10.1111/sjos.12251,2016,GaTk,Exact goodness-of-fit testing for the Ising model