_id,title
5978,Exact MAP-inference by confining combinatorial search with LP relaxation
5980,Private set-intersection with common set-up
5982,Tin diselenide molecular precursor for solution-processable thermoelectric materials
5983,Theory of the rotating polaron: Spectrum and self-localization
5984,Optical functionalization of human class A orphan G-protein-coupled receptors
5989,Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
5990,Josephson effect in a few-hole quantum dot
5992,"On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility"
5993,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
5995,Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation
5996,The critical point of the transition to turbulence in pipe flow
5998,Genome amplification and cellular senescence are hallmarks of human placenta development
5999,The cohomological Hall algebra of a preprojective algebra
6,A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
60,Introduction to model checking
6001,ThreadScan: Automatic and scalable memory reclamation
6002,The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
6003,State of the art on stylized fabrication
6005,Timed network games with clocks
6006,An abstraction-refinement methodology for reasoning about network games