_id,title
2901,"Computing the M most probable modes of a graphical model"
2906,"3D kinetic alpha complexes and their implementation"
2913,"Retinal metric: a stimulus distance measure derived from population neural responses"
2829,"Scale invariance at the onset of turbulence in couette flow"
2855,"Mosaic analysis with double markers reveals cell type specific paternal growth dominance"
2812,"Homological reconstruction and simplification in R3"
2920,"Neurulation coordinating cell polarisation and lumen formation"
500,"Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza"
827,"Cytokinin cross talking during biotic and abiotic stress responses"
2247,"Forgiver triumphs in alternating prisoner's dilemma "
2305,"Trading performance for stability in Markov decision processes"
2444,"Faster algorithms for Markov decision processes with low treewidth"
2836,"Assume-guarantee synthesis for digital contract signing"
2817,"Density games"
2886,"Controllable-choice message sequence graphs"
2831,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
2850,"The simplest maximum entropy model for collective behavior in a neural network"
2010,"Geometry of the faithfulness assumption in causal inference"
2469,"Three functions of cadherins in cell adhesion"
2471,"Mechanism of protein kinetic stabilization by engineered disulfide crosslinks"
2306,"(Open) Linked Data in Bibliotheken"
2286,"The force and effect of cell proliferation"
2293,"Learning to rank using privileged information"
2274,"Proofs of Space"
2813,"Elasto-inertial turbulence"
2863,"Stimulus-dependent maximum entropy models of neural population codes"
2882,"Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism"
2907,"Recombination and sex"
2914,"Statistical thermodynamics of natural images"
2832,"Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana"
2837,"The local semicircle law for a general class of random matrices"
2856,"Optical control of metabotropic glutamate receptors"
2818,"Learning quadratic receptive fields from neural responses to natural stimuli"
2940,"A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it"
2919,"SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism"
450,"Source population characteristics affect heterosis following genetic rescue of fragmented plant populations"
501,"A new species of tapir from the Amazon"
5401,"Initiatives and projects related to RD"
828,"Systems approaches to study root architecture dynamics"
2445,"Efficient synthesis for concurrency by semantics-preserving transformations"
2298,"Local shape analysis for overlaid data structures"
2243,"Elementary modal logics over transitive structures"
5747,"Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates"
2887,"Genotypic recognition and spatial responses by rice roots"
2009,"Privacy-preserving data sharing for genome-wide association studies"
2270,"Optimal Coalition Structures in Cooperative Graph Games"
2256,"Linked (Open) Data - Bibliographische Daten im Semantic Web"
2244,"Untangling two systems of noncrossing curves"
2472,"Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development"
2410,"Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis"
2287,"The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant"
2294,"Drosophila Embryo Stage Annotation using Label Propagation"
2718,"Can quantitative and population genetics help us understand evolutionary computation?"
2720,"Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila"
2782,"Local eigenvalue density for general MANOVA matrices"
2807,"Extending continuous maps: Polynomiality and undecidability"
2698,"Stability and semiclassics in self-generated fields"
2883,"Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane"
2908,"Does hybridisation influence speciation? "
2910,"Coalescent simulation in continuous space"
2821,"A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis"
2826,"Mutations in SCO2 are associated with autosomal-dominant high-grade myopia"
2838,"Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome"
2857,"Optical control of ligand-gated ion channels"
3261,"Positional information, in bits"
507,"Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis"
5402,"How free is your linearizable concurrent data structure?"
5407,"Technical requirements and features"
1385,"Synthesizing multiple boolean functions using interpolation on a single proof"
2181,"Quantitative relaxation of concurrent data structures"
2299,"Synthesis of AMBA AHB from formal specification: A case study"
2814,"The complexity of coverage"
2819,"Quantitative timed simulation functions and refinement metrics for real-time systems"
2282,"Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly"
2446,"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis"
2237,"Tree interpolation in Vampire"
2290,"ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation"
2264,"Neural development is dependent on the function of specificity protein 2 in cell cycle progression"
2276,"Potts model, parametric maxflow and k-submodular functions"
2466,"Highly adaptive liquid simulations on tetrahedral meshes"
2473,"Genetic hitch-hiking in spatially extended populations"
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"
2822,"3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture"
2827,"Salicylic acid interferes with clathrin-mediated endocytic protein trafficking"
2834,"Streamwise-localized solutions at the onset of turbulence in pipe flow"
2810,"Environmental dependence of genetic constraint"
2846,"Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution"
2860,"Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning"
2909,"Modelling evolution in a spatial continuum"
2853,"Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection"
476,"Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions"
508,"Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications"
5403,"Qualitative analysis of concurrent mean-payoff games"
1374,"Infinite-state games with finitary conditions"
2000,"TTP: Tool for tumor progression"
2858,"The effect of one additional driver mutation on tumor progression"
2295,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
2517,"Formalizing and reasoning about quality"
2447,"Automating separation logic using SMT"
2839,"Interstitial dendritic cell guidance by haptotactic chemokine gradients"
2049,"Lapin: An efficient authentication protocol based on ring-LPN"
2943,"Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions"
2974,"Commitments and efficient zero knowledge proofs from learning parity with noise"
2962,"A novel approach for choosing summary statistics in approximate Bayesian computation"
3155,"Synchronous interface theories and time triggered scheduling"
3129,"Annotating simplices with a homology basis and its applications"
3131,"Limits to the rate of adaptive substitution in sexual populations"
3117,"Minimizing a sum of submodular functions"
3256,"Dual complexes of cubical subdivisions of ℝn"
3282,"Message authentication, revisited"
5396,"Approximating marginals using discrete energy minimization"
5745,"Improved Single Pass Algorithms for Resolution Proof Reduction"
2955,"Partial-observation stochastic games: How to win when belief fails"
2936,"Finite automata with time delay blocks"
3251,"Ideal abstractions for well structured transition systems"
496,"Interpretations in trees with countably many branches"
3162,"Parametric identification of temporal properties"
2937,"Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols"
2968,"A likelihood based comparison of population histories in a parasitoid guild"
3118,"Tracking surfaces with evolving topology"
3120,"Fano 3 folds in codimension 4 Tom and Jerry Part I"
3257,"Generalized roof duality and bisubmodular functions"
3310,"A point calculus for interlevel set homology"
3846,"A survey of stochastic ω regular games"
492,"GiA Roots: Software for the high throughput analysis of plant root system architecture"
2848,"Evolutionary game dynamics in populations with different learners"
3341,"Robustness of structurally equivalent concurrent parity games"
3252,"Synthesizing protocols for digital contract signing"
497,"Faster algorithms for alternating refinement relations"
3125,"Augmented attribute representations"
2318,"Absence of bound states implies non-negativity of the scattering length"
2849,"On the configuration space of Steiner minimal trees"
2969,"Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling"
3119,"Controlling liquids using meshes"
3121,"Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA"
3133,"Alexander duality for functions: The persistent behavior of land and water and shore"
3289,"A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization"
3258,"Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons"
493,"Review of the BCI competition IV"
498,"Predicting local adaptation in fragmented plant populations: Implications for restoration genetics"
5398,"Actual state of research data @ ISTAustria"
1384,"Conditional model checking: A technique to pass information between verifiers"
3157,"The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers"
2957,"Decidable problems for probabilistic automata on infinite words"
3260,"Evolutionary dynamics of biological auctions"
506,"Cell migration: Fibroblasts find a new way to get ahead"
2263,"A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors"
2903,"The adaptive topology of a digital image"
2958,"Hippocampal place cells can encode multiple trial-dependent features through rate remapping"
2941,"On the optimality of functionals over triangulations of Delaunay sets"
2946,"MicroRNAs associated with the different human Argonaute proteins"
2965,"Kontext Open Access: Creative Commons"
3127,"The most persistent soft-clique in a set of sampled graphs"
3242,"Social transfer of pathogenic fungus promotes active immunisation in ant colonies"
3158,"Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo"
3280,"Subspace LWE"
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"
2972,"Energy parity games"
2048,"Practical leakage-resilient symmetric cryptography"
2411,"A consistent phylogenetic backbone for the fungi"
2930,"Towards minimizing k-submodular functions"
2959,"Geometry of maximum likelihood estimation in Gaussian graphical models"
2954,"A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo"
2966,"The dynamics of male-male competition in Cardiocondyla obscurior ants"
3159,"Hierarchical ordering of reticular networks"
3161,"Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome"
3123,"Explicit mesh surfaces for particle based fluids"
3130,"Patterns of evolutionary conservation of essential genes correlate with their compensability"
3166,"Amino acid fermentation at the origin of the genetic code"
3262,"Optimizing information flow in small genetic networks. III. A self-interacting gene"
3248,"Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components"
2891,"Approximate determinization of quantitative automata"
2916,"Interface Simulation Distances"
2947,"Equivalence of games with probabilistic uncertainty and partial observation games"
3128,"A survey of partial-observation stochastic parity games"
3135,"Efficient controller synthesis for consumption games with multiple resource types"
495,"A Myhill Nerode theorem for automata with advice"
6588,"Elementary solutions of the Bernstein problem on two intervals"
2904,"Weak multipliers for generalized van der Corput sequences"
2928,"Generalized sequential tree-reweighted message passing"
3255,"Games and Markov decision processes with mean payoff parity and energy parity objectives"
3299,"Propagation models for computing biochemical reaction networks"
3302,"Static scheduling in clouds"
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"
3376,"Resolution of gene regulatory conflicts caused by combinations of antibiotics"
3371,"Cells on the move in Philadelphia"
3345,"Energy and mean-payoff parity Markov Decision Processes"
3326,"What’s decidable about weighted automata "
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"
3372,"Inclusive fitness theory and eusociality"
3365,"QUASY: quantitative synthesis tool"
3377,"Quantifying transversality by measuring the robustness of intersections"
3384,"Natural images from the birthplace of the human eye"
3391,"The contribution of statistical physics to evolutionary biology"
3396,"Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube"
5380,"Bounded rationality in concurrent parity games"
6496,"Noise underlies switching behavior of the bacterial flagellum"
3346,"Two views on multiple mean payoff objectives in Markov Decision Processes"
3353,"A theory of synchronous relational interfaces"
3360,"Determinizing discounted-sum automata"
531,"Verification of STM on relaxed memory models"
3358,"Scheduling large jobs by abstraction refinement"
3269,"Perceptual global illumination cancellation in complex projection environments"
3505,"In vitro analysis of chemotactic leukocyte migration in 3D environments"
3330,"Root refinement for real polynomials"
3335,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3796,"Covering and packing with spheres by diagonal distortion in R^n"
3397,"The role of adhesion energy in controlling cell-cell contacts"
3405,"Modern ionotropic glutamate receptor with a K+ selectivity signature sequence"
3373,"Measuring the complete force field of an optical trap"
5386,"Enforcing topological constraints in random field image segmentation"
3366,"Quantitative synthesis for concurrent programs"
3361,"The complexity of quantitative information flow problems"
3347,"Finitary languages"
518,"CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells"
3316,"Specification-centered robustness"
3328,"A generic algebraic kernel for non linear geometric applications"
3380,"Mapping Mendelian traits in asexual progeny using changes in marker allele frequency"
3784,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
3297,"Liquid simulation with mesh-based surface tracking"
3324,"Decision procedures for automating termination proofs"
3329,"Deconstructing approximate offsets"
3355,"Quantitative evaluation of BFT protocols"
3343,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3778,"Estimating linkage disequilibria"
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"
3312,"Detailed reconstruction of 3D plant root shape"
3362,"Dynamic reactive modules"
3298,"Hybrid smoothed particle hydrodynamics"
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"
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"
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"
3320,"Structured learning and prediction in computer vision"
3332,"A note on the complexity of real algebraic hypersurfaces"
3787,"DNA extraction from formalin-fixed tissue: new light from the deep sea"
3838,"Hybrid numerical solution of the chemical master equation"
3852,"Discounting in games across time scales"
3845,"Aligators for arrays"
4381,"FlexPRICE: Flexible provisioning of resources in a cloud environment"
489,"How do we remember the past in randomised strategies? "
3303,"The rate of fitness-valley crossing in sexual populations"
3719,"Lumpability abstractions of rule-based systems"
3776,"Genetic linkage and natural selection"
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"
4243,"A new model for evolution in a spatial continuum"
4382,"Transactions in the jungle"
3860,"Generalized mean-payoff and energy games"
3858,"The complexity of partial-observation parity games"
3772,"Understanding adaptation in large populations"
3777,"Mutation and the evolution of recombination"
3847,"SABRE: A tool for the stochastic analysis of biochemical reaction networks"
3866,"Robustness in the presence of liveness"
4369,"From MTL to deterministic timed automata"
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?"
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"
2409,"Accuracy of phylogeny reconstruction methods combining overlapping gene data sets "
3779,"Cryptic variation between species and the basis of hybrid performance"
3832,"Beyond TARPs: The growing list of auxiliary AMPAR subunits"
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"
4378,"Building a calculus of data structures"
4380,"A marketplace for cloud resources"
488,"Expressiveness of streaming string transducers"
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
3793,"On parameter learning in CRF-based approaches to object class image segmentation"
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"
3841,"Formalisms for specifying Markovian population models"
5392,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,"Alternating weighted automata"
4136,"Species' range: Adaptation in space and time"
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"
3968,"The persistent Morse complex segmentation of a 3-manifold"
5394,"Improved lower bounds for request-response and finitary Streett games"
3843,"Fast adaptive uniformization of the chemical master equation"
3837,"On relational interfaces"
3844,"Distributed, modular HTL"
3870,"Finitary winning in omega-regular games"
5395,"Qualitative analysis of partially-observable Markov decision processes"