_id,doi,title
5888,10.1038/s12276-018-0129-7,Genomics in neurodevelopmental disorders: an avenue to personalized medicine
59,10.1007/978-3-319-10575-8_27,Graph games and reactive synthesis
5914,10.1523/ENEURO.0087-18.2018,Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning
5959,10.1109/emsoft.2018.8537203,Keynote: The first-order logic of signals
5960,10.1177/0278364918808367,Proving the existence of loops in robot trajectories
5961,10.1145/3212734.3212798,A brief tutorial on distributed and concurrent machine learning
5962,10.1145/3212734.3212763,The convergence of stochastic gradient descent in asynchronous shared memory
5963,10.1145/3212734.3212756,Relaxed schedulers can efficiently parallelize iterative algorithms
5964,10.1145/3212734.3212785,Brief Announcement: Performance prediction for coarse-grained locking
5965,10.1145/3210377.3210411,Distributionally linearizable data structures
5966,10.1145/3210377.3210406,The transactional conflict problem
5967,10.1145/3219166.3219198,The Big Match with a clock and a bit of memory
5971,10.1142/s2010326319500096,Bounds on the norm of Wigner-type random matrices
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