_id,doi,title
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
6003,10.1111/cgf.13327,State of the art on stylized fabrication
6005,10.4230/LIPICS.MFCS.2018.23,Timed network games with clocks
6006,10.3390/g9030039,An abstraction-refinement methodology for reasoning about network games
6009,10.1145/3210257,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
6010,10.1073/pnas.1804517115,"“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network"
6011,,Data-dependent stability of stochastic gradient descent
6012,,Learning equations for extrapolation and control
6031,10.1109/SiPS.2018.8598402,Fast quantized arithmetic on x86: Trading compute for data movement
6032,10.1145/3230649,Even delta-matroids and the complexity of planar boolean CSPs
606,10.1016/j.anihpc.2017.11.004,Well-posedness for mean-field evolutions arising in superconductivity
607,10.1016/j.physd.2017.10.015,Well posedness and maximum entropy approximation for the dynamics of quantitative traits
608,10.1016/j.tcs.2017.11.001,Synthesis from component libraries with costs
61,10.1007/978-3-319-72456-0_7,There is no strongly regular graph with parameters (460; 153; 32; 60)