_id,title
7038,Playful Math - An introduction to mathematical games
1375,Approximating the minimum cycle mean
1392,A logic-based framework for verifying consensus algorithms
1393,Probabilistic programming
1395,Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
1402,Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
1403,Forces driving epithelial spreading in zebrafish epiboly
1404,Evolution of a fungal pathogen towards individual versus social immunity in ants
1507,"Random matrices, log-gases and Hölder regularity"
1532,Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
1629,Edit propagation using geometric relationship functions
8044,Structure of the excitation spectrum for many-body quantum systems
2050,Experimental investigation of transitional flow in a toroidal pipe
2183,Hierarchy and polysynchrony in an adaptive network
1516,On the BCS gap equation for superfluid fermionic gases
2000,TTP: Tool for tumor progression
2010,Geometry of the faithfulness assumption in causal inference
2181,Quantitative relaxation of concurrent data structures
2182,Quantitative abstraction refinement
2209,Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
2210,Reconstructing polygons from embedded straight skeletons
2237,Tree interpolation in Vampire
2238,Multi-objective discounted reward verification in graphs and MDPs
2243,Elementary modal logics over transitive structures
2244,Untangling two systems of noncrossing curves
2247,Forgiver triumphs in alternating prisoner's dilemma
2256,Linked (Open) Data - Bibliographische Daten im Semantic Web
2258,Digital signatures with minimal overhead from indifferentiable random invertible functions
2259,"Learning with rounding, revisited: New reduction properties and applications"
2260,Efficient signatures of knowledge and DAA in the standard model
2270,Optimal Coalition Structures in Cooperative Graph Games
2272,Inference algorithms for pattern-based CRFs on sequence data
2273,Reweighted message passing revisited
2274,Proofs of Space
2276,"Potts model, parametric maxflow and k-submodular functions"
2277,Transformation of stimulus correlations by the retina
2278,A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development
2279,Looking at mean-payoff and total-payoff through windows
2280,Packing ellipsoids with overlap
2282,Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
2283,Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger
2284,Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
2286,The force and effect of cell proliferation
2287,The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
2288,Computational Methods in Systems Biology
2289,Quantitative reactive modeling and verification
2290,ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
2291,Cryptographically enforced RBAC
2292,Mathematical Foundations of Computer Science 2013
2293,Learning to rank using privileged information
2294,Drosophila Embryo Stage Annotation using Label Propagation
2295,What is decidable about partially observable Markov decision processes with omega-regular objectives
2297,Hot topics in cold gases: A mathematical physics perspective
2298,Local shape analysis for overlaid data structures
2299,Synthesis of AMBA AHB from formal specification: A case study
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
2306,(Open) Linked Data in Bibliotheken
2327,From model checking to model measuring
2328,Aspect-oriented linearizability proofs
2329,Hyperplane separation technique for multidimensional mean-payoff games
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
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
2518,The power of linear programming for finite-valued CSPs: A constructive characterization
2520,The supervised IBP: Neighbourhood preserving infinite latent feature models
2698,Stability and semiclassics in self-generated fields
2718,Can quantitative and population genetics help us understand evolutionary computation?
2719,A variance decomposition approach to the analysis of genetic algorithms
2782,Local eigenvalue density for general MANOVA matrices
2806,High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects
2807,Extending continuous maps: Polynomiality and undecidability
2808,"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"
2810,Environmental dependence of genetic constraint
2811,Nature of laminar-turbulence intermittency in shear flows
2812,Homological reconstruction and simplification in R3
2813,Elasto-inertial turbulence
2814,The complexity of coverage
2815,Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
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
2820,Automated analysis of real-time scheduling using graph games
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
2843,Stable length estimates of tube-like shapes
2844,An auxin transport mechanism restricts positive orthogravitropism in lateral roots
2845,Developmental refinement of vesicle cycling at Schaffer collateral synapses
2846,Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution
2847,Structural Counter Abstraction
2850,The simplest maximum entropy model for collective behavior in a neural network
2851,A simple method for estimating the entropy of neural activity
2853,Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
2854,Strategy improvement for concurrent reachability and turn based stochastic safety games
2855,Mosaic analysis with double markers reveals cell type specific paternal growth dominance
2856,Optical control of metabotropic glutamate receptors
2857,Optical control of ligand-gated ion channels
2858,The effect of one additional driver mutation on tumor progression
2859,Homology and robustness of level and interlevel sets
2860,Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning
2861,Lyapunov exponent and topological entropy plateaus in piecewise linear maps
2862,"Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle"
2863,Stimulus-dependent maximum entropy models of neural population codes
2880,Auxin reflux between the endodermis and pericycle promotes lateral root initiation
2882,Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism
2883,Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane
2884,Cell adhesion mechanics of zebrafish gastrulation
2885,Mathematical and Engineering Methods in Computer Science
2886,Controllable-choice message sequence graphs
2887,Genotypic recognition and spatial responses by rice roots
450,Source population characteristics affect heterosis following genetic rescue of fragmented plant populations
476,Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions
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
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
5399,TTP: Tool for Tumor Progression
5400,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
5401,Initiatives and projects related to RD
5402,How free is your linearizable concurrent data structure?
5403,Qualitative analysis of concurrent mean-payoff games
5404,The complexity of ergodic games
5405,Perfect-information stochastic mean-payoff parity games
5406,Distributed synthesis for LTL Fragments
5407,Technical requirements and features
5408,The complexity of partial-observation stochastic parity games with finite-memory strategies
5409,Edit distance for timed automata
5410,Automatic generation of alternative starting positions for traditional board games
5747,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
6440,Replacing competition with cooperation to achieve scalable lock-free FIFO queues
2901,Computing the M most probable modes of a graphical model
2906,3D kinetic alpha complexes and their implementation
2907,Recombination and sex
2908,Does hybridisation influence speciation?
2910,Coalescent simulation in continuous space
2913,Retinal metric: a stimulus distance measure derived from population neural responses
2914,Statistical thermodynamics of natural images
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
2926,Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
2939,An output sensitive algorithm for persistent homology
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
3116,Code aware resource management
3261,"Positional information, in bits"
3321,Kernel based learning
827,Cytokinin cross talking during biotic and abiotic stress responses
828,Systems approaches to study root architecture dynamics
1374,Infinite-state games with finitary conditions
1376,Distributed synthesis for LTL fragments
1385,Synthesizing multiple boolean functions using interpolation on a single proof
1387,Nondeterminism in the presence of a diverse or unknown future
1405,Analysis of dynamic message passing programs
1406,Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
2909,Modelling evolution in a spatial continuum
2720,Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
2264,Neural development is dependent on the function of specificity protein 2 in cell cycle progression
516,"A map of cell type‐specific auxin responses"
2009,Privacy-preserving data sharing for genome-wide association studies
2048,Practical leakage-resilient symmetric cryptography
2049,Lapin: An efficient authentication protocol based on ring-LPN
2263,A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
2302,The propagation approach for computing biochemical reaction networks
2318,Absence of bound states implies non-negativity of the scattering length
2411,A consistent phylogenetic backbone for the fungi
2715,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
2825,Dynamic pruning of factor graphs for maximum marginal prediction
2848,Evolutionary game dynamics in populations with different learners
2849,On the configuration space of Steiner minimal trees
2888,Quantitative reactive models
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
498,Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
506,Cell migration: Fibroblasts find a new way to get ahead
5377,Mean-payoff pushdown games
5378,Faster algorithms for alternating refinement relations
5396,Approximating marginals using discrete energy minimization
5398,Actual state of research data @ ISTAustria
5745,Improved Single Pass Algorithms for Resolution Proof Reduction
6588,Elementary solutions of the Bernstein problem on two intervals
2890,Synthesis from incompatible specifications
2891,Approximate determinization of quantitative automata
2902,Fractal and computational geometry for generalizing cartographic objects
2903,The adaptive topology of a digital image
2904,Weak multipliers for generalized van der Corput sequences
2912,Configuration space for shortest networks
2915,Multi-modal learning for dynamic tactile sensing
2916,Interface Simulation Distances
2917,The game of active search for extra terrestrial intelligence Breaking the Great Silence
2928,Generalized sequential tree-reweighted message passing
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
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
2956,Mean payoff pushdown games
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
2963,"Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata"
2964,Active properties of hippocampal CA3 pyramidal neuron dendrites
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
2972,Energy parity games
2974,Commitments and efficient zero knowledge proofs from learning parity with noise
3115,Deconstructing approximate offsets
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
3124,Approximating marginals using discrete energy minimization
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
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
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
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
3164,Guest editorial: Special issue on structured prediction and inference
3165,An O(n2) time algorithm for alternating Büchi games
3166,Amino acid fermentation at the origin of the genetic code
3167,NextGen speaks 13
3168,Lumpability abstractions of rule based systems
3242,Social transfer of pathogenic fungus promotes active immunisation in ant colonies
3243,Zwischen Technologie und Information
3244,Die Zeit des Abwartens ist vorbei!
3245,Spurred by resistance mechanosensation in collective migration
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
3249,Simulation distances
3250,Cryptography from learning parity with noise
3251,Ideal abstractions for well structured transition systems
3252,Synthesizing protocols for digital contract signing
3253,Abstract domains for automated reasoning about list manipulating programs with infinite data
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"
3257,Generalized roof duality and bisubmodular functions
3258,Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
3260,Evolutionary dynamics of biological auctions
3262,Optimizing information flow in small genetic networks. III. A self-interacting gene
3265,Image segmentation by figure-ground composition into maximal cliques
3274,A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
3277,Can the evolution of multicellularity be anticipated in the exploration of the solar system?
3279,Hardness preserving constructions of pseudorandom functions
3280,Subspace LWE
3281,Lossy functions do not amplify well
3282,"Message authentication, revisited"
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
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
3341,Robustness of structurally equivalent concurrent parity games
3836,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
3846,"A survey of stochastic ω regular games"
1384,Conditional model checking: A technique to pass information between verifiers
469,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
490,BioSig: The free and open source software library for biomedical signal processing
491,Setting the clock for recirculating lymphocytes
518,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
531,Verification of STM on relaxed memory models
5379,An O(n2) time algorithm for alternating Büchi games
5380,Bounded rationality in concurrent parity games
5381,Partial-observation stochastic games: How to win when belief fails
5382,Robustness of structurally equivalent concurrent parity games
5383,On an efficient decision procedure for imperative tree data structures
5384,Decidable problems for probabilistic automata on infinite words
5385,Temporal specifications with accumulative values
5386,Enforcing topological constraints in random field image segmentation
5387,Energy and mean-payoff parity Markov decision processes
6496,Noise underlies switching behavior of the bacterial flagellum
3163,Maximum margin multi-label structured prediction
3264,Solving recursion-free Horn clauses over LI+UIF
3266,Probabilistic joint image segmentation and labeling
3267,Hardness results for homology localization
3269,Perceptual global illumination cancellation in complex projection environments
3270,Persistent homology computation with a twist
3271,Efficient computation of persistent homology for cubical data
3273,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3275,The role of chemotactic gradients in dendritic cell migration
3287,What can we learn from single molecule trajectories?
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
3297,Liquid simulation with mesh-based surface tracking
3298,Hybrid smoothed particle hydrodynamics
3299,Propagation models for computing biochemical reaction networks
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
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
3322,Maximum margin multi label structured prediction
3323,An efficient decision procedure for imperative tree data structures
3324,Decision procedures for automating termination proofs
3325,Streaming transducers for algorithmic verification of single pass list processing programs
3326,"What’s decidable about weighted automata "
3328,A generic algebraic kernel for non linear geometric applications
3329,Deconstructing approximate offsets
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"
3336,Enforcing topological constraints in random field image segmentation
3337,Learning anticipation policies for robot table tennis
3338,Bounded rationality in concurrent parity games
3339,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
3342,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
3343,Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification
3344,Graph games with reachability objectives
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
3352,Biology as reactivity
3353,A theory of synchronous relational interfaces
3354,Qualitative concurrent parity games
3355,Quantitative evaluation of BFT protocols
3356,Temporal specifications with accumulative values
3357,The complexity of request-response games
3358,Scheduling large jobs by abstraction refinement
3359,From boolean to quantitative synthesis
3360,Determinizing discounted-sum automata
3361,The complexity of quantitative information flow problems
3362,Dynamic reactive modules
3363,The decidability frontier for probabilistic automata on infinite words
3364,Approximation of event probabilities in noisy cellular processes
3365,QUASY: quantitative synthesis tool
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
3370,Consequences of different null models on the tree shape bias of supertree methods
3371,Cells on the move in Philadelphia
3372,Inclusive fitness theory and eusociality
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
3381,Formalisms for specifying Markovian population models
3382,Learning dynamic tactile sensing with robust vision based training
3383,"Invited Lectures ‐ Symposia Area"
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
3505,In vitro analysis of chemotactic leukocyte migration in 3D environments
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
3781,The difference in length of curves in R^n
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
3965,Computing elevation maxima by searching the Gauss sphere
3366,Quantitative synthesis for concurrent programs
3330,Root refinement for real polynomials
2409,Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
4157,Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
4243,A new model for evolution in a spatial continuum
4339,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4346,Handbuch Bibliothek 2.0
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
4380,A marketplace for cloud resources
4382,Transactions in the jungle
4388,GIST: A solver for probabilistic games
4389,Robustness of sequential circuits
4390,Model checking of linearizability of concurrent list implementations
4392,Quantitative Simulation Games
4393,Simulation distances
4396,Shape refinement through explicit heap analysis
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
5389,Simulation distances
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
5391,Model checking of linearizability of concurrent list implementations
3303,The rate of fitness-valley crossing in sexual populations
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.
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"
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
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
3842,Fast adaptive uniformization of the chemical master equation
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
3850,Polygonal reconstruction from approximate offsets
3851,Energy parity games
3852,Discounting in games across time scales
3853,Mean-payoff automaton expressions
3854,Obliging games
3855,Qualitative analysis of partially-observable Markov Decision Processes
3856,Randomness for free
3857,Probabilistic Automata on infinite words: decidability and undecidability results
3858,The complexity of partial-observation parity games
3859,Formal modeling and analysis of timed systems
3860,Generalized mean-payoff and energy games
3861,Strategy logic
3863,Strategy construction for parity games with imperfect information
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
3867,Expressiveness and closure properties for quantitative languages
3868,Algorithms for game metrics
3901,Computing robustness and persistence for images
3962,Dendritic cell migration across basement membranes in the skin
4134,Why is adaptation prevented at ecological margins? New insights from individual-based simulations
4381,FlexPRICE: Flexible provisioning of resources in a cloud environment
3785,Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)
3832,Beyond TARPs: The growing list of auxiliary AMPAR subunits
5388,Quantitative synthesis for concurrent programs
3833,"GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)"
4231,Statistical mechanics and the evolution of polygenic quantitative traits
4242,The evolution of strong reproductive isolation
4542,Alternating weighted automata
4543,Stochastic games with finitary objectives
4545,A survey of stochastic games with limsup and liminf objectives
4569,Better quality in synthesis through quantitative objectives
5392,Probabilistic automata on infinite words: Decidability and undecidability results
5393,Gist: A solver for probabilistic games
5394,Improved lower bounds for request-response and finitary Streett games
5395,Qualitative analysis of partially-observable Markov decision processes
3675,Why sex and recombination?
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
3837,On relational interfaces
3841,Formalisms for specifying Markovian population models
3843,Fast adaptive uniformization of the chemical master equation
3844,"Distributed, modular HTL"
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
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