_id,doi,title
3290,10.1534/genetics.111.129569,A general method for calculating likelihoods under the coalescent process
3297,10.1145/2037636.2037644,Liquid simulation with mesh-based surface tracking
3298,10.1145/2019406.2019411,Hybrid smoothed particle hydrodynamics
3299,10.1145/2037509.2037510,Propagation models for computing biochemical reaction networks
3301,,Tail approximation for the chemical master equation
3302,,Static scheduling in clouds
3311,,Alpha shapes - a survey
3312,10.1109/ICCV.2011.6126475,Detailed reconstruction of 3D plant root shape
3313,10.1109/ICCV.2011.6126271,Diffusion runs low on persistence fast
3315,10.2168/LMCS-7(4:8)2011,Timed parity games: Complexity and robustness
3316,10.1109/SIES.2011.5953660,Specification-centered robustness
3318,10.1038/nn.3002,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3319,,Learning multi-view neighborhood preserving projections
3320,10.1561/0600000033,Structured learning and prediction in computer vision
3322,,Maximum margin multi label structured prediction
3323,10.1007/978-3-642-22438-6_36,An efficient decision procedure for imperative tree data structures
3324,10.1007/978-3-642-18275-4_26,Decision procedures for automating termination proofs
3325,10.1145/1926385.1926454,Streaming transducers for algorithmic verification of single pass list processing programs
3326,10.1007/978-3-642-24372-1_37,"What’s decidable about weighted automata "
3327,10.1007/978-3-642-19805-2_13,Co-Büching them all