_id,title
439,"Arithmetic and representation theory of wild character varieties"
5947,"A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries"
6022,"Genetic dissection of assortative mating behavior"
6046,"Temporal order and precision of complex stress responses in individual bacteria"
6053,"Quantum electromechanics of a hypersonic crystal"
6089,"Pleiotropy modulates the efficacy of selection in drosophila melanogaster"
6091,"Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs"
6313,"Extending drawings of complete graphs into arrangements of pseudocircles"
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"
6515,"Simplices modelled on spaces of constant curvature"
6488,"Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices"
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"
6717,"Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision"
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"
6647,"The crossing Tverberg theorem"
6680,"Effect of partial selfing and polygenic selection on establishment in a new habitat"
73,"On the geometry of geodesics in discrete optimal transport"
6755,"Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome"
6762,"New optimal control problems in density functional theory motivated by photovoltaics"
6786,"Attractive dipolar coupling between stacked exciton fluids"
6779,"Heteroclinic and homoclinic connections in a Kolmogorov-like flow"
6793,"The Regge symmetry, confocal conics, and the Schläfli formula"
151,"Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity"
175,"Sieving rational points on varieties"
6023,"A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis"
6028,"A solution theory for quasilinear singular SPDEs"
6035,"JuliaReach: A toolbox for set-based reachability"
6042,"Semantic fault localization and suspiciousness ranking"
6105,"A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance"
6092,"Quantum many-body dynamics of the Einstein-de Haas effect"
6232,"Boundary regularity of stochastic PDEs"
6174,"Kosterlitz-Thouless scaling at many-body localization phase transitions"
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"
6713,"An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice"
6725,"Testing the complexity of a valued CSP language"
6566,"Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks"
6511,"Local single ring theorem on optimal scale"
6528,"Simple verifiable delay functions"
6617,"The choice of representative volumes in the approximation of effective properties of random materials"
6648,"Topological data analysis in information space"
6477,"Colloquium: Many-body localization, thermalization, and entanglement"
6650,"Volume-aware design of composite molds"
6756,"Unexpected topology of the temperature fluctuations in the cosmic microwave background"
6179,"From Dyson to Pearcey: Universal statistics in random matrix theory"
138,"Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system"
405,"Jointly convex quantum Jensen divergences"
5944,"Thermodynamics of duplication thresholds in synthetic protocell systems"
5949,"Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization"
5886,"Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon"
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"
6175,"Cost analysis of nondeterministic probabilistic programs"
6310," Counting rational points on biquadratic hypersurfaces"
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"
6473,"Estimating information flow in single cells"
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"
6752,"Infinite-duration bidding games"
6795,"Green beards in the light of indirect genetic effects"
6788,"Mean-field dynamics for the Nelson model with fermions"
6269,"Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants "
5907,"N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated"
6102,"A full vectorial mapping of nanophotonic light fields"
6025,"Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration"
6032,"Even delta-matroids and the complexity of planar boolean CSPs"
6049,"Feedback-induced self-oscillations in large interacting systems subjected to phase transitions"
6056,"Probabilistic smart contracts: Secure randomness on the blockchain"
6260,"Pinstatic acid promotes auxin transport by inhibiting PIN internalization"
6412,"Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing"
6486,"Relaminarization of pipe flow by means of 3D-printed shaped honeycombs"
6366,"A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls"
6556,"3-manifold triangulations with small treewidth"
6563,"Are two given maps homotopic? An algorithmic viewpoint"
6575,"Emergent SU(2) dynamics and perfect quantum many-body scars"
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"
6638,"Graphs with at most one crossing"
6671,"The reach, metric distortion, geodesic convexity and the variation of tangent spaces"
6676,"Why extension-based proofs fail"
6657,"An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors"
6796,"Partial coherence and frustration in self-organizing spherical grids"
6380,"Efficient parameterized algorithms for data packing"
6378,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
6784,"Molecular noise of innate immunity shapes bacteria-phage ecologies"
6462,"Run-time optimization for learned controllers through quantitative games"
6493,"Membership-based synthesis of linear hybrid automata"
301,"A Feynman–Kac formula for stochastic Dirichlet problems"
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"
6069,"Stokes flow analogous to viscous electron current in graphene"
6228,"Relaminarising pipe flow by wall movement"
6230,"Why structure matters"
6189,"Transition to turbulence in particle laden flows"
6191,"Theory of mechanochemical patterning in biphasic biological tissues"
6261,"Nitrate modulates the differentiation of root distal stem cells"
6451,"EGFR controls hair shaft differentiation in a p53-independent manner"
6418,"Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome"
6564,"Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions"
6569,"Towards understanding knowledge distillation"
6590,"Robust learning from untrusted sources"
6608,"Holes and dependences in an ordered complex"
6521,"Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges"
6634,"Lower and upper bounds for the waists of different spaces"
6482,"KS(conf): A light-weight test if a ConvNet operates outside of Its specifications"
6660,"Geometry-aware scattering compensation for 3D printing"
6759,"On grounded L-graphs and their relatives"
6627,"Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling"
6778,"Evolution of fast root gravitropism in seed plants"
6071,"Coevolution of transcription factors and their binding sites in sequence space"
6780,"Modular verification for almost-sure termination of probabilistic programs"
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"
143,"Efficient algorithms for asymptotic bounds on termination time in VASS"
155,"Routing thermal noise through quantum networks"
162,"Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage"
181,"Power law decay for systems of randomly coupled differential equations"
186,"The ℤ2-Genus of Kuratowski minors"
198,"Language acquisition with communication between learners"
193,"On the memory hardness of data independent password hashing functions"
275,"Lymphatic exosomes promote dendritic cell migration along guidance cues"
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"
319,"Singular SPDEs in domains with boundaries"
326,"Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices"
35,"Algorithms and conditional lower bounds for planning problems"
410,"A micro-CT-based method for quantitative brain lesion characterization and electrode localization"
42,"Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis"
422,"Relaminarization by steady modification of the streamwise velocity profile in a pipe"
415,"Effect of a magnetic field on molecule–solvent angular momentum transfer "
427,"Quantum interference in laser spectroscopy of highly charged lithiumlike ions"
441,"Tropical formulae for summation over a part of SL(2,Z)"
446,"The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory"
458,"Incircular nets and confocal conics"
530,"Multiple covers with balls I: Inclusion–exclusion"
554,"The Bogoliubov free energy functional II: The dilute Limit"
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)"
5581,"Springer Austrian Publications 2013-2016"
5579,"RSC Austrian Publications 2013-2017"
5574,"Data Check IOP Scopus vs. Publisher"
5788,"Infinite-duration poorman-bidding games"
5790,"Extending partial representations of circle graphs"
5858,"Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data"
5860,"Zipf's Law, unbounded complexity and open-ended evolution"
5966,"The transactional conflict problem"
6010,"“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network"
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"
617,"Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance"
6558,"Byzantine Stochastic Gradient Descent"
6589,"The convergence of sparsified gradient methods"
66,"Ergodic mean-payoff games for the analysis of attacks in crypto-currencies."
80,"Bose–Einstein condensation in a dilute, trapped gas at positive temperature"
85,"Snapshot based synchronization: A fast replacement for Hand-over-Hand locking"
148,"The Chara genome: Secondary complexity and implications for plant terrestrialization"
16,"Mixing layer instability and vorticity amplification in a creeping viscoelastic flow"
23,"Single-shot readout of hole spins in Ge"
4,"Learning three-dimensional flow for interactive aerodynamic design"
6003,"State of the art on stylized fabrication"
201,"Multiple covers with balls"
395,"The branched chain amino acids in autism spectrum disorders "
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"
199,"Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes"
187,"The multi-cover persistence of Euclidean balls"
24,"Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives"
276,"Nano-scale microfluidics to study 3D chemotaxis at the single cell level"
283,"Mutations in blind cavefish target the light regulated circadian clock gene period 2"
29,"Social environment affects the transcriptomic response to bacteria in ant queens"
290,"Ergodicity, Entanglement and Many-Body Localization"
295,"Fermionic behavior of ideal anyons"
303,"Introduction to tropical series and wave dynamic on them"
31,"Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons"
310,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter"
315,"Is the sky the limit? On the expansion threshold of a species’ range"
322,"Quantizations of multiplicative hypertoric varieties at a root of unity"
327,"Slow dynamics in translation-invariant quantum lattice models"
384,"Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss"
409,"On the number of non-hexagons in a planar tiling"
428,"Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane"
430,"Tread lightly interpreting polygenic tests of selection"
423,"CRISPR-based herd immunity can limit phage epidemics in bacterial populations"
435,"Coherent-perfect-absorber and laser for bound states in a continuum"
442,"Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls"
461,"Destabilizing turbulence in pipe flow"
5,"The wonderful compactification for quantum groups"
536,"Communication-efficient randomized consensus"
543,"Toward a unified theory of efficient, predictive, and sparse coding"
555,"Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?"
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"
5587,"Supporting materials ""STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"""
5791,"Crossing minimization in perturbed drawings"
5962,"The convergence of stochastic gradient descent in asynchronous shared memory"
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"
5861,"The cell sets the tone"
5816,"30 GHz-voltage controlled oscillator operating at 4 K"
606,"Well-posedness for mean-field evolutions arising in superconductivity"
6009,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
6011,"Data-dependent stability of stochastic gradient descent"
5993,"Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs"
5998,"Genome amplification and cellular senescence are hallmarks of human placenta development"
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"
6340,"Secure Credit Reporting on the Blockchain"
6554,"Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly"
79,"Parameter-independent strategies for pMDPs via POMDPs"
738,"Automated competitive analysis of real time scheduling with graph games"
74,"Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures"
17,"Drag enhancement and drag reduction in viscoelastic flow"
43,"Model of bacterial toxin-dependent pathogenesis explains infective dose"
149,"Dyson equation and eigenvalue statistics of random matrices"
50," Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration"
454,"Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness"
145,"Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission"
188,"Smallest enclosing spheres and Chernoff points in Bregman geometry"
18,"Superconcentrators of density 25.3"
195,"Anyonic statistics of quantum impurities in two dimensions"
20,"Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes"
203,"Auxin methylation is required for differential growth in Arabidopsis"
284,"Maps on probability measures preserving certain distances - a survey and some new results"
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"
296,"Weak ergodicity breaking from quantum many-body scars"
309,"Recognizing weak embeddings of graphs"
311,"Quantitative analysis of smart contracts"
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"
400,"Persistence of translational symmetry in the BCS model with radial pair interaction"
429,"Stability of the matrix Dyson equation and random matrices with correlations"
417,"Diagrammatic Monte Carlo approach to rotating molecular impurities"
436,"Manipulating the flow of thermal noise in quantum devices"
44,"Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations"
448,"Hemimetabolous genomes reveal molecular basis of termite eusociality"
455,"The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations"
556,"The free boundary Schur process and applications"
5569,"Time-lapse microscopy data"
5677,"Contracts for system design"
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"
5754,"John Steinbeck, der kalifornische Klassiker"
5780,"Genetically encodable bioluminescent system from fungi"
5963,"Relaxed schedulers can efficiently parallelize iterative algorithms"
5975,"Commutativity in the algorithmic Lovász local lemma"
5999,"The cohomological Hall algebra of a preprojective algebra"
607,"Well posedness and maximum entropy approximation for the dynamics of quantitative traits"
6012,"Learning equations for extrapolation and control"
63,"Unusual diversity of sex chromosomes in African cichlid fishes"
6339,"Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems"
6358,"Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems"
6459,"Open Access at IST Austria 2009-2017"
6497,"The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective CD8+T cells"
690,"Local law and Tracy–Widom limit for sparse random matrices"
703,"Maximum persistency via iterative relaxed inference with graphical models"
75,"Convex fair partitions into arbitrary number of pieces"
82,"Leaky resistance and the conditions for the existence of lytic bacteriophage"
70,"Transition to shocks in TASEP and decoupling of last passage times"
13,"Metamolds: Computational design of silicone molds"
304,"Computational design of nanostructural color for additive manufacturing"
140,"Space-time interpolants"
323,"Branched actin networks in dendritic cell biology"
51,"From the left to the right: A tale of asymmetries, environments, and hippocampal development"
49,"Ge hut wires - from growth to hole spin resonance"
68,"Learning from dependent data"
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"
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"
158,"Maternal auxin supply contributes to early embryo patterning in Arabidopsis"
19,"Nonoptimal gene expression creates latent potential for antibiotic resistance"
184,"Shellability is NP-complete"
191,"PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism"
196,"Harmonic dynamics of the Abelian sandpile"
2,"Indirect reciprocity with private noisy and incomplete information"
285,"On the Treewidth of Triangulated 3-Manifolds"
300,"On the bit security of cryptographic primitives"
297,"Strategy representation by decision trees in reactive synthesis"
317,"Palladium gates for reproducible quantum dots in silicon"
33,"Can secondary contact following range expansion be distinguished from barriers to gene flow?"
38,"Selection and gene flow shape genomic islands that control floral guides"
40,"The consequences of an introgression event"
401,"A biochemical network controlling basal myosin oscillation"
406,"Probabilistic models of individual and collective animal behavior"
420,"Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover"
425,"Embeddability in the 3-Sphere is decidable"
413,"Ants avoid superinfections by performing risk-adjusted sanitary care"
449,"WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity"
5457,"Cost analysis of nondeterministic probabilistic programs"
5584,"Nonlinear decoding of a complex movie from the mammalian retina"
5673,"Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division"
5577,"Emerald Austrian Publications 2013-2017"
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"
5964,"Brief Announcement: Performance prediction for coarse-grained locking"
5971,"Bounds on the norm of Wigner-type random matrices"
5983,"Theory of the rotating polaron: Spectrum and self-localization"
5990,"Josephson effect in a few-hole quantum dot"
5995,"Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation"
6006,"An abstraction-refinement methodology for reasoning about network games"
64,"Self-organized criticality and pattern emergence through the lens of tropical geometry"
6354,"Platelet migration and bacterial trapping assay under flow"
6359,"On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift"
71,"Scaling limits of discrete optimal transport"
723,"How to escape local optima in black box optimisation when non elitism outperforms elitism"
742,"On expansion and topological overlap"
76,"Near-optimal self-stabilising counting and firing squads"
913,"PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana"
437,"Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration"
273,"Efficient optimization for rank-based loss functions"
418,"Optical and optogenetic control of proliferation and survival "
324,"Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release"
83,"Proof systems for sustainable decentralized cryptocurrencies"
52,"Point interactions in systems of fermions"
69,"Charge sensing and spin relaxation times of holes in Ge hut wires"
77,"A germanium hole spin qubit"
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"
142,"Reachable set over-approximation for nonlinear systems using piecewise barrier tubes"
147,"The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes"
15,"Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells"
185,"Hanani-Tutte for approximating maps of graphs"
180,"Statistical mechanics of the uniform electron gas"
192,"Rapid and reversible root growth inhibition by TIR1 auxin signalling"
22,"Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters"
27,"Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex"
279,"Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome"
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"
320,"Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons"
325,"Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs"
34,"Sensor synthesis for POMDPs with reachability objectives"
399,"Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation"
402,"Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice"
39,"Replicability of introgression under linked, polygenic selection"
421,"Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients"
41,"Sk2 channels associate with mGlu1α receptors and CaV2.1 channels in Purkinje cells"
46,"Detection and characterization of many-body localization in central spin models"
53,"IST PubRep and IST DataRep: the institutional repositories at IST Austria"
5573,"Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow"
5580,"SAGE Austrian Publications 2013-2017"
5578,"IOP Austrian Publications 2012-2015"
5770,"Structure and architecture of immature and mature murine leukemia virus capsids"
5787,"Statistical theory of branching morphogenesis"
5794,"Quantum groups as hidden symmetries of quantum impurities"
58,"Counting blanks in polygonal arrangements"
5679,"New approaches for almost-sure termination of probabilistic programs"
5888,"Genomics in neurodevelopmental disorders: an avenue to personalized medicine"
5960,"Proving the existence of loops in robot trajectories"
5965,"Distributionally linearizable data structures"
5977,"Computational Approaches for Stochastic Shortest Path on Succinct MDPs"
5984,"Optical functionalization of human class A orphan G-protein-coupled receptors"
5996,"The critical point of the transition to turbulence in pipe flow"
5989,"Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites"
6002,"The Bogoliubov free energy functional I: Existence of minimizers and phase diagram"
6355,"Any cyclic quadrilateral can be inscribed in any closed convex smooth curve"
6499,"X10 expansion microscopy enables 25‐nm resolution on conventional microscopes"
72,"Limit law of a second class particle in TASEP with non-random initial condition"
692,"3-Webs generated by confocal conics and circles"
3,"Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"
5751,"Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory"
539," Identification and characterization of novel auxin-cytokinin cross-talk components"
200,"Inferring recent demography from spatial genetic structure"
197,"Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images"
1015,"Vortices and antivortices in two-dimensional ultracold Fermi gases"
1022,"The topology of the cosmic web in terms of persistent Betti numbers"
1089,"Total positivity in Markov structures"
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"
1077,"Evolutionary interplay between structure, energy and epistasis in the coat protein of the fX174 phage family"
1104,"Multiplexed computations in retinal ganglion cells of a single type"
1072,"The Morse theory of Čech and delaunay complexes"
1173,"The Voronoi functional is maximized by the Delaunay triangulation in the plane"
1180,"Algebraic vertices of non-convex polyhedra"
1192,"Even delta-matroids and the complexity of planar Boolean CSPs"
1337,"Universality for general Wigner-type matrices"
3371,"Cells on the move in Philadelphia"
484,"Bogoliubov correction to the mean-field dynamics of interacting bosons"
5562,"Multi-electrode array recording from salamander retinal ganglion cells"
5567,"Immunological synapse DC-Tcells"
605,"Position based cryptography and multiparty communication complexity"
636,"On the quantitative semantics of regular expressions over real-valued signals"
624,"MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations"
650,"A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds"
648,"On the complexity of breaking pseudoentropy"
6426,"Synchronizing the asynchronous"
655,"Bacterial flagella grow through an injection diffusion mechanism"
662,"Hydrodynamic turbulence in quasi Keplerian rotating flows"
713,"Mapping the mouse Allelome reveals tissue specific regulation of allelic expression"
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"
693,"Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses"
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"
720,"Probabilistic models for neural populations that naturally capture global coupling and criticality"
725,"Discrete modes of social information processing predict individual behavior of fish in a group"
807,"Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung"
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"
996,"Strongly aligned molecules inside helium droplets in the near-adiabatic regime"
960,"Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks"
946,"Live tracking of moving samples in confocal microscopy for vertically grown roots"
953,"The sources of adaptive evolution"
939,"Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons"
838,"(The exact security of) Message authentication codes"
631,"Counterexample guided refinement of template polyhedra"
821,"Algorithmic advances in program analysis and their applications"
819,"Disease defence in garden ants"
1004,"Spatiotemporal mechanisms of root branching"
1009,"Optimizing expectation with guarantees in POMDPs"
1023,"Local law for the product of independent non-Hermitian random matrices with independent entries"
1011," Faster algorithms for weighted recursive state machines"
1030,"Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library"
1073,"Algorithmic solvability of the lifting extension problem"
1080,"Reconstructing metastatic seeding patterns of human cancers"
1085,"Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation"
1162,"Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment"
1174,"Lower bounds on key derivation for square-friendly applications"
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"
548,"Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes"
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"
613,"Shaping bacterial population behavior through computer interfaced control of individual cells"
632,"A note on 2D focusing many boson systems"
644,"The complexity of general-valued CSPs"
637,"Be adaptive avoid overcommitting"
663,"Safety verification of nonlinear hybrid systems based on invariant clusters"
687,"The critical CoHA of a quiver with potential"
707,"A tight estimate for the waist of the ball "
699,"The red queen and king in finite populations"
721,"Singularities of solutions to quadratic vector equations on the complex upper half plane"
726,"A unifying theory of branching morphogenesis"
795,"Unified Hanani Tutte theorem"
803,"DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes"
745,"Transition to turbulence in pulsating pipe flow"
733,"Convergence rate for spectral distribution of addition of random matrices"
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"
822,"Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections"
834,"Thouless energy and multifractality across the many-body localization transition"
997,"Emergence of non-abelian magnetic monopoles in a quantum impurity problem"
947,"Quantifying the entropic cost of cellular growth control"
954,"On the mechanistic nature of epistasis in a canonical cis-regulatory element"
959,"Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics"
1155,"Statistical and logical methods for property checking"
839,"Brittle fracture simulation with boundary elements for computer graphics"
202,"Biology of restriction-modification systems at the single-cell and population level"
961,"Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation"
6287,"Discrete Morse theory for random complexes "
992,"Complexity of constraint satisfaction"
1017,"Tubulins and brain development: The origins of functional specification"
1000,"PixelCNN models with auxiliary variables for natural image modeling"
1079,"Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges"
1086,"Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide"
1067,"The physical basis of coordinated tissue spreading in zebrafish gastrulation"
1118,"Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo"
1120,"Angular self-localization of impurities rotating in a bosonic bath"
1132,"Superficial layers of the medial entorhinal cortex replay independently of the hippocampus"
1168,"D inf s optimality in copula models"
1175,"Cumulative space in black-white pebbling and resolution"
1207,"Local law of addition of random matrices on optimal scale"
1199,"How does epistasis influence the response to selection?"
1194,"Stochastic invariants for probabilistic termination"
431,"QSGD: Communication-efficient SGD via gradient quantization and encoding"
424,"Bounding helly numbers via betti numbers"
481,"Planar matchings for weighted straight skeletons"
513,"Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence"
5456,"Data-centric dynamic partial order reduction"
549,"Causality-based model checking"
551,"Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs"
5571,"Data for ""The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"""
568,"Persistence of zero sets"
570,"Regulatory network structure determines patterns of intermolecular epistasis"
614,"The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W"
621,"Mechanisms of radial glia progenitor cell lineage progression"
6288,"Poisson-Delaunay mosaics of order k"
626,"The infinitesimal model: Definition derivation and implications"
640,"Depth-robust graphs and their cumulative memory complexity"
645,"Value iteration for long run average reward in markov decision processes"
6517,"Embedding graphs into embedded graphs"
657,"Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo"
671,"Memory-n strategies of direct reciprocity"
683,"A proof of the orbit conjecture for flipping edge labelled triangulations"
688,"Topological data analysis with Bregman divergences"
708,"Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum"
710,"Renyi entropy estimation revisited"
722,"Shaping 3D root system architecture"
746,"Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice"
739,"A note on the validity of Bogoliubov correction to mean field dynamics"
791,"The power of choice in priority scheduling"
796,"Al transmon qubits on silicon on insulator for quantum device integration"
804,"Overcoming the limitations of the MARTINI force field in simulations of polysaccharides"
823,"Phase transitions in integer linear problems"
912,"A lower bound for the BCS functional with boundary conditions at infinity"
917," A dual ascent framework for Lagrangean decomposition of combinatorial problems"
943,"Decoding of position in the developing neural tube from antiparallel morphogen gradients"
993,"Subsampling scaling"
998,"iCaRL: Incremental classifier and representation learning"
486,"Scattering-aware texture reproduction for 3D printing"
1020,"Disordered cellulose based nanostructures for enhanced light scattering"
1063,"Evolutionary rescue in randomly mating, selfing, and clonal populations"
1006,"Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae"
1114,"Observation of the photon blockade breakdown phase transition"
1087,"Speed and structure of turbulent fronts in pipe flow"
1133,"Anomalous screening of quantum impurities by a neutral environment"
1119,"Quasiparticle approach to molecules interacting with quantum solvents"
1152,"A multi objective memetic inverse solver reinforced by local optimization methods"
1169,"Spatial gene frequency waves under genotype dependent dispersal"
1176,"Towards practical attacks on Argon2i and balloon hashing"
1208,"Maximum likelihood estimation for linear Gaussian covariance models"
432,"ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning"
521,"Higson compactification and dimension raising"
514,"Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum"
538,"Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen"
540,"Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein"
552,"Faster algorithms for mean payoff parity games"
545,"Vascular tissue development and regeneration in the model plant arabidopsis"
5572,"Code for ""The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"""
557,"AAV2 mediated transduction of the mouse retina after optic nerve injury"
5565,"Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel"
569,"Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments"
610,"On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result"
615,"Universality for random matrix flows with time dependent density"
6013,"Experimental evidence for quantum tunneling time"
627,"Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity"
646,"A novel convex relaxation for non binary discrete tomography"
639,"Non-polynomial worst case analysis of recursive programs"
658,"Self organized behavior generation for musculoskeletal robots"
660,"Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation"
672,"Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia"
684,"Obligation blackwell games and p-automata"
677,"The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination"
711,"Bidirectional nested weighted automata"
792,"Relative periodic orbits form the backbone of turbulent pipe flow"
800,"Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus"
824,"Heteroclinic path to spatially localized chaos in pipe flow"
949,"JTDec: A tool for tree decompositions in soot"
951,"Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti"
956,"Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance"
963,"Timed network games with clocks"
994,"Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules"
999,"Multi-task learning with labeled and unlabeled tasks"
1001,"CurveUps: Shaping objects from flat plates with tension-actuated curvature"
1021,"Boundary layer turbulence in experiments on quasi Keplerian flows"
1007,"Zeros of nonlinear systems with input invariances"
1108,"Learning theory for conditional risk minimization"
1076,"Strong-field ionization via a high-order Coulomb-corrected strong-field approximation"
1110,"Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity"
1191,"Existence of traveling waves for the generalized F–KPP equation"
1160,"Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio"
1211,"Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system"
1228,"Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence"
1336,"Towards a runtime comparison of natural and artificial evolution"
1367,"Adaptive physically based models in computer graphics"
274,"A faster approximation algorithm for the Gibbs partition function"
464,"Improved algorithms for parity and Streett objectives"
471,"Faster statistical model checking for unbounded temporal properties"
483,"Universality for a class of random band matrices"
534,"Finding non-orientable surfaces in 3-Manifolds"
541,"Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations"
553,"Strategy complexity of concurrent safety games"
5561,"Graph matching problems for annotating C. Elegans"
560,"On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions"
604,"Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets"
609,"Moderately hard functions: Definition, instantiations, and applications"
628,"Automated recurrence analysis for almost linear expected runtime bounds"
647,"Conic abstractions for hybrid systems"
630,"Biosignals standards and FHIR: The way to go"
635,"Scrypt is maximally memory hard"
642,"Localization errors in solving stochastic partial differential equations in the whole space"
659,"FMNL formins boost lamellipodial force generation"
6519,"Improved set-based symbolic algorithms for parity games"
6526,"On the complexity of estimating Rènyi divergences"
654,"Creating to understand – developmental biology meets engineering in Paris"
673,"Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow"
724,"Noninteracting central site model localization and logarithmic entanglement growth"
697,"Non uniform attacks against pseudoentropy"
700,"Optomechanical proposal for monitoring microtubule mechanical vibrations"
680,"Sensory noise predicts divisive reshaping of receptive fields"
712,"Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations"
685,"The physics of development 100 years after D'Arcy Thompson's “on growth and form”"
717,"Hyperplane separation technique for multidimensional mean-payoff games"
798,"Mechanical on chip microwave circulator"
793,"On the existence of ordinary triangles"
736,"The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells"
825,"Metadata for research data in practice"
914,"Ant queens increase their reproductive efforts after pathogen infection"
945,"Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome"
952,"Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti"
988,"Current-phase relation of ballistic graphene Josephson junctions"
990,"Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow"
995,"Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment"
1002,"Functionality-aware retargeting of mechanisms to 3D shapes"
837,"Reactivation of the hippocampal cognitive map in goal-directed spatial tasks"
820,"The lac operon in the wild"
938,"Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana "
818,"Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics"
1135,"Synthesizing time triggered schedules for switched networks with faulty links"
1142,"Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions"
1154,"A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients"
1147,"Auxin flow mediated competition between axillary buds to restore apical dominance"
1197,"Error-robust modes of the retinal population code"
1212,"Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity"
1231,"On the complexity of scrypt and proofs of space in the parallel random oracle model"
1200,"Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze"
1248,"Information processing in living systems"
1250,"Genetic manipulation of glycogen allocation affects replicative lifespan in E coli"
1255,"Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction"
1262,"Elevated virulence of an emerging viral genotype as a driver of honeybee loss"
1281,"Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor"
1286,"Rotation of cold molecular ions inside a Bose-Einstein condensate"
1293,"Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors"
1279,"Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the CA1 area of the hippocampus"
1267,"Nonexistence of large nuclei in the liquid drop model"
1349,"When non-elitism outperforms elitism for crossing fitness valleys"
1332,"Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments"
1325,"Stability in graphs and games"
1368,"Correlation driven d wave superconductivity in Anderson lattice model: Two gaps"
1370,"Phonon Josephson junction with nanomechanical resonators"
1363,"Generalized non-reflecting boundaries for fluid re-simulation"
1394,"Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli"
1356,"Sewall Wright on evolution in Mendelian populations and the “Shifting Balance”"
1426,"Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites"
1476,"Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis"
1488,"Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis"
1522,"The classification of certain linked 3-manifolds in 6-space"
1490,"Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels"
1616," Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats"
1705,"Guided search for hybrid systems based on coarse-grained space abstractions"
5447,"Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds"
5550,"Flower colour data and phylogeny (NEXUS) files"
5555,"Fiji script to determine average speed and direction of migration of cells"
1344,"TIR1 AFB Aux IAA auxin perception mediates rapid cell wall acidification and growth of Arabidopsis hypocotyls"
1097,"Computational multicopter design"
1136,"Space time sculpting of liquid animation"
1143,"Ground states of large bosonic systems: The gross Pitaevskii limit revisited"
1179,"Pseudoentropy: Lower-bounds for chain rules and transformations"
1167,"Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks"
1186,"Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis"
1251,"TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics"
1256,"From stateflow simulation to verified implementation: A verification approach and a real-time train controller design"
1206,"Libration of strongly oriented polar molecules inside a superfluid"
1218,"Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs"
1244,"Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells"
1249,"Determining physical properties of the cell cortex"
1220,"Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency"
1263,"Efficient microwave to optical photon conversion: An electro-optical realization"
1270,"Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information"
1326,"Optimizing the expected mean payoff in Energy Markov Decision Processes"
1282,"On eigenvalues of random complexes"
1287,"Modes and exceptional points in waveguides with impedance boundary conditions"
1333,"Humans choose representatives who enforce cooperation in social dilemmas through extortion"
1369,"Seed, expand and constrain: Three principles for weakly-supervised image segmentation"
1340,"The big match in small space"
1345,"Plasma membrane: Negative attraction"
1352,"Coexistence of nematic order and superconductivity in the Hubbard model"
1357,"Richard Hudson and Norman Kaplan on the coalescent process"
1364,"Computational design of stable planar-rod structures"
1415,"Narrow band FLIP for liquid simulations"
1422,"Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations"
1410,"Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development"
1446,"On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data"
1439,"PSYNC: A partially synchronous language for fault-tolerant distributed algorithms"
1427,"Epistatic interactions in the arabinose cis-regulatory element"
1434,"Local stability of the free additive convolution"
1491,"The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases"
1496,"Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model"
1484,"Environmental and endogenous control of cortical microtubule orientation"
1489,"Local spectral statistics of Gaussian matrices with correlated entries"
1523,"On topological minors in random simplicial complexes"
1597,"Quantitative analysis of dendritic cell haptotaxis"
1631,"Spread of pedigree versus genetic ancestry in spatially distributed populations"
1612,"CSP for binary conservative relational structures"
1617,"On the discrepancy of jittered sampling"
1662,"Approximation and convergence of the intrinsic volume"
1833,"On the closure of relational models"
478,"The complexity of deciding legality of a single step of magic: The gathering"
480,"Perfect-information stochastic games with generalized mean-payoff objectives"
5556,"MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'"
1081,"Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells"
1098,"Lifelong learning with weighted majority votes"
1151,"A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis"
1219,"Bulk universality for deformed wigner matrices"
1221,"Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein"
1202,"Immune priming in arthropods: an update focusing on the red flour beetle"
1182,"Robust draws in balanced knockout tournaments"
1264,"Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier"
1269,"Plant hormones in interactions with the environment"
1257,"A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes"
1238,"Endosomal interactions during root hair growth"
1240,"Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans"
1276,"Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex"
1271,"Steering cell migration by alternating blebs and actin-rich protrusions"
1233,"Standard security does imply security against selective opening for markov distributions"
1290,"Compounds that select against the tetracycline-resistance efflux pump"
1322,"Asymmetric power boosts extortion in an economic experiment"
1327,"Stochastic shortest path with energy constraints in POMDPs"
1339,"Tunable mechanical coupling between driven microelectromechanical resonators"
1346,"Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification"
1334,"Activity dependent plasticity of hippocampal place maps"
1365,"Efficiently computing data-independent memory-hard functions"
1372,"Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis"
1389,"On recurrent reachability for continuous linear dynamical systems"
1360,"Elementary approach to closed billiard trajectories in asymmetric normed spaces"
1377,"Total variation on a tree"
1353,"Deciding absorption"
1409,"Genomics of hybridization and its evolutionary consequences"
1416,"Interaction-driven Lifshitz transition with dipolar fermions in optical lattices"
1423,"Comparing reactive and memory-one strategies of direct reciprocity"
1478,"Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas"
1428,"Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential"
1435,"P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction"
1492,"Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation"
1485,"Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis"
1480,"Exponential varieties"
1524,"Efficient reduction of kappa models by static inspection of the rule-set"
1620,"The external field dependence of the BCS critical temperature"
5449,"Amplification on undirected population structures: Comets beat stars"
5451,"Strong amplifiers of natural selection"
5557,"Synthetic discrete tomography problems"
1068,"Conditionally optimal algorithms for generalized Büchi Games"
1070,"Computation tree logic for synchronization properties"
1082,"Relevant sparse codes with variational information bottleneck"
1102,"Improving weakly-supervised object localization by micro-annotation"
1099,"FlexMolds: Automatic design of flexible shells for molding"
1138,"Quantitative automata under probabilistic semantics"
1140,"Model and objective separation with conditional lower bounds disjunction is harder than conjunction"
1145,"Enquiry into the topology of plasma membrane localized PIN auxin transport components"
1188,"Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth"
1157,"Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population"
1241,"The role of recombination in evolutionary rescue"
1222,"Optimal packings of congruent circles on a square flat torus"
1227,"Discrete abstraction of multiaffine systems"
1203,"Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination"
1195,"Reconstruction of haplotype-blocks selected during experimental evolution."
1260,"The dual of the space of interactions in neural network models"
1272,"Generalized offsetting of planar structures using skeletons"
1277,"Danger-associated peptide signaling in Arabidopsis requires clathrin"
1246,"Imaging of electric and magnetic fields near plasmonic nanowires"
1253,"How MicroRNAs Are involved in splitting the mind"
1291,"Periodic striped ground states in Ising models with competing interactions"
1323,"Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses"
1328,"Heavy-hole states in germanium hut wires"
1359,"The effect of gene interactions on the long-term response to selection"
1361,"Surface only liquids"
1342,"Spatiotemporal microbial evolution on antibiotic landscapes"
1347,"Deformation of a quantum many-particle system by a rotating impurity"
1366,"Provably robust sponge-based PRNGs and KDFs"
1373,"Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function""
1330,"Billiards in convex bodies with acute angles"
1335,"Quantitative monitor automata"
1354,"Superconducting cavity electromechanics on a silicon-on-insulator platform"
1380,"On the complexity of the orbit problem"
1412,"A practical method for high-resolution embedded liquid surfaces"
1417,"PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis"
1429,"Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides"
1431,"Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon"
1436,"Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction"
1448,"Entropic Ricci curvature bounds for discrete interacting systems"
1493,"A new method and a new scaling for deriving fermionic mean-field dynamics"
1486,"The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties"
1518,"Efficient strategies for calculating blockwise likelihoods under the coalescent"
5445,"Quantitative interprocedural analysis"
5558,"Tracking, Correcting and Absorbing Water Surface Waves"
1126,"Theoretical foundations of multi-task lifelong learning"
1090,"Nested weighted limit-average automata of bounded width"
1103,"Parallel reachability analysis for hybrid systems"
1095,"Local linearizability for concurrent container-type data structures"
1069,"On the skolem problem for continuous linear dynamical systems"
1153,"A model of differential growth guided apical hook formation in plants"
1115,"Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator"
1158,"Shedding light on the grey zone of speciation along a continuum of genomic divergence"
1172,"Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae"
1177,"A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound"
1184,"Mating and longevity in ant males"
1209,"Purification of ovine respiratory complex i results in a highly active and stable preparation"
1216,"Acceleration feature points of unsteady shear flows"
1223,"Localization for transversally periodic random potentials on binary trees"
1204,"Surprises in numerical expressions of physical constants"
1247,"ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling"
1254,"Uniform expansivity outside a critical neighborhood in the quadratic family"
1259,"Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit"
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"
1261,"Long-time behavior of a finite volume discretization for a fourth order diffusion equation"
1266,"Neural oscillations as a signature of efficient coding in the presence of synaptic delays"
1280,"Fixed energy universality for generalized wigner matrices"
1273,"Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3"
1242,"Extending the dynamic range of transcription factor action by translational regulation"
1292,"Computing the Thurston–Bennequin invariant in open books"
1348,"Bounded embeddings of graphs in the plane"
1350,"Synaptic mechanisms of pattern completion in the hippocampal CA3 network"
1329,"De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata"
1343,"Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model"
1355,"Quantum electromechanics on silicon nitride nanomembranes"
1381,"Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range"
1386,"Termination analysis of probabilistic programs through Positivstellensatz's"
1420,"A general approximation for the dynamics of quantitative traits"
1482,"Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization"
1487,"Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination"
1475,"Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton"
1545,"Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations"
1552,"The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa"
1526,"Lipschitz robustness of timed I/O systems"
1608,"Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel"
1641,"A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana"
1622,"Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems"
1653,"New realizations of somewhere statistically binding hashing and positional accumulators"
1881,"Extremal eigenvalues and eigenvectors of deformed Wigner matrices"
510,"The CLE gene family in Populus trichocarpa"
5446,"Termination and worst-case analysis of recursive programs"
5453,"Arbitrarily strong amplifiers of natural selection"
1398,"The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone"
1483,"A stable multi-scale kernel for topological machine learning"
1495,"Relaxed disk packing"
1510,"On computability and triviality of well groups"
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"
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"
1539,"Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space"
1572,"Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet"
1596,"Vertical visibility among parallel polygons in three dimensions"
1577,"Birth of a new gene on the Y chromosome of Drosophila melanogaster"
1623,"Single-cell screening of photosynthetic growth and lactate production by cyanobacteria"
1630,"Learning shape placements by example"
1611,"Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction"
1609,"The complexity of synthesis from probabilistic components"
1635,"Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models"
1673,"Amplifiers of selection"
1685,"A fixed parameter tractable approximation scheme for the optimal cut graph of a surface"
1647,"Practical round-optimal blind signatures in the standard model"
1654,"Generic security of NMAC and HMAC with input whitening"
1642,"Clustered planarity testing revisited"
1697,"High accuracy decoding of dynamical motion from a large retinal population"
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"
1820,"Optimal cost almost-sure reachability in POMDPs"
1832,"Aspect-oriented linearizability proofs"
1793,"DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots"
1882,"Compositionality for quantitative specifications"
1940,"Optimizing information flow in small genetic networks. IV. Spatial coupling"
2006," The monotone secant conjecture in the real Schubert calculus"
2025,"The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins"
523,"Looking at mean-payoff and total-payoff through windows"
5435,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5442,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1509,"Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene"
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"
1566,"An exploration of the universe of polyglutamine structures"
1573,"Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti"
1624,"Cellular cooperation with shift updating and repulsion"
1636,"Effectiveness of structural restrictions for hybrid CSPs"
1648,"A quasipolynomial reduction for generalized selective decryption on trees"
1650,"Condensed unpredictability "
1655,"Quantifying emergent behavior of autonomous robots"
1693,"Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3"
1698,"The complexity of multi-mean-payoff and multi-energy games"
1701,"Thermodynamics and signatures of criticality in a network of neurons"
1706,"Multi-task and lifelong learning of kernels"
1679,"Taylor's Forest"
1681,"Evolution of decisions in population games with sequentially searching individuals"
1667,"Optimizing performance of continuous-time stochastic systems using timeout synthesis"
1674,"Edge universality for deformed Wigner matrices"
1807,"Sharp interface limit for two components Bose-Einstein condensates"
1814,"Water wave animation via wavefront parameter interpolation"
1838,"Assume-guarantee synthesis for concurrent reactive programs with partial information"
1840,"Optimal Kullback-Leibler aggregation via information bottleneck"
1845,"Excitement about inhibitory presynaptic terminals"
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"
2014,"Faithfulness and learning hypergraphs from discrete distributions"
473,"Derivation of nonlinear gibbs measures from many-body quantum mechanics"
5443,"A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs"
5431,"The patience of concurrent stochastic games with safety and reachability objectives"
5436,"Nested weighted automata"
5549,"Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes"
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"
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"
1517,"From large deviations to Wasserstein gradient flows in multiple dimensions"
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"
1649,"Efficient zero-knowledge proofs for commitments from learning with errors over rings"
1644,"Query-complexity amplification for random oracles"
1618,"Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites"
1632,"A stream function solver for liquid simulations"
1699,"Adaptive gene introgression after secondary contact"
1668,"Relaxing full-codebook security: A refined analysis of key-length extension schemes"
1682,"Robust satisfiability of systems of equations"
1687,"Navigating in tissue mazes: Chemoattractant interpretation in complex environments"
1858,"Predicting the future behavior of a time-varying probability distribution"
1860,"Classifier adaptation at prediction time"
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"
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"
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"
2008,"Iterative scaling in curved exponential families"
2034,"Probabilistic opacity for Markov decision processes"
2166,"The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case"
5437,"Faster algorithms for quantitative verification in constant treewidth graphs"
5444,"Reconstructing robust phylogenies of metastatic cancers"
1424,"Statistical topological data analysis-A kernel perspective"
1498,"The need for language support for fault-tolerant distributed systems"
1474,"Policy privacy in cryptographic access control"
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"
1513,"The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
1525,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
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"
1506,"The logarithmic law of random determinant"
1640,"Cytokinin response factors regulate PIN-FORMED auxin transporters"
1652,"High parallel complexity graphs and memory-hard functions"
1614,"Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells"
1664,"The rise of fully turbulent flow"
1789,"Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome"
1695,"Evaluation techniques for Gutzwiller wave functions in finite dimensions"
1669,"The chain rule for HILL pseudoentropy, revisited"
1671,"The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC"
1688,"Bounds for Pach's selection theorem and for the minimum solid angle in a simplex"
1710,"Minimal resistance of curves under the single impact assumption"
1859,"A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle"
1873,"POMDPs under probabilistic semantics"
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"
1823,"Systematic discovery of drug interaction mechanisms"
1828," Invariant measures of genetic recombination process"
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"
1835,"Model checking gene regulatory networks"
1804,"Transition to turbulence in Taylor-Couette ferrofluidic flow"
1993,"Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host"
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"
5438,"Edit distance for pushdown automata"
1425,"Lifelong learning with non-i.i.d. tasks"
1564,"Editorial: Emergent neural computation from the interaction of different forms of plasticity"
1519,"The interpretation of selection coefficients"
1499,"Polynomial time decidability of weighted synchronization under partial observability"
1569,"An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana"
1538,"Iterative experiment design guides the characterization of a light-inducible gene expression circuit"
1590,"Representing directed trees as straight skeletons"
1615,"Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism"
1595,"Hanani-Tutte for radial planarity"
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"