_id,doi,title
3832,10.1016/j.neuron.2010.04.003,Beyond TARPs: The growing list of auxiliary AMPAR subunits
3833,10.1111/j.1460-9568.2010.07189.x,"GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali &amp; Todorova)"
3834,10.1186/1752-0509-4-42,Solving the chemical master equation using sliding windows
3838,10.1145/1839764.1839772,Hybrid numerical solution of the chemical master equation
3839,10.1007/978-3-642-11319-2_14,Invariant and type inference for matrices
3840,10.1145/1706299.1706319,From boolean to quantitative notions of correctness
3842,10.1049/iet-syb.2010.0005,Fast adaptive uniformization of the chemical master equation
3845,10.1007/978-3-642-16242-8_25,Aligators for arrays
3847,10.1109/QEST.2010.33,SABRE: A tool for the stochastic analysis of biochemical reaction networks
3848,10.1007/978-3-642-15775-2_1,The robustness of level sets
3849,10.1007/978-3-642-15155-2_2,Persistent homology under non-uniform error
385,10.1103/PhysRevLett.104.016401,STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
3850,,Polygonal reconstruction from approximate offsets
3851,10.1007/978-3-642-14162-1_50,Energy parity games
3852,10.4204/EPTCS.25.6,Discounting in games across time scales
3853,10.1007/978-3-642-15375-4_19,Mean-payoff automaton expressions
3854,10.1007/978-3-642-15375-4_20,Obliging games
3855,10.1007/978-3-642-15155-2_24,Qualitative analysis of partially-observable Markov Decision Processes
3856,10.1007/978-3-642-15155-2_23,Randomness for free
3857,10.1007/978-3-642-15643-4_1,Probabilistic Automata on infinite words: decidability and undecidability results
