_id,doi,title
5975,10.1137/16m1093306,Commutativity in the algorithmic Lovász local lemma
5976,10.1145/3272127.3275076,FlexMaps: Computational design of flat flexible shells for shaping 3D objects
5977,10.24963/ijcai.2018/653,Computational approaches for stochastic shortest path on succinct MDPs
5978,,Exact MAP-inference by confining combinatorial search with LP relaxation
5980,10.3934/amc.2018002,Private set-intersection with common set-up
5982,10.1002/anie.201809847,Tin diselenide molecular precursor for solution-processable thermoelectric materials
5983,10.1103/physrevb.98.224506,Theory of the rotating polaron: Spectrum and self-localization
5984,10.1038/s41467-018-04342-1,Optical functionalization of human class A orphan G-protein-coupled receptors
5989,10.1093/gbe/evy037,Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
5990,10.1002/adma.201802257,Josephson effect in a few-hole quantum dot
5992,10.1091/mbc.e18-02-0082,"On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility"
5993,10.1145/3174800,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
5995,10.1093/bioinformatics/bty340,Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation
5996,10.1017/jfm.2017.923,The critical point of the transition to turbulence in pipe flow
5998,10.1371/journal.pgen.1007698,Genome amplification and cellular senescence are hallmarks of human placenta development
5999,10.1112/plms.12111,The cohomological Hall algebra of a preprojective algebra
6,10.3791/58585,A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
60,10.1007/978-3-319-10575-8_1,Introduction to model checking
6001,10.1145/3201897,ThreadScan: Automatic and scalable memory reclamation
6002,10.1007/s00205-018-1232-6,The Bogoliubov free energy functional I: Existence of minimizers and phase diagram