_id,title
7272,"Getting to the root of concurrent binary search tree performance"
7258,"New approaches to reduce friction in turbulent pipe flow"
7431,"Decomposing information into copying versus transformation"
7467,"Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials"
7253,"Imprinted Cdkn1c genomic locus cell-autonomously promotes cell survival in cerebral cortex development"
7474,"Austrian High-Performance-Computing meeting (AHPC2020)"
7525,"Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway"
7570,"Slow quantum thermalization and many-body revivals from mixed phase space"
7563,"Inferring symbolic dynamics of chaotic flows from persistence"
7594,"How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator"
7481,"Functional vs. parametric equivalence of ReLU networks"
7568,"The topological correctness of the PL-approximation of isomanifolds"
7582,"Molecular evolution and diversification of proteins involved in miRNA maturation pathway"
7619,"Arabidopsis flippases cooperate with ARF GTPase xxchange factors to regulate the trafficking and polarity of PIN auxin transporters"
7638,"Non-equilibrium quantum spin dynamics from classical stochastic processes"
7348,"Monitoring event frequencies"
7196,"A role of graphs in evolutionary processes"
7463,"Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches"
7487,"Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation"
7204,"Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex"
7514,"The free energy of a dilute two-dimensional Bose gas"
7343,"Social immunity modulates competition between coinfecting pathogens"
7350,"Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2"
7569,"The relation between crosstalk and gene regulation form revisited"
7603,"Alternative splicing and DNA damage response in plants"
7622,"The IYPT and the 'Ring Oiler' problem"
7634,"Exclusive electron transport in Core@Shell PbTe@PbS colloidal semiconductor nanocrystal assemblies"
7142,"Auxin signalling in growth: Schrödinger's cat out of the bag"
7166,"Collective force generation by molecular motors is determined by strain-induced unbinding"
6997,"Auxin guides roots to avoid obstacles during gravitropic growth"
7387,"Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins"
7212,"Limits on amplifiers of natural selection under death-Birth updating"
7426,"Abstraction based verification of stability of polyhedral switched systems"
7236,"Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair"
7262,"Programming temporal morphing of self-actuated shells"
7464,"Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly"
6358,"Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems"
7224,"Habitat fragmentation and species diversity in competitive communities"
7488,"Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes"
7490,"Evolutionarily unique mechanistic framework of clathrin-mediated endocytosis in plants"
7508,"Higher order corrections to the mean-field description of the dynamics of interacting bosons"
7546,"Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression"
7553,"Statistical analysis and optimality of biological systems"
7541,"Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling"
7534,"Upper edge of chaos and the energetics of transition in pipe flow"
7572,"Computational analysis of filament polymerization dynamics in cytoskeletal networks"
7577,"Weak convergence for variational inequalities with inertial-type method"
7611,"Central limit theorem for Bose gases interacting through singular potentials"
7623,"Modeling adhesion-independent cell migration"
7251,"Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake"
7364,"nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow"
7383,"Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation"
7369,"Multiscale relevance and informative encoding in neuronal spike trains"
7388,"Nondivergence form quasilinear heat equations driven by space-time white noise"
7472,"Replay of behavioral sequences in the medial prefrontal cortex during rule switching"
7427,"Salicylic acid targets protein phosphatase 2A to attenuate growth in plants"
7460,"The hole system of triangulated shapes"
7511,"Benchmarking tomographic acquisition schemes for high-resolution structural biology"
7489,"Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension"
7554,"Weighted Poisson–Delaunay mosaics"
7509,"From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture"
7573,"Homogenisation of one-dimensional discrete optimal transport"
7605,"In search of the fastest concurrent union-find algorithm"
7580,"Stochastic activation and bistability in a Rab GTPase regulatory network"
7465,"Clathrin-mediated trafficking and PIN trafficking are required for auxin canalization and vascular tissue formation in Arabidopsis"
6918,"An efficient algorithm for computing network reliability in small treewidth"
7149,"Chromatinopathies: A focus on Cornelia de Lange syndrome"
7339,"Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission"
6761,"Dynamic resource allocation games"
7389,"Isometric study of Wasserstein spaces - the real line"
7428,"Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors"
7466,"Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila"
7473,"Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices"
7219,"Adaptive growth: Shaping auxin-mediated root system architecture"
7512,"Local laws for polynomials of Wigner matrices"
7497,"Colonization of endophyte Acremonium sp. D212 in Panax notoginseng and rice mediated by auxin and jasmonic acid"
7500,"Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis"
7567,"Coxeter triangulations have good quality"
7346,"The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game"
7601,"Plasmodesmata-like intercellular connections by plant remorin in animal cells"
7586,"Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration"
7593,"LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility"
7505,"Outside the box: Abstraction-based monitoring of neural networks"
7618,"Quantum Hellinger distances revisited"
7632,"Action representation in the mouse parieto-frontal network"
7637,"From weakly interacting particles to a regularised Dean-Kawasaki model"
105,"CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63"
319,"Singular SPDEs in domains with boundaries"
439,"Arithmetic and representation theory of wild character varieties"
441,"Tropical formulae for summation over a part of SL(2,Z)"
5790,"Extending partial representations of circle graphs"
5911,"Evolving inversions"
5947,"A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries"
6104,"Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking"
6022,"Genetic dissection of assortative mating behavior"
6053,"Quantum electromechanics of a hypersonic crystal"
6091,"Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs"
6351,"Re-activation of stem cell pathways for pattern restoration in plant wound healing"
6262,"Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls"
6488,"Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices"
6490,"The treewidth of smart contracts"
6419,"An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape"
6596,"Convergence results of forward-backward algorithms for sum of monotone operators in Banach spaces"
6609,"Stationary entangled radiation from micromechanical motion"
6515,"Simplices modelled on spaces of constant curvature"
6611,"PIN2 polarity establishment in arabidopsis in the absence of an intact cytoskeleton"
6628,"The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds"
6642,"On diffusive variants of some classical viscoelastic rate-type models"
6680,"Effect of partial selfing and polygenic selection on establishment in a new habitat"
6673,"Efficiency guarantees for parallel incremental algorithms under relaxed schedulers"
6659,"Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins"
6779,"Heteroclinic and homoclinic connections in a Kolmogorov-like flow"
6793,"The Regge symmetry, confocal conics, and the Schläfli formula"
6750,"Rate-flexible fast polar decoders"
6762,"New optimal control problems in density functional theory motivated by photovoltaics"
6755,"Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome"
6717,"Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision"
6868,"HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons"
6919,"Structural basis of sterol recognition by human hedgehog receptor PTCH1"
6933,"Fast approximate shortest paths in the congested clique"
6952,"Learning single-image 3D reconstruction by generative modelling of shape, pose and shading"
6957,"Onset of turbulence in plane Poiseuille flow"
6983,"Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells"
6988,"Platelets in host defense: Experimental and clinical insights"
6832,"Active cell migration is critical for steady-state epithelial turnover in the gut"
6837,"Migrasomes take center stage"
6844,"A mathematical insight into cell labelling experiments for clonal analysis"
6899,"Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions"
7013,"Probing the many-body localization phase transition with superconducting circuits"
7032,"Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators"
7145,"End-to-end correlated subgap states in hybrid nanowires"
7099,"Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning"
7171,"Wie Maschinen lernen"
7234,"Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes"
7190,"In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas"
6363,"Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits"
6849,"The role of CCK-interneurons in regulating hippocampal network dynamics"
6046,"Temporal order and precision of complex stress responses in individual bacteria"
6786,"Attractive dipolar coupling between stacked exciton fluids"
6856,"Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow"
6887,"Near-linear time algorithms for Streett objectives in graphs and MDPs"
6940,"Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models"
6508,"Bulk actin dynamics drive phase segregation in zebrafish oocytes"
6647,"The crossing Tverberg theorem"
6894,"Automatic time-unbounded reachability analysis of hybrid systems"
7227,"Zebrafish gastrulation: Putting fate in motion"
73,"On the geometry of geodesics in discrete optimal transport"
80,"Bose–Einstein condensation in a dilute, trapped gas at positive temperature"
7183,"Deciding fast termination for probabilistic VASS with nondeterminism"
7001,"Mechanosensation of tight junctions depends on ZO-1 phase separation and flow"
7210,"Population structure determines the tradeoff between fixation probability and fixation time"
6060,"Supplementary data for ""Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome"" (Huylman, Toups et al., 2019). "
7436,"On derived equivalences of k3 surfaces in positive characteristic"
7417,"Regulation of acetylation of plant cell wall components is complex and responds to external stimuli"
7412,"A local lemma for focused stochastical algorithms"
7397,"Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit"
7405,"NetPyNE, a tool for data-driven multiscale modeling of brain circuits"
7400,"Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua"
6818,"Indigoidine - Biosynthesized organic semiconductor"
6565,"Formal synthesis of stabilizing controllers for periodically controlled linear switched systems"
6546,"The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration"
6089,"Pleiotropy modulates the efficacy of selection in drosophila melanogaster"
7513,"Social immunity"
7551,"Novelty gates memory formation through ventro-dorsal hippocampal interaction"
6995,"Identification of neural oscillations and epileptiform changes in human brain organoids"
6825,"The hippocampus and medial prefrontal cortex during flexible behavior"
7479,"Distillation-based training for multi-exit architectures"
5,"The wonderful compactification for quantum groups"
5878,"State space geometry of the chaotic pilot-wave hydrodynamics"
5943,"Experiments on a jet in a crossflow in the low-velocity-ratio regime"
6023,"A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis"
6028,"A solution theory for quasilinear singular SPDEs"
6105,"A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance"
6174,"Kosterlitz-Thouless scaling at many-body localization phase transitions"
6232,"Boundary regularity of stochastic PDEs"
6465,"A modular degron library for synthetic circuits in mammalian cells"
6352,"Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure"
6415,"Pathogens and disease defense of invasive ants"
6491,"Publisher correction: Resonant electro-optic frequency comb"
6504,"Auxin-mediated statolith production for root gravitropism"
6528,"Simple verifiable delay functions"
6554,"Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly"
6559,"Multiscale dynamics of branching morphogenesis"
6566,"Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks"
6617,"The choice of representative volumes in the approximation of effective properties of random materials"
6631,"Cell division and tissue mechanics"
6650,"Volume-aware design of composite molds"
6725,"Testing the complexity of a valued CSP language"
6821,"Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses"
6763,"Microwave induced mechanical activation of hydrogel dimers"
6840,"Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps"
7007,"A new coding paradigm for the primitive relay channel"
7033,"BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage"
7095,"Completion of BAX recruitment correlates with mitochondrial fission during apoptosis"
7103,"Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture"
6890,"Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging"
6965,"The positivity of local equivariant Hirzebruch class for toric varieties"
6972,"Self-stabilising Byzantine clock synchronisation is almost as easy as consensus"
6989,"Folding polyominoes with holes into a cube"
7002,"Optimal multiple importance sampling"
7146,"Molecular and evolutionary dynamics of animal sex-chromosome turnover"
7108,"Shellability is NP-complete"
7122,"Gradient compression for communication-limited convex optimization"
7165,"Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium"
7172,"Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana"
7216,"LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale"
7228,"Scalable FIFO channels for programming via communicating sequential processes"
7230,"Extending simple drawings"
7235,"Divergence of the effective mass of a polaron in the strong coupling limit"
5828,"Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze"
6092,"Quantum many-body dynamics of the Einstein-de Haas effect"
6042,"Semantic fault localization and suspiciousness ranking"
6648,"Topological data analysis in information space"
5948,"Termination of nondeterministic probabilistic programs"
7026,"Emergent gene expression responses to drug combinations predict higher-order drug interactions"
7158,"Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth"
6756,"Unexpected topology of the temperature fluctuations in the cosmic microwave background"
6681,"Algorithmic aspects of homotopy theory and embeddability"
6888,"Designing worm-inspired neural networks for interpretable robotic control"
7083,"Mechanistic origin of drug interactions between translation-inhibiting antibiotics"
6371,"On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation"
7420,"GGA2 and RAB13 promote activity-dependent β1-integrin recycling"
7437,"Distributed learning over unreliable networks"
7418,"MIS compensation: Optimizing sampling techniques in multiple importance sampling"
7413,"Bogoliubov theory in the Gross–Pitaevskii limit"
7393,"Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast"
7406,"Isolation of synaptic vesicles from genetically engineered cultured neurons"
7401,"Z_2-Genus of graphs and minimum rank of partial symmetric matrices"
6035,"JuliaReach: A toolbox for set-based reachability"
7398,"A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2"
6179,"From Dyson to Pearcey: Universal statistics in random matrix theory"
6186,"Cusp universality for random matrices, II: The real symmetric case"
6857,"Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna"
5789,"Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling"
7468,"Map inference via block-coordinate Frank-Wolfe algorithm"
7451,"Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition"
5986,"A proof of the orbit conjecture for flipping edge-labelled triangulations"
7014,"Non-polynomial worst-case analysis of recursive programs"
6713,"An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice"
6338,"Hippocampal reactivation of random trajectories resembling Brownian diffusion"
151,"Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity"
7160,"Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes)"
6819,"Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells"
6511,"Local single ring theorem on optimal scale"
7540,"In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality"
7552,"Action at a distance in transcriptional regulation"
175,"Sieving rational points on varieties"
6477,"Colloquium: Many-body localization, thermalization, and entanglement"
7576,"ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics"
138,"Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system"
405,"Jointly convex quantum Jensen divergences"
429,"Stability of the matrix Dyson equation and random matrices with correlations"
5944,"Thermodynamics of duplication thresholds in synthetic protocell systems"
6029,"A fast and simple contact printing approach to generate 2D protein nanopatterns"
6050,"Two circles and only a straightedge"
6086,"Singular analytic linear cocycles with negative infinite Lyapunov exponents"
6093,"Fluid dynamics during bleb formation in migrating cells in vivo"
6182,"Random matrices with slow correlation decay"
6442,"Fundamental solutions for water wave animation"
6454,"Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members"
6466,"Breaking down barriers in morning glories"
6430,"Adaptively secure proxy re-encryption"
6435,"Collective defenses of garden ants against a fungal pathogen"
6586,"Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion"
6593,"An efficient projection-type method for monotone variational inequalities in Hilbert spaces"
6620,"On a certain non-split cubic surface"
6632,"Coupled superfluidity of binary Bose mixtures in two dimensions"
6637,"Surfing on the seascape: Adaptation in a changing environment"
6649,"Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime"
6485,"Lock-free channels for programming via communicating sequential processes"
6726,"Sampling the integers with low relative error"
6788,"Mean-field dynamics for the Nelson model with fermions"
6795,"Green beards in the light of indirect genetic effects"
6858,"Is speciation driven by cycles of mixing and isolation?"
6978,"Geometry of transient chaos in streamwise-localized pipe flow turbulence"
6935,"Does preprocessing help under congestion?"
6896,"Modeling cell-cell interactions in the brain using cerebral organoids"
7154,"Supplementary data for ""Programming temporal morphing of self-actuated shells"""
7161,"Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces"
7084,"Single-component order parameter in URu2Si2 uncovered by resonant ultrasound spectroscopy and machine learning"
7010,"Blood cell-vessel wall interactions probed by reflection interference contrast microscopy"
7015,"Floating Wigner crystal with no boundary charge fluctuations"
6985,"Response characterization for auditing cell dynamics in long short-term memory networks"
7197,"Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA"
7200,"Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films"
7205,"Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?"
6377,"Disruption of endocytosis through chemical inhibition of clathrin heavy chain function"
6947,"Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking"
5886,"Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon"
6428,"Interface-aware signal temporal logic"
6601,"Mechanochemical feedback loops in development and disease"
6808,"Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens"
6822,"Bidding games on Markov decision processes"
6884,"Bidding mechanisms in graph games"
6889,"Combinations of Qualitative Winning for Stochastic Parity Games"
6942,"Strategy representation by decision trees with linear classifiers"
6980,"Tissue rheology in embryonic organization"
6891,"The implication of cytoskeletal dynamics on leukocyte migration"
6877,"The neural crest pitches in to remove apoptotic debris"
7109,"From real-time logic to timed automata"
7147,"Transient memory in gene regulation"
7159,"Shape expressions for specifying and extracting signal features"
7180,"Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter"
7231,"Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty"
6752,"Infinite-duration bidding games"
6194,"The entorhinal cognitive map is attracted to goals"
6062,"Supplementary Code and Data for the paper ""The Entorhinal Cognitive Map is Attracted to Goals"""
7421,"A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog"
7402,"Graph planning with expected finite horizon"
7399,"The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes"
7414,"S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly"
7394,"Editorial overview: Cell biology in the era of omics?"
7034,"Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4"
6269,"Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants "
6310,"Counting rational points on biquadratic hypersurfaces"
6240,"Location of the spectrum of Kronecker random matrices"
5906,"Analytically solvable renormalization group for the many-body localization transition"
6187,"A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion"
6175,"Cost analysis of nondeterministic probabilistic programs"
5817,"Limiting shapes of confined lipid vesicles"
6473,"Estimating information flow in single cells"
6074,"Supplementary data for the research paper ""Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"""
5949,"Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization"
5793,"Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids"
5887,"Per-session security: Password-based cryptography revisited"
5907,"N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated"
5680,"Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone"
6025,"Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration"
6049,"Feedback-induced self-oscillations in large interacting systems subjected to phase transitions"
6102,"A full vectorial mapping of nanophotonic light fields"
6087,"Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity"
6190,"CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis"
6260,"Pinstatic acid promotes auxin transport by inhibiting PIN internalization"
6412,"Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing"
6607,"SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness"
6506,"Chance and pleiotropy dominate genetic diversity in complex bacterial environments"
6513,"Tracing the origin of adult intestinal stem cells"
6621,"On the power to detect rare recombination events"
6638,"Graphs with at most one crossing"
6657,"An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors"
6784,"Molecular noise of innate immunity shapes bacteria-phage ecologies"
6796,"Partial coherence and frustration in self-organizing spherical grids"
6710,"Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb"
6671,"The reach, metric distortion, geodesic convexity and the variation of tangent spaces"
6828,"Arakawa-Suzuki functors for Whittaker modules"
6936,"What can observational data reveal about metacommunity processes?"
6943,"Targeted cell ablation-based insights into wound healing and restorative patterning"
6830,"Memo1 tiles the radial glial cell grid"
6835,"Rational points and prime values of polynomials in moderately many variables"
6897,"Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis"
6979,"Gut homeostasis: Active migration of intestinal epithelial cells in tissue renewal"
6955,"Universal physics of bound states of a few charged particles"
6859,"Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase"
7097,"Rab5-mediated endosome formation is regulated at the trans-Golgi network"
7100,"Derivation of the time dependent Gross–Pitaevskii equation in two dimensions"
7105,"Persistent and polarized global actin flow is essential for directionality during cell migration"
7009,"Mechanisms of 3D cell migration"
7035,"Dirac masses and isometric rigidity"
6986,"A colimit of traces of reflection groups"
7004,"Cohomological Hall algebras, vertex algebras and instantons"
7213,"A persistent homology perspective to the link prediction problem"
7218,"Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method"
7220,"Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography"
7225,"Frontiers in microfluidics, a teaching resource review"
7136,"Strong chain rules for min-entropy under few bits spoiled"
7143,"Defying gravity: a plant's quest for moisture"
7148,"Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain"
7117,"X-CAD: Optimizing CAD Models with Extended Finite Elements"
7201,"SparCML: High-performance sparse communication for machine learning"
7181,"Large multiple sequence alignments with a root-to-leaf regressive method"
7179,"Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses"
7340,"Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR"
5945,"Optimal decoding of cellular identities in a genetic network"
5678,"Poisson–Delaunay Mosaics of Order k"
5856,"Energy contribution of a point-interacting impurity in a Fermi gas"
6380,"Efficient parameterized algorithms for data packing"
6455,"Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex"
6462,"Run-time optimization for learned controllers through quantitative games"
6493,"Membership-based synthesis of linear hybrid automata"
6563,"Are two given maps homotopic? An algorithmic viewpoint"
6056,"Probabilistic smart contracts: Secure randomness on the blockchain"
6885,"Long-run average behavior of vector addition systems with states"
6328,"Nuclear positioning facilitates amoeboid migration along the path of least resistance"
7232,"Mixed-time signal temporal logic"
7186,"Mechanosensation of tight junctions depends on ZO-1 phase separation and flow"
7016,"Data for the paper ""Gene amplification as a form of population-level gene expression regulation"""
6486,"Relaminarization of pipe flow by means of 3D-printed shaped honeycombs"
7422,"eGFRD in all dimensions"
7410,"Mechanisms of zebrafish epiboly: A current view"
7395,"Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk"
6378,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
6366,"A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls"
7415,"S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism"
6676,"Why extension-based proofs fail"
6032,"Even delta-matroids and the complexity of planar boolean CSPs"
6575,"Emergent SU(2) dynamics and perfect quantum many-body scars"
6556,"3-manifold triangulations with small treewidth"
6931,"Byzantine approximate agreement on graphs"
6467,"The distribution of epistasis on simple fitness landscapes"
6900,"Estimating information in time-varying signals"
7453,"Continuous-time models for system design and analysis"
7542,"Powerset convolutional neural networks"
7600,"A lipid code-dependent phosphoswitch directs PIN-mediated auxin efflux in Arabidopsis development"
301,"A Feynman–Kac formula for stochastic Dirichlet problems"
5908,"Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis"
5910,"State space geometry of the chaotic pilot-wave hydrodynamics"
6014,"Elastic alfven waves in elastic turbulence"
6090,"Receptor crosstalk improves concentration sensing of multiple ligands"
6095,"Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes"
6088,"Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib"
6069,"Stokes flow analogous to viscous electron current in graphene"
6230,"Why structure matters"
6259,"TMK1-mediated auxin signalling regulates differential growth of the apical hook"
6261,"Nitrate modulates the differentiation of root distal stem cells"
6297,"An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments"
6343,"Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging"
6451,"EGFR controls hair shaft differentiation in a p53-independent manner"
6470,"Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells"
6413,"Phase-field simulation of core-annular pipe flow"
6552,"Social immunity in insects"
6569,"Towards understanding knowledge distillation"
65,"Entropy solutions for stochastic porous media equations"
6627,"Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling"
6634,"Lower and upper bounds for the waists of different spaces"
6646,"Room temperature control of valley coherence in bilayer WS2 exciton polaritons"
6348,"Resonant electro-optic frequency comb"
6660,"Geometry-aware scattering compensation for 3D printing"
6677,"Finding a Nash equilibrium is no easier than breaking Fiat-Shamir"
6780,"Modular verification for almost-sure termination of probabilistic programs"
6831,"Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics"
6848,"Structure and mechanism of mitochondrial proton-translocating transhydrogenase"
6855,"Thinking about the evolution of complex traits in the era of genome-wide association studies"
6867,"A novel magnet-based scratch method for standardisation of wound-healing assays"
6759,"On grounded L-graphs and their relatives"
6824,"Patrolling the vascular borders: Platelets in immunity to infection and cancer"
6987,"Emergence of embryo shape during cleavage divisions"
6999,"Salicylic acid-mediated plasmodesmal closure via Remorin-dependent lipid organization"
7000,"Convergence analysis of projection method for variational inequalities"
6906,"Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime"
6920,"Ethylene and cytokinin - partners in root growth regulation"
6482,"KS(conf): A light-weight test if a ConvNet operates outside of Its specifications"
6898,"Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction"
6944,"KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications"
7132,"Design and characterization of methods and biological components to realize synthetic neurotransmission"
7106,"PIN-driven auxin transport emerged early in streptophyte evolution"
7182,"Systematic Y2H screening reveals extensive effector-complex formation"
7214,"Recovering rearranged cancer chromosomes from karyotype graphs"
7226,"Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018"
7233,"Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity"
72,"Limit law of a second class particle in TASEP with non-random initial condition"
7207,"Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease"
6191,"Theory of mechanochemical patterning in biphasic biological tissues"
6052,"A practical guide to optimization in X10 expansion microscopy"
5857,"Thrackles: An improved upper bound"
6778,"Evolution of fast root gravitropism in seed plants"
6836,"Social dilemmas among unequals"
6886,"Determinacy in discrete-bidding infinite-duration games"
6982,"Recognizing weak embeddings of graphs"
7156,"Electro-optic entanglement source for microwave to telecom quantum state transfer"
6071,"Coevolution of transcription factors and their binding sites in sequence space"
6228,"Relaminarising pipe flow by wall movement"
6418,"Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome"
7423,"Finite rank perturbations in products of coupled random matrices: From one correlated to two Wishart ensembles"
6658,"Haploid selection drives new gene male germline expression"
7416,"Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation"
7411,"Reversible proofs of sequential work"
7396,"Quantum control of molecular rotation"
7404,"Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo"
7391,"Electron microscopic detection of single membrane proteins by a specific chemical labeling"
6843,"On isometric embeddings of Wasserstein spaces – the discrete case"
6564,"Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions"
6590,"Robust learning from untrusted sources"
7005,"Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction"
6521,"Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges"
6608,"Holes and dependences in an ordered complex"
7202,"A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture"
7093,"On the treewidth of triangulated 3-manifolds"
6189,"Transition to turbulence in particle laden flows"
27,"Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex"
8,"The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate"
7524,"The free energy of the two-dimensional dilute Bose gas. I. Lower bound"
7550,"Penalization via global functionals of optimal-control problems for dissipative evolution"
7358,"TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids"
7606,"A tight upper bound on mutual information"
11,"Mean-field limits of particles in interaction with quantised radiation fields"
136,"Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow"
148,"The Chara genome: Secondary complexity and implications for plant terrestrialization"
155,"Routing thermal noise through quantum networks"
16,"Mixing layer instability and vorticity amplification in a creeping viscoelastic flow"
162,"Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage"
193,"On the memory hardness of data independent password hashing functions"
201,"Multiple covers with balls"
23,"Single-shot readout of hole spins in Ge"
28,"Incorrect trafficking route leads to autism"
282,"Introgression of a block of genome under infinitesimal selection"
287,"Electromagnetic fields and optomechanics In cancer diagnostics and treatment"
294,"Two-photon processes based on quantum commutators"
302,"Simple proofs of sequential work"
307,"Nanoscopy of pairs of atoms by fluorescence in a magnetic field"
299,"AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic"
321,"Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis"
314,"The science of living matter for tomorrow"
326,"Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices"
408,"In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls"
410,"A micro-CT-based method for quantitative brain lesion characterization and electrode localization"
4,"Learning three-dimensional flow for interactive aerodynamic design"
42,"Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis"
427,"Quantum interference in laser spectroscopy of highly charged lithiumlike ions"
446,"The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory"
458,"Incircular nets and confocal conics"
47,"Transporters and mechanisms of hormone transport in arabidopsis"
530,"Multiple covers with balls I: Inclusion–exclusion"
54,"Mechanical force-driven adherents junction remodeling and epithelial dynamics"
542,"Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver"
5581,"Springer Austrian Publications 2013-2016"
5579,"RSC Austrian Publications 2013-2017"
5574,"Data Check IOP Scopus vs. Publisher"
5858,"Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data"
5860,"Zipf's Law, unbounded complexity and open-ended evolution"
59,"Graph games and reactive synthesis"
566,"Local inhomogeneous circular law"
5961,"A brief tutorial on distributed and concurrent machine learning"
5966,"The transactional conflict problem"
5978,"Exact MAP-inference by confining combinatorial search with LP relaxation"
5980,"Private set-intersection with common set-up"
5992,"On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility"
612,"Differential association of GABAB receptors with their effector ion channels in Purkinje cells"
6010,"“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network"
6003,"State of the art on stylized fabrication"
617,"Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance"
5675,"Erratum to: Flexible Learning-Free Segmentation and Reconstruction of Neural Volumes"
6185,"Cusp universality for random matrices I: Local law and the complex hermitian case"
6558,"Byzantine Stochastic Gradient Descent"
6589,"The convergence of sparsified gradient methods"
9,"Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo "
85,"Snapshot based synchronization: A fast replacement for Hand-over-Hand locking"
434,"Safety-assured model-driven design of the multifunction vehicle bus controller"
143,"Efficient algorithms for asymptotic bounds on termination time in VASS"
186,"The ℤ2-Genus of Kuratowski minors"
181,"Power law decay for systems of randomly coupled differential equations"
198,"Language acquisition with communication between learners"
275,"Lymphatic exosomes promote dendritic cell migration along guidance cues"
395,"The branched chain amino acids in autism spectrum disorders "
35,"Algorithms and conditional lower bounds for planning problems"
415,"Effect of a magnetic field on molecule–solvent angular momentum transfer "
131,"Evolution of gene dosage on the Z-chromosome of schistosome parasites"
5586,"Input files and scripts from ""Evolution of gene dosage on the Z-chromosome of schistosome parasites"" by Picard M.A.L., et al (2018)"
554,"The Bogoliubov free energy functional II: The dilute Limit"
5788,"Infinite-duration poorman-bidding games"
5959,"Keynote: The first-order logic of signals"
6774,"Computing simplicial representatives of homotopy group elements"
66,"Ergodic mean-payoff games for the analysis of attacks in crypto-currencies."
78,"Online timed pattern matching using automata"
422,"Relaminarization by steady modification of the streamwise velocity profile in a pipe"
5757,"Supplementary Files for ""Pleiotropy modulates the efficacy of selection in Drosophila melanogaster"""
150,"Inositol phosphates are assembly co-factors for HIV-1"
106,"Long geodesics on convex surfaces"
12,"CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds"
132,"Defining lineage potential and fate behavior of precursors during pancreas development"
137,"Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS"
144,"A theory of register monitors"
163,"Agitation modules: Flexible means to accelerate automated freeze substitution"
17,"Drag enhancement and drag reduction in viscoelastic flow"
194,"Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity"
199,"Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes"
276,"Nano-scale microfluidics to study 3D chemotaxis at the single cell level"
288,"Clonal analysis of Notch1-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland"
29,"Social environment affects the transcriptomic response to bacteria in ant queens"
283,"Mutations in blind cavefish target the light regulated circadian clock gene period 2"
303,"Introduction to tropical series and wave dynamic on them"
31,"Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons"
322,"Quantizations of multiplicative hypertoric varieties at a root of unity"
315,"Is the sky the limit? On the expansion threshold of a species’ range"
327,"Slow dynamics in translation-invariant quantum lattice models"
384,"Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss"
404,"Existence of positive solutions to stochastic thin-film equations"
409,"On the number of non-hexagons in a planar tiling"
396,"Inference from paternity and sibships accounting for uncertainty in genealogy"
411,"Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia"
428,"Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane"
423,"CRISPR-based herd immunity can limit phage epidemics in bacterial populations"
43,"Model of bacterial toxin-dependent pathogenesis explains infective dose"
435,"Coherent-perfect-absorber and laser for bound states in a continuum"
430,"Tread lightly interpreting polygenic tests of selection"
442,"Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls"
48,"Reactivation content is important for consolidation of spatial memory"
536,"Communication-efficient randomized consensus"
555,"Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?"
55,"Protection against the lethal side effects of social immunity in ants"
5582,"Taylor&Francis Austrian Publications 2013-2017"
5575,"Data Check RSC Scopus vs. FWF"
5676,"Occluding junctions as novel regulators of tissue mechanics during wound repair"
562,"Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses"
5791,"Crossing minimization in perturbed drawings"
5830,"CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana"
5859,"Chromatic transitions in the emergence of syntax networks"
5816,"30 GHz-voltage controlled oscillator operating at 4 K"
606,"Well-posedness for mean-field evolutions arising in superconductivity"
6011,"Data-dependent stability of stochastic gradient descent"
5998,"Genome amplification and cellular senescence are hallmarks of human placenta development"
5962,"The convergence of stochastic gradient descent in asynchronous shared memory"
5967,"The Big Match with a clock and a bit of memory"
62,"Flexible learning-free segmentation and reconstruction of neural volumes"
620,"Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis"
6941,"SpaceMint: A cryptocurrency based on proofs of space"
74,"Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures"
79,"Parameter-independent strategies for pMDPs via POMDPs"
156,"The compound interest in relaxing punctuality"
187,"The multi-cover persistence of Euclidean balls"
182,"Efficient parametric identification for STL"
24,"Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives"
295,"Fermionic behavior of ideal anyons"
308,"Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration"
310,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter"
454,"Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness"
543,"Toward a unified theory of efficient, predictive, and sparse coding"
5587,"Supporting materials ""STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"""
738,"Automated competitive analysis of real time scheduling with graph games"
86,"Computing average response time"
81,"Monitoring temporal logic with clock variables"
6263,"Genetic determinants of antibiotic resistance evolution"
461,"Destabilizing turbulence in pipe flow"
67,"Evolutionary potential of transcription factors for gene regulatory rewiring"
5861,"The cell sets the tone"
50,"Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration"
5993,"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs"
6009,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
149,"Dyson equation and eigenvalue statistics of random matrices"
6340,"Secure Credit Reporting on the Blockchain"
107,"Non-malleable codes"
13,"Metamolds: Computational design of silicone molds"
145,"Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission"
18,"Superconcentrators of density 25.3"
190,"Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest"
20,"Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes"
203,"Auxin methylation is required for differential growth in Arabidopsis"
277,"An armadillo-domain protein participates in a telomerase interaction network"
289,"Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene"
291,"Complexity of the laminar-turbulent boundary in pipe flow"
284,"Maps on probability measures preserving certain distances - a survey and some new results"
296,"Weak ergodicity breaking from quantum many-body scars"
304,"Computational design of nanostructural color for additive manufacturing"
32,"In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2"
316,"Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system"
328,"Exceeding the asymptotic limit of polymer drag reduction"
323,"Branched actin networks in dendritic cell biology"
37,"Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube"
397,"Harnessing epoch-based reclamation for efficient range queries"
400,"Persistence of translational symmetry in the BCS model with radial pair interaction"
436,"Manipulating the flow of thermal noise in quantum devices"
448,"Hemimetabolous genomes reveal molecular basis of termite eusociality"
455,"The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations"
462,"NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development"
44,"Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations"
49,"Ge hut wires - from growth to hole spin resonance"
556,"The free boundary Schur process and applications I"
5677,"Contracts for system design"
563,"Estimating barriers to gene flow from distorted isolation-by-distance patterns"
5672,"IgM's exit route"
5583,"Data and Python scripts supporting Python package FAPS"
5576,"Data Check T&F Scopus vs. FWF"
5588,"Fluorescence lifetime analysis of FLIM X16 TCSPC data"
5780,"Genetically encodable bioluminescent system from fungi"
5963,"Relaxed schedulers can efficiently parallelize iterative algorithms"
6031,"Fast quantized arithmetic on x86: Trading compute for data movement"
607,"Well posedness and maximum entropy approximation for the dynamics of quantitative traits"
5982,"Tin diselenide molecular precursor for solution-processable thermoelectric materials"
5999,"The cohomological Hall algebra of a preprojective algebra"
6,"A micro-CT-based method for characterising lesions and locating electrodes in small animal brains"
6012,"Learning equations for extrapolation and control"
1012,"Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues"
63,"Unusual diversity of sex chromosomes in African cichlid fishes"
6459,"Open Access at IST Austria 2009-2017"
6497,"The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective CD8+T cells"
68,"Learning from dependent data"
51,"From the left to the right: A tale of asymmetries, environments, and hippocampal development"
690,"Local law and Tracy–Widom limit for sparse random matrices"
7116,"Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study"
7123,"Space-optimal majority in population protocols"
703,"Maximum persistency via iterative relaxed inference with graphical models"
70,"Transition to shocks in TASEP and decoupling of last passage times"
75,"Convex fair partitions into arbitrary number of pieces"
82,"Leaky resistance and the conditions for the existence of lytic bacteriophage"
133,"Synchronizing the asynchronous"
140,"Space-time interpolants"
157,"Evolution of cooperation in stochastic games"
188,"Smallest enclosing spheres and Chernoff points in Bregman geometry"
183,"Localizing faults in simulink/stateflow models with STL"
195,"Anyonic statistics of quantum impurities in two dimensions"
311,"Quantitative analysis of smart contracts"
417,"Diagrammatic Monte Carlo approach to rotating molecular impurities"
544,"Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues"
6339,"Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems"
309,"Recognizing weak embeddings of graphs"
87,"Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics"
6005,"Timed network games with clocks"
5569,"Time-lapse microscopy data"
7407,"Proofs of catalytic space"
152,"Mammalian mitochondrial complex I structure and disease causing mutations"
412,"A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis"
5975,"Commutativity in the algorithmic Lovász local lemma"
25,"Goal-HSVI: Heuristic search value iteration for goal-POMDPs"
108,"Inverted leftover hash lemma"
1215,"Infinite-dimensional calculus under weak spatial regularity of the processes"
134,"Water surface wavelets"
139,"The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies"
146,"The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling"
153,"Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments"
158,"Maternal auxin supply contributes to early embryo patterning in Arabidopsis"
19,"Nonoptimal gene expression creates latent potential for antibiotic resistance"
196,"Harmonic dynamics of the Abelian sandpile"
191,"PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism"
273,"Efficient optimization for rank-based loss functions"
280,"KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis"
300,"On the bit security of cryptographic primitives"
305,"Fabrication and operation of microfluidic hanging drop networks"
317,"Palladium gates for reproducible quantum dots in silicon"
33,"Can secondary contact following range expansion be distinguished from barriers to gene flow?"
3300,"Handbook of model checking"
38,"Selection and gene flow shape genomic islands that control floral guides"
398,"Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device"
40,"The consequences of an introgression event"
401,"A biochemical network controlling basal myosin oscillation"
406,"Probabilistic models of individual and collective animal behavior"
413,"Ants avoid superinfections by performing risk-adjusted sanitary care"
420,"Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover"
425,"Embeddability in the 3-Sphere is decidable"
437,"Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration"
456,"Zika-associated microcephaly: Reduce the stress and race for the treatment"
519,"Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow"
564,"Establishment in a new habitat by polygenic adaptation"
5673,"Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division"
278,"Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken"
5577,"Emerald Austrian Publications 2013-2017"
5767,"Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor"
5964,"Brief Announcement: Performance prediction for coarse-grained locking"
5971,"Bounds on the norm of Wigner-type random matrices"
5976,"FlexMaps: Computational design of flat flexible shells for shaping 3D objects"
5983,"Theory of the rotating polaron: Spectrum and self-localization"
5995,"Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation"
5990,"Josephson effect in a few-hole quantum dot"
6195,"Efficient FEM-based simulation of soft robots modeled as kinematic chains"
6183,"The Dyson equation with linear self-energy: Spectral bands, edges and cusps"
64,"Self-organized criticality and pattern emergence through the lens of tropical geometry"
6354,"Platelet migration and bacterial trapping assay under flow"
6525,"Mirror symmetry with branes by equivariant verlinde formulas"
691,"A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features"
69,"Charge sensing and spin relaxation times of holes in Ge hut wires"
71,"Scaling limits of discrete optimal transport"
7,"Social network plasticity decreases disease transmission in a eusocial insect"
26,"The influence of sequence context on the evolution of bacterial gene expression"
184,"Shellability is NP-complete"
723,"How to escape local optima in black box optimisation when non elitism outperforms elitism"
449,"WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity"
742,"On expansion and topological overlap"
76,"Near-optimal self-stabilising counting and firing squads"
83,"Proof systems for sustainable decentralized cryptocurrencies"
6001,"ThreadScan: Automatic and scalable memory reclamation"
913,"PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana"
14,"Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation"
141,"Symbolic algorithms for graphs and Markov decision processes with fairness objectives"
160,"Layered Concurrent Programs"
418,"Optical and optogenetic control of proliferation and survival "
2,"Indirect reciprocity with private noisy and incomplete information"
21,"Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus"
297,"Strategy representation by decision trees in reactive synthesis"
312,"On the optimality of the FCC lattice for soft sphere packing"
5914,"Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning"
6006,"An abstraction-refinement methodology for reasoning about network games"
608,"Synthesis from component libraries with costs"
324,"Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release"
52,"Point interactions in systems of fermions"
6359,"On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift"
285,"On the treewidth of triangulated 3-manifolds"
292,"Nonlinear decoding of a complex movie from the mammalian retina"
5584,"Nonlinear decoding of a complex movie from the mammalian retina"
5457,"Cost analysis of nondeterministic probabilistic programs"
10,"Role of genomic imprinting in cerebral cortex development"
1064,"On the circle covering theorem by A.W. Goodman and R.E. Goodman"
104,"The core effector Cce1 is required for early infection of maize by Ustilago maydis"
135,"Extended narrow band FLIP for liquid simulations"
147,"The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes"
159,"Optical control of L-type Ca2+ channels using a diltiazem photoswitch"
197,"Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images"
192,"Rapid and reversible root growth inhibition by TIR1 auxin signalling"
279,"Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome"
293,"The signal-burying game can explain why we obscure positive traits and good deeds"
306,"An introduction to the maximum entropy approach and its application to inference problems in biology"
298,"Sustained space complexity"
318,"A fat lot of good for wound healing"
407,"Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins"
41,"Sk2 channels associate with mGlu1α receptors and CaV2.1 channels in Purkinje cells"
39,"Replicability of introgression under linked, polygenic selection"
421,"Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients"
426,"Individual- and ejaculate-specific sperm traits in ant males"
457,"Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity"
46,"Detection and characterization of many-body localization in central spin models"
503,"Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains"
53,"IST PubRep and IST DataRep: the institutional repositories at IST Austria"
546,"Neural stem cells in neuropsychiatric disorders"
286,"Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering"
5573,"Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow"
5578,"IOP Austrian Publications 2012-2015"
5580,"SAGE Austrian Publications 2013-2017"
5770,"Structure and architecture of immature and mature murine leukemia virus capsids"
5787,"Statistical theory of branching morphogenesis"
58,"Counting blanks in polygonal arrangements"
5681,"Simulating Liquids on Dynamically Warping Grids"
200,"Inferring recent demography from spatial genetic structure"
565,"The spread of an inversion with migration and selection"
5888,"Genomics in neurodevelopmental disorders: an avenue to personalized medicine"
5960,"Proving the existence of loops in robot trajectories"
5965,"Distributionally linearizable data structures"
5996,"The critical point of the transition to turbulence in pipe flow"
60,"Introduction to model checking"
5989,"Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites"
6184,"Correlated random matrices: Band rigidity and edge universality"
6355,"Any cyclic quadrilateral can be inscribed in any closed convex smooth curve"
6499,"X10 expansion microscopy enables 25‐nm resolution on conventional microscopes"
5686,"An Austrian proposal for the Classification of Open Access Tuples (COAT) - Distinguish different Open Access types beyond colors"
692,"3-Webs generated by confocal conics and circles"
705,"Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes"
6266,"Design and characterization of methods and biological components to realize synthetic neurotransmission "
77,"A germanium hole spin qubit"
806,"Social immunity: Emergence and evolution of colony-level disease protection"
142,"Reachable set over-approximation for nonlinear systems using piecewise barrier tubes"
185,"Hanani-Tutte for approximating maps of graphs"
180,"Statistical mechanics of the uniform electron gas"
281,"Distributed and dynamic intracellular organization of extracellular information"
325,"Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs"
320,"Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons"
402,"Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice"
419,"Partners and rivals in direct reciprocity"
399,"Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation"
34,"Sensor synthesis for POMDPs with reachability objectives"
5794,"Quantum groups as hidden symmetries of quantum impurities"
161,"Statistical mechanics for metabolic networks during steady state growth"
154,"Stability of the 2+2 fermionic system with point interactions"
5679,"New approaches for almost-sure termination of probabilistic programs"
5984,"Optical functionalization of human class A orphan G-protein-coupled receptors"
6002,"The Bogoliubov free energy functional I: Existence of minimizers and phase diagram"
433,"Thrackles: An improved upper bound"
15,"Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells"
438,"Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations"
178,"Counting rational points on quadric surfaces"
5751,"Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory"
5585,"Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring"
539,"Identification and characterization of novel auxin-cytokinin cross-talk components"
5977,"Computational approaches for stochastic shortest path on succinct MDPs"
22,"Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters"
616,"Destructive disinfection of infected brood prevents systemic disease spread in ant colonies"
3,"Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"
1015,"Vortices and antivortices in two-dimensional ultracold Fermi gases"
1022,"The topology of the cosmic web in terms of persistent Betti numbers"
1111,"Selection limits to adaptive walks on correlated landscapes"
1084,"Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis"
1077,"Evolutionary interplay between structure, energy and epistasis in the coat protein of the fX174 phage family"
1072,"The Morse theory of Čech and delaunay complexes"
1159,"Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation"
1161,"Cell migration: Making the waves"
1173,"The Voronoi functional is maximized by the Delaunay triangulation in the plane"
1180,"Algebraic vertices of non-convex polyhedra"
1337,"Universality for general Wigner-type matrices"
1433,"Phat - Persistent homology algorithms toolbox"
1010,"Local law for random Gram matrices"
5562,"Multi-electrode array recording from salamander retinal ganglion cells"
5567,"Immunological synapse DC-Tcells"
561,"Effects of mutations in phage restriction sites during escape from restriction–modification"
605,"Position based cryptography and multiparty communication complexity"
624,"MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations"
629,"Reconstitution of protein dynamics involved in bacterial cell division"
643,"Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats"
648,"On the complexity of breaking pseudoentropy"
655,"Bacterial flagella grow through an injection diffusion mechanism"
650,"A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds"
6527,"Practical graphs for optimal side-channel resistant memory-hard functions"
662,"Hydrodynamic turbulence in quasi Keplerian rotating flows"
667,"The antisocial side of antibiotics"
686,"D'Arcy Thompson's ‘on growth and form’: From soap bubbles to tissue self organization"
693,"Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses"
706,"Roles of afadin in functional differentiations of hippocampal mossy fiber synapse"
701,"On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4"
725,"Discrete modes of social information processing predict individual behavior of fish in a group"
751,"A moving source of matrix components is essential for De Novo basement membrane formation"
794,"C-planarity of embedded cyclic c-graphs"
799,"BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana"
807,"Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung"
744,"Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma"
737,"A new topology on the universal path space"
559,"Beyond Hellman’s time-memory trade-offs with applications to proofs of space"
732,"Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour"
833,"Streaming algorithm for Euler characteristic curves of multidimensional images"
910,"When does frequency-independent selection maintain genetic variation?"
915,"A message passing algorithm for the minimum cost multicut problem"
840,"Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry"
958,"Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment"
939,"Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons"
838,"(The exact security of) Message authentication codes"
953,"The sources of adaptive evolution"
989,"Transport based image morphing with intensity modulation"
991,"Synaptotagmins: That’s why so many"
996,"Strongly aligned molecules inside helium droplets in the near-adiabatic regime"
1104,"Multiplexed computations in retinal ganglion cells of a single type"
1109,"Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free"
1116,"Computing scores of forwarding schemes in switched networks with probabilistic faults"
1089,"Total positivity in Markov structures"
1065,"Pushdown reachability with constant treewidth"
6426,"Synchronizing the asynchronous"
1407,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
1351,"Model checking the evolution of gene regulatory networks"
465,"Edit distance for pushdown automata"
484,"Bogoliubov correction to the mean-field dynamics of interacting bosons"
1003,"An abstraction-refinement methodology for reasoning about network games"
679,"The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection"
681,"Doomsday equilibria for omega-regular games"
698,"Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression"
713,"Mapping the mouse Allelome reveals tissue specific regulation of allelic expression"
631,"Counterexample guided refinement of template polyhedra"
674,"Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6"
636,"On the quantitative semantics of regular expressions over real-valued signals"
720,"Probabilistic models for neural populations that naturally capture global coupling and criticality"
821,"Algorithmic advances in program analysis and their applications"
749,"Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses"
718,"Expected sizes of poisson Delaunay mosaics and their discrete Morse functions"
960,"Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks"
941,"JFIX: Semantics-based repair of Java programs via symbolic PathFinder"
1027,"Toward a quantitative understanding of antibiotic resistance evolution"
1192,"Even delta-matroids and the complexity of planar Boolean CSPs"
946,"Live tracking of moving samples in confocal microscopy for vertically grown roots"
819,"Disease defence in garden ants"
1030,"Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library"
1016,"Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability"
1023,"Local law for the product of independent non-Hermitian random matrices with independent entries"
1085,"Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation"
1112,"An application of stochastic differential equations to evolutionary algorithms"
1073,"Algorithmic solvability of the lifting extension problem"
1174,"Lower bounds on key derivation for square-friendly applications"
1162,"Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment"
1213,"Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers"
1528,"Delocalization for a class of random block band matrices"
447,"Fluctuations of the competition interface in presence of shocks"
459,"Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern"
485,"Single sideband microwave to optical photon conversion-an-electro-optic-realization"
548,"Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes"
550,"Singularities of the density of states of random Gram matrices"
5455,"Optimal Dyck reachability for data-dependence and alias analysis"
5450,"Implementing the institutional data repository IST DataRep"
5563,"MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'"
5570,"Forward migration indexes"
202,"Biology of restriction-modification systems at the single-cell and population level"
567,"A dynamical approach to random matrix theory"
632,"A note on 2D focusing many boson systems"
644,"The complexity of general-valued CSPs"
637,"Be adaptive avoid overcommitting"
651,"Fluid dynamics: Water flows out of touch"
656,"Modeling Alzheimer's disease in mice with human neurons"
663,"Safety verification of nonlinear hybrid systems based on invariant clusters"
649,"Entropic Ricci curvature for discrete spaces"
668,"Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion"
682,"PirB regulates asymmetries in hippocampal circuitry"
687,"The critical CoHA of a quiver with potential"
707,"A tight estimate for the waist of the ball "
702,"The riddle of CHD8 haploinsufficiency in autism spectrum disorder"
694,"A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity"
699,"The red queen and king in finite populations"
714,"HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens"
721,"Singularities of solutions to quadratic vector equations on the complex upper half plane"
719,"Special issue: Synthesis and SYNT 2014"
726,"A unifying theory of branching morphogenesis"
740,"The genetic encoded toolbox for electron microscopy and connectomics"
733,"Convergence rate for spectral distribution of addition of random matrices"
745,"Transition to turbulence in pulsating pipe flow"
795,"Unified Hanani Tutte theorem"
803,"DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes"
834,"Thouless energy and multifractality across the many-body localization transition"
909,"On the lengths of curves passing through boundary points of a planar convex shape"
911,"Probabilistic image colorization"
916,"A study of lagrangean decompositions and dual ascent solvers for graph matching"
992,"Complexity of constraint satisfaction"
954,"On the mechanistic nature of epistasis in a canonical cis-regulatory element"
947,"Quantifying the entropic cost of cellular growth control"
959,"Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics"
1004,"Spatiotemporal mechanisms of root branching"
1009,"Optimizing expectation with guarantees in POMDPs"
1028,"Green-light-induced inactivation of receptor signaling using cobalamin-binding domains"
1117,"Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse"
1066,"Quantitative fair simulation games"
1080,"Reconstructing metastatic seeding patterns of human cancers"
1338,"From non-preemptive to preemptive scheduling using synchronization synthesis"
1294,"Trading performance for stability in Markov decision processes"
466,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
1198,"Triviality of a model of particles with point interactions in the thermodynamic limit"
613,"Shaping bacterial population behavior through computer interfaced control of individual cells"
625,"The cost of exactness in quantitative reachability"
670,"Interactive paper tearing"
961,"Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation"
6287,"Discrete Morse theory for random complexes "
997,"Emergence of non-abelian magnetic monopoles in a quantum impurity problem"
942,"S3: Syntax- and semantic-guided repair synthesis via programming by examples"
839,"Brittle fracture simulation with boundary elements for computer graphics"