_id,doi,title
1697,10.1371/journal.pcbi.1004304,"High accuracy decoding of dynamical motion from a large retinal population"
1673,10.1098/rspa.2015.0114,"Amplifiers of selection"
1630,10.1145/2766933,"Learning shape placements by example"
1678,10.1038/nchembio.1933,"Light-assisted small-molecule screening against protein kinases"
1680,10.1145/2817825,"On the decidability of elementary modal logics"
1856,10.1145/2699430,"Measuring and synthesizing systems in probabilistic environments"
1882,10.1007/978-3-319-15317-9_19,"Compositionality for quantitative specifications"
1729,10.1007/978-3-319-21668-3_11,"From non-preemptive to preemptive scheduling using synchronization synthesis"
1731,10.1016/j.ic.2015.06.003,"Randomness for free"
1661,10.1109/LICS.2015.34,"Improved algorithms for one-pair and k-pair Streett objectives"
5435,10.15479/AT:IST-2015-318-v2-1,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
523,10.1016/j.ic.2015.03.010,"Looking at mean-payoff and total-payoff through windows"
1604,10.1145/2676726.2676968,"Quantitative interprocedural analysis"
333,10.1021/acs.chemmater.5b03531,"Efficient and inexpensive sodium magnesium hybrid battery"
2006,10.1080/10586458.2014.980044,"The monotone secant conjecture in the real Schubert calculus"
1832,10.2168/LMCS-11(1:20)2015,"Aspect-oriented linearizability proofs"
5442,,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1820,,"Optimal cost almost-sure reachability in POMDPs"
7739,10.1111/mec.13452,"Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations"
7741,10.1098/rspb.2015.0689,"Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird"
7765,10.1103/physrevlett.114.225501,"The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior"
1647,10.1007/978-3-662-48000-7_12,"Practical round-optimal blind signatures in the standard model"
1577,10.1073/pnas.1516543112,"Birth of a new gene on the Y chromosome of Drosophila melanogaster"
1837,10.1017/jfm.2015.184,"Subcritical versus supercritical transition to turbulence in curved pipes"
1659,10.1109/LICS.2015.74,"The target discounted-sum problem"
1851,10.1111/evo.12618,"Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating"
1628,10.1145/2766926,"Microstructures to control elasticity in 3D printing"
120,10.1038/nphys3396,"Direct observation of particle interactions and clustering in charged granular streams"
1314,10.1137/140966654,"A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation"
1542,10.1016/j.jtbi.2015.07.011,"Toward a unifying framework for evolutionary processes"
1547,10.4134/BKMS.2015.52.3.977,"Resolution of unmixed bipartite graphs"
1554,10.1038/nmeth.3279,"Reporters for sensitive and quantitative measurement of auxin response"
1559,10.1073/pnas.1511366112,"Computational complexity of ecological and evolutionary spatial dynamics"
1561,10.1002/eji.201545457,"A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors"
1566,10.1371/journal.pcbi.1004541,"An exploration of the universe of polyglutamine structures"
1504,10.1214/15-AOS1353,"Spectral statistics of large dimensional spearman s rank correlation matrix and its application"
1509,10.12688/f1000research.7143.1,"Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene"
1530,10.1088/1478-3975/12/6/066003,"Impact of the cell division cycle on gene circuits"
1573,10.1002/cpa.21552,"Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti"
1578,10.1016/j.comgeo.2015.04.001,"Triangulations from topologically correct digital Voronoi diagrams"
1585,10.1109/TIT.2015.2421894,"Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices"
1648,10.1007/978-3-662-47989-6_29,"A quasipolynomial reduction for generalized selective decryption on trees"
1650,10.1007/978-3-662-47672-7_85,"Condensed unpredictability "
1655,10.3390/e17107266,"Quantifying emergent behavior of autonomous robots"
1636,10.1007/978-3-662-48971-0_48,"Effectiveness of structural restrictions for hybrid CSPs"
1679,10.1063/1.4930850,"Taylor's Forest"
1686,10.1126/science.aad0867,"Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection"
1667,10.1007/978-3-319-22264-6_10,"Optimizing performance of continuous-time stochastic systems using timeout synthesis"
1674,10.1142/S0129055X1550018X,"Edge universality for deformed Wigner matrices"
1693,10.1103/PhysRevA.92.022514,"Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3"
1706,10.1007/978-3-319-24486-0_13,"Multi-task and lifelong learning of kernels"
1802,10.1038/nn.4023,"The schizophrenia risk gene product miR-137 alters presynaptic plasticity"
1857,10.1109/CVPR.2015.7299188,"Curriculum learning of multiple tasks"
1864,10.1007/s00023-014-0333-5,"The Altshuler–Shklovskii formulas for random band matrices II: The general case"
1871,10.1242/jcs.159418,"Auxin transporters and binding proteins at a glance"
1807,10.1051/cocv/2014040,"Sharp interface limit for two components Bose-Einstein condensates"
1819,10.1016/j.molp.2015.03.007,"Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana"
1845,10.1016/j.neuron.2015.03.006,"Excitement about inhibitory presynaptic terminals"
1840,10.1109/TAC.2014.2364971,"Optimal Kullback-Leibler aggregation via information bottleneck"
2014,10.1016/j.csda.2015.01.017,"Faithfulness and learning hypergraphs from discrete distributions"
257,10.1515/forum-2013-6024,"Pairs of diagonal quadratic forms and linear correlations among sums of two squares"
334,10.1021/acs.langmuir.5b02490,"Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting"
360,10.1021/acs.langmuir.5b02490,"Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting"
473,10.5802/jep.18,"Derivation of nonlinear gibbs measures from many-body quantum mechanics"
524,10.1016/j.ic.2015.03.009,"Qualitative analysis of concurrent mean payoff games"
5431,10.15479/AT:IST-2015-322-v1-1,"The patience of concurrent stochastic games with safety and reachability objectives"
5804,10.1016/j.tcs.2015.11.018,"From prima quadraginta octant to lattice sphere through primitive integer operations"
1939,10.1007/s00023-014-0390-9,"Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit"
1511,10.4230/LIPIcs.SOCG.2015.476,"On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result"
6737,10.1109/tit.2014.2368555,"Achieving Marton’s region for broadcast channels using polar codes"
815,10.1128/JVI.01502-15,"The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly"
776,10.1145/2688500.2688523,"The SprayList: A scalable relaxed priority queue"
783,10.1145/2767386.2767420,"How to elect a leader faster than a tournament"
928,10.7554/eLife.09206,"Assembly and positioning of actomyosin rings by contractility and planar cell polarity"
5443,10.15479/AT:IST-2015-325-v2-1,"A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs"
1624,10.1038/srep17147,"Cellular cooperation with shift updating and repulsion"
1814,10.1145/2714572,"Water wave animation via wavefront parameter interpolation"
1681,10.3390/g6040413,"Evolution of decisions in population games with sequentially searching individuals"
1732,10.1109/ICRA.2015.7139019,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1698,10.1016/j.ic.2015.03.001,"The complexity of multi-mean-payoff and multi-energy games"
1701,10.1073/pnas.1514188112,"Thermodynamics and signatures of criticality in a network of neurons"
1838,10.1007/978-3-662-46681-0_50,"Assume-guarantee synthesis for concurrent reactive programs with partial information"
5429,10.15479/AT:IST-2015-318-v1-1,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5436,10.15479/AT:IST-2015-170-v2-2,"Nested weighted automata"
5549,10.15479/AT:ISTA:28,"Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes"
7456,10.1039/c5nr00737b,"Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals"
7742,10.1038/ng.3401,"Population genetic differentiation of height and body mass index across Europe"
7766,10.1039/c4sm02905d,"Disordered surface vibrations in jammed sphere packings"
1383,10.1038/nplants.2015.94,"V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis"
1535,10.2174/1874467208666150507105443,"Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells"
1580,10.1016/j.neuroscience.2015.10.046,"Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons"
1605,10.1007/978-3-319-26287-1_2,"Abstraction-based parameter synthesis for multiaffine systems"
1883,10.1103/PhysRevE.91.022803,"Anomalous scaling in an age-dependent branching model"
1106,10.1016/j.ajhg.2015.10.014,"Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type"
121,10.1103/PhysRevLett.114.055503,"Origami multistability: From single vertices to metasheets"
1430,10.1145/2739480.2754758,"First steps towards a runtime comparison of natural and artificial evolution"
1473,,"Cohomology of large semiprojective hyperkähler varieties"
1497,10.1093/nar/gkv727,"Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data"
1505,10.1214/14-AOS1281,"Universality for the largest eigenvalue of sample covariance matrices with general population"
1500,10.1145/2728606.2728650,"Poster: HyRG: A random generation tool for affine hybrid automata"
1543,10.1104/pp.15.00769,"A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants"
1548,10.1128/AEM.02051-15,"Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination"
1550,10.1016/j.neuron.2015.07.011,"Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries"
1562,10.1093/jxb/erv177,"Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles"
1567,,"Shape, homology, persistence, and stability"
1517,10.1214/ECP.v20-4315,"From large deviations to Wasserstein gradient flows in multiple dimensions"
1531,10.1007/978-3-319-15090-1_13,"Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature"
1536,10.1016/j.cub.2015.01.015,"Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport"
1574,10.1038/ncomms9821,"A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development"
1593,10.3389/fpls.2015.00218,"Strategies of seedlings to overcome their sessile nature: Auxin in mobility control"
1579,"10.1090/S0002-9947-2014-06192-8 ","Galois groups of Schubert problems of lines are at least alternating"
1581,10.1016/j.cell.2015.04.009,"Gradients are shaping up"
1586,10.1016/j.tibtech.2015.03.009,"Metabolic engineering of cyanobacteria for the synthesis of commodity products"
1649,10.1007/978-3-319-24174-6_16,"Efficient zero-knowledge proofs for commitments from learning with errors over rings"
1651,10.1007/978-3-662-46447-2_5,"Anonymous transferable e-cash"
1644,10.1007/978-3-319-17470-9_10,"Query-complexity amplification for random oracles"
1618,10.1021/acs.biochem.5b00560,"Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites"
1625,10.1145/2766924,"Detailed spatio-temporal reconstruction of eyelids"
1632,10.1145/2766935,"A stream function solver for liquid simulations"
1699,10.1007/s00285-014-0802-y,"Adaptive gene introgression after secondary contact"
1682,10.1145/2751524,"Robust satisfiability of systems of equations"
1687,10.1016/j.ceb.2015.08.001,"Navigating in tissue mazes: Chemoattractant interpretation in complex environments"
1668,10.1007/978-3-662-48116-5_16,"Relaxing full-codebook security: A refined analysis of key-length extension schemes"
1663,10.1016/j.cellsig.2015.08.001,"Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2"
1788,10.1364/OE.23.003196,"Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity"
1827,"10.1371/journal.pcbi.1004055 ","Evolution of bow-tie architectures in biology"
1834,10.1177/1759091415575845,"Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats"
1803,10.1073/pnas.1415845112,"Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a p25/Cdk5-dependent pathway"
1808,10.1145/2745799,"Guest editors' introduction to special issue on computational methods in systems biology"
1841,10.1109/TPAMI.2014.2363465,"A new look at reweighted message passing"
1992,10.1145/2676726.2677008,"Succinct representation of concurrent trace sets"
1997,10.1016/j.jsc.2014.09.014,"The three-state toric homogeneous Markov chain model has Markov degree two"
1858,10.1109/CVPR.2015.7298696,"Predicting the future behavior of a time-varying probability distribution"
1860,10.1109/CVPR.2015.7298746,"Classifier adaptation at prediction time"
1865,10.1242/dev.115832,"Plant embryogenesis requires AUX/LAX-mediated auxin influx"
2008,10.1111/sjos.12139,"Iterative scaling in curved exponential families"
2166,10.1007/s00220-014-2119-5,"The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case"
1675,10.1007/978-3-662-48000-7_29,"Proofs of space"
260,10.1017/S1474748014000279,"Erratum Rational points on intersections of cubic and quadric hypersurfaces"
258,10.1017/CBO9781316106877.009,"A survey of applications of the circle method to rational points"
361,10.1021/acs.jpcc.5b06199,"Cu2ZnSnS4–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution"
354,10.1021/jacs.5b00091,"Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement"
532,10.1016/j.cell.2015.09.037,"EIN2-directed translational regulation of ethylene signaling in arabidopsis"
5444,10.15479/AT:IST-2015-399-v1-1,"Reconstructing robust phylogenies of metastatic cancers"
5432,10.15479/AT:IST-2015-323-v1-1,"The complexity of evolutionary games on graphs"
594,10.1038/nrm3952,"Structural basis of transcription initiation by RNA polymerase II"
6118,10.1073/pnas.1423808112,"Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity"
6120,10.7554/elife.04241,"Decoding a neural circuit controlling global animal state in C. elegans"
1637,10.1109/FOCS.2015.80,"The complexity of general-valued CSPs"
777,,"Streaming min-max hypergraph partitioning"
866,10.1073/pnas.1511328112,"Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13"
784,10.1145/2785956.2790035,"A high-radix, low-latency optical switch for data centers"
924,10.1016/j.applthermaleng.2014.10.009,"Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop"
929,10.1073/pnas.1504762112,"Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes"
981,10.1038/nmat4215,"Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators"
99,10.1038/nphys3461,"Parity lifetime of bound states in a proximitized semiconductor nanowire"
5437,10.15479/AT:IST-2015-330-v2-1,"Faster algorithms for quantitative verification in constant treewidth graphs"
1606,10.1007/978-3-319-23820-3_19,"Runtime verification for hybrid analysis tools"
1670,,"PDDL+ planning with hybrid automata: Foundations of translating must behavior"
1810,10.1016/j.mib.2015.05.008,"Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution"
1839,10.1007/978-3-662-46681-0_12,"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"
2034,10.1016/j.ipl.2014.09.001,"Probabilistic opacity for Markov decision processes"
1694,10.1109/TAC.2015.2404612,"Quantitative temporal simulation and refinement distances for timed systems"
1656,10.1109/LICS.2015.72,"Nested weighted automata"
7457,10.1039/c5ra11347d,"Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors"
1512,10.4230/LIPIcs.SOCG.2015.507,"Bounding Helly numbers via Betti numbers"
1598,10.1016/j.tcs.2015.01.050,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
7767,10.1103/physreve.91.032706,"Collective dynamics of soft active particles"
7779,,"Unearthing the anticrystal: Criticality in the linear response of disordered solids"
1714,10.1109/RTSS.2014.9,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
1601,10.1007/978-3-319-21690-4_31,"The Hanoi omega-automata format"
1846,10.1007/s00236-015-0215-4,"Refinement checking on parametric modal transition systems"
1555,10.1137/140993934,"Rich bifurcation structure in a two patch vaccination model"
1311,10.1137/140960578,"Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach"
1316,10.1007/s00205-015-0866-x,"Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems"
1424,,"Statistical topological data analysis-A kernel perspective"
1544,10.1016/bs.mcb.2015.01.007,"Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins"
1549,10.1007/978-1-4939-2845-3_6,"Flipping the photoswitch: Ion channels under light control"
1551,10.1371/journal.pbio.1002169,"Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes"
1556,10.1093/jxb/erv230,"The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development"
1563,10.12775/TMNA.2015.014,"An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds"
1513,"10.1093/gbe/evv215 ","The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
1520,10.1145/2786784.2786803,"Computational design of walking automata"
1506,10.3150/14-BEJ615,"The logarithmic law of random determinant"
1570,10.1073/pnas.1508400112,"Novel plasticity rule can explain the development of sensorimotor intelligence"
1575,10.1038/ncomms8526,"Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells"
1582,10.1016/j.comgeo.2014.08.006,"Weighted straight skeletons in the plane"
1638,10.1038/nrm3997,"A giant molecular proton pump: structure and mechanism of respiratory complex I"
1645,10.1109/ITW.2015.7133163,"Secret-key cryptography from ideal primitives: A systematic verview"
1652,10.1145/2746539.2746622,"High parallel complexity graphs and memory-hard functions"
1626,10.1145/2766919,"OmniAD: Data-driven omni-directional aerodynamics"
1695,10.1002/pssb.201552082,"Evaluation techniques for Gutzwiller wave functions in finite dimensions"
1703,10.1071/BT15023,"An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas"
1669,10.1007/978-3-319-22174-8_5,"The chain rule for HILL pseudoentropy, revisited"
1671,10.1007/978-3-662-47989-6_18,"The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC"
1683,10.1016/j.sbi.2015.08.008,"Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions"
1688,10.1007/s00454-015-9720-z,"Bounds for Pach's selection theorem and for the minimum solid angle in a simplex"
1664,10.1038/nature15701,"The rise of fully turbulent flow"
1710,10.1137/140993843,"Minimal resistance of curves under the single impact assumption"
1676,10.1016/j.ceb.2015.09.004,"Editorial overview: Cell adhesion and migration"
1734,10.1111/cgf.12594,"Recent advances in facial appearance capture"
1789,10.1038/ejhg.2014.165,"Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome"
1830,10.1098/rstb.2014.0108,"Opposing effects of allogrooming on disease transmission in ant societies"
1809,10.1371/journal.pone.0126907,"Indirect genetic effects and the dynamics of social interactions"
1811,10.1063/1.4921227,"Analytical evaluation of atomic form factors: Application to Rayleigh scattering"
1804,10.1038/srep10781,"Transition to turbulence in Taylor-Couette ferrofluidic flow"
1859,10.1109/CVPR.2015.7298890,"A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle"
1861,10.1145/2688906,"Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks"
1866,10.1145/2701001,"The equivalence problem for finite automata: Technical perspective"
1873,10.1016/j.artint.2014.12.009,"POMDPs under probabilistic semantics"
1878,10.1007/s10265-014-0691-6,"Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula"
1880,10.1088/1367-2630/17/1/013022,"Superfluid behavior of a Bose-Einstein condensate in a random potential"
1885,10.1534/genetics.114.171850,"Positional information, positional error, and readout precision in morphogenesis: A mathematical framework"
1993,10.1098/rspb.2014.1976,"Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host"
1847,10.1016/j.molp.2014.12.013,"ABP1: Finally docking"
2030,10.1016/j.compfluid.2014.09.021,"A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow"
2035,10.1007/s10208-014-9223-y,"The persistent homology of a self-map"
2085,10.1007/s00205-014-0781-6,"Collective excitations of Bose gases in the mean-field regime"
259,10.1007/s00039-015-0328-5,"Rational points on cubic hypersurfaces over F_q(t) "
362,10.1021/la504906q,"Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties"
5440,10.15479/AT:IST-2015-323-v2-2,"The complexity of evolutionary games on graphs"
778,10.1007/978-3-662-48653-5_13,"Inherent limitations of hybrid transactional memory"
780,10.1007/978-3-662-47666-6_38,"Polylogarithmic-time leader election in population protocols"
886,10.1016/j.tig.2014.09.009,"Topological features of rugged fitness landscapes in sequence space"
906,10.1371/journal.pone.0125888,"Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer"
848,10.1093/molbev/msu318,"A model of substitution trajectories in sequence space and long-term protein evolution"
1633,10.1145/2766896,"High-resolution brittle fracture simulation with boundary elements"
982,10.1103/PhysRevX.5.041047,"Criterion for many-body localization-delocalization phase transition"
1498,10.4230/LIPIcs.SNAPL.2015.90,"The need for language support for fault-tolerant distributed systems"
1501,10.1007/s10703-015-0235-2,"CEGAR for compositional analysis of qualitative properties in Markov decision processes"
1594,10.1007/978-3-662-48899-7_12,"Controller synthesis for MDPs and frequency LTL\GU"
1537,10.1016/j.cell.2015.01.008,"Cortical contractility triggers a stochastic switch to fast amoeboid cell motility"
1640,10.1038/ncomms9717,"Cytokinin response factors regulate PIN-FORMED auxin transporters"
1614,10.1073/pnas.1412996112,"Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells"
1835,10.1007/978-3-662-46681-0_47,"Model checking gene regulatory networks"
1823,10.15252/msb.20156098,"Systematic discovery of drug interaction mechanisms"
1690,10.1145/2728606.2728630,"HYST: A source transformation and translation tool for hybrid automaton models"
1657,10.1109/LICS.2015.32,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5438,10.15479/AT:IST-2015-334-v1-1,"Edit distance for pushdown automata"
1602,10.1145/2676726.2676979,"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth"
1607,10.1007/978-3-319-21690-4_9,"Faster algorithms for quantitative verification in constant treewidth graphs"
1619,10.1371/journal.pbio.1002299,"Quantifying the determinants of evolutionary dynamics leading to drug resistance"
1828,10.1007/s10955-015-1238-5,"Invariant measures of genetic recombination process"
1481,,"Automatic generation of alternative starting positions for simple traditional board games"
1525,10.5281/zenodo.33178,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
1474,10.1109/CSF.2015.11,"Policy privacy in cryptographic access control"
1400,,"The subclonal evolution of cancer"
1587,10.1103/PhysRevA.92.062506,"Quantum interference shifts in laser spectroscopy with elliptical polarization"
1568,10.1109/SYNASC.2014.81,"The classification of endoscopy images with persistent homology"
1425,,"Lifelong learning with non-i.i.d. tasks"
1401,,"Learning with attributes for object recognition: Parametric and non-parametrics views"
1540,10.1093/jxb/erv256,"The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis"
1557,10.1002/cne.23774,"Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats"
1564,10.3389/fncom.2015.00145,"Editorial: Emergent neural computation from the interaction of different forms of plasticity"
1514,10.1093/cercor/bhu231,"Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission"
1519,10.1111/evo.12641,"The interpretation of selection coefficients"
1538,10.1073/pnas.1423947112,"Iterative experiment design guides the characterization of a light-inducible gene expression circuit"
1533,10.1109/TCSVT.2014.2379972,"Segmentation over detection via optimal sparse reconstructions"
1588,10.1103/PhysRevE.92.053018,"Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows"
1590,10.1007/978-3-319-27261-0_28,"Representing directed trees as straight skeletons"
1569,10.1073/pnas.1424856112,"An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana"
1571,10.1073/pnas.1510282112,"Breaking evolutionary constraint with a tradeoff ratchet"
1583,10.1016/j.ipl.2014.09.021,"A simple algorithm for computing positively weighted straight skeletons of monotone polygons"
1639,10.1051/m2an/2015043,"A generalized model for optimal transport of images including dissipation and density modulation"
1646,10.1007/978-3-662-46497-7_2,"Key-homomorphic constrained pseudorandom functions"
1660,10.1109/LICS.2015.15,"Long-run average behaviour of probabilistic vector addition systems"
1615,10.1016/j.celrep.2015.09.011,"Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism"
1627,10.1145/2766998,"Design and fabrication of flexible rod meshes"
1634,10.1145/2767003,"Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams"
1696,10.1103/PhysRevB.92.125135,"Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states"
1704,10.1007/s11005-015-0787-5,"Note on a family of monotone quantum relative entropies"
1730,10.1007/s00454-015-9679-9,"Discrete systolic inequalities and decompositions of triangulated surfaces"
1728,10.1038/ncomms7709,"Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms"
1684,10.1371/journal.pbio.1002078,"Numerous transitions of sex chromosomes in Diptera"
1677,10.1063/1.4932606,"The local semicircle law for random matrices with a fourfold symmetry"
1735,10.1111/cgf.12576,"A dimension-reduced pressure solver for liquid simulations"
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"
1824,10.1038/ncomms7977,"Evolutionary games of condensates in coupled birth-death processes"
1831,10.1098/rstb.2014.0116,"Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies"
1817,10.1038/nature14215,"YAP is essential for tissue tension to ensure vertebrate 3D body shape"
1792,10.1016/j.jco.2015.06.002,"A Koksma-Hlawka inequality for general discrepancy systems"
1944,10.1016/j.pbi.2014.12.002,"Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants"
1867,10.1002/elps.201400451,"Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection"
1874,10.1002/hipo.22407,"A three-plane architectonic atlas of the rat hippocampal region"
1879,10.1111/jmi.12211,"Developing 3D SEM in a broad biological context"
1843,10.1016/j.jtbi.2015.03.013,"Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]"
2271,10.1137/130945648,"The power of linear programming for general-valued CSPs"
1805,10.1016/j.comgeo.2014.08.010,"Homological reconstruction and simplification in R3"
5434,,"Optimal cost indefinite-horizon reachability in goal DEC-POMDPs"
5807,10.1016/j.tcs.2015.09.003,"On different topological classes of spherical geodesic paths and circles inZ3"
5749,10.1093/molbev/msv270,"Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria"
1576,10.1103/PhysRevLett.115.248101,"Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation"
6507,10.1182/blood-2015-08-667055,"Structural basis for collagen recognition by the immune receptor OSCAR"
779,10.1145/2755573.2755600,"ThreadScan: Automatic and scalable memory reclamation"
781,10.1145/2767386.2767429,"Fast and exact majority in population protocols"
832,10.21769/BioProtoc.1446,"Real time analysis of lateral root organogenesis in arabidopsis"
933,10.1073/pnas.1510973112,"Physics of active jamming during collective cellular motion in a monolayer"
1502,10.1145/2737166.2737175,"Complete composition operators for IOCO-testing theory"
1499,10.4230/LIPIcs.CONCUR.2015.142,"Polynomial time decidability of weighted synchronization under partial observability"
1689,10.1145/2728606.2728608,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
1691,10.1145/2728606.2728617,"Temporal logic motion planning using POMDPs with parity objectives: Case study paper"
1658,10.1007/978-3-319-23401-4_8,"Adaptive moment closure for parameter inference of biochemical reaction networks"
1836,10.1007/978-3-662-46669-8_5,"Segment abstraction for worst-case execution time analysis"
1610,10.1007/978-3-662-47666-6_10,"Edit distance for pushdown automata"
1603,10.1007/978-3-319-21690-4_10,"Counterexample explanation by learning small strategies in Markov decision processes"
1855,10.1111/1365-2656.12345,"A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees"
1812,10.1088/1367-2630/17/4/045005,"Exotic roton excitations in quadrupolar Bose–Einstein condensates "
5441,10.15479/AT:IST-2015-340-v1-1,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1595,10.1007/978-3-319-27261-0_9,"Hanani-Tutte for radial planarity"
1709,10.1098/rspb.2015.1041,"Biological auctions with multiple rewards"
1665,10.1038/nature15395,"Mutations driving CLL and their evolution in progression and relapse"
1848,10.1002/ijc.29498,"FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors"
1672,10.1007/978-3-662-48000-7_37,"Incoercible multi-party computation and universally composable receipt-free voting"
5439,10.15479/AT:IST-2015-335-v1-1,"The target discounted-sum problem"