_id,title
3301,"Tail approximation for the chemical master equation"
3313,"Diffusion runs low on persistence fast"
3318,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3320,"Structured learning and prediction in computer vision"
3325,"Streaming transducers for algorithmic verification of single pass list processing programs"
3382,"Learning dynamic tactile sensing with robust vision based training"
3387,"Split based computation of majority rule supertrees"
3394,"Genetic drift widens the expected cline but narrows the expected cline width"
3399,"Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior"
3368,"Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants"
3370,"Consequences of different null models on the tree shape bias of supertree methods"
3375,"The statistical mechanics of a polygenic character under stabilizing selection mutation and drift"
3337,"Learning anticipation policies for robot table tennis"
3344,"Graph games with reachability objectives"
3332,"A note on the complexity of real algebraic hypersurfaces"
3781,"The difference in length of curves in R^n"
490,"BioSig: The free and open source software library for biomedical signal processing"
469,"Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor"
5383,"On an efficient decision procedure for imperative tree data structures"
3363,"The decidability frontier for probabilistic automata on infinite words"
3349,"A reduction from parity games to simple stochastic games"
3351,"On memoryless quantitative objectives"
3356,"Temporal specifications with accumulative values"
3782,"Topology noise removal for curve and surface evolution"
3787,"DNA extraction from formalin-fixed tissue: new light from the deep sea"
3794,"Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning"
3718,"P2Y1 receptors inhibit long-term depression in the prefrontal cortex."
3833,"GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)"
3838,"Hybrid numerical solution of the chemical master equation"
3840,"From boolean to quantitative notions of correctness"
3852,"Discounting in games across time scales"
3845,"Aligators for arrays"
4134,"Why is adaptation prevented at ecological margins? New insights from individual-based simulations"
4362,"Runtime verification for software transactional memories"
4381,"FlexPRICE: Flexible provisioning of resources in a cloud environment"
489,"How do we remember the past in randomised strategies? "
3857,"Probabilistic Automata on infinite words: decidability and undecidability results"
5391,"Model checking of linearizability of concurrent list implementations"
3864,"Measuring and synthesizing systems in probabilistic environments"
4393,"Simulation distances"
5389,"Simulation distances"
3303,"The rate of fitness-valley crossing in sexual populations"
3719,"Lumpability abstractions of rule-based systems"
3776,"Genetic linkage and natural selection"
3783,"Microsatelight – Pipeline to expedite microsatellite analysis"
3788,"Finite-size corrections to scaling behavior in sorted cell aggregates"
3790,"Control of directed cell migration in vivo by membrane-to-cortex attachment"
3795,"The stability of the apparent contour of an orientable 2-manifold"
3834,"Solving the chemical master equation using sliding windows"
3839,"Invariant and type inference for matrices"
3853,"Mean-payoff automaton expressions"
3858,"The complexity of partial-observation parity games"
3860,"Generalized mean-payoff and energy games"
3865,"Analyzing the impact of change in multi-threaded programs"
4243,"A new model for evolution in a spatial continuum"
4382,"Transactions in the jungle"
3772,"Understanding adaptation in large populations"
3777,"Mutation and the evolution of recombination"
3789,"Stereotypical cell division orientation controls neural rod midline formation in zebrafish"
3498,"Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis"
3847,"SABRE: A tool for the stochastic analysis of biochemical reaction networks"
3866,"Robustness in the presence of liveness"
3842,"Fast adaptive uniformization of the chemical master equation"
3854,"Obliging games"
3859,"Formal modeling and analysis of timed systems"
3962,"Dendritic cell migration across basement membranes in the skin"
3861,"Strategy logic"
4369,"From MTL to deterministic timed automata"
474,"A new model for extinction and recolonization in two dimensions: Quantifying phylogeography"
4388,"GIST: A solver for probabilistic games"
4390,"Model checking of linearizability of concurrent list implementations"
3773,"What role does natural selection play in speciation?"
3785,"Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)"
3792,"The yolk syncytial layer in early, zebrafish development"
3848,"The robustness of level sets"
3850,"Polygonal reconstruction from approximate offsets"
3901,"Computing robustness and persistence for images"
4346,"Handbuch Bibliothek 2.0"
4339,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4396,"Shape refinement through explicit heap analysis"
4389,"Robustness of sequential circuits"
3867,"Expressiveness and closure properties for quantitative languages"
533,"Doomed program points"
3855,"Qualitative analysis of partially-observable Markov Decision Processes"
2409,"Accuracy of phylogeny reconstruction methods combining overlapping gene data sets "
3774,"Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)"
3779,"Cryptic variation between species and the basis of hybrid performance"
3793,"On parameter learning in CRF-based approaches to object class image segmentation"
3604,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3832,"Beyond TARPs: The growing list of auxiliary AMPAR subunits"
3849,"Persistent homology under non-uniform error"
3868,"Algorithms for game metrics"
3863,"Strategy construction for parity games with imperfect information"
4157,"Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis"
4378,"Building a calculus of data structures"
4380,"A marketplace for cloud resources"
4392,"Quantitative Simulation Games"
488,"Expressiveness of streaming string transducers"
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
4361,"Forward analysis of depth-bounded processes"
3856,"Randomness for free"
3851,"Energy parity games"
5388,"Quantitative synthesis for concurrent programs"
3775,"On the application of statistical physics to evolutionary biology"
3871,"Probabilistic weighted automata"
4242,"The evolution of strong reproductive isolation"
4545,"A survey of stochastic games with limsup and liminf objectives"
4569,"Better quality in synthesis through quantitative objectives"
3675,"Why sex and recombination? "
3841,"Formalisms for specifying Markovian population models"
4231,"Statistical mechanics and the evolution of polygenic quantitative traits"
5392,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,"Alternating weighted automata"
4136,"Species' range: Adaptation in space and time"
5393,"Gist: A solver for probabilistic games"
3780,"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,"Fast adaptive uniformization of the chemical master equation"
3968,"The persistent Morse complex segmentation of a 3-manifold"
4543,"Stochastic games with finitary objectives"
5394,"Improved lower bounds for request-response and finitary Streett games"
3837,"On relational interfaces"
3844,"Distributed, modular HTL"
3870,"Finitary winning in omega-regular games"
5395,"Qualitative analysis of partially-observable Markov decision processes"
517,"Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin"
6149,"Sleep: dozy worms and sleepy flies"