_id,title
1324,"Indefinite-horizon reachability in Goal-DEC-POMDPs"
1413,"Generalized diffusion curves: An improved vector representation for smooth-shaded images"
1386,"Termination analysis of probabilistic programs through Positivstellensatz's"
1432,"Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks"
1545,"Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations"
1526,"Lipschitz robustness of timed I/O systems"
1071,"Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs"
1437,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
5453,"Arbitrarily strong amplifiers of natural selection"
1379,"Finding non-orientable surfaces in 3-manifolds"
1278,"Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies"
1483,"A stable multi-scale kernel for topological machine learning"
1495,"Relaxed disk packing"
1534,"Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism"
1508,"Gap universality of generalized Wigner and β ensembles"
1546,"Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development"
1558,"The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation"
1560,"The lymph node filter revealed"
1565,"Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells"
1584,"Reprint of: Weighted straight skeletons in the plane"
1589,"Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system"
1572,"Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet"
1596,"Vertical visibility among parallel polygons in three dimensions"
1623,"Single-cell screening of photosynthetic growth and lactate production by cyanobacteria"
1611,"Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction"
1635,"Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models"
1666,"Dynamics of transcription factor binding site evolution"
1685,"A fixed parameter tractable approximation scheme for the optimal cut graph of a surface"
1654,"Generic security of NMAC and HMAC with input whitening"
1642,"Clustered planarity testing revisited"
1700,"Ultralong-range order in the Fermi-Hubbard model with long-range interactions"
1712,"Drosophila immune cell migration and adhesion during embryonic development and larval immune responses"
1813,"Rotation of quantum impurities in the presence of a many-body environment"
1818,"Limits to adaptation along environmental gradients"
1793,"DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots"
1868,"Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances"
1940,"Optimizing information flow in small genetic networks. IV. Spatial coupling"
1938,"On the distribution of local extrema in quantum chaos"
1849,"Calcium is an organizer of cell polarity in plants"
2025,"The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins"
1399,"On the approximation of intrinsic volumes"
477,"The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells"
802,"Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis"
1591,"PIN-dependent auxin transport: Action, regulation, and evolution"
1510,"On computability and triviality of well groups"
5430,"Faster algorithms for quantitative verification in constant treewidth graphs"
1541,"XSpeed: Accelerating reachability analysis on multi-core processors"
1553,"Actin flows mediate a universal coupling between cell speed and cell persistence"
1539,"Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space"
1609,"The complexity of synthesis from probabilistic components"
1692,"Eliminating spurious transitions in reachability with support functions"
1697,"High accuracy decoding of dynamical motion from a large retinal population"
1673,"Amplifiers of selection"
1630,"Learning shape placements by example"
1678,"Light-assisted small-molecule screening against protein kinases"
1680,"On the decidability of elementary modal logics"
1856,"Measuring and synthesizing systems in probabilistic environments"
1882,"Compositionality for quantitative specifications"
1729,"From non-preemptive to preemptive scheduling using synchronization synthesis"
1731,"Randomness for free"
1661,"Improved algorithms for one-pair and k-pair Streett objectives"
5435,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
523,"Looking at mean-payoff and total-payoff through windows"
1604,"Quantitative interprocedural analysis"
2006,"The monotone secant conjecture in the real Schubert calculus"
1832,"Aspect-oriented linearizability proofs"
5442,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1820,"Optimal cost almost-sure reachability in POMDPs"
1647,"Practical round-optimal blind signatures in the standard model"
1577,"Birth of a new gene on the Y chromosome of Drosophila melanogaster"
1837,"Subcritical versus supercritical transition to turbulence in curved pipes"
1659,"The target discounted-sum problem"
1851,"Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating"
1628,"Microstructures to control elasticity in 3D printing"
1542,"Toward a unifying framework for evolutionary processes"
1547,"Resolution of unmixed bipartite graphs"
1554,"Reporters for sensitive and quantitative measurement of auxin response"
1559,"Computational complexity of ecological and evolutionary spatial dynamics"
1561,"A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors"
1566,"An exploration of the universe of polyglutamine structures"
1509,"Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene"
1530,"Impact of the cell division cycle on gene circuits"
1573,"Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti"
1578,"Triangulations from topologically correct digital Voronoi diagrams"
1585,"Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices"
1648,"A quasipolynomial reduction for generalized selective decryption on trees"
1650,"Condensed unpredictability "
1655,"Quantifying emergent behavior of autonomous robots"
1636,"Effectiveness of structural restrictions for hybrid CSPs"
1679,"Taylor's Forest"
1686,"Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection"
1667,"Optimizing performance of continuous-time stochastic systems using timeout synthesis"
1674,"Edge universality for deformed Wigner matrices"
1693,"Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3"
1706,"Multi-task and lifelong learning of kernels"
1857,"Curriculum learning of multiple tasks"
1864,"The Altshuler–Shklovskii formulas for random band matrices II: The general case"
1871,"Auxin transporters and binding proteins at a glance"
1807,"Sharp interface limit for two components Bose-Einstein condensates"
1819,"Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana"
1845,"Excitement about inhibitory presynaptic terminals"
1840,"Optimal Kullback-Leibler aggregation via information bottleneck"
2014,"Faithfulness and learning hypergraphs from discrete distributions"
473,"Derivation of nonlinear gibbs measures from many-body quantum mechanics"
524,"Qualitative analysis of concurrent mean payoff games"
5431,"The patience of concurrent stochastic games with safety and reachability objectives"
1939,"Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit"
1511,"On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result"
5443,"A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs"
1624,"Cellular cooperation with shift updating and repulsion"
1814,"Water wave animation via wavefront parameter interpolation"
1681,"Evolution of decisions in population games with sequentially searching individuals"
1732,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1698,"The complexity of multi-mean-payoff and multi-energy games"
1701,"Thermodynamics and signatures of criticality in a network of neurons"
1838,"Assume-guarantee synthesis for concurrent reactive programs with partial information"
5429,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5436,"Nested weighted automata"
5549,"Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes"
1383,"V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis"
1535,"Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells"
1580,"Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons"
1605,"Abstraction-based parameter synthesis for multiaffine systems"
1883,"Anomalous scaling in an age-dependent branching model"
1430,"First steps towards a runtime comparison of natural and artificial evolution"
1497,"Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data"
1505,"Universality for the largest eigenvalue of sample covariance matrices with general population"
1543,"A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants"
1548,"Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination"
1550,"Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries"
1562,"Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles"
1567,"Shape, homology, persistence, and stability"
1517,"From large deviations to Wasserstein gradient flows in multiple dimensions"
1531,"Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature"
1536,"Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport"
1574,"A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development"
1593,"Strategies of seedlings to overcome their sessile nature: Auxin in mobility control"
1579,"Galois groups of Schubert problems of lines are at least alternating"
1581,"Gradients are shaping up"
1586,"Metabolic engineering of cyanobacteria for the synthesis of commodity products"
1649,"Efficient zero-knowledge proofs for commitments from learning with errors over rings"
1651,"Anonymous transferable e-cash"
1644,"Query-complexity amplification for random oracles"
1618,"Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites"
1625,"Detailed spatio-temporal reconstruction of eyelids"
1632,"A stream function solver for liquid simulations"
1699,"Adaptive gene introgression after secondary contact"
1682,"Robust satisfiability of systems of equations"
1687,"Navigating in tissue mazes: Chemoattractant interpretation in complex environments"
1668,"Relaxing full-codebook security: A refined analysis of key-length extension schemes"
1663,"Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2"
1827,"Evolution of bow-tie architectures in biology"
1834,"Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats"
1808,"Guest editors' introduction to special issue on computational methods in systems biology"
1841,"A new look at reweighted message passing"
1992,"Succinct representation of concurrent trace sets"
1997,"The three-state toric homogeneous Markov chain model has Markov degree two"
1858,"Predicting the future behavior of a time-varying probability distribution"
1860,"Classifier adaptation at prediction time"
1865,"Plant embryogenesis requires AUX/LAX-mediated auxin influx"
2008,"Iterative scaling in curved exponential families"
2166,"The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case"
1675,"Proofs of space"
532,"EIN2-directed translational regulation of ethylene signaling in arabidopsis"
5444,"Reconstructing robust phylogenies of metastatic cancers"
5432,"The complexity of evolutionary games on graphs"
1637,"The complexity of general-valued CSPs"
5437,"Faster algorithms for quantitative verification in constant treewidth graphs"
1606,"Runtime verification for hybrid analysis tools"
1670,"PDDL+ planning with hybrid automata: Foundations of translating must behavior"
1810,"Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution"
1839,"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"
2034,"Probabilistic opacity for Markov decision processes"
1694,"Quantitative temporal simulation and refinement distances for timed systems"
1656,"Nested weighted automata"
1512,"Bounding Helly numbers via Betti numbers"
1598,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
1714,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
1601,"The Hanoi omega-automata format"
1846,"Refinement checking on parametric modal transition systems"
1555,"Rich bifurcation structure in a two patch vaccination model"
1424,"Statistical topological data analysis-A kernel perspective"
1544,"Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins"
1549,"Flipping the photoswitch: Ion channels under light control"
1551,"Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes"
1556,"The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development"
1563,"An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds"
1513,"The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
1520,"Computational design of walking automata"
1506,"The logarithmic law of random determinant"
1570,"Novel plasticity rule can explain the development of sensorimotor intelligence"
1575,"Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells"
1582,"Weighted straight skeletons in the plane"
1638,"A giant molecular proton pump: structure and mechanism of respiratory complex I"
1645,"Secret-key cryptography from ideal primitives: A systematic verview"
1652,"High parallel complexity graphs and memory-hard functions"
1626,"OmniAD: Data-driven omni-directional aerodynamics"
1695,"Evaluation techniques for Gutzwiller wave functions in finite dimensions"
1703,"An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas"
1669,"The chain rule for HILL pseudoentropy, revisited"
1671,"The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC"
1683,"Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions"
1688,"Bounds for Pach's selection theorem and for the minimum solid angle in a simplex"
1664,"The rise of fully turbulent flow"
1710,"Minimal resistance of curves under the single impact assumption"
1676,"Editorial overview: Cell adhesion and migration"
1734,"Recent advances in facial appearance capture"
1789,"Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome"
1830,"Opposing effects of allogrooming on disease transmission in ant societies"
1809,"Indirect genetic effects and the dynamics of social interactions"
1811,"Analytical evaluation of atomic form factors: Application to Rayleigh scattering"
1804,"Transition to turbulence in Taylor-Couette ferrofluidic flow"
1859,"A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle"
1861,"Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks"
1866,"The equivalence problem for finite automata: Technical perspective"
1873,"POMDPs under probabilistic semantics"
1878,"Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula"
1880,"Superfluid behavior of a Bose-Einstein condensate in a random potential"
1885,"Positional information, positional error, and readout precision in morphogenesis: A mathematical framework"
1993,"Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host"
1847,"ABP1: Finally docking"
2030,"A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow"
2035,"The persistent homology of a self-map"
2085,"Collective excitations of Bose gases in the mean-field regime"
5440,"The complexity of evolutionary games on graphs"
1633,"High-resolution brittle fracture simulation with boundary elements"
1498,"The need for language support for fault-tolerant distributed systems"
1501,"CEGAR for compositional analysis of qualitative properties in Markov decision processes"
1594,"Controller synthesis for MDPs and frequency LTL\GU"
1537,"Cortical contractility triggers a stochastic switch to fast amoeboid cell motility"
1640,"Cytokinin response factors regulate PIN-FORMED auxin transporters"
1614,"Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells"
1835,"Model checking gene regulatory networks"
1823,"Systematic discovery of drug interaction mechanisms"
1690,"HYST: A source transformation and translation tool for hybrid automaton models"
1657,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5438,"Edit distance for pushdown automata"
1602,"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth"
1607,"Faster algorithms for quantitative verification in constant treewidth graphs"
1619,"Quantifying the determinants of evolutionary dynamics leading to drug resistance"
1828,"Invariant measures of genetic recombination process"
1481,"Automatic generation of alternative starting positions for simple traditional board games"
1525,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
1474,"Policy privacy in cryptographic access control"
1400,"The subclonal evolution of cancer"
1587,"Quantum interference shifts in laser spectroscopy with elliptical polarization"
1568,"The classification of endoscopy images with persistent homology"
1425,"Lifelong learning with non-i.i.d. tasks"
1401,"Learning with attributes for object recognition: Parametric and non-parametrics views"
1540,"The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis"
1557,"Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats"
1564,"Editorial: Emergent neural computation from the interaction of different forms of plasticity"
1519,"The interpretation of selection coefficients"
1538,"Iterative experiment design guides the characterization of a light-inducible gene expression circuit"
1533,"Segmentation over detection via optimal sparse reconstructions"
1588,"Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows"
1590,"Representing directed trees as straight skeletons"
1569,"An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana"
1571,"Breaking evolutionary constraint with a tradeoff ratchet"
1583,"A simple algorithm for computing positively weighted straight skeletons of monotone polygons"
1639,"A generalized model for optimal transport of images including dissipation and density modulation"
1646,"Key-homomorphic constrained pseudorandom functions"
1660,"Long-run average behaviour of probabilistic vector addition systems"
1615,"Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism"
1627,"Design and fabrication of flexible rod meshes"
1634,"Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams"
1696,"Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states"
1704,"Note on a family of monotone quantum relative entropies"
1730,"Discrete systolic inequalities and decompositions of triangulated surfaces"
1677,"The local semicircle law for random matrices with a fourfold symmetry"
1735,"A dimension-reduced pressure solver for liquid simulations"
1850,"Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates"
1824,"Evolutionary games of condensates in coupled birth-death processes"
1831,"Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies"
1817,"YAP is essential for tissue tension to ensure vertebrate 3D body shape"
1792,"A Koksma-Hlawka inequality for general discrepancy systems"
1944,"Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants"
1867,"Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection"
1874,"A three-plane architectonic atlas of the rat hippocampal region"
1879,"Developing 3D SEM in a broad biological context"
1843,"Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]"
2271,"The power of linear programming for general-valued CSPs"
1805,"Homological reconstruction and simplification in R3"
5434,"Optimal cost indefinite-horizon reachability in goal DEC-POMDPs"
5749,"Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria"
1576,"Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation"
1502,"Complete composition operators for IOCO-testing theory"
1499,"Polynomial time decidability of weighted synchronization under partial observability"
1689,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
1691,"Temporal logic motion planning using POMDPs with parity objectives: Case study paper"
1658,"Adaptive moment closure for parameter inference of biochemical reaction networks"
1836,"Segment abstraction for worst-case execution time analysis"
1610,"Edit distance for pushdown automata"
1603,"Counterexample explanation by learning small strategies in Markov decision processes"
1855,"A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees"
1812,"Exotic roton excitations in quadrupolar Bose–Einstein condensates "
5441,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1595,"Hanani-Tutte for radial planarity"
1709,"Biological auctions with multiple rewards"
1665,"Mutations driving CLL and their evolution in progression and relapse"
1848,"FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors"
1672,"Incoercible multi-party computation and universally composable receipt-free voting"
5439,"The target discounted-sum problem"
1402,"Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana"
1806,"Auxin on the road navigated by cellular PIN polarity"
1870,"Lipschitz robustness of finite-state transducers"
1875,"Cost-aware automatic program repair"
1887,"Gemeinsame Krankheitsabwehr in Ameisengesellschaften"
1894,"Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA"
1902,"Growth rates made easy"
1995,"Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification"
1914,"Plant biology: Gatekeepers of the road to protein perdition"
1919,"Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning"
1921,"Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis"
1933,"Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates"
2013,"Hypersurfaces and their singularities in partial correlation testing"
1844,"Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history"
2018,"Netrin-G/NGL complexes encode functional synaptic diversification"
1907,"Optimality of non-adaptive strategies: The case of parallel games"
2044,"Clear and Compress: Computing Persistent Homology in Chunks"
2032,"The optogenetic promise for oncology: Episode I"
2056,"Markov chain aggregation and its applications to combinatorial reaction networks"
2020,"Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice"
2164,"Epilepsy-induced motility of differentiated neurons"
2169,"Diverse forms of selection in evolution and computer science"
2171,"Closed-form approximate CRF training for scalable image segmentation"
2176,"Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue"
2183,"Hierarchy and polysynchrony in an adaptive network "
2188,"Polar delivery in plants; commonalities and differences to animal epithelial cells"
2222,"VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis"
2227,"Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences"
2241,"Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage"
2246,"Alternating traps in Muller and parity games"
2215,"Mechanisms and principles of homology search during recombination"
2265,"Molecular pathways controlling the sequential steps of cortical projection neuron migration"
3263,"Adaptation to changes in higher-order stimulus statistics in the salamander retina"
6178,"UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo"
2001,"Bacterial responses to antibiotics and their combinations"
2082,"The exact PRF-security of NMAC and HMAC"
5428,"Quantitative fair simulation games"
1375,"Approximating the minimum cycle mean"
2234,"Markov decision processes with multiple long-run average objectives"
2239,"Battery transition systems"
2190,"From LTL to deterministic automata: A safraless compositional approach"
2063,"CEGAR for qualitative analysis of probabilistic systems"
535,"Polynomial time algorithms for energy games with special weight structures"
5416,"Model measuring for hybrid systems"
2905,"Persistent homology: Theory and practice"
2157,"Embeddability in the 3 sphere is decidable"
1926,"Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips"
5411,"Compositional specifications for IOCO testing"
1899,"Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN"
5423,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
2253,"Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth"
1395,"Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus"
1629,"Edit propagation using geometric relationship functions"
1643,"Constrained Verifiable Random Functions "
1876,"Functionals on triangulations of delaunay sets"
1888,"Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften"
1890,"Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection"
1895,"Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice"
1908,"The rate of adaptation in large sexual populations with linear chromosomes"
1910,"Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2"
1852,"An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis"
1821,"Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation"
1996,"Bimodal regulation of ICR1 levels generates self-organizing auxin distribution"
1915,"Rho-GTPase-regulated vesicle trafficking in plant cell polarity"
1922,"Dynamic infrared imaging analysis of apical hook development in Arabidopsis: The case of brassinosteroids"
1934,"Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis"
2021,"Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling"
2002,"Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus"
2007,"gIPFrm: Generalized iterative proportional fitting for relational models"
2033,"Mind the nuisance: Gaussian process classification using privileged noise"
2019,"Phase transition in the density of states of quantum spin glasses"
2040,"Coordination of progenitor specification and growth in mouse and chick spinal cord"
2045,"Enhanced chosen-ciphertext security and applications"
2052,"Parameterized model checking of rendezvous systems"
2064,"Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus"
2057,"Majority vote of diverse classifiers for late fusion"
2172,"Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters"
2177,"On the computational complexity of betti numbers reductions from matrix rank"
2184,"Computing all maps into a sphere"
2153,"Induced matchings of barcodes and the algebraic stability of persistence"
2160,"A PAC-Bayesian bound for Lifelong Learning"
2158,"New paradigms in the establishment and maintenance of gradients during directed cell migration"
2223,"BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis"
2230,"Stimfit: Quantifying electrophysiological data with Python"
2235,"Disease associations between honeybees and bumblebees as a threat to wild pollinators"
2242,"A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation"
2261,"DICE, an efficient system for iterative genomic editing in human pluripotent stem cells"
2285,"Morpho-physiological criteria divide dentate gyrus interneurons into classes"
5417,"From model checking to model measuring"
2216,"Edit distance for timed automata"
7038,"Playful Math - An introduction to mathematical games"
1869,"Suraq - a controller synthesis tool using uninterpreted functions"
5424,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
2026,"Rabinizer 3: Safraless translation of ltl to small deterministic automata"
1903,"Partial-observation stochastic reachability and parity games"
5412,"CEGAR for qualitative analysis of probabilistic systems"
2254,"Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations"
2228,"A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons"
2716,"Strategy synthesis for multi-dimensional quantitative objectives"
1403,"Forces driving epithelial spreading in zebrafish epiboly"
2141,"Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition"
2211,"Partial-observation stochastic games: How to win when belief fails"
2038,"Temporal specifications with accumulative values"
2189,"Adaptation de domaine de vote de majorité par auto-étiquetage non itératif"
1516,"On the BCS gap equation for superfluid fermionic gases"
2083,"Role of sex and migration in adaptation to sink environments"
1404,"Evolution of a fungal pathogen towards individual versus social immunity in ants"
1702,"Generalised interpolation by solving recursion free-horn clauses"
1822,Introduction
1853,"Game theoretic secure localization in wireless sensor networks"
1877,"Physiology: Relax and come in"
1884,"Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples"
1889,"Translation-invariant quasi-free states for fermionic systems and the BCS approximation"
1891,"Theoretical tests of the mechanical protection strategy in protein nanomechanics"
1896,"Mathematical model of alternative mechanism of telomere length maintenance"
1923,"Active elastic thin shell theory for cellular deformations"
1928,"Evolutionary dynamics of infectious diseases in finite populations"
1930,"Fast and memory-efficient topological denoising of 2D and 3D scalar fields"
1935,"Formation of stripes and slabs near the ferromagnetic transition"
1904,"Strichartz inequality for orthonormal functions"
1909,"The fitness costs of adaptation via phenotypic plasticity and maternal effects"
1911,"Tverberg's Theorem and Graph Coloring"
2041,"Structure, function and plasticity of hippocampal dentate gyrus microcircuits"
2046,"Policy-based signatures"
2003,"Learning by example in the hippocampus"
2058,"Blending liquids"
2022,"Deterministic progenitor behavior and unitary production of neurons in the neocortex"
2173,"CoConut: Co-classification with output space regularization"
2178,"Markov degree of the three-state toric homogeneous Markov chain model"
2180,"Learning a priori constrained weighted majority votes"
2185,"Key derivation without entropy waste"
2154,"On Gromov's method of selecting heavily covered points"
2159,"Eliminating Tverberg points, I. An analogue of the Whitney trick"
2161,"Increased grooming after repeated brood care provides sanitary benefits in a clonal ant"
2224,"On secondary instabilities generating footbridges between spiral vortex flow"
2231,"Noise and information transmission in promoters with multiple internal states"
2236,"How to fake auxiliary input"
2248,"Thumbs down: A molecular-morphogenetic approach to avian digit homology"
2250,"Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ""orphan"" viral proteins"
2255,"Stable length estimates of tube-like shapes"
2084,"Spatio-temporally precise activation of engineered receptor tyrosine kinases by light"
537,"Fitness consequences of maternal and grandmaternal effects"
5420,"The value 1 problem for concurrent mean-payoff games"
6853,"A Short Course in Computational Geometry and Topology"
1872,"Extensional crisis and proving identity"
2027,"Verification of markov decision processes using learning algorithms"
2229,"Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse"
2039,"The time scale of evolutionary innovation"
2053,"Probabilistic bisimulation: Naturally on distributions"
2212,"Perfect-information stochastic mean-payoff parity games"
5413,"CEGAR for qualitative analysis of probabilistic systems"
5418,"Games with a weak adversary"
1733,"Interface simulation distances"
2217,"Model measuring for hybrid systems"
5425,"Optimal cost almost-sure reachability in POMDPs"
1916,"Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders"
1532,"Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source"
1708,"Spatio-temporal representations of uncertainty in spiking neural networks"
1816,"Topology-preserving watermarking of vector graphics"
1842,"On the geometric ramsey number of outerplanar graphs"
1892,"Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids"
1897,"Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis"
1900,"Lateral junction dynamics lead the way out"
1998,"Individual and social immunisation in insects"
1924,"Auxin transport and activity regulate stomatal patterning and development"
1929,"An algorithm for cartographic generalization that preserves global topology"
1931,"Emergence of task-dependent representations in working memory circuits"
1936,"An arms race between producers and scroungers can drive the evolution of social cognition"
1905,"Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations"
1854,"Partial shape matching using transformation parameter similarity"
2059,"The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos"
2061,"Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis"
2042,"Motif depletion in bacteriophages infecting hosts with CRISPR systems"
2047,"Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases"
2004,"Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord"
2011,"Scalable privacy-preserving data sharing methodology for genome-wide association studies"
2028,"Characterizing spiking in noisy type II neurons"
2023,"Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution"
2155,"The morse theory of Čech and Delaunay filtrations"
2174,"Stability and response of polygenic traits to stabilizing selection and mutation"
2179,"Local semicircle law with imprimitive variance matrix"
2186,"On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti"
2220,"Suppressive drug interactions between antifungals"
2225,"Isotropic local laws for sample covariance and generalized Wigner matrices"
2232,"Deterministic and stochastic aspects of the transition to turbulence"
2249,"Inter-regulation of the unfolded protein response and auxin signaling"
2275,"Partial enumeration and curvature regularization"
2852,"Robust multi-property combiners for hash functions"
468,"Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches"
5419,"Improved algorithms for reachability and shortest path on low tree-width graphs"
5421,"The complexity of evolution on graphs"
1912,"The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ"
1392,"A logic-based framework for verifying consensus algorithms"
5426,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
2218,"Regression-free synthesis for concurrency"
2213,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
2162,"The complexity of ergodic mean payoff games"
5414,"CEGAR for qualitative analysis of probabilistic systems"
2054,"Qualitative concurrent parity games: Bounded rationality"
475,"First cycle games"
2251,"Sharp wave/ripple network oscillations and learning-associated hippocampal maps"
2167,"Compositional specifications for IOCO testing"
1917,"Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling"
1507,"Random matrices, log-gases and Hölder regularity"
1829,"Movement templates for learning of hitting and batting"
1994,"Directional auxin transport mechanisms in early diverging land plants"
1862,"Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules"
1893,"SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis"
1898,"Ultrafast action potentials mediate kilohertz signaling at a central synapse"
1901,"WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis"
1918,"Existence of ground states for negative ions at the binding threshold"
1920,"Distinct cerebellar engrams in short-term and long-term motor learning"
1932,"Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations"
1937,"Edge universality of beta ensembles"
2005,"Turning heads to remember places"
2012,"Sphere packing with limited overlap"
2043,"Distributed computation of persistent homology"
2050,"Experimental investigation of transitional flow in a toroidal pipe"
2029,"Validity of spin-wave theory for the quantum Heisenberg model"
2036,"Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses"
2024,"Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole"
2168,"Coalescent simulation in continuous space: Algorithms for large neighbourhood size"
2170,"Likelihood-based inference of population history from low-coverage de novo genome assemblies"
2175,"Monitoring neurogenesis in the cerebral cortex: an update"
2219,"Simple chosen-ciphertext security from low noise LPN"
2226,"Transient growth of Ekman-Couette flow"
2240,"The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants"
2156,"Measuring distance between Reeb graphs"
2086,"So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees"
2214,"Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects"
2245,"Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters"
2252,"Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila"
2699,"Universality of general β-ensembles"
5427,"Optimal tree-decomposition balancing and reachability on low treewidth graphs"
5422,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
2257,"Searching for collective behavior in a large network of sensory neurons"
2031,"Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse"
1906,"Large-scale point-cloud visualization through localized textured surface reconstruction"
2062,"Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function"
1886,"Variance predicts salience in central sensory processing"
2233,"Exact and approximate determinization of discounted-sum automata"
2163,"Games with a weak adversary"
5415,"Nested weighted automata"
1999,"Organisational immunity in social insects"
2187,"Synthesizing robust systems"
1393,"Probabilistic programming"
1925,"A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes"
1913,"Patterns of hippocampal tau pathology differentiate neurodegenerative dementias"
2210,"Reconstructing polygons from embedded straight skeletons"
2284,"Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies"
2289,"Quantitative reactive modeling and verification"
2291,"Cryptographically enforced RBAC"
2304,"Van der Corput sequences and linear permutations"
2258,"Digital signatures with minimal overhead from indifferentiable random invertible functions"
2260,"Efficient signatures of knowledge and DAA in the standard model"
2272,"Inference algorithms for pattern-based CRFs on sequence data"
2277,"Transformation of stimulus correlations by the retina"
2518,"The power of linear programming for finite-valued CSPs: A constructive characterization"
2520,"The supervised IBP: Neighbourhood preserving infinite latent feature models"
2448,"ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip"
2467,"Putting holes in holey geometry: Topology change for arbitrary surfaces"
2412,"Probabilistic models for CRISPR spacer content evolution "
2443,"Defining the selectivity of processes along the auxin response chain: A study using auxin analogues"
2823,"Post-fire recovery of revegetated woodland communities in south-eastern Australia"
2828,"The complexity of conservative valued CSPs"
2830,"A conduit to amplify innate immunity"
2835,"Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis"
2842,"Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks"
2816,"Evolutionary dynamics of cancer in response to targeted combination therapy"
2811,"Nature of laminar-turbulence intermittency in shear flows"
2861,"Lyapunov exponent and topological entropy plateaus in piecewise linear maps"
2880,"Auxin reflux between the endodermis and pericycle promotes lateral root initiation"
2885,"Mathematical and Engineering Methods in Computer Science"
2948,"Beyond dataset bias: Multi-task unaligned shared knowledge transfer"
2859,"Homology and robustness of level and interlevel sets"
3321,"Kernel based learning"
509,"The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis"
528,"Local auxin sources orient the apical basal axis in arabidopsis embryos"
516,"A map of cell type‐specific auxin responses"
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"
5409,"Edit distance for timed automata"
6440,"Replacing competition with cooperation to achieve scalable lock-free FIFO queues "
2847,"Structural Counter Abstraction"
5404,"The complexity of ergodic games"
2328,"Aspect-oriented linearizability proofs"
2854,"Strategy improvement for concurrent reachability and turn based stochastic safety games"
1387,"Nondeterminism in the presence of a diverse or unknown future"
2209,"Recognizing straight skeletons and Voronoi diagrams and reconstructing their input"
2259,"Learning with rounding, revisited: New reduction properties and applications"
2280,"Packing ellipsoids with overlap"
2278,"A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development"
2273,"Reweighted message passing revisited"
2413,"Neuronal oscillations scale up and scale down the brain dynamics "
2292,"Mathematical Foundations of Computer Science 2013"
2297,"Hot topics in cold gases: A mathematical physics perspective"
2300,"Realization of stripes and slabs in two and three dimensions"
2449,"Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis"
2468,"Liquid surface tracking with error compensation"
2470,"Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells"
2862,"Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle"
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"
2843,"Stable length estimates of tube-like shapes"
2944,"Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. "
2920,"Neurulation coordinating cell polarisation and lumen formation"
2918,"Anthrax toxin receptor 2a controls mitotic spindle positioning"
500,"Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza"
505,"Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins"
827,"Cytokinin cross talking during biotic and abiotic stress responses"
1376,"Distributed synthesis for LTL fragments"
2247,"Forgiver triumphs in alternating prisoner's dilemma "
2305,"Trading performance for stability in Markov decision processes"
5405,"Perfect-information stochastic mean-payoff parity games"
5400,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
2444,"Faster algorithms for Markov decision processes with low treewidth"
2824,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
2836,"Assume-guarantee synthesis for digital contract signing"
2817,"Density games"
2886,"Controllable-choice message sequence graphs"
2329,"Hyperplane separation technique for multidimensional mean-payoff games"
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"
2806,"High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects"
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"
2844,"An auxin transport mechanism restricts positive orthogravitropism in lateral roots"
2851,"A simple method for estimating the entropy of neural activity"
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"
2926,"Ants disinfect fungus-exposed brood by oral uptake and spread of their poison"
5406,"Distributed synthesis for LTL Fragments"
2445,"Efficient synthesis for concurrency by semantics-preserving transformations"
2298,"Local shape analysis for overlaid data structures"
2301,"P: Safe asynchronous event-driven programming"
2243,"Elementary modal logics over transitive structures"
2279,"Looking at mean-payoff and total-payoff through windows"
5747,"Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates"
2820,"Automated analysis of real-time scheduling using graph games"
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"
2516,"Attribute-based classification for zero-shot learning of object categories"
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"
2833,"Forces in tissue morphogenesis and patterning"
2838,"Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome"
2840,"Distinct roles of medial and lateral entorhinal cortex in spatial cognition"
2857,"Optical control of ligand-gated ion channels"
2845,"Developmental refinement of vesicle cycling at Schaffer collateral synapses"
3261,"Positional information, in bits"
507,"Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis"
499,"Dynamic persistence of antibiotic-stressed mycobacteria"
502,"Short blind signatures"
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"
5399,"TTP: Tool for Tumor Progression"
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"
1405,"Analysis of dynamic message passing programs"
2939,"An output sensitive algorithm for persistent homology"
2237,"Tree interpolation in Vampire"
1406,"Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading"
2238,"Multi-objective discounted reward verification in graphs and MDPs"
2283,"Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger "
2288,"Computational Methods in Systems Biology"
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"
2303,"Dissection of gene function at clonal level using mosaic analysis with double markers"
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"
2719,"A variance decomposition approach to the analysis of genetic algorithms"
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"
2841,"Holding on and letting go: Cadherin turnover in cell intercalation"
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"
3116,"Code aware resource management"
2815,"Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions"
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"
527,"Modeling framework for the establishment of the apical-basal embryonic axis in plants"
522,"Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells"
5403,"Qualitative analysis of concurrent mean-payoff games"
2327,"From model checking to model measuring"
1374,"Infinite-state games with finitary conditions"
2000,"TTP: Tool for tumor progression"
2858,"The effect of one additional driver mutation on tumor progression"
2884,"Cell adhesion mechanics of zebrafish gastrulation"
2295,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
2182,"Quantitative abstraction refinement"
5408,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
5410,"Automatic generation of alternative starting positions for traditional board games"
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"
2912,"Configuration space for shortest networks "
2943,"Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions"
2931,"A dual decomposition approach to feature correspondence"
2917,"The game of active search for extra terrestrial intelligence Breaking the Great Silence "
2974,"Commitments and efficient zero knowledge proofs from learning parity with noise"
2962,"A novel approach for choosing summary statistics in approximate Bayesian computation"
3136,"Delayed continuous time Markov chains for genetic regulatory circuits"
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"
3167,"NextGen speaks 13 "
3256,"Dual complexes of cubical subdivisions of ℝn"
3244,"Die Zeit des Abwartens ist vorbei!"
3282,"Message authentication, revisited"
3124,"Approximating marginals using discrete energy minimization"
5396,"Approximating marginals using discrete energy minimization"
5745,"Improved Single Pass Algorithms for Resolution Proof Reduction"
3249,"Simulation distances"
2950,"Forces driving epithelial spreading in zebrafish gastrulation"
5377,"Mean-payoff pushdown games"
2967,"Algorithmic analysis of array-accessing programs"
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"
3314,"Discounting and averaging in games across time scales"
496,"Interpretations in trees with countably many branches"
2715,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
3162,"Parametric identification of temporal properties"
2949,"The medial entorhinal cortex keeps Up"
2937,"Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols"
2951,"Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells"
2968,"A likelihood based comparison of population histories in a parasitoid guild"
2970,"Investigating the principles of morphogen gradient formation: from tissues to cells"
2963,"Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata"
3156,"Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion"
3118,"Tracking surfaces with evolving topology"
3120,"Fano 3 folds in codimension 4 Tom and Jerry Part I"
3132,"Two pathways ensuring social harmony"
3245,"Spurred by resistance mechanosensation in collective migration"
3257,"Generalized roof duality and bisubmodular functions"
3310,"A point calculus for interlevel set homology"
3168,"Lumpability abstractions of rule based systems"
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"
2956,"Mean payoff pushdown games"
3341,"Robustness of structurally equivalent concurrent parity games"
3252,"Synthesizing protocols for digital contract signing"
497,"Faster algorithms for alternating refinement relations"
5378,"Faster algorithms for alternating refinement relations"
3125,"Augmented attribute representations"
2318,"Absence of bound states implies non-negativity of the scattering length"
2902,"Fractal and computational geometry for generalizing cartographic objects"
2825,"Dynamic pruning of factor graphs for maximum marginal prediction"
2849,"On the configuration space of Steiner minimal trees"
2945,"HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes"
2938,"Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies"
2952,"Convergent extension Using collective cell migration and cell intercalation to shape embryos"
2969,"Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling"
2971,"Interactive labeling of image segmentation hierarchies"
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"
3126,"Information theoretic clustering using minimal spanning trees"
3164,"Guest editorial: Special issue on structured prediction and inference"
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?"
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"
3253,"Abstract domains for automated reasoning about list manipulating programs with infinite data"
2964,"Active properties of hippocampal CA3 pyramidal neuron dendrites"
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"
3246,"Cell adhesion in embryo morphogenesis"
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"
2302,"The propagation approach for computing biochemical reaction networks"
2903,"The adaptive topology of a digital image"
2915,"Multi-modal learning for dynamic tactile sensing"
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"
2953,"Cell-cell adhesion and extracellular matrix diversity counts"
3122,"Disassortative mating and the maintenance of sexual polymorphism in painted maple"
3127,"The most persistent soft-clique in a set of sampled graphs"
3134,"Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions"
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"
3160,"Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo"
3280,"Subspace LWE"
3317,"Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses"
3247,"Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)"
3331,"A worst case bound for topology computation of algebraic curves"
3115,"Deconstructing approximate offsets"
3836,"Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code"
494,"Translating to Co-Büchi made tight, unified, and useful"
2888,"Quantitative reactive models"
2890,"Synthesis from incompatible specifications"
2972,"Energy parity games"
3165,"An O(n2) time algorithm for alternating Büchi games"
3254,"The complexity of stochastic Müller 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"
3274,"A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil"
3279,"Hardness preserving constructions of pseudorandom functions"
3281,"Lossy functions do not amplify well"
3250,"Cryptography from learning parity with noise"
3248,"Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components"
3243,"Zwischen Technologie und Information"
2891,"Approximate determinization of quantitative automata"
2916,"Interface Simulation Distances"
2942,"Independent implementability of viewpoints"
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"
3270,"Persistent homology computation with a twist"
3275,"The role of chemotactic gradients in dendritic cell migration"
3287,"What can we learn from single molecule trajectories?"
3299,"Propagation models for computing biochemical reaction networks"
3302,"Static scheduling in clouds"
3352,"Biology as reactivity"
3319,"Learning multi-view neighborhood preserving projections"
3357,"The complexity of request-response games"
3383,"Invited Lectures ‐ Symposia Area"
3388,"Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion"
3390,"The relation between reproductive value and genetic contribution"
3395,"Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas "
3376,"Resolution of gene regulatory conflicts caused by combinations of antibiotics"
3369,"The multiple faces of RIM"
3371,"Cells on the move in Philadelphia"
3965,"Computing elevation maxima by searching the Gauss sphere"
3364,"Approximation of event probabilities in noisy cellular processes"
491,"Setting the clock for recirculating lymphocytes"
3338,"Bounded rationality in concurrent parity games"
5384,"Decidable problems for probabilistic automata on infinite words"
3345,"Energy and mean-payoff parity Markov Decision Processes"
3326,"What’s decidable about weighted automata "
3271,"Efficient computation of persistent homology for cubical data"
3288,"Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens"
3290,"A general method for calculating likelihoods under the coalescent process"
3339,"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives"
3163,"Maximum margin multi-label structured prediction"
3322,"Maximum margin multi label structured prediction"
3334,"Letter from the new editors-in-chief"
3372,"Inclusive fitness theory and eusociality"
3365,"QUASY: quantitative synthesis tool"
3377,"Quantifying transversality by measuring the robustness of intersections"
3771,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3384,"Natural images from the birthplace of the human eye"
3389,"Semi supervised kernel canonical correlation analysis with application to human fMRI"
3391,"The contribution of statistical physics to evolutionary biology"
3396,"Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube"
3315,"Timed parity games: Complexity and robustness"
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"
3264,"Solving recursion-free Horn clauses over LI+UIF"
3360,"Determinizing discounted-sum automata"
5385,"Temporal specifications with accumulative values"
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"
3311,"Alpha shapes - a survey"
3330,"Root refinement for real polynomials"
3335,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3791,"Cell sorting in development"
3796,"Covering and packing with spheres by diagonal distortion in R^n"
3385,"Interstitial locomotion of leukocytes"
3392,"In vivo analysis of uropod function during physiological T cell trafficking"
3397,"The role of adhesion energy in controlling cell-cell contacts"
3405,"Modern ionotropic glutamate receptor with a K+ selectivity signature sequence"
3429,"Oct4 kinetics predict cell lineage patterning in the early mammalian embryo"
3373,"Measuring the complete force field of an optical trap"
3378,"Persistent intersection homology"
5386,"Enforcing topological constraints in random field image segmentation"
3323,"An efficient decision procedure for imperative tree data structures"
5381,"Partial-observation stochastic games: How to win when belief fails"
3366,"Quantitative synthesis for concurrent programs"
3359,"From boolean to quantitative synthesis"
3361,"The complexity of quantitative information flow problems"
3347,"Finitary languages"
3354,"Qualitative concurrent parity games"
5379,"An O(n2) time algorithm for alternating Büchi games"
3342,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
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"
3266,"Probabilistic joint image segmentation and labeling"
3273,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3297,"Liquid simulation with mesh-based surface tracking"
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"
3386,"Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies"
3393,"Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects"
3374,"Information transmission in genetic regulatory networks a review"
3379,"Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail"
3381,"Formalisms for specifying Markovian population models"
3336,"Enforcing topological constraints in random field image segmentation"
3348,"Synthesis of memory efficient real time controllers for safety objectives"
3350,"Minimum attention controller synthesis for omega regular objectives"
5382,"Robustness of structurally equivalent concurrent parity games"
5387,"Energy and mean-payoff parity Markov decision processes"
3312,"Detailed reconstruction of 3D plant root shape"
3367,"An output sensitive algorithm for persistent homology"
3362,"Dynamic reactive modules"
3267,"Hardness results for homology localization"
3298,"Hybrid smoothed particle hydrodynamics"
3301,"Tail approximation for the chemical master equation"
3313,"Diffusion runs low on persistence fast"
3318,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3325,"Streaming transducers for algorithmic verification of single pass list processing programs"
3382,"Learning dynamic tactile sensing with robust vision based training"
3387,"Split based computation of majority rule supertrees"
3394,"Genetic drift widens the expected cline but narrows the expected cline width"
3399,"Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior"
3368,"Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants"
3370,"Consequences of different null models on the tree shape bias of supertree methods"
3375,"The statistical mechanics of a polygenic character under stabilizing selection mutation and drift"
3337,"Learning anticipation policies for robot table tennis"
3344,"Graph games with reachability objectives"
3781,"The difference in length of curves in R^n"
490,"BioSig: The free and open source software library for biomedical signal processing"
469,"Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor"
5383,"On an efficient decision procedure for imperative tree data structures"
3363,"The decidability frontier for probabilistic automata on infinite words"