_id,doi,title
1831,10.1098/rstb.2014.0116,Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
1832,10.2168/LMCS-11(1:20)2015,Aspect-oriented linearizability proofs
1834,10.1177/1759091415575845,Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
1835,10.1007/978-3-662-46681-0_47,Model checking gene regulatory networks
1836,10.1007/978-3-662-46669-8_5,Segment abstraction for worst-case execution time analysis
1837,10.1017/jfm.2015.184,Subcritical versus supercritical transition to turbulence in curved pipes
1838,10.1007/978-3-662-46681-0_50,Assume-guarantee synthesis for concurrent reactive programs with partial information
1839,10.1007/978-3-662-46681-0_12,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
1840,10.1109/TAC.2014.2364971,Optimal Kullback-Leibler aggregation via information bottleneck
1841,10.1109/TPAMI.2014.2363465,A new look at reweighted message passing
1845,10.1016/j.neuron.2015.03.006,Excitement about inhibitory presynaptic terminals
1846,10.1007/s00236-015-0215-4,Refinement checking on parametric modal transition systems
1847,10.1016/j.molp.2014.12.013,ABP1: Finally docking
1849,10.1016/j.bbamcr.2015.02.017,Calcium is an organizer of cell polarity in plants
1850,10.1016/j.jtbi.2015.02.018,Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates
1851,10.1111/evo.12618,Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
1855,10.1111/1365-2656.12345,A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees
1856,10.1145/2699430,Measuring and synthesizing systems in probabilistic environments
1857,10.1109/CVPR.2015.7299188,Curriculum learning of multiple tasks
1858,10.1109/CVPR.2015.7298696,Predicting the future behavior of a time-varying probability distribution