_id,title
3275,"The role of chemotactic gradients in dendritic cell migration"
3287,"What can we learn from single molecule trajectories?"
3299,"Propagation models for computing biochemical reaction networks"
3302,"Static scheduling in clouds"
3319,"Learning multi-view neighborhood preserving projections"
3326,"What’s decidable about weighted automata "
3383,"Invited Lectures ‐ Symposia Area"
3388,"Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion"
3390,"The relation between reproductive value and genetic contribution"
3395,"Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas "
3352,"Biology as reactivity"
3369,"The multiple faces of RIM"
3371,"Cells on the move in Philadelphia"
3364,"Approximation of event probabilities in noisy cellular processes"
3357,"The complexity of request-response games"
3376,"Resolution of gene regulatory conflicts caused by combinations of antibiotics"
3965,"Computing elevation maxima by searching the Gauss sphere"
491,"Setting the clock for recirculating lymphocytes"
504,"Erratum: Species' range: Adaptation in space and time (American Naturalist 174 (E186 E204)) "
3345,"Energy and mean-payoff parity Markov Decision Processes"
5384,"Decidable problems for probabilistic automata on infinite words"
3338,"Bounded rationality in concurrent parity games"
3264,"Solving recursion-free Horn clauses over LI+UIF"
3269,"Perceptual global illumination cancellation in complex projection environments"
3271,"Efficient computation of persistent homology for cubical data"
3288,"Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens"
3290,"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"
3315,"Timed parity games: Complexity and robustness"
3322,"Maximum margin multi label structured prediction"
3334,"Letter from the new editors-in-chief"
3346,"Two views on multiple mean payoff objectives in Markov Decision Processes"
3353,"A theory of synchronous relational interfaces"
3358,"Scheduling large jobs by abstraction refinement"
3360,"Determinizing discounted-sum automata"
3372,"Inclusive fitness theory and eusociality"
3365,"QUASY: quantitative synthesis tool"
3377,"Quantifying transversality by measuring the robustness of intersections"
3771,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3505,"In vitro analysis of chemotactic leukocyte migration in 3D environments"
3384,"Natural images from the birthplace of the human eye"
3389,"Semi supervised kernel canonical correlation analysis with application to human fMRI"
3391,"The contribution of statistical physics to evolutionary biology"
3396,"Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube"
531,"Verification of STM on relaxed memory models"
5380,"Bounded rationality in concurrent parity games"
5385,"Temporal specifications with accumulative values"
6496,"Noise underlies switching behavior of the bacterial flagellum"
3311,"Alpha shapes - a survey"
3359,"From boolean to quantitative synthesis"
3361,"The complexity of quantitative information flow problems"
3330,"Root refinement for real polynomials"
3335,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3328,"A generic algebraic kernel for non linear geometric applications"
3342,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
3347,"Finitary languages"
3354,"Qualitative concurrent parity games"
3316,"Specification-centered robustness"
3784,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
3791,"Cell sorting in development"
3796,"Covering and packing with spheres by diagonal distortion in R^n"
3385,"Interstitial locomotion of leukocytes"
3392,"In vivo analysis of uropod function during physiological T cell trafficking"
3397,"The role of adhesion energy in controlling cell-cell contacts"
3405,"Modern ionotropic glutamate receptor with a K+ selectivity signature sequence"
3429,"Oct4 kinetics predict cell lineage patterning in the early mammalian embryo"
3373,"Measuring the complete force field of an optical trap"
3378,"Persistent intersection homology"
3380,"Mapping Mendelian traits in asexual progeny using changes in marker allele frequency"
518,"CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells"
5381,"Partial-observation stochastic games: How to win when belief fails"
5379,"An O(n2) time algorithm for alternating Büchi games"
3323,"An efficient decision procedure for imperative tree data structures"
3366,"Quantitative synthesis for concurrent programs"
5386,"Enforcing topological constraints in random field image segmentation"
3266,"Probabilistic joint image segmentation and labeling"
3273,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3297,"Liquid simulation with mesh-based surface tracking"
3312," Detailed reconstruction of 3D plant root shape"
3329,"Deconstructing approximate offsets"
3343,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3324,"Decision procedures for automating termination proofs"
3386,"Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies"
3393,"Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects"
3374,"Information transmission in genetic regulatory networks a review"
3379,"Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail"
3348,"Synthesis of memory efficient real time controllers for safety objectives"
3350,"Minimum attention controller synthesis for omega regular objectives"
3355,"Quantitative evaluation of BFT protocols"
3362,"Dynamic reactive modules"
3367,"An output sensitive algorithm for persistent homology"
3778,"Estimating linkage disequilibria"
3381,"Formalisms for specifying Markovian population models"
5382,"Robustness of structurally equivalent concurrent parity games"
5387,"Energy and mean-payoff parity Markov decision processes"
3336,"Enforcing topological constraints in random field image segmentation"
3267,"Hardness results for homology localization"
3298,"Hybrid smoothed particle hydrodynamics"
3301,"Tail approximation for the chemical master equation"
3313,"Diffusion runs low on persistence fast"
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"
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"
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"
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"
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"
3356,"Temporal specifications with accumulative values"
5383,"On an efficient decision procedure for imperative tree data structures"
3718,"P2Y1 receptors inhibit long-term depression in the prefrontal cortex."
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"
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"
3864,"Measuring and synthesizing systems in probabilistic environments"
4134,"Why is adaptation prevented at ecological margins? New insights from individual-based simulations"
4381,"FlexPRICE: Flexible provisioning of resources in a cloud environment"
4362,"Runtime verification for software transactional memories"
489,"How do we remember the past in randomised strategies? "
4393,"Simulation distances"
5389,"Simulation distances"
3857,"Probabilistic Automata on infinite words: decidability and undecidability results"
5391,"Model checking of linearizability of concurrent list implementations"
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"
3858,"The complexity of partial-observation parity games"
3860,"Generalized mean-payoff and energy games"
3853,"Mean-payoff automaton expressions"
4243,"A new model for evolution in a spatial continuum"
3865,"Analyzing the impact of change in multi-threaded programs"
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"
3842,"Fast adaptive uniformization of the chemical master equation"
3854,"Obliging games"
3962,"Dendritic cell migration across basement membranes in the skin"
3866,"Robustness in the presence of liveness"
3859,"Formal modeling and analysis of timed systems"
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"
3901,"Computing robustness and persistence for images"
3848,"The robustness of level sets"
3850,"Polygonal reconstruction from approximate offsets"
3867,"Expressiveness and closure properties for quantitative languages"
4339,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4346,"Handbuch Bibliothek 2.0"
4396,"Shape refinement through explicit heap analysis"
4389,"Robustness of sequential circuits"
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"
3832,"Beyond TARPs: The growing list of auxiliary AMPAR subunits"
3604,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3851,"Energy parity games"
3849,"Persistent homology under non-uniform error"
3868,"Algorithms for game metrics"
4157,"Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis"
3863,"Strategy construction for parity games with imperfect information"
3856,"Randomness for free"
4361,"Forward analysis of depth-bounded processes"
4378,"Building a calculus of data structures"
4380,"A marketplace for cloud resources"
4392,"Quantitative Simulation Games"
488,"Expressiveness of streaming string transducers"
5388,"Quantitative synthesis for concurrent programs"
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
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"