_id,title
2901,Computing the M most probable modes of a graphical model
2906,3D kinetic alpha complexes and their implementation
2908,Does hybridisation influence speciation?
2909,Modelling evolution in a spatial continuum
2910,Coalescent simulation in continuous space
2913,Retinal metric: a stimulus distance measure derived from population neural responses
2926,Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
2918,Anthrax toxin receptor 2a controls mitotic spindle positioning
2919,SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism
2920,Neurulation coordinating cell polarisation and lumen formation
2858,The effect of one additional driver mutation on tumor progression
2859,Homology and robustness of level and interlevel sets
3116,Code aware resource management
2815,Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
8245,Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients
1387,Nondeterminism in the presence of a diverse or unknown future
2237,Tree interpolation in Vampire
2238,Multi-objective discounted reward verification in graphs and MDPs
2243,Elementary modal logics over transitive structures
2247,Forgiver triumphs in alternating prisoner's dilemma
2244,Untangling two systems of noncrossing curves
2445,Efficient synthesis for concurrency by semantics-preserving transformations
2446,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
2447,Automating separation logic using SMT
2448,ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
2449,Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
2466,Highly adaptive liquid simulations on tetrahedral meshes
2467,Putting holes in holey geometry: Topology change for arbitrary surfaces
2468,Liquid surface tracking with error compensation
2469,Three functions of cadherins in cell adhesion
2470,Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
2471,Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
2472,Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
2473,Genetic hitch-hiking in spatially extended populations
2516,Attribute-based classification for zero-shot learning of object categories
2517,Formalizing and reasoning about quality
2410,Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
2412,Probabilistic models for CRISPR spacer content evolution
2413,Neuronal oscillations scale up and scale down the brain dynamics
2443,Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
2444,Faster algorithms for Markov decision processes with low treewidth
2300,Realization of stripes and slabs in two and three dimensions
2301,P: Safe asynchronous event-driven programming
2303,Dissection of gene function at clonal level using mosaic analysis with double markers
2304,Van der Corput sequences and linear permutations
2305,Trading performance for stability in Markov decision processes
2328,Aspect-oriented linearizability proofs
2821,A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis
2822,3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture
2823,Post-fire recovery of revegetated woodland communities in south-eastern Australia
2824,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
2826,Mutations in SCO2 are associated with autosomal-dominant high-grade myopia
2827,Salicylic acid interferes with clathrin-mediated endocytic protein trafficking
2828,The complexity of conservative valued CSPs
2829,Scale invariance at the onset of turbulence in couette flow
2830,A conduit to amplify innate immunity
2831,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
2832,Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana
2833,Forces in tissue morphogenesis and patterning
2834,Streamwise-localized solutions at the onset of turbulence in pipe flow
2835,Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis
2836,Assume-guarantee synthesis for digital contract signing
2837,The local semicircle law for a general class of random matrices
2838,Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome
2839,Interstitial dendritic cell guidance by haptotactic chemokine gradients
2840,Distinct roles of medial and lateral entorhinal cortex in spatial cognition
2841,Holding on and letting go: Cadherin turnover in cell intercalation
2842,Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks
2816,Evolutionary dynamics of cancer in response to targeted combination therapy
2817,Density games
2818,Learning quadratic receptive fields from neural responses to natural stimuli
2819,Quantitative timed simulation functions and refinement metrics for real-time systems
2812,Homological reconstruction and simplification in R3
2813,Elasto-inertial turbulence
2814,The complexity of coverage
2940,"A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it"
2944,Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.
2948,Beyond dataset bias: Multi-task unaligned shared knowledge transfer
3261,"Positional information, in bits"
2939,An output sensitive algorithm for persistent homology
1405,Analysis of dynamic message passing programs
499,Dynamic persistence of antibiotic-stressed mycobacteria
500,Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
501,A new species of tapir from the Amazon
502,Short blind signatures
505,Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins
507,Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
508,"Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications"
509,The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis
511,Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
516,"A map of cell type‐specific auxin responses"
522,Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells
527,Modeling framework for the establishment of the apical-basal embryonic axis in plants
528,Local auxin sources orient the apical basal axis in arabidopsis embryos
5403,Qualitative analysis of concurrent mean-payoff games
2279,Looking at mean-payoff and total-payoff through windows
5747,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
2329,Hyperplane separation technique for multidimensional mean-payoff games
2820,Automated analysis of real-time scheduling using graph games
827,Cytokinin cross talking during biotic and abiotic stress responses
828,Systems approaches to study root architecture dynamics
2318,Absence of bound states implies non-negativity of the scattering length
498,Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
5396,Approximating marginals using discrete energy minimization
5398,Actual state of research data @ ISTAustria
5745,Improved Single Pass Algorithms for Resolution Proof Reduction
2902,Fractal and computational geometry for generalizing cartographic objects
2912,Configuration space for shortest networks
2915,Multi-modal learning for dynamic tactile sensing
2928,Generalized sequential tree-reweighted message passing
2963,"Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata"
3124,Approximating marginals using discrete energy minimization
3166,Amino acid fermentation at the origin of the genetic code
3167,NextGen speaks 13
3243,Zwischen Technologie und Information
3244,Die Zeit des Abwartens ist vorbei!
3251,Ideal abstractions for well structured transition systems
3253,Abstract domains for automated reasoning about list manipulating programs with infinite data
3265,Image segmentation by figure-ground composition into maximal cliques
3277,Can the evolution of multicellularity be anticipated in the exploration of the solar system?
3280,Subspace LWE
3281,Lossy functions do not amplify well
3282,"Message authentication, revisited"
2048,Practical leakage-resilient symmetric cryptography
2049,Lapin: An efficient authentication protocol based on ring-LPN
3165,An O(n2) time algorithm for alternating Büchi games
2263,A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
2715,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
2848,Evolutionary game dynamics in populations with different learners
2849,On the configuration space of Steiner minimal trees
2888,Quantitative reactive models
2890,Synthesis from incompatible specifications
2891,Approximate determinization of quantitative automata
2903,The adaptive topology of a digital image
2904,Weak multipliers for generalized van der Corput sequences
2930,Towards minimizing k-submodular functions
2931,A dual decomposition approach to feature correspondence
2936,Finite automata with time delay blocks
2937,Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
2938,Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies
2916,Interface Simulation Distances
2917,The game of active search for extra terrestrial intelligence Breaking the Great Silence
3117,Minimizing a sum of submodular functions
3118,Tracking surfaces with evolving topology
3119,Controlling liquids using meshes
3120,Fano 3 folds in codimension 4 Tom and Jerry Part I
3121,Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA
3122,Disassortative mating and the maintenance of sexual polymorphism in painted maple
3123,Explicit mesh surfaces for particle based fluids
3125,Augmented attribute representations
3126,Information theoretic clustering using minimal spanning trees
3127,The most persistent soft-clique in a set of sampled graphs
3128,A survey of partial-observation stochastic parity games
3129,Annotating simplices with a homology basis and its applications
3134,Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
3135,Efficient controller synthesis for consumption games with multiple resource types
3136,Delayed continuous time Markov chains for genetic regulatory circuits
3155,Synchronous interface theories and time triggered scheduling
3156,Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion
3130,Patterns of evolutionary conservation of essential genes correlate with their compensability
3131,Limits to the rate of adaptive substitution in sexual populations
3132,Two pathways ensuring social harmony
3133,Alexander duality for functions: The persistent behavior of land and water and shore
1384,Conditional model checking: A technique to pass information between verifiers
2411,A consistent phylogenetic backbone for the fungi
2302,The propagation approach for computing biochemical reaction networks
2825,Dynamic pruning of factor graphs for maximum marginal prediction
2941,On the optimality of functionals over triangulations of Delaunay sets
2942,Independent implementability of viewpoints
2943,Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions
2945,"HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes"
2946,MicroRNAs associated with the different human Argonaute proteins
2947,Equivalence of games with probabilistic uncertainty and partial observation games
2949,The medial entorhinal cortex keeps Up
2950,Forces driving epithelial spreading in zebrafish gastrulation
2951,Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells
2952,Convergent extension Using collective cell migration and cell intercalation to shape embryos
2953,Cell-cell adhesion and extracellular matrix diversity counts
2954,A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo
2955,Partial-observation stochastic games: How to win when belief fails
2957,Decidable problems for probabilistic automata on infinite words
2958,Hippocampal place cells can encode multiple trial-dependent features through rate remapping
2959,Geometry of maximum likelihood estimation in Gaussian graphical models
2962,A novel approach for choosing summary statistics in approximate Bayesian computation
2965,Kontext Open Access: Creative Commons
2966,The dynamics of male-male competition in Cardiocondyla obscurior ants
2967,Algorithmic analysis of array-accessing programs
2968,A likelihood based comparison of population histories in a parasitoid guild
2969,Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling
2970,Investigating the principles of morphogen gradient formation: from tissues to cells
2971,Interactive labeling of image segmentation hierarchies
2974,Commitments and efficient zero knowledge proofs from learning parity with noise
5377,Mean-payoff pushdown games
2956,Mean payoff pushdown games
3242,Social transfer of pathogenic fungus promotes active immunisation in ant colonies
3245,Spurred by resistance mechanosensation in collective migration
3157,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
3158,Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo
3159,Hierarchical ordering of reticular networks
3160,Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
3161,Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
3162,Parametric identification of temporal properties
3246,Cell adhesion in embryo morphogenesis
3247,Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)
3248,Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
3164,Guest editorial: Special issue on structured prediction and inference
3260,Evolutionary dynamics of biological auctions
3262,Optimizing information flow in small genetic networks. III. A self-interacting gene
3274,A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
3279,Hardness preserving constructions of pseudorandom functions
3289,A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
3310,A point calculus for interlevel set homology
3314,Discounting and averaging in games across time scales
3250,Cryptography from learning parity with noise
3252,Synthesizing protocols for digital contract signing
3254,The complexity of stochastic Müller games
3255,Games and Markov decision processes with mean payoff parity and energy parity objectives
3256,"Dual complexes of cubical subdivisions of ℝn"
3258,Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
2964,Active properties of hippocampal CA3 pyramidal neuron dendrites
3257,Generalized roof duality and bisubmodular functions
3317,Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
3331,A worst case bound for topology computation of algebraic curves
3115,Deconstructing approximate offsets
3341,Robustness of structurally equivalent concurrent parity games
3836,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
3168,Lumpability abstractions of rule based systems
3846,"A survey of stochastic ω regular games"
2972,Energy parity games
3249,Simulation distances
492,GiA Roots: Software for the high throughput analysis of plant root system architecture
493,Review of the BCI competition IV
494,"Translating to Co-Büchi made tight, unified, and useful"
495,A Myhill Nerode theorem for automata with advice
496,Interpretations in trees with countably many branches
497,Faster algorithms for alternating refinement relations
506,Cell migration: Fibroblasts find a new way to get ahead
5378,Faster algorithms for alternating refinement relations
6588,Elementary solutions of the Bernstein problem on two intervals
5379,An O(n2) time algorithm for alternating Büchi games
5380,Bounded rationality in concurrent parity games
3264,Solving recursion-free Horn clauses over LI+UIF
3270,Persistent homology computation with a twist
3273,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3275,The role of chemotactic gradients in dendritic cell migration
3288,Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
3301,Tail approximation for the chemical master equation
3302,Static scheduling in clouds
3311,Alpha shapes - a survey
3312,Detailed reconstruction of 3D plant root shape
3325,Streaming transducers for algorithmic verification of single pass list processing programs
3326,"What’s decidable about weighted automata "
3338,Bounded rationality in concurrent parity games
3339,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
3344,Graph games with reachability objectives
3352,Biology as reactivity
3359,From boolean to quantitative synthesis
3363,The decidability frontier for probabilistic automata on infinite words
3370,Consequences of different null models on the tree shape bias of supertree methods
3383,"Invited Lectures ‐ Symposia Area"
3505,In vitro analysis of chemotactic leukocyte migration in 3D environments
3781,The difference in length of curves in R^n
3796,Covering and packing with spheres by diagonal distortion in R^n
3366,Quantitative synthesis for concurrent programs
3342,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
5381,Partial-observation stochastic games: How to win when belief fails
5384,Decidable problems for probabilistic automata on infinite words
3163,Maximum margin multi-label structured prediction
3322,Maximum margin multi label structured prediction
3266,Probabilistic joint image segmentation and labeling
3267,Hardness results for homology localization
3269,Perceptual global illumination cancellation in complex projection environments
3271,Efficient computation of persistent homology for cubical data
3287,What can we learn from single molecule trajectories?
3290,A general method for calculating likelihoods under the coalescent process
3297,Liquid simulation with mesh-based surface tracking
3298,Hybrid smoothed particle hydrodynamics
3299,Propagation models for computing biochemical reaction networks
3313,Diffusion runs low on persistence fast
3315,Timed parity games: Complexity and robustness
3316,Specification-centered robustness
3318,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3319,Learning multi-view neighborhood preserving projections
3320,Structured learning and prediction in computer vision
3329,Deconstructing approximate offsets
3330,Root refinement for real polynomials
3332,A note on the complexity of real algebraic hypersurfaces
3334,Letter from the new editors-in-chief
3335,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3323,An efficient decision procedure for imperative tree data structures
3324,Decision procedures for automating termination proofs
3328,A generic algebraic kernel for non linear geometric applications
3336,Enforcing topological constraints in random field image segmentation
3337,Learning anticipation policies for robot table tennis
5382,Robustness of structurally equivalent concurrent parity games
5386,Enforcing topological constraints in random field image segmentation
5383,On an efficient decision procedure for imperative tree data structures
3345,Energy and mean-payoff parity Markov Decision Processes
3346,Two views on multiple mean payoff objectives in Markov Decision Processes
3347,Finitary languages
3348,Synthesis of memory efficient real time controllers for safety objectives
3349,A reduction from parity games to simple stochastic games
3350,Minimum attention controller synthesis for omega regular objectives
3351,On memoryless quantitative objectives
3353,A theory of synchronous relational interfaces
3356,Temporal specifications with accumulative values
3357,The complexity of request-response games
3358,Scheduling large jobs by abstraction refinement
3360,Determinizing discounted-sum automata
3361,The complexity of quantitative information flow problems
3362,Dynamic reactive modules
3354,Qualitative concurrent parity games
3355,Quantitative evaluation of BFT protocols
5385,Temporal specifications with accumulative values
3343,Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification
5387,Energy and mean-payoff parity Markov decision processes
3771,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3778,Estimating linkage disequilibria
3784,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
3791,Cell sorting in development
3382,Learning dynamic tactile sensing with robust vision based training
3384,Natural images from the birthplace of the human eye
3385,Interstitial locomotion of leukocytes
3386,Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies
3387,Split based computation of majority rule supertrees
3388,Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion
3389,Semi supervised kernel canonical correlation analysis with application to human fMRI
3390,The relation between reproductive value and genetic contribution
3391,The contribution of statistical physics to evolutionary biology
3392,In vivo analysis of uropod function during physiological T cell trafficking
3393,Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
3394,Genetic drift widens the expected cline but narrows the expected cline width
3395,Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas
3396,Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
3397,The role of adhesion energy in controlling cell-cell contacts
3399,Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior
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
3374,Information transmission in genetic regulatory networks a review
3375,The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
3376,Resolution of gene regulatory conflicts caused by combinations of antibiotics
3377,Quantifying transversality by measuring the robustness of intersections
3378,Persistent intersection homology
3379,Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
3380,Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
3367,An output sensitive algorithm for persistent homology
3368,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
3369,The multiple faces of RIM
3371,Cells on the move in Philadelphia
3372,Inclusive fitness theory and eusociality
3364,Approximation of event probabilities in noisy cellular processes
3365,QUASY: quantitative synthesis tool
3381,Formalisms for specifying Markovian population models
3965,Computing elevation maxima by searching the Gauss sphere
490,BioSig: The free and open source software library for biomedical signal processing
491,Setting the clock for recirculating lymphocytes
469,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
518,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
531,Verification of STM on relaxed memory models
6496,Noise underlies switching behavior of the bacterial flagellum
4339,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4346,Handbuch Bibliothek 2.0
4382,Transactions in the jungle
4390,Model checking of linearizability of concurrent list implementations
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
5391,Model checking of linearizability of concurrent list implementations
3850,Polygonal reconstruction from approximate offsets
3859,Formal modeling and analysis of timed systems
3962,Dendritic cell migration across basement membranes in the skin
5388,Quantitative synthesis for concurrent programs
2409,Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
3303,The rate of fitness-valley crossing in sexual populations
3719,Lumpability abstractions of rule-based systems
3772,Understanding adaptation in large populations
3773,What role does natural selection play in speciation?
3774,Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)
3776,Genetic linkage and natural selection
3777,Mutation and the evolution of recombination
3779,Cryptic variation between species and the basis of hybrid performance
3782,Topology noise removal for curve and surface evolution
3783,"Microsatelight – Pipeline to expedite microsatellite analysis"
3785,Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)
3787,DNA extraction from formalin-fixed tissue: new light from the deep sea
3788,Finite-size corrections to scaling behavior in sorted cell aggregates
3789,Stereotypical cell division orientation controls neural rod midline formation in zebrafish
3790,Control of directed cell migration in vivo by membrane-to-cortex attachment
3792,"The yolk syncytial layer in early, zebrafish development"
3793,On parameter learning in CRF-based approaches to object class image segmentation
3794,Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning
3795,The stability of the apparent contour of an orientable 2-manifold
3832,Beyond TARPs: The growing list of auxiliary AMPAR subunits
3833,"GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)"
3834,Solving the chemical master equation using sliding windows
3838,Hybrid numerical solution of the chemical master equation
3839,Invariant and type inference for matrices
3840,From boolean to quantitative notions of correctness
3498,Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis
3604,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3718,P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
3845,Aligators for arrays
3847,SABRE: A tool for the stochastic analysis of biochemical reaction networks
3848,The robustness of level sets
3849,Persistent homology under non-uniform error
3851,Energy parity games
3852,Discounting in games across time scales
3853,Mean-payoff automaton expressions
3854,Obliging games
3842,Fast adaptive uniformization of the chemical master equation
3855,Qualitative analysis of partially-observable Markov Decision Processes
3864,Measuring and synthesizing systems in probabilistic environments
3865,Analyzing the impact of change in multi-threaded programs
3866,Robustness in the presence of liveness
3857,Probabilistic Automata on infinite words: decidability and undecidability results
3858,The complexity of partial-observation parity games
3860,Generalized mean-payoff and energy games
3863,Strategy construction for parity games with imperfect information
3856,Randomness for free
3861,Strategy logic
3868,Algorithms for game metrics
3901,Computing robustness and persistence for images
4134,Why is adaptation prevented at ecological margins? New insights from individual-based simulations
4157,Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
3867,Expressiveness and closure properties for quantitative languages
4243,A new model for evolution in a spatial continuum
4393,Simulation distances
4396,Shape refinement through explicit heap analysis
4361,Forward analysis of depth-bounded processes
4362,Runtime verification for software transactional memories
4369,From MTL to deterministic timed automata
4378,Building a calculus of data structures
4388,GIST: A solver for probabilistic games
4389,Robustness of sequential circuits
4392,Quantitative Simulation Games
4380,A marketplace for cloud resources
4381,FlexPRICE: Flexible provisioning of resources in a cloud environment
5389,Simulation distances
474,A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
488,Expressiveness of streaming string transducers
489,How do we remember the past in randomised strategies?
533,Doomed program points
4569,Better quality in synthesis through quantitative objectives
5394,Improved lower bounds for request-response and finitary Streett games
3837,On relational interfaces
3844,"Distributed, modular HTL"
3775,On the application of statistical physics to evolutionary biology
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
3675,Why sex and recombination?
3843,Fast adaptive uniformization of the chemical master equation
5395,Qualitative analysis of partially-observable Markov decision processes
3841,Formalisms for specifying Markovian population models
5392,Probabilistic automata on infinite words: Decidability and undecidability results
3870,Finitary winning in omega-regular games
3871,Probabilistic weighted automata
3968,The persistent Morse complex segmentation of a 3-manifold
4136,Species' range: Adaptation in space and time
4231,Statistical mechanics and the evolution of polygenic quantitative traits
4242,The evolution of strong reproductive isolation
5393,Gist: A solver for probabilistic games
4542,Alternating weighted automata
4543,Stochastic games with finitary objectives
4545,A survey of stochastic games with limsup and liminf objectives
6149,Sleep: dozy worms and sleepy flies
517,Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin