_id,doi,title
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"
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"
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"
1605,10.1007/978-3-319-26287-1_2,"Abstraction-based parameter synthesis for multiaffine systems"
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"
1430,10.1145/2739480.2754758,"First steps towards a runtime comparison of natural and artificial evolution"
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"
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"
1555,10.1137/140993934,"Rich bifurcation structure in a two patch vaccination model"
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"
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"
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"
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"
1637,10.1109/FOCS.2015.80,"The complexity of general-valued CSPs"
1601,10.1007/978-3-319-21690-4_31,"The Hanoi omega-automata format"
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"
1846,10.1007/s00236-015-0215-4,"Refinement checking on parametric modal transition systems"
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"
1714,10.1109/RTSS.2014.9,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
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"
1474,10.1109/CSF.2015.11,"Policy privacy in cryptographic access control"
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"
1525,10.5281/zenodo.33178,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
1506,10.3150/14-BEJ615,"The logarithmic law of random determinant"
1568,10.1109/SYNASC.2014.81,"The classification of endoscopy images with persistent homology"
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"
1587,10.1103/PhysRevA.92.062506,"Quantum interference shifts in laser spectroscopy with elliptical polarization"
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"
5440,10.15479/AT:IST-2015-323-v2-2,"The complexity of evolutionary games on graphs"
1633,10.1145/2766896,"High-resolution brittle fracture simulation with boundary elements"
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"
1400,,"The subclonal evolution of cancer"
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"
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"
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"
1672,10.1007/978-3-662-48000-7_37,"Incoercible multi-party computation and universally composable receipt-free voting"
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"
1848,10.1002/ijc.29498,"FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors"
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"
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"
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"
1709,10.1098/rspb.2015.1041,"Biological auctions with multiple rewards"
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"
5439,10.15479/AT:IST-2015-335-v1-1,"The target discounted-sum problem"
1658,10.1007/978-3-319-23401-4_8,"Adaptive moment closure for parameter inference of biochemical reaction networks"
1665,10.1038/nature15395,"Mutations driving CLL and their evolution in progression and relapse"
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"
1402,,"Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana"
1806,10.1007/978-3-7091-1526-8_8,"Auxin on the road navigated by cellular PIN polarity"
1870,10.4230/LIPIcs.FSTTCS.2014.431,"Lipschitz robustness of finite-state transducers"
1875,10.1007/978-3-319-10936-7_17,"Cost-aware automatic program repair"
1887,,"Gemeinsame Krankheitsabwehr in Ameisengesellschaften"
1894,10.1371/journal.pone.0106247,"Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA"
1899,10.1038/ncb3001,"Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN"
1902,10.1093/molbev/mst187,"Growth rates made easy"
1995,10.1103/PhysRevLett.113.243601,"Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification"
1914,10.1016/j.cub.2013.11.019,"Plant biology: Gatekeepers of the road to protein perdition"
1919,10.1073/pnas.1303317110,"Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning"
1921,10.1105/tpc.114.126185,"Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis"
1926,10.1007/s11040-014-9163-4,"Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips"
1933,10.1242/dev.102988,"Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates"
2013,10.1007/s10208-014-9205-0,"Hypersurfaces and their singularities in partial correlation testing"
1844,10.1093/molbev/msu312,"Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history"
2018,10.1523/JNEUROSCI.1141-14.2014,"Netrin-G/NGL complexes encode functional synaptic diversification"
1907,10.1109/ISIT.2014.6875125,"Optimality of non-adaptive strategies: The case of parallel games"
2044,10.1007/978-3-319-04099-8_7,"Clear and Compress: Computing Persistent Homology in Chunks"
2032,10.4161/23723548.2014.964045,"The optogenetic promise for oncology: Episode I"
2056,10.1007/s00285-013-0738-7,"Markov chain aggregation and its applications to combinatorial reaction networks"
2020,10.1073/pnas.1408233111,"Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice"
2164,10.1093/cercor/bht067,"Epilepsy-induced motility of differentiated neurons"
2169,10.1073/pnas.1410107111,"Diverse forms of selection in evolution and computer science"
2171,10.1007/978-3-319-10578-9_36,"Closed-form approximate CRF training for scalable image segmentation"
2176,10.1038/nprot.2014.099,"Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue"
2183,"10.1103/PhysRevE.89.062809 ","Hierarchy and polysynchrony in an adaptive network "
2188,10.1098/rsob.140017,"Polar delivery in plants; commonalities and differences to animal epithelial cells"
2222,10.1093/pcp/pcu012,"VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis"
2227,10.1007/s13127-013-0150-6,"Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences"
2241,10.1016/j.neuron.2013.11.011,"Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage"
2253,10.1111/tpj.12369,"Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth"
2246,10.1016/j.tcs.2013.11.032,"Alternating traps in Muller and parity games"
2215,10.1038/nrm3805,"Mechanisms and principles of homology search during recombination"
2265,10.1007/978-94-007-7687-6_1,"Molecular pathways controlling the sequential steps of cortical projection neuron migration"
2905,10.4171/120-1/3,"Persistent homology: Theory and practice"
3263,10.1371/journal.pone.0085841,"Adaptation to changes in higher-order stimulus statistics in the salamander retina"
2157,10.1145/2582112.2582137,"Embeddability in the 3 sphere is decidable"
5423,10.15479/AT:IST-2014-300-v1-1,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
6178,10.1007/978-1-4939-1164-6_15,"UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo"
2001,10.1111/1758-2229.12190,"Bacterial responses to antibiotics and their combinations"
2082,10.1007/978-3-662-44371-2_7,"The exact PRF-security of NMAC and HMAC"
5428,10.15479/AT:IST-2014-315-v1-1,"Quantitative fair simulation games"
1375,10.1016/j.tcs.2014.06.031,"Approximating the minimum cycle mean"
2234,10.2168/LMCS-10(1:13)2014,"Markov decision processes with multiple long-run average objectives"
2239,10.1145/2535838.2535875,"Battery transition systems"
2190,10.1007/978-3-319-08867-9_13,"From LTL to deterministic automata: A safraless compositional approach"
2063,10.1007/978-3-319-08867-9_31,"CEGAR for qualitative analysis of probabilistic systems"
535,10.1007/s00453-013-9843-7,"Polynomial time algorithms for energy games with special weight structures"
5411,10.15479/AT:IST-2014-148-v2-1,"Compositional specifications for IOCO testing"
5416,10.15479/AT:IST-2014-171-v1-1,"Model measuring for hybrid systems"
1395,,"Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus"
1516,"10.1142/9789814618144_0007 ","On the BCS gap equation for superfluid fermionic gases"
1629,10.1145/2591010,"Edit propagation using geometric relationship functions"
1643,10.1007/978-3-319-10879-7_7,"Constrained Verifiable Random Functions "
1876,,"Functionals on triangulations of delaunay sets"
1888,,"Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften"
1890,10.1111/psyp.12062,"Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection"
1895,10.1371/journal.pone.0107099,"Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice"
1908,10.1534/genetics.113.160705,"The rate of adaptation in large sexual populations with linear chromosomes"
1910,10.1002/eji.201343681,"Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2"
1852,10.1016/j.cub.2014.08.036,"An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis"
1821,10.1063/1.4881536,"Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation"
1996,10.1073/pnas.1413918111,"Bimodal regulation of ICR1 levels generates self-organizing auxin distribution"
1915,10.1042/BST20130269,"Rho-GTPase-regulated vesicle trafficking in plant cell polarity"
1922,10.1111/nph.12751,"Dynamic infrared imaging analysis of apical hook development in Arabidopsis: The case of brassinosteroids"
1934,10.1016/j.cub.2014.04.002,"Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis"
2021,10.1126/science.1258996,"Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling"
2002,10.1371/journal.pone.0113124,"Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus"
2007,,"gIPFrm: Generalized iterative proportional fitting for relational models"
2033,,"Mind the nuisance: Gaussian process classification using privileged noise"
2019,10.1007/s11040-014-9164-3,"Phase transition in the density of states of quantum spin glasses"
2040,10.1126/science.1254927,"Coordination of progenitor specification and growth in mouse and chick spinal cord"
2045,10.1007/978-3-642-54631-0_19,"Enhanced chosen-ciphertext security and applications"
2052,10.1007/978-3-662-44584-6_9,"Parameterized model checking of rendezvous systems"
2064,10.1002/cne.23654,"Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus"
2057,10.1007/978-3-662-44415-3_16,"Majority vote of diverse classifiers for late fusion"
2083,10.1111/evo.12440,"Role of sex and migration in adaptation to sink environments"
2172,10.1109/CVPR.2014.182,"Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters"
2177,10.1137/1.9781611973402.11,"On the computational complexity of betti numbers reductions from matrix rank"
2184,10.1145/2597629,"Computing all maps into a sphere"
2189,,"Adaptation de domaine de vote de majorité par auto-étiquetage non itératif"
2153,10.1145/2582112.2582168,"Induced matchings of barcodes and the algebraic stability of persistence"
2160,,"A PAC-Bayesian bound for Lifelong Learning"
2158,10.1016/j.ceb.2014.05.010,"New paradigms in the establishment and maintenance of gradients during directed cell migration"
2223,10.1093/pcp/pct196,"BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis"
2230,10.3389/fninf.2014.00016,"Stimfit: Quantifying electrophysiological data with Python"
2235,10.1038/nature12977,"Disease associations between honeybees and bumblebees as a threat to wild pollinators"
2242,10.1016/j.febslet.2014.01.009,"A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation"
2261,10.1093/nar/gkt1290,"DICE, an efficient system for iterative genomic editing in human pluripotent stem cells"
2285,10.1002/hipo.22214,"Morpho-physiological criteria divide dentate gyrus interneurons into classes"
5417,10.15479/AT:IST-2014-172-v1-1,"From model checking to model measuring"
2216,10.1145/2562059.2562141,"Edit distance for timed automata"
7038,,"Playful Math - An introduction to mathematical games"
1869,10.1007/978-3-319-13338-6_6,"Suraq - a controller synthesis tool using uninterpreted functions"
5424,10.15479/AT:IST-2014-305-v1-1,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
2026,10.1007/978-3-319-11936-6_17,"Rabinizer 3: Safraless translation of ltl to small deterministic automata"
1903,10.1007/978-3-662-44522-8_1,"Partial-observation stochastic reachability and parity games"
5412,10.15479/AT:IST-2014-153-v1-1,"CEGAR for qualitative analysis of probabilistic systems"
2254,10.1016/j.neuron.2013.09.046,"Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations"
2228,10.1038/nn.3678,"A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons"
2716,10.1007/s00236-013-0182-6,"Strategy synthesis for multi-dimensional quantitative objectives"
1403,,"Forces driving epithelial spreading in zebrafish epiboly"
2141,10.1145/2597631,"Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition"
2211,10.1145/2579821,"Partial-observation stochastic games: How to win when belief fails"
2038,10.1145/2629686,"Temporal specifications with accumulative values"
1404,,"Evolution of a fungal pathogen towards individual versus social immunity in ants"
1702,10.4204/EPTCS.169.5,"Generalised interpolation by solving recursion free-horn clauses"
1822,10.1063/1.4884877,Introduction
1853,10.1109/IOT.2014.7030120,"Game theoretic secure localization in wireless sensor networks"
1877,10.1038/514441a,"Physiology: Relax and come in"
1884,,"Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples"
1889,10.1142/S0129055X14500123,"Translation-invariant quasi-free states for fermionic systems and the BCS approximation"
1891,10.1002/prot.24436,"Theoretical tests of the mechanical protection strategy in protein nanomechanics"
1896,10.1103/PhysRevE.89.032701,"Mathematical model of alternative mechanism of telomere length maintenance"
1916,10.1126/science.1247363,"Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders"
1923,10.1088/1367-2630/16/6/065005,"Active elastic thin shell theory for cellular deformations"
1928,10.1016/j.jtbi.2014.06.039,"Evolutionary dynamics of infectious diseases in finite populations"
1930,10.1109/TVCG.2014.2346432,"Fast and memory-efficient topological denoising of 2D and 3D scalar fields"
1935,10.1007/s00220-014-1923-2,"Formation of stripes and slabs near the ferromagnetic transition"
1904,10.4171/JEMS/467,"Strichartz inequality for orthonormal functions"
1909,10.1111/1365-2435.12207,"The fitness costs of adaptation via phenotypic plasticity and maternal effects"
1911,10.1007/s00454-013-9556-3,"Tverberg's Theorem and Graph Coloring"
2041,10.3389/fncir.2014.00107,"Structure, function and plasticity of hippocampal dentate gyrus microcircuits"
2046,10.1007/978-3-642-54631-0_30,"Policy-based signatures"
2003,10.1016/j.neuron.2014.06.013,"Learning by example in the hippocampus"
2058,10.1145/2601097.2601126,"Blending liquids"
2022,10.1016/j.cell.2014.10.027,"Deterministic progenitor behavior and unitary production of neurons in the neocortex"
2173,,"CoConut: Co-classification with output space regularization"
2178,10.1007/s13366-013-0178-y,"Markov degree of the three-state toric homogeneous Markov chain model"
2180,10.1007/s10994-014-5462-z,"Learning a priori constrained weighted majority votes"
2185,10.1007/978-3-642-55220-5_6,"Key derivation without entropy waste"
2154,10.1007/s00454-014-9584-7,"On Gromov's method of selecting heavily covered points"
2159,10.1145/2582112.2582134,"Eliminating Tverberg points, I. An analogue of the Whitney trick"
2161,10.1007/s00265-014-1778-8,"Increased grooming after repeated brood care provides sanitary benefits in a clonal ant"
2224,10.1088/0169-5983/46/2/025503,"On secondary instabilities generating footbridges between spiral vortex flow"
2231,10.1016/j.bpj.2014.01.014,"Noise and information transmission in promoters with multiple internal states"
2236,10.1007/978-3-642-54242-8_24,"How to fake auxiliary input"
2248,10.1002/jez.b.22545,"Thumbs down: A molecular-morphogenetic approach to avian digit homology"
2250,10.1128/JVI.02595-13,"Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ""orphan"" viral proteins"
2255,10.1007/s10851-013-0468-x,"Stable length estimates of tube-like shapes"
2084,10.15252/embj.201387695,"Spatio-temporally precise activation of engineered receptor tyrosine kinases by light"
537,10.1002/ece3.1150,"Fitness consequences of maternal and grandmaternal effects"
5420,10.15479/AT:IST-2014-191-v1-1,"The value 1 problem for concurrent mean-payoff games"
6853,10.1007/978-3-319-05957-0,"A Short Course in Computational Geometry and Topology"
1872,10.1007/978-3-319-11936-6_14,"Extensional crisis and proving identity"
2027,10.1007/978-3-319-11936-6_8,"Verification of markov decision processes using learning algorithms"
2229,10.1126/science.1244811,"Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse"
2039,10.1371/journal.pcbi.1003818,"The time scale of evolutionary innovation"
2053,10.1007/978-3-662-44584-6_18,"Probabilistic bisimulation: Naturally on distributions"
2212,10.1007/978-3-642-54830-7_14,"Perfect-information stochastic mean-payoff parity games"
5413,10.15479/AT:IST-2014-153-v2-2,"CEGAR for qualitative analysis of probabilistic systems"
5418,10.15479/AT:IST-2014-176-v1-1,"Games with a weak adversary"
1733,10.1016/j.tcs.2014.08.019,"Interface simulation distances"
2217,10.1145/2562059.2562130,"Model measuring for hybrid systems"
5425,,"Optimal cost almost-sure reachability in POMDPs"
1532,10.1071/FP14171,"Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source"
1708,,"Spatio-temporal representations of uncertainty in spiking neural networks"
1816,10.1142/S0218195914500034,"Topology-preserving watermarking of vector graphics"
1842,10.1007/s00454-014-9646-x,"On the geometric ramsey number of outerplanar graphs"
1892,10.1098/rspb.2014.0253,"Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids"
1897,10.1105/tpc.114.125880,"Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis"
1900,10.1038/ncb2913,"Lateral junction dynamics lead the way out"
1998,10.1016/j.it.2014.08.005,"Individual and social immunisation in insects"
1917,10.1126/science.1245125,"Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling"
1924,10.1038/ncomms4090,"Auxin transport and activity regulate stomatal patterning and development"
1929,10.1007/s10958-014-2165-8,"An algorithm for cartographic generalization that preserves global topology"
1931,10.3389/fncom.2014.00057,"Emergence of task-dependent representations in working memory circuits"
1936,10.1093/beheco/aru002,"An arms race between producers and scroungers can drive the evolution of social cognition"
1905,10.1111/jeb.12370,"Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations"
1854,10.1111/cgf.12509,"Partial shape matching using transformation parameter similarity"
2059,10.1007/s00709-014-0616-1,"The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos"
2061,10.1007/s00709-014-0620-5,"Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis"
2042,10.1186/1471-2164-15-663,"Motif depletion in bacteriophages infecting hosts with CRISPR systems"
2047,10.1007/978-3-319-11257-2_14,"Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases"
2004,10.1371/journal.pone.0111430,"Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord"
2011,10.1016/j.jbi.2014.01.008,"Scalable privacy-preserving data sharing methodology for genome-wide association studies"
2028,10.1016/j.jtbi.2014.09.041,"Characterizing spiking in noisy type II neurons"
2023,10.1002/ece3.1289,"Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution"
2155,10.1145/2582112.2582167,"The morse theory of Čech and Delaunay filtrations"
2174,10.1534/genetics.113.159111,"Stability and response of polygenic traits to stabilizing selection and mutation"
2179,10.1214/ECP.v19-3121,"Local semicircle law with imprimitive variance matrix"
2186,10.1007/s11005-014-0693-2,"On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti"
2220,10.1016/j.chembiol.2014.04.004,"Suppressive drug interactions between antifungals"
2225,10.1214/EJP.v19-3054,"Isotropic local laws for sample covariance and generalized Wigner matrices"
2232,10.1088/1742-5468/2014/02/P02001,"Deterministic and stochastic aspects of the transition to turbulence"
2249,10.1111/tpj.12373,"Inter-regulation of the unfolded protein response and auxin signaling"
2275,10.1109/ICCV.2013.365,"Partial enumeration and curvature regularization"
2852,10.1007/s00145-013-9148-7,"Robust multi-property combiners for hash functions"
468,10.1371/journal.pone.0107518,"Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches"
5419,10.15479/AT:IST-2014-187-v1-1,"Improved algorithms for reachability and shortest path on low tree-width graphs"
5421,10.15479/AT:IST-2014-190-v2-2,"The complexity of evolution on graphs"
1912,10.1016/j.devcel.2014.11.003,"The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ"
1392,10.1007/978-3-642-54013-4_10,"A logic-based framework for verifying consensus algorithms"
5426,10.15479/AT:IST-2014-305-v2-1,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
2218,10.1007/978-3-319-08867-9_38,"Regression-free synthesis for concurrency"
2213,10.1007/978-3-642-54830-7_16,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
2162,10.1007/978-3-662-43951-7_11,"The complexity of ergodic mean payoff games"
5414,10.15479/AT:IST-2014-153-v3-1,"CEGAR for qualitative analysis of probabilistic systems"
2054,10.1007/978-3-662-44584-6_37,"Qualitative concurrent parity games: Bounded rationality"
475,10.4204/EPTCS.146.11,"First cycle games"
2251,10.1098/rstb.2012.0528,"Sharp wave/ripple network oscillations and learning-associated hippocampal maps"
2167,10.1109/ICST.2014.50,"Compositional specifications for IOCO testing"
1507,,"Random matrices, log-gases and Hölder regularity"
1829,10.1007/978-3-319-03194-1_3,"Movement templates for learning of hitting and batting"
1994,10.1016/j.cub.2014.09.056,"Directional auxin transport mechanisms in early diverging land plants"
1862,10.1038/nature13889,"Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules"
1893,10.1073/pnas.1324264111,"SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis"
1898,10.1016/j.neuron.2014.08.036,"Ultrafast action potentials mediate kilohertz signaling at a central synapse"
1901,10.1093/mp/sst118,"WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis"
1913,10.1159/000365548,"Patterns of hippocampal tau pathology differentiate neurodegenerative dementias"
1918,10.1142/S0129055X13500219,"Existence of ground states for negative ions at the binding threshold"
1920,10.1073/pnas.1315541111,"Distinct cerebellar engrams in short-term and long-term motor learning"
1925,10.1088/0957-4484/25/12/125704,"A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes"
1932,10.1111/evo.12517,"Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations"
1937,10.1007/s00220-014-2120-z,"Edge universality of beta ensembles"
2005,10.1038/nn.3700,"Turning heads to remember places"
2012,,"Sphere packing with limited overlap"
2043,10.1137/1.9781611973198.4,"Distributed computation of persistent homology"
2050,"10.1017/jfm.2013.603 ","Experimental investigation of transitional flow in a toroidal pipe"
2029,10.1209/0295-5075/108/20003,"Validity of spin-wave theory for the quantum Heisenberg model"
2036,10.1098/rspb.2014.1679,"Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses"
2024,10.1038/ncomms4498,"Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole"
2168,10.1016/j.tpb.2014.05.001,"Coalescent simulation in continuous space: Algorithms for large neighbourhood size"
2170,10.1111/mec.12578,"Likelihood-based inference of population history from low-coverage de novo genome assemblies"
2175,10.2217/fnl.14.18,"Monitoring neurogenesis in the cerebral cortex: an update"
2219,10.1007/978-3-642-54631-0_1,"Simple chosen-ciphertext security from low noise LPN"
2226,10.1103/PhysRevE.89.013001,"Transient growth of Ekman-Couette flow"
2240,10.1016/j.cell.2014.01.039,"The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants"
2156,10.1145/2582112.2582169,"Measuring distance between Reeb graphs"
2086,10.1371/journal.pone.0103989,"So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees"
2214,10.1371/journal.pone.0085699,"Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects"
2245,10.1007/978-1-62703-592-7_23,"Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters"
2252,10.1093/jhered/est063,"Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila"
2699,10.1215/00127094-2649752,"Universality of general β-ensembles"
5427,10.15479/AT:IST-2014-314-v1-1,"Optimal tree-decomposition balancing and reachability on low treewidth graphs"
5422,,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
2257,10.1371/journal.pcbi.1003408,"Searching for collective behavior in a large network of sensory neurons"
1999,10.1016/j.cois.2014.09.001,"Organisational immunity in social insects"
1393,10.1145/2593882.2593900,"Probabilistic programming"
2031,10.7554/eLife.04057,"Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse"
1906,10.1109/TVCG.2014.2312011,"Large-scale point-cloud visualization through localized textured surface reconstruction"
2062,10.1126/science.1255263,"Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function"
1886,10.7554/eLife.03722,"Variance predicts salience in central sensory processing"
2233,10.2168/LMCS-10(1:10)2014,"Exact and approximate determinization of discounted-sum automata"
2187,10.1007/s00236-013-0191-5,"Synthesizing robust systems"
2163,10.1007/978-3-662-43951-7_10,"Games with a weak adversary"
5415,10.15479/AT:IST-2014-170-v1-1,"Nested weighted automata"
2210,,"Reconstructing polygons from embedded straight skeletons"
2284,10.1186/1471-2148-13-225,"Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies"
2289,10.1007/s00450-013-0251-7,"Quantitative reactive modeling and verification"
2291,10.1109/CSF.2013.15,"Cryptographically enforced RBAC"
2304,10.1016/j.endm.2013.07.008,"Van der Corput sequences and linear permutations"
2258,10.1007/978-3-642-40041-4_31,"Digital signatures with minimal overhead from indifferentiable random invertible functions"
2260,10.1007/978-3-642-38980-1_33,"Efficient signatures of knowledge and DAA in the standard model"
2272,,"Inference algorithms for pattern-based CRFs on sequence data"
2277,10.1371/journal.pcbi.1003344,"Transformation of stimulus correlations by the retina"
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"
2448,10.4161/psb.25688,"ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip"
2467,10.1145/2461912.2462027,"Putting holes in holey geometry: Topology change for arbitrary surfaces"
2412,10.1186/1471-2148-13-54,"Probabilistic models for CRISPR spacer content evolution "
2443,10.1111/nph.12437,"Defining the selectivity of processes along the auxin response chain: A study using auxin analogues"
2823,10.1111/j.1442-9993.2012.02404.x,"Post-fire recovery of revegetated woodland communities in south-eastern Australia"
2828,10.1145/2450142.2450146,"The complexity of conservative valued CSPs"
2830,10.1016/j.immuni.2013.05.005,"A conduit to amplify innate immunity"
2835,10.1104/pp.113.217018,"Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis"
2842,10.1016/j.tpb.2013.03.001,"Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks"
2816,10.7554/eLife.00747,"Evolutionary dynamics of cancer in response to targeted combination therapy"
2811,10.1103/PhysRevE.87.063012,"Nature of laminar-turbulence intermittency in shear flows"
2861,10.1088/1751-8113/46/12/125101,"Lyapunov exponent and topological entropy plateaus in piecewise linear maps"
2880,10.1038/emboj.2012.303,"Auxin reflux between the endodermis and pericycle promotes lateral root initiation"
2885,10.1007/978-3-642-36046-6,"Mathematical and Engineering Methods in Computer Science"
2948,10.1007/978-3-642-37331-2_1,"Beyond dataset bias: Multi-task unaligned shared knowledge transfer"
2859,10.4310/HHA.2013.v15.n1.a3,"Homology and robustness of level and interlevel sets"
3321,10.1007/978-1-4419-9863-7_604,"Kernel based learning"
509,10.1105/tpc.113.114058,"The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis"
528,10.1016/j.cub.2013.09.039,"Local auxin sources orient the apical basal axis in arabidopsis embryos"
516,"10.1038/msb.2013.40 ","A map of cell type‐specific auxin responses"
511,10.1105/tpc.113.114421,"Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid"
5409,10.15479/AT:IST-2013-144-v1-1,"Edit distance for timed automata"
6440,10.15479/AT:IST-2013-124-v1-1,"Replacing competition with cooperation to achieve scalable lock-free FIFO queues "
1387,10.1007/978-3-642-39212-2_11,"Nondeterminism in the presence of a diverse or unknown future"
2847,10.1007/978-3-642-36742-7_5,"Structural Counter Abstraction"
2854,10.1016/j.jcss.2012.12.001,"Strategy improvement for concurrent reachability and turn based stochastic safety games"
5404,10.15479/AT:IST-2013-127-v1-1,"The complexity of ergodic games"
2328,10.1007/978-3-642-40184-8_18,"Aspect-oriented linearizability proofs"
2209,10.1109/ISVD.2013.11,"Recognizing straight skeletons and Voronoi diagrams and reconstructing their input"
2259,10.1007/978-3-642-40041-4_4,"Learning with rounding, revisited: New reduction properties and applications"
2280,10.1137/120872309,"Packing ellipsoids with overlap"
2278,10.1242/jcs.125617,"A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development"
2273,,"Reweighted message passing revisited"
2413,10.1002/9783527671632.ch08,"Neuronal oscillations scale up and scale down the brain dynamics "
2292,10.1007/978-3-642-40313-2,"Mathematical Foundations of Computer Science 2013"
2297,10.1007/s11537-013-1264-5,"Hot topics in cold gases: A mathematical physics perspective"
2300,10.1103/PhysRevB.88.064401,"Realization of stripes and slabs in two and three dimensions"
2449,10.1093/mp/sst044,"Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis"
2468,10.1145/2461912.2461991,"Liquid surface tracking with error compensation"
2470,10.1371/journal.pone.0070050,"Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells"
2862,10.1242/dev.087130,"Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle"
2901,,"Computing the M most probable modes of a graphical model"
2906,10.1137/1.9781611972931.6,"3D kinetic alpha complexes and their implementation"
2913,10.1103/PhysRevLett.110.058104,"Retinal metric: a stimulus distance measure derived from population neural responses"
2829,10.1103/PhysRevLett.110.204502,"Scale invariance at the onset of turbulence in couette flow"
2855,10.1016/j.celrep.2013.02.002,"Mosaic analysis with double markers reveals cell type specific paternal growth dominance"
2850,10.1088/1742-5468/2013/03/P03011,"The simplest maximum entropy model for collective behavior in a neural network"
2812,10.1145/2462356.2462373,"Homological reconstruction and simplification in R3"
2843,10.1007/978-3-642-37067-0,"Stable length estimates of tube-like shapes"
2944,10.1111/mec.12165,"Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. "
2920,10.1038/emboj.2012.325,"Neurulation coordinating cell polarisation and lumen formation"
2918,10.1038/ncb2632,"Anthrax toxin receptor 2a controls mitotic spindle positioning"
500,10.1186/1471-2148-13-222,"Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza"
505,10.1039/c2gc36666e,"Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins"
827,10.3389/fpls.2013.00451,"Cytokinin cross talking during biotic and abiotic stress responses"
1376,10.1109/FMCAD.2013.6679386,"Distributed synthesis for LTL fragments"
2247,10.1371/journal.pone.0080814,"Forgiver triumphs in alternating prisoner's dilemma "
2305,10.1109/LICS.2013.39,"Trading performance for stability in Markov decision processes"
5405,10.15479/AT:IST-2013-128-v1-1,"Perfect-information stochastic mean-payoff parity games"
5400,10.15479/AT:IST-2013-109-v1-1,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
2444,10.1007/978-3-642-39799-8_36,"Faster algorithms for Markov decision processes with low treewidth"
2824,10.1016/j.ic.2013.04.003,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
2831,10.1007/s10703-012-0180-2,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
2836,10.1007/s00165-013-0283-6,"Assume-guarantee synthesis for digital contract signing"
2817,10.1016/j.jtbi.2013.05.029,"Density games"
2886,10.1007/978-3-642-36046-6_12,"Controllable-choice message sequence graphs"
2329,10.1007/978-3-642-40184-8_35,"Hyperplane separation technique for multidimensional mean-payoff games"
2010,10.1214/12-AOS1080,"Geometry of the faithfulness assumption in causal inference"
2469,10.1016/j.cub.2013.06.019,"Three functions of cadherins in cell adhesion"
2471,10.1371/journal.pone.0070013,"Mechanism of protein kinetic stabilization by engineered disulfide crosslinks"
2306,10.1515/9783110278736,"(Open) Linked Data in Bibliotheken"
2286,10.1038/emboj.2013.225,"The force and effect of cell proliferation"
2293,10.1109/ICCV.2013.107,"Learning to rank using privileged information"
2274,,"Proofs of Space"
2806,10.1063/1.4807704,"High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects"
2813,10.1073/pnas.1219666110,"Elasto-inertial turbulence"
2863,10.1371/journal.pcbi.1002922,"Stimulus-dependent maximum entropy models of neural population codes"
2882,10.1073/pnas.1300107110,"Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism"
2887,10.1073/pnas.1222821110,"Genotypic recognition and spatial responses by rice roots"
2907,,"Recombination and sex"
2914,10.1103/PhysRevLett.110.018701,"Statistical thermodynamics of natural images"
2832,10.1371/journal.pgen.1003540,"Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana"
2837,10.1214/EJP.v18-2473,"The local semicircle law for a general class of random matrices"
2856,10.1038/nn.3346,"Optical control of metabotropic glutamate receptors"
2844,10.1016/j.cub.2013.03.064,"An auxin transport mechanism restricts positive orthogravitropism in lateral roots"
2851,10.1088/1742-5468/2013/03/P03015,"A simple method for estimating the entropy of neural activity"
2818,10.1162/NECO_a_00463,"Learning quadratic receptive fields from neural responses to natural stimuli"
2940,10.1007/978-3-642-36594-2_2,"A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it"
2919,10.1038/emboj.2012.310,"SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism"
450,10.1098/rspb.2012.2058,"Source population characteristics affect heterosis following genetic rescue of fragmented plant populations"
501,10.1644/12-MAMM-A-169.1,"A new species of tapir from the Amazon"
5401,,"Initiatives and projects related to RD"
828,10.3389/fpls.2013.00537,"Systems approaches to study root architecture dynamics"
2926,10.1016/j.cub.2012.11.034,"Ants disinfect fungus-exposed brood by oral uptake and spread of their poison"
5406,10.15479/AT:IST-2013-130-v1-1,"Distributed synthesis for LTL Fragments"
2445,10.1007/978-3-642-39799-8_68,"Efficient synthesis for concurrency by semantics-preserving transformations"
2298,10.1007/978-3-642-38856-9_10,"Local shape analysis for overlaid data structures"
2301,10.1145/2491956.2462184,"P: Safe asynchronous event-driven programming"
2243,10.4230/LIPIcs.CSL.2013.563,"Elementary modal logics over transitive structures"
2279,10.1007/978-3-319-02444-8_10,"Looking at mean-payoff and total-payoff through windows"
5747,10.1007/978-3-642-39799-8_11,"Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates"
2820,10.1145/2461328.2461356,"Automated analysis of real-time scheduling using graph games"
2009,"10.29012/jpc.v5i1.629 ","Privacy-preserving data sharing for genome-wide association studies"
2270,,"Optimal Coalition Structures in Cooperative Graph Games"
2256,,"Linked (Open) Data - Bibliographische Daten im Semantic Web"
2244,10.1007/978-3-319-03841-4_41,"Untangling two systems of noncrossing curves"
2472,10.1371/journal.pone.0070069,"Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development"
2516,10.1109/TPAMI.2013.140,"Attribute-based classification for zero-shot learning of object categories"
2410,10.1128/genomeA.00216-13,"Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis"
2287,10.1002/ece3.465,"The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant"
2294,10.1109/ICCV.2013.139,"Drosophila Embryo Stage Annotation using Label Propagation"
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"
2782,10.1007/s10955-013-0807-8,"Local eigenvalue density for general MANOVA matrices"
2807,10.1145/2488608.2488683,"Extending continuous maps: Polynomiality and undecidability"
2698,10.4171/JEMS/416,"Stability and semiclassics in self-generated fields"
2883,10.1105/tpc.112.105999,"Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane"
2908,10.1111/jeb.12015,"Does hybridisation influence speciation? "
2910,10.1093/bioinformatics/btt067,"Coalescent simulation in continuous space"
2821,10.1105/tpc.113.110353,"A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis"
2826,10.1016/j.ajhg.2013.04.005,"Mutations in SCO2 are associated with autosomal-dominant high-grade myopia"
2833,10.1016/j.cell.2013.05.008,"Forces in tissue morphogenesis and patterning"
2838,10.1371/journal.pone.0054285,"Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome"
2840,10.1093/cercor/bhs033,"Distinct roles of medial and lateral entorhinal cortex in spatial cognition"
2857,10.1007/978-1-62703-351-0_32,"Optical control of ligand-gated ion channels"
2845,10.1016/j.neuron.2013.01.021,"Developmental refinement of vesicle cycling at Schaffer collateral synapses"
3261,10.1073/pnas.1315642110,"Positional information, in bits"
507,10.1105/tpc.113.114264,"Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis"
499,10.1126/science.1229858,"Dynamic persistence of antibiotic-stressed mycobacteria"
502,10.3233/JCS-130477,"Short blind signatures"
5402,10.15479/AT:IST-2013-123-v1-1,"How free is your linearizable concurrent data structure?"
5407,,"Technical requirements and features"
1385,10.1109/FMCAD.2013.6679394,"Synthesizing multiple boolean functions using interpolation on a single proof"
5399,10.15479/AT:IST-2013-104-v1-1,"TTP: Tool for Tumor Progression"
2181,10.1145/2429069.2429109,"Quantitative relaxation of concurrent data structures"
2237,10.1007/978-3-642-45221-5_13,"Tree interpolation in Vampire"
2299,10.1007/s10009-011-0207-9,"Synthesis of AMBA AHB from formal specification: A case study"
2814,10.1142/S0129054113400066,"The complexity of coverage"
2819,10.1145/2461328.2461370,"Quantitative timed simulation functions and refinement metrics for real-time systems"
2282,10.1038/ncb2869,"Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly"
2446,10.1007/978-3-642-39799-8_37,"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis"
1405,,"Analysis of dynamic message passing programs"
2939,10.1016/j.comgeo.2012.02.010,"An output sensitive algorithm for persistent homology"
1406,,"Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading"
2238,10.1007/978-3-642-45221-5_17,"Multi-objective discounted reward verification in graphs and MDPs"
2283,10.1007/s00114-013-1115-5,"Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger "
2288,10.1007/978-3-642-40708-6,"Computational Methods in Systems Biology"
2290,10.1073/pnas.1309057110,"ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation"
2264,"10.1242/dev.085621 ","Neural development is dependent on the function of specificity protein 2 in cell cycle progression"
2303,10.1007/s11515-013-1279-6,"Dissection of gene function at clonal level using mosaic analysis with double markers"
2276,10.1109/ICCV.2013.288,"Potts model, parametric maxflow and k-submodular functions"
2447,10.1007/978-3-642-39799-8_54,"Automating separation logic using SMT"
2466,10.1145/2461912.2461982,"Highly adaptive liquid simulations on tetrahedral meshes"
2473,10.1016/j.tpb.2012.12.001,"Genetic hitch-hiking in spatially extended populations"
2719,10.1145/2463372.2463470,"A variance decomposition approach to the analysis of genetic algorithms"
2808,10.1104/pp.113.214023,"The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain"
2822,10.1073/pnas.1304354110,"3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture"
2827,10.1073/pnas.1220205110,"Salicylic acid interferes with clathrin-mediated endocytic protein trafficking"
2834,10.1103/PhysRevLett.110.224502,"Streamwise-localized solutions at the onset of turbulence in pipe flow"
2839,10.1126/science.1228456,"Interstitial dendritic cell guidance by haptotactic chemokine gradients"
2841,10.1016/j.devcel.2013.03.007,"Holding on and letting go: Cadherin turnover in cell intercalation"
2810,10.1371/journal.pgen.1003580,"Environmental dependence of genetic constraint"
2846,10.1111/ele.12068,"Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution"
2860,10.1016/j.neuron.2013.01.033,"Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning"
2909,"10.1088/1742-5468/2013/01/P01002 ","Modelling evolution in a spatial continuum"
2853,10.1098/rspb.2012.3035,"Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection"
3116,10.1007/s10703-012-0170-4,"Code aware resource management"
2815,10.1007/s00454-013-9517-x,"Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions"
476,10.3389/fnbeh.2013.00217,"Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions"
508,10.1093/molbev/mst119,"Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications"
527,10.1016/j.cub.2013.10.038,"Modeling framework for the establishment of the apical-basal embryonic axis in plants"
522,10.1016/j.imlet.2013.07.007,"Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells"
5403,10.15479/AT:IST-2013-126-v1-1,"Qualitative analysis of concurrent mean-payoff games"
2327,10.1007/978-3-642-40184-8_20,"From model checking to model measuring"
1374,10.4230/LIPIcs.CSL.2013.181,"Infinite-state games with finitary conditions"
2000,10.1007/978-3-642-39799-8_6,"TTP: Tool for tumor progression"
2858,10.1111/eva.12020,"The effect of one additional driver mutation on tumor progression"
2884,10.1051/medsci/2013292011,"Cell adhesion mechanics of zebrafish gastrulation"
2295,10.4230/LIPIcs.CSL.2013.165,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
2182,10.1145/2429069.2429085,"Quantitative abstraction refinement"
2517,10.1007/978-3-642-39212-2_3,"Formalizing and reasoning about quality"
5408,10.15479/AT:IST-2013-141-v1-1,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
5410,10.15479/AT:IST-2013-146-v1-1,"Automatic generation of alternative starting positions for traditional board games"
2049,10.1007/978-3-642-34047-5_20,"Lapin: An efficient authentication protocol based on ring-LPN"
2912,10.4213/rm9503,"Configuration space for shortest networks "
2943,10.1111/mmi.12071,"Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions"
2931,10.1109/TPAMI.2012.105,"A dual decomposition approach to feature correspondence"
2917,10.1017/S1473550412000407,"The game of active search for extra terrestrial intelligence Breaking the Great Silence "
2974,10.1007/978-3-642-34961-4_40,"Commitments and efficient zero knowledge proofs from learning parity with noise"
2962,10.1534/genetics.112.143164,"A novel approach for choosing summary statistics in approximate Bayesian computation"
3136,10.1007/978-3-642-31424-7_24,"Delayed continuous time Markov chains for genetic regulatory circuits"
3155,10.1007/978-3-642-30793-5_13,"Synchronous interface theories and time triggered scheduling"
3129,10.1007/978-3-642-31155-0_17,"Annotating simplices with a homology basis and its applications"
3131,10.1371/journal.pgen.1002740,"Limits to the rate of adaptive substitution in sexual populations"
3162,10.1007/978-3-642-29860-8_12,"Parametric identification of temporal properties"
3117,10.1016/j.dam.2012.05.025,"Minimizing a sum of submodular functions"
3167,10.1126/science.336.6077.32,"NextGen speaks 13 "
3256,10.1007/s00454-011-9382-4,"Dual complexes of cubical subdivisions of ℝn"
3244,,"Die Zeit des Abwartens ist vorbei!"
3282,10.1007/978-3-642-29011-4_22,"Message authentication, revisited"
3124,,"Approximating marginals using discrete energy minimization"
5396,10.15479/AT:IST-2012-0003,"Approximating marginals using discrete energy minimization"
5745,10.1007/978-3-642-33386-6_10,"Improved Single Pass Algorithms for Resolution Proof Reduction"
3249,10.1016/j.tcs.2011.08.002,"Simulation distances"
2950,10.1126/science.1224143,"Forces driving epithelial spreading in zebrafish gastrulation"
5377,10.15479/AT:IST-2012-0002,"Mean-payoff pushdown games"
2967,10.1145/2287718.2287727,"Algorithmic analysis of array-accessing programs"
2955,10.1109/LICS.2012.28,"Partial-observation stochastic games: How to win when belief fails"
2936,10.1145/2380356.2380370,"Finite automata with time delay blocks"
3251,10.1007/978-3-642-27940-9_29,"Ideal abstractions for well structured transition systems"
3314,10.1142/S0129054112400308,"Discounting and averaging in games across time scales"
496,10.1109/LICS.2012.65,"Interpretations in trees with countably many branches"
2715,10.4230/LIPIcs.FSTTCS.2012.461,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
2949,10.1038/nn.3245,"The medial entorhinal cortex keeps Up"
2937,10.1145/2382196.2382249,"Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols"
2951,10.1126/science.1225399,"Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells"
2968,10.1111/j.1365-294X.2012.05700.x,"A likelihood based comparison of population histories in a parasitoid guild"
2970,10.1016/j.gde.2012.08.004,"Investigating the principles of morphogen gradient formation: from tissues to cells"
2963,10.1016/j.beproc.2012.09.006,"Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata"
3156,10.1111/j.1365-294X.2012.05592.x,"Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion"
3118,10.1145/2185520.2185549,"Tracking surfaces with evolving topology"
3120,10.1112/S0010437X11007226,"Fano 3 folds in codimension 4 Tom and Jerry Part I"
3125,10.1007/978-3-642-33715-4_18,"Augmented attribute representations"
3132,10.1007/s00114-012-0943-z,"Two pathways ensuring social harmony"
3245,10.1016/j.devcel.2011.12.018,"Spurred by resistance mechanosensation in collective migration"
3257,10.1016/j.dam.2011.10.026,"Generalized roof duality and bisubmodular functions"
3310,10.1016/j.patrec.2011.10.007,"A point calculus for interlevel set homology"
3168,10.1016/j.tcs.2011.12.059,"Lumpability abstractions of rule based systems"
3846,10.1016/j.jcss.2011.05.002,"A survey of stochastic ω regular games"
492,10.1186/1471-2229-12-116,"GiA Roots: Software for the high throughput analysis of plant root system architecture"
2848,10.1016/j.jtbi.2012.02.021,"Evolutionary game dynamics in populations with different learners"
2956,10.1109/LICS.2012.30,"Mean payoff pushdown games"
3341,10.1007/978-3-642-28729-9_18,"Robustness of structurally equivalent concurrent parity games"
3252,10.1007/978-3-642-27940-9_11,"Synthesizing protocols for digital contract signing"
497,10.4230/LIPIcs.CSL.2012.167,"Faster algorithms for alternating refinement relations"
5378,10.15479/AT:IST-2012-0001,"Faster algorithms for alternating refinement relations"
2318,10.4171/JST/31,"Absence of bound states implies non-negativity of the scattering length"
2902,,"Fractal and computational geometry for generalizing cartographic objects"
2825,,"Dynamic pruning of factor graphs for maximum marginal prediction"
2849,10.1070/RM2012v067n06ABEH004820,"On the configuration space of Steiner minimal trees"
2945,10.1038/nri3298,"HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes"
2938,10.1111/1365-2435.12013,"Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies"
2952,10.1242/dev.073007,"Convergent extension Using collective cell migration and cell intercalation to shape embryos"
2969,10.1523/JNEUROSCI.6104-11.2012,"Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling"
2971,10.1007/978-3-642-32717-9_2,"Interactive labeling of image segmentation hierarchies"
3119,,"Controlling liquids using meshes"
3121,10.1038/nn.3162,"Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA"
3133,10.1145/2261250.2261287,"Alexander duality for functions: The persistent behavior of land and water and shore"
3126,10.1007/978-3-642-32717-9_21,"Information theoretic clustering using minimal spanning trees"
3164,10.1007/s11263-012-0530-y,"Guest editorial: Special issue on structured prediction and inference"
3265,10.1109/ICCV.2011.6126486,"Image segmentation by figure-ground composition into maximal cliques"
3277,10.1007/978-94-007-4966-5_22,"Can the evolution of multicellularity be anticipated in the exploration of the solar system?"
3289,10.1128/JVI.05638-11,"A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization"
3258,10.1038/nn.3060,"Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons"
3253,10.1007/978-3-642-27940-9_1,"Abstract domains for automated reasoning about list manipulating programs with infinite data"
2964,,"Active properties of hippocampal CA3 pyramidal neuron dendrites"
493,10.3389/fnins.2012.00055,"Review of the BCI competition IV"
498,10.1111/j.1752-4571.2012.00284.x,"Predicting local adaptation in fragmented plant populations: Implications for restoration genetics"
506,10.1083/jcb.201204039,"Cell migration: Fibroblasts find a new way to get ahead"
5398,,"Actual state of research data @ ISTAustria"
3246,10.1016/j.ceb.2011.11.006,"Cell adhesion in embryo morphogenesis"
1384,10.1145/2393596.2393664,"Conditional model checking: A technique to pass information between verifiers"
3157,10.1038/nature11219,"The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers"
2957,10.1109/LICS.2012.29,"Decidable problems for probabilistic automata on infinite words"
3260,10.1016/j.tpb.2011.11.003,"Evolutionary dynamics of biological auctions"
2263,10.1242/bio.20122287,"A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors"
2302,10.1109/TCBB.2012.91,"The propagation approach for computing biochemical reaction networks"
2903,10.1109/ISVD.2012.11,"The adaptive topology of a digital image"
2915,,"Multi-modal learning for dynamic tactile sensing"
2958,10.1523/JNEUROSCI.6175-11.2012,"Hippocampal place cells can encode multiple trial-dependent features through rate remapping"
2941,10.1070/RM2012v067n04ABEH004807,"On the optimality of functionals over triangulations of Delaunay sets"
2946,10.1093/nar/gks705,"MicroRNAs associated with the different human Argonaute proteins"
2965,,"Kontext Open Access: Creative Commons"
2953,10.1016/j.ceb.2012.09.002,"Cell-cell adhesion and extracellular matrix diversity counts"
3122,10.1111/j.1365-294X.2012.05643.x,"Disassortative mating and the maintenance of sexual polymorphism in painted maple"
3127,,"The most persistent soft-clique in a set of sampled graphs"
3134,10.1145/2261250.2261265,"Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions"
3242,10.1371/journal.pbio.1001300,"Social transfer of pathogenic fungus promotes active immunisation in ant colonies"
3158,10.1016/j.ejcb.2012.04.002,"Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo"
3160,10.4161/cc.20118,"Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo"
3280,10.1007/978-3-642-28914-9_31,"Subspace LWE"
3317,10.1038/nrn3125,"Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses"
3247,10.1007/s10592-011-0262-5,"Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)"
3331,10.1016/j.jsc.2011.11.001,"A worst case bound for topology computation of algebraic curves"
3115,10.1007/s00454-012-9441-5,"Deconstructing approximate offsets"
3836,10.1016/j.scico.2010.06.004,"Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code"
494,10.1145/2362355.2362357,"Translating to Co-Büchi made tight, unified, and useful"
2888,10.1007/978-3-642-33666-9_1,"Quantitative reactive models"
2890,10.1145/2380356.2380371,"Synthesis from incompatible specifications"
2972,10.1016/j.tcs.2012.07.038,"Energy parity games"
3165,10.1137/1.9781611973099.109,"An O(n2) time algorithm for alternating Büchi games"
3254,10.1016/j.ic.2011.11.004,"The complexity of stochastic Müller games"
2048,10.1007/978-3-642-33027-8_13,"Practical leakage-resilient symmetric cryptography"
2411,10.1093/molbev/msr285,"A consistent phylogenetic backbone for the fungi"
2904,10.5802/jtnb.819,"Weak multipliers for generalized van der Corput sequences"
2928,,"Generalized sequential tree-reweighted message passing"
2930,10.1007/978-3-642-32147-4_40,"Towards minimizing k-submodular functions"
2959,10.1214/11-AOS957,"Geometry of maximum likelihood estimation in Gaussian graphical models"
2954,10.1016/j.bpj.2012.08.039,"A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo"
2966,10.1186/1472-6785-12-7,"The dynamics of male-male competition in Cardiocondyla obscurior ants"
3159,10.1371/journal.pone.0036715,"Hierarchical ordering of reticular networks"
3161,10.1371/journal.pone.0036044,"Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome"
3123,10.1111/j.1467-8659.2012.03062.x,"Explicit mesh surfaces for particle based fluids"
3130,10.1371/journal.pgen.1002803,"Patterns of evolutionary conservation of essential genes correlate with their compensability"
3166,10.1186/1745-6150-7-6,"Amino acid fermentation at the origin of the genetic code"
3262,10.1103/PhysRevE.85.041903,"Optimizing information flow in small genetic networks. III. A self-interacting gene"
3274,10.1016/j.enganabound.2011.12.014,"A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil"
3279,10.1007/978-3-642-28914-9_21,"Hardness preserving constructions of pseudorandom functions"
3281,10.1007/978-3-642-28914-9_26,"Lossy functions do not amplify well"
3250,10.1007/978-3-642-27660-6_9,"Cryptography from learning parity with noise"
3248,10.1007/s11554-010-0168-3,"Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components"
3243,,"Zwischen Technologie und Information"
2891,10.4230/LIPIcs.FSTTCS.2012.362,"Approximate determinization of quantitative automata"
2916,10.4204/EPTCS.96.3,"Interface Simulation Distances"
2942,10.1007/978-3-642-34059-8_20,"Independent implementability of viewpoints"
2947,10.1007/978-3-642-33386-6_30,"Equivalence of games with probabilistic uncertainty and partial observation games"
3128,10.1007/s10703-012-0164-2,"A survey of partial-observation stochastic parity games"
3135,10.1007/978-3-642-31424-7_8,"Efficient controller synthesis for consumption games with multiple resource types"
3255,10.1007/978-3-642-25929-6_3,"Games and Markov decision processes with mean payoff parity and energy parity objectives"
495,10.4204/EPTCS.96.18,"A Myhill Nerode theorem for automata with advice"
6588,,"Elementary solutions of the Bernstein problem on two intervals"
3270,,"Persistent homology computation with a twist"
3275,,"The role of chemotactic gradients in dendritic cell migration"
3287,10.2174/138920311798841753,"What can we learn from single molecule trajectories?"
3299,10.1145/2037509.2037510,"Propagation models for computing biochemical reaction networks"
3302,,"Static scheduling in clouds"
3352,10.1145/2001269.2001289,"Biology as reactivity"
3319,,"Learning multi-view neighborhood preserving projections"
3326,10.1007/978-3-642-24372-1_37,"What’s decidable about weighted automata "
3357,10.1007/978-3-642-21254-3_17,"The complexity of request-response games"
3383,10.1111/j.1742-4658.2011.08136.x,"Invited Lectures ‐ Symposia Area"
3388,10.1186/1471-2148-11-201,"Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion"
3390,10.1534/genetics.111.127555,"The relation between reproductive value and genetic contribution"
3395,10.1111/j.1095-8312.2011.01728.x,"Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas "
3376,10.1016/j.molcel.2011.04.016,"Resolution of gene regulatory conflicts caused by combinations of antibiotics"
3369,10.1016/j.neuron.2011.01.010,"The multiple faces of RIM"
3371,10.1091/mbc.E10-12-0958,"Cells on the move in Philadelphia"
3965,10.1145/1963190.1970375,"Computing elevation maxima by searching the Gauss sphere"
3364,10.1016/j.tcs.2010.10.022,"Approximation of event probabilities in noisy cellular processes"
491,10.1126/scisignal.2002617,"Setting the clock for recirculating lymphocytes"
504,10.1086/659642,"Erratum: Species' range: Adaptation in space and time (American Naturalist 174 (E186 E204)) "
3338,,"Bounded rationality in concurrent parity games"
5384,10.15479/AT:IST-2011-0004,"Decidable problems for probabilistic automata on infinite words"
3345,10.1007/978-3-642-22993-0_21,"Energy and mean-payoff parity Markov Decision Processes"
3269,10.1111/j.1467-8659.2011.01985.x,"Perceptual global illumination cancellation in complex projection environments"
3271,10.1007/978-3-642-23175-9_7,"Efficient computation of persistent homology for cubical data"
3288,10.1371/journal.pone.0022458,"Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens"
3290,10.1534/genetics.111.129569,"A general method for calculating likelihoods under the coalescent process"
3339,,"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives"
3163,,"Maximum margin multi-label structured prediction"
3322,,"Maximum margin multi label structured prediction"
3334,10.1007/s00454-010-9313-9,"Letter from the new editors-in-chief"
3358,10.1145/1966445.1966476,"Scheduling large jobs by abstraction refinement"
3372,10.1038/nature09831,"Inclusive fitness theory and eusociality"
3365,10.1007/978-3-642-19835-9_24,"QUASY: quantitative synthesis tool"
3377,10.1007/s10208-011-9090-8,"Quantifying transversality by measuring the robustness of intersections"
3771,10.1111/j.1095-8312.2010.01601.x,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3384,10.1371/journal.pone.0020409,"Natural images from the birthplace of the human eye"
3389,10.1016/j.patrec.2011.02.011,"Semi supervised kernel canonical correlation analysis with application to human fMRI"
3391,10.1016/j.tree.2011.04.002,"The contribution of statistical physics to evolutionary biology"
3396,10.1242/dev.071233,"Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube"
3505,10.1007/978-1-61779-207-6_11,"In vitro analysis of chemotactic leukocyte migration in 3D environments"
3315,10.2168/LMCS-7(4:8)2011,"Timed parity games: Complexity and robustness"
531,10.1007/s10703-011-0131-3,"Verification of STM on relaxed memory models"
5380,10.15479/AT:IST-2011-0008,"Bounded rationality in concurrent parity games"
6496,10.1016/j.bpj.2011.09.040,"Noise underlies switching behavior of the bacterial flagellum"
3346,10.1109/LICS.2011.10,"Two views on multiple mean payoff objectives in Markov Decision Processes"
3353,10.1145/1985342.1985345,"A theory of synchronous relational interfaces"
3264,10.1007/978-3-642-25318-8_16,"Solving recursion-free Horn clauses over LI+UIF"
3360,10.4230/LIPIcs.CSL.2011.82,"Determinizing discounted-sum automata"
5385,10.15479/AT:IST-2011-0003,"Temporal specifications with accumulative values"
3311,,"Alpha shapes - a survey"
3330,"10.1145/1993886.1993920 ","Root refinement for real polynomials"
3335,10.1007/978-3-642-25249-5_3,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3328,10.1145/1998196.1998224,"A generic algebraic kernel for non linear geometric applications"
3784,10.1017/S0025315410000287,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
3791,10.1016/B978-0-12-385065-2.00006-2,"Cell sorting in development"
3796,10.1007/978-3-642-19391-0_2,"Covering and packing with spheres by diagonal distortion in R^n"
3385,10.1016/j.imlet.2011.02.013,"Interstitial locomotion of leukocytes"
3392,10.4049/jimmunol.1100935,"In vivo analysis of uropod function during physiological T cell trafficking"
3397,10.1016/j.ceb.2011.07.004,"The role of adhesion energy in controlling cell-cell contacts"
3405,10.1038/ncomms1231,"Modern ionotropic glutamate receptor with a K+ selectivity signature sequence"
3429,10.1038/ncb2154,"Oct4 kinetics predict cell lineage patterning in the early mammalian embryo"
3373,10.1364/OL.36.001260,"Measuring the complete force field of an optical trap"
3378,10.1007/s10208-010-9081-1,"Persistent intersection homology"
3380,10.1017/S0016672311000115,"Mapping Mendelian traits in asexual progeny using changes in marker allele frequency"
518,10.1038/emboj.2011.301,"CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells"
5386,10.15479/AT:IST-2011-0002,"Enforcing topological constraints in random field image segmentation"
3323,10.1007/978-3-642-22438-6_36,"An efficient decision procedure for imperative tree data structures"
5381,10.15479/AT:IST-2011-0007,"Partial-observation stochastic games: How to win when belief fails"
3316,10.1109/SIES.2011.5953660,"Specification-centered robustness"
3366,"10.1007/978-3-642-22110-1_20 ","Quantitative synthesis for concurrent programs"
3342,10.1007/978-3-642-22110-1_21,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
3359,10.1145/2038642.2038666,"From boolean to quantitative synthesis"
3361,10.1109/CSF.2011.21,"The complexity of quantitative information flow problems"
3347,10.1007/978-3-642-21254-3_16,"Finitary languages"
3354,10.1145/1970398.1970404,"Qualitative concurrent parity games"
5379,10.15479/AT:IST-2011-0009,"An O(n2) time algorithm for alternating Büchi games"
3266,,"Probabilistic joint image segmentation and labeling"
3273,,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3297,10.1145/2037636.2037644,"Liquid simulation with mesh-based surface tracking"
3324,10.1007/978-3-642-18275-4_26,"Decision procedures for automating termination proofs"
3329,10.1145/1998196.1998225,"Deconstructing approximate offsets"
3355,10.1109/QEST.2011.40,"Quantitative evaluation of BFT protocols"
3343,10.1137/1.9781611973082.101,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3778,10.1038/hdy.2010.67,"Estimating linkage disequilibria"
3386,10.1111/j.1420-9101.2011.02278.x,"Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies"
3393,10.1086/661246,"Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects"
3374,10.1088/0953-8984/23/15/153102,"Information transmission in genetic regulatory networks a review"
3379,10.1016/j.ydbio.2011.03.025,"Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail"
3381,10.1142/S0129054111008441,"Formalisms for specifying Markovian population models"
3336,10.1109/CVPR.2011.5995503,"Enforcing topological constraints in random field image segmentation"
3348,10.1145/1967701.1967734,"Synthesis of memory efficient real time controllers for safety objectives"
3350,10.1007/978-3-642-24310-3_11,"Minimum attention controller synthesis for omega regular objectives"
5382,10.15479/AT:IST-2011-0006,"Robustness of structurally equivalent concurrent parity games"
5387,10.15479/AT:IST-2011-0001,"Energy and mean-payoff parity Markov decision processes"
3362,10.1007/978-3-642-23217-6_27,"Dynamic reactive modules"
3312,10.1109/ICCV.2011.6126475,"Detailed reconstruction of 3D plant root shape"
3367,10.1145/1998196.1998228,"An output sensitive algorithm for persistent homology"
3267,10.1007/s00454-010-9322-8,"Hardness results for homology localization"
3298,10.1145/2019406.2019411,"Hybrid smoothed particle hydrodynamics"
3301,,"Tail approximation for the chemical master equation"
3313,10.1109/ICCV.2011.6126271,"Diffusion runs low on persistence fast"
3318,10.1038/nn.3002,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3320,10.1561/0600000033,"Structured learning and prediction in computer vision"
3325,10.1145/1926385.1926454,"Streaming transducers for algorithmic verification of single pass list processing programs"
3382,10.1109/TRO.2011.2121130,"Learning dynamic tactile sensing with robust vision based training"
3387,10.1186/1471-2148-11-205,"Split based computation of majority rule supertrees"
3394,10.1534/genetics.111.129817,"Genetic drift widens the expected cline but narrows the expected cline width"
3399,10.1371/journal.pone.0017323,"Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior"
3368,10.1073/pnas.1010767108,"Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants"
3370,10.1093/sysbio/syq086,"Consequences of different null models on the tree shape bias of supertree methods"
3375,10.1098/rsif.2010.0438,"The statistical mechanics of a polygenic character under stabilizing selection mutation and drift"
3337,10.1109/IROS.2011.6094892,"Learning anticipation policies for robot table tennis"
3344,10.1007/978-3-642-24288-5_1,"Graph games with reachability objectives"
3332,10.1007/s00373-011-1020-7,"A note on the complexity of real algebraic hypersurfaces"
3781,,"The difference in length of curves in R^n"
490,10.1155/2011/935364,"BioSig: The free and open source software library for biomedical signal processing"
469,10.1523/JNEUROSCI.6398-10.2011,"Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor"
5383,10.15479/AT:IST-2011-0005,"On an efficient decision procedure for imperative tree data structures"
3363,,"The decidability frontier for probabilistic automata on infinite words"
3349,10.4204/EPTCS.54.6,"A reduction from parity games to simple stochastic games"
3351,10.1007/978-3-642-22953-4_13,"On memoryless quantitative objectives"
3356,10.1109/LICS.2011.33,"Temporal specifications with accumulative values"
3782,10.1007/978-3-642-18421-5_4,"Topology noise removal for curve and surface evolution"
3787,10.3989/scimar.2010.74n3465,"DNA extraction from formalin-fixed tissue: new light from the deep sea"
3794,10.1007/978-3-642-15552-9_41,"Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning"
3718,10.1016/j.neuropharm.2010.05.013,"P2Y1 receptors inhibit long-term depression in the prefrontal cortex."
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 & Todorova)"
3838,10.1145/1839764.1839772,"Hybrid numerical solution of the chemical master equation"
3840,10.1145/1706299.1706319,"From boolean to quantitative notions of correctness"
3852,10.4204/EPTCS.25.6,"Discounting in games across time scales"
3845,10.1007/978-3-642-16242-8_25,"Aligators for arrays"
4134,10.1111/j.1461-0248.2010.01442.x,"Why is adaptation prevented at ecological margins? New insights from individual-based simulations"
4362,10.1007/978-3-642-16612-9_32,"Runtime verification for software transactional memories"
4381,"10.1109/CLOUD.2010.71 ","FlexPRICE: Flexible provisioning of resources in a cloud environment"
489,10.4204/EPTCS.25.7,"How do we remember the past in randomised strategies? "
3857,10.1007/978-3-642-15643-4_1,"Probabilistic Automata on infinite words: decidability and undecidability results"
5391,10.15479/AT:IST-2010-0001,"Model checking of linearizability of concurrent list implementations"
3864,10.1007/978-3-642-14295-6_34,"Measuring and synthesizing systems in probabilistic environments"
4393,10.1007/978-3-642-15375-4_18,"Simulation distances"
5389,10.15479/AT:IST-2010-0003,"Simulation distances"
3303,10.1534/genetics.110.123240,"The rate of fitness-valley crossing in sexual populations"
3719,,"Lumpability abstractions of rule-based systems"
3776,10.1098/rstb.2010.0106,"Genetic linkage and natural selection"
3783,10.1093/jhered/esq111,"Microsatelight – Pipeline to expedite microsatellite analysis"
3788,10.1140/epje/i2010-10642-y,"Finite-size corrections to scaling behavior in sorted cell aggregates"
3790,10.1371/journal.pbio.1000544,"Control of directed cell migration in vivo by membrane-to-cortex attachment"
3795,10.1007/978-3-642-15014-2_3,"The stability of the apparent contour of an orientable 2-manifold"
3834,10.1186/1752-0509-4-42,"Solving the chemical master equation using sliding windows"
3839,10.1007/978-3-642-11319-2_14,"Invariant and type inference for matrices"
3853,10.1007/978-3-642-15375-4_19,"Mean-payoff automaton expressions"
3858,10.1007/978-3-642-16242-8_1,"The complexity of partial-observation parity games"
3860,10.4230/LIPIcs.FSTTCS.2010.505,"Generalized mean-payoff and energy games"
3865,10.1007/978-3-642-12029-9_21,"Analyzing the impact of change in multi-threaded programs"
4243,10.1214/EJP.v15-741,"A new model for evolution in a spatial continuum"
4382,10.1145/1810479.1810529,"Transactions in the jungle"
3772,10.1371/journal.pgen.1000987,"Understanding adaptation in large populations"
3777,10.1098/rstb.2009.0320,"Mutation and the evolution of recombination"
3789,10.1016/j.cub.2010.10.009,"Stereotypical cell division orientation controls neural rod midline formation in zebrafish"
3498,10.1007/s00167-010-1227-9,"Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis"
3847,10.1109/QEST.2010.33,"SABRE: A tool for the stochastic analysis of biochemical reaction networks"
3866,10.1007/978-3-642-14295-6_36,"Robustness in the presence of liveness"
3842,10.1049/iet-syb.2010.0005,"Fast adaptive uniformization of the chemical master equation"
3854,10.1007/978-3-642-15375-4_20,"Obliging games"
3859,10.1007/978-3-642-15297-9,"Formal modeling and analysis of timed systems"
3962,,"Dendritic cell migration across basement membranes in the skin"
3861,10.1016/j.ic.2009.07.004,"Strategy logic"
4369,10.1007/978-3-642-15297-9_13,"From MTL to deterministic timed automata"
474,10.1111/j.1558-5646.2010.01019.x,"A new model for extinction and recolonization in two dimensions: Quantifying phylogeography"
4390,10.1007/978-3-642-14295-6_41,"Model checking of linearizability of concurrent list implementations"
4388,10.1007/978-3-642-14295-6_57,"GIST: A solver for probabilistic games"
3773,10.1098/rstb.2010.0001,"What role does natural selection play in speciation?"
3785,"10.1651/09-3192.1 ","Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)"
3792,10.1016/j.tcb.2010.06.009,"The yolk syncytial layer in early, zebrafish development"
3848,10.1007/978-3-642-15775-2_1,"The robustness of level sets"
3850,,"Polygonal reconstruction from approximate offsets"
3901,10.1109/TVCG.2010.139,"Computing robustness and persistence for images"
4346,,"Handbuch Bibliothek 2.0"
4339,10.1515/9783110232103,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4396,10.1007/978-3-642-12029-9_19,"Shape refinement through explicit heap analysis"
4389,10.1109/ACSD.2010.26,"Robustness of sequential circuits"
3867,10.2168/LMCS-6(3:10)2010,"Expressiveness and closure properties for quantitative languages"
533,10.1007/s10703-010-0102-0,"Doomed program points"
3855,10.1007/978-3-642-15155-2_24,"Qualitative analysis of partially-observable Markov Decision Processes"
2409,10.1186/1748-7188-5-37,"Accuracy of phylogeny reconstruction methods combining overlapping gene data sets "
3774,10.1111/j.1365-2656.2009.01633.x,"Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)"
3779,10.1371/journal.pbio.1000429,"Cryptic variation between species and the basis of hybrid performance"
3793,10.1007/978-3-642-15567-3_8,"On parameter learning in CRF-based approaches to object class image segmentation"
3604,10.1111/j.1365-294X.2009.04497.x,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3832,"10.1016/j.neuron.2010.04.003 ","Beyond TARPs: The growing list of auxiliary AMPAR subunits"
3849,10.1007/978-3-642-15155-2_2,"Persistent homology under non-uniform error"
3868,10.2168/LMCS-6(3:13)2010,"Algorithms for game metrics"
3863,10.1016/j.ic.2009.09.006,"Strategy construction for parity games with imperfect information"
4157,10.1038/emboj.2010.182,"Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis"
4378,10.1007/978-3-642-11319-2_6,"Building a calculus of data structures"
4380,10.1145/1879021.1879022,"A marketplace for cloud resources"
4392,10.1007/978-3-642-13754-9_3,"Quantitative Simulation Games"
488,10.4230/LIPIcs.FSTTCS.2010.1,"Expressiveness of streaming string transducers"
5390,10.15479/AT:IST-2010-0002,"Topological, automata-theoretic and logical characterization of finitary languages"
4361,10.1007/978-3-642-12032-9_8,"Forward analysis of depth-bounded processes"
3856,10.1007/978-3-642-15155-2_23,"Randomness for free"
3851,10.1007/978-3-642-14162-1_50,"Energy parity games"
5388,10.15479/AT:IST-2010-0004,"Quantitative synthesis for concurrent programs"
3775,10.1016/j.jtbi.2009.03.019,"On the application of statistical physics to evolutionary biology"
3871,10.1007/978-3-642-04081-8_17,"Probabilistic weighted automata"
4242,10.1111/j.1558-5646.2009.00622.x,"The evolution of strong reproductive isolation"
4545,10.1007/978-3-642-02930-1_1,"A survey of stochastic games with limsup and liminf objectives"
4569,10.1007/978-3-642-02658-4_14,"Better quality in synthesis through quantitative objectives"
3675,10.1101/sqb.2009.74.030,"Why sex and recombination? "
3841,10.1007/978-3-642-04420-5_2,"Formalisms for specifying Markovian population models"
4231,10.1534/genetics.108.099309,"Statistical mechanics and the evolution of polygenic quantitative traits"
5392,10.15479/AT:IST-2009-0004,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,10.1007/978-3-642-03409-1_2,"Alternating weighted automata"
4136,10.1086/605958,"Species' range: Adaptation in space and time"
5393,10.15479/AT:IST-2009-0003,"Gist: A solver for probabilistic games"
3780,10.1111/j.1420-9101.2009.01770.x,"The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails"
3843,10.1109/HiBi.2009.23,"Fast adaptive uniformization of the chemical master equation"
3968,10.1007/978-3-642-10470-1_4,"The persistent Morse complex segmentation of a 3-manifold"
4543,10.1007/978-3-642-03816-7_4,"Stochastic games with finitary objectives"
5394,10.15479/AT:IST-2009-0002,"Improved lower bounds for request-response and finitary Streett games"
3837,10.1145/1629335.1629346,"On relational interfaces"
3844,10.1109/RTSS.2009.9,"Distributed, modular HTL"
3870,10.1145/1614431.1614432,"Finitary winning in omega-regular games"
5395,10.15479/AT:IST-2009-0001,"Qualitative analysis of partially-observable Markov decision processes"
517,10.1017/S0016672308009683,"Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin"