_id,doi,title
2447,10.1007/978-3-642-39799-8_54,Automating separation logic using SMT
2448,10.4161/psb.25688,ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
245,10.1515/crelle.2012.039,Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
2466,10.1145/2461912.2461982,Highly adaptive liquid simulations on tetrahedral meshes
2467,10.1145/2461912.2462027,Putting holes in holey geometry: Topology change for arbitrary surfaces
2468,10.1145/2461912.2461991,Liquid surface tracking with error compensation
2469,10.1016/j.cub.2013.06.019,Three functions of cadherins in cell adhesion
2470,10.1371/journal.pone.0070050,Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
2471,10.1371/journal.pone.0070013,Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
2472,10.1371/journal.pone.0070069,Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
2473,10.1016/j.tpb.2012.12.001,Genetic hitch-hiking in spatially extended populations
250,10.1112/plms/pdt060,Density of Châtelet surfaces failing the Hasse principle
2517,10.1007/978-3-642-39212-2_3,Formalizing and reasoning about quality
2518,10.1007/978-3-642-39206-1_53,The power of linear programming for finite-valued CSPs: A constructive characterization
2520,,The supervised IBP: Neighbourhood preserving infinite latent feature models
2697,10.1007/s00220-013-1773-3,Delocalization and diffusion profile for random band matrices
2698,10.4171/JEMS/416,Stability and semiclassics in self-generated fields
2718,10.1145/2463372.2463568,Can quantitative and population genetics help us understand evolutionary computation?
2720,10.1534/genetics.113.153536,Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
2780,10.1007/s00023-013-0235-y,Averaging fluctuations in resolvents of random band matrices