_id,title
1395,Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
1402,Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
1403,Forces driving epithelial spreading in zebrafish epiboly
1404,Evolution of a fungal pathogen towards individual versus social immunity in ants
1507,"Random matrices, log-gases and Hölder regularity"
1516,On the BCS gap equation for superfluid fermionic gases
1532,Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
3263,Adaptation to changes in higher-order stimulus statistics in the salamander retina
8500,"Arnol′d diffusion in a pendulum lattice"
2000,TTP: Tool for tumor progression
2009,Privacy-preserving data sharing for genome-wide association studies
2010,Geometry of the faithfulness assumption in causal inference
2181,Quantitative relaxation of concurrent data structures
2182,Quantitative abstraction refinement
2209,Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
2210,Reconstructing polygons from embedded straight skeletons
2237,Tree interpolation in Vampire
2238,Multi-objective discounted reward verification in graphs and MDPs
2243,Elementary modal logics over transitive structures
2244,Untangling two systems of noncrossing curves
2247,Forgiver triumphs in alternating prisoner's dilemma
2256,Linked (Open) Data - Bibliographische Daten im Semantic Web
2258,Digital signatures with minimal overhead from indifferentiable random invertible functions
2259,"Learning with rounding, revisited: New reduction properties and applications"
2260,Efficient signatures of knowledge and DAA in the standard model
2264,Neural development is dependent on the function of specificity protein 2 in cell cycle progression
2270,Optimal Coalition Structures in Cooperative Graph Games
2272,Inference algorithms for pattern-based CRFs on sequence data
2273,Reweighted message passing revisited
2274,Proofs of Space
2276,"Potts model, parametric maxflow and k-submodular functions"
2277,Transformation of stimulus correlations by the retina
2278,A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development
2279,Looking at mean-payoff and total-payoff through windows
2280,Packing ellipsoids with overlap
2282,Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
2283,Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger
2284,Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
2286,The force and effect of cell proliferation
2287,The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
2288,Computational Methods in Systems Biology
2289,Quantitative reactive modeling and verification
2290,ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
2291,Cryptographically enforced RBAC
2292,Mathematical Foundations of Computer Science 2013
2293,Learning to rank using privileged information
2294,Drosophila Embryo Stage Annotation using Label Propagation
2295,What is decidable about partially observable Markov decision processes with omega-regular objectives
2297,Hot topics in cold gases: A mathematical physics perspective
2298,Local shape analysis for overlaid data structures
2299,Synthesis of AMBA AHB from formal specification: A case study
2300,Realization of stripes and slabs in two and three dimensions
2301,P: Safe asynchronous event-driven programming
2303,Dissection of gene function at clonal level using mosaic analysis with double markers
2304,Van der Corput sequences and linear permutations
2305,Trading performance for stability in Markov decision processes
2306,(Open) Linked Data in Bibliotheken
2327,From model checking to model measuring
2328,Aspect-oriented linearizability proofs
2329,Hyperplane separation technique for multidimensional mean-payoff games
2410,Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
2412,Probabilistic models for CRISPR spacer content evolution
2413,Neuronal oscillations scale up and scale down the brain dynamics
2443,Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
2444,Faster algorithms for Markov decision processes with low treewidth
2445,Efficient synthesis for concurrency by semantics-preserving transformations
2446,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
2447,Automating separation logic using SMT
2448,ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
2449,Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
2466,Highly adaptive liquid simulations on tetrahedral meshes
2467,Putting holes in holey geometry: Topology change for arbitrary surfaces
2468,Liquid surface tracking with error compensation
2469,Three functions of cadherins in cell adhesion
2470,Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
2471,Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
2472,Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
2473,Genetic hitch-hiking in spatially extended populations
2516,Attribute-based classification for zero-shot learning of object categories
2517,Formalizing and reasoning about quality
2518,The power of linear programming for finite-valued CSPs: A constructive characterization
2520,The supervised IBP: Neighbourhood preserving infinite latent feature models
450,Source population characteristics affect heterosis following genetic rescue of fragmented plant populations
476,Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions
499,Dynamic persistence of antibiotic-stressed mycobacteria
500,Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
501,A new species of tapir from the Amazon
502,Short blind signatures
505,Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins
507,Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
508,"Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications"
509,The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis
511,Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
516,"A map of cell type‐specific auxin responses"
522,Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells
527,Modeling framework for the establishment of the apical-basal embryonic axis in plants
528,Local auxin sources orient the apical basal axis in arabidopsis embryos
5399,TTP: Tool for Tumor Progression
5400,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
5401,Initiatives and projects related to RD