_id,doi,title
310,10.1137/1.9781611975031.151,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter"
311,10.1007/978-3-319-89884-1_26,Quantitative analysis of smart contracts
312,10.1137/16M1097201,On the optimality of the FCC lattice for soft sphere packing
314,10.1016/j.cels.2018.04.003,The science of living matter for tomorrow
315,10.1371/journal.pbio.2005372,"Is the sky the limit? On the expansion threshold of a species’ range"
316,10.1534/genetics.118.300748,Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system
317,10.1038/s41598-018-24004-y,Palladium gates for reproducible quantum dots in silicon
318,10.1016/j.devcel.2018.02.009,A fat lot of good for wound healing
32,10.1016/j.celrep.2018.09.066,In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2
320,10.1016/j.neuron.2018.02.024,Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons
321,10.1109/TPAMI.2018.2804998,Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis
322,10.1016/j.jalgebra.2018.03.015,Quantizations of multiplicative hypertoric varieties at a root of unity
323,10.15479/AT:ISTA:th_998,Branched actin networks in dendritic cell biology
324,10.15479/AT:ISTA:th_997,Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
325,10.1145/3158122,Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
326,10.1111/ejn.13901,Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices
327,10.1103/PhysRevB.97.104307,Slow dynamics in translation-invariant quantum lattice models
328,10.1103/PhysRevLett.120.124501,Exceeding the asymptotic limit of polymer drag reduction
33,10.7717/peerj.5325,Can secondary contact following range expansion be distinguished from barriers to gene flow?
3300,10.1007/978-3-319-10575-8,Handbook of Model Checking