@article{1944,
  author       = {Rakusová, Hana and Fendrych, Matyas and Friml, Jirí},
  journal      = {Current Opinion in Plant Biology},
  number       = {2},
  pages        = {116 -- 123},
  publisher    = {Elsevier},
  title        = {{Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants}},
  doi          = {10.1016/j.pbi.2014.12.002},
  volume       = {23},
  year         = {2015},
}

@inproceedings{1992,
  abstract     = {We present a method and a tool for generating succinct representations of sets of concurrent traces. We focus on trace sets that contain all correct or all incorrect permutations of events from a given trace. We represent trace sets as HB-Formulas that are Boolean combinations of happens-before constraints between events. To generate a representation of incorrect interleavings, our method iteratively explores interleavings that violate the specification and gathers generalizations of the discovered interleavings into an HB-Formula; its complement yields a representation of correct interleavings.

We claim that our trace set representations can drive diverse verification, fault localization, repair, and synthesis techniques for concurrent programs. We demonstrate this by using our tool in three case studies involving synchronization synthesis, bug summarization, and abstraction refinement based verification. In each case study, our initial experimental results have been promising.

In the first case study, we present an algorithm for inferring missing synchronization from an HB-Formula representing correct interleavings of a given trace. The algorithm applies rules to rewrite specific patterns in the HB-Formula into locks, barriers, and wait-notify constructs. In the second case study, we use an HB-Formula representing incorrect interleavings for bug summarization. While the HB-Formula itself is a concise counterexample summary, we present additional inference rules to help identify specific concurrency bugs such as data races, define-use order violations, and two-stage access bugs. In the final case study, we present a novel predicate learning procedure that uses HB-Formulas representing abstract counterexamples to accelerate counterexample-guided abstraction refinement (CEGAR). In each iteration of the CEGAR loop, the procedure refines the abstraction to eliminate multiple spurious abstract counterexamples drawn from the HB-Formula.},
  author       = {Gupta, Ashutosh and Henzinger, Thomas A and Radhakrishna, Arjun and Samanta, Roopsha and Tarrach, Thorsten},
  isbn         = {978-1-4503-3300-9},
  location     = {Mumbai, India},
  pages        = {433 -- 444},
  publisher    = {ACM},
  title        = {{Succinct representation of concurrent trace sets}},
  doi          = {10.1145/2676726.2677008},
  year         = {2015},
}

@article{1993,
  abstract     = {The fitness effects of symbionts on their hosts can be context-dependent, with usually benign symbionts causing detrimental effects when their hosts are stressed, or typically parasitic symbionts providing protection towards their hosts (e.g. against pathogen infection). Here, we studied the novel association between the invasive garden ant Lasius neglectus and its fungal ectosymbiont Laboulbenia formicarum for potential costs and benefits. We tested ants with different Laboulbenia levels for their survival and immunity under resource limitation and exposure to the obligate killing entomopathogen Metarhizium brunneum. While survival of L. neglectus workers under starvation was significantly decreased with increasing Laboulbenia levels, host survival under Metarhizium exposure increased with higher levels of the ectosymbiont, suggesting a symbiont-mediated anti-pathogen protection, which seems to be driven mechanistically by both improved sanitary behaviours and an upregulated immune system. Ants with high Laboulbenia levels showed significantly longer self-grooming and elevated expression of immune genes relevant for wound repair and antifungal responses (β-1,3-glucan binding protein, Prophenoloxidase), compared with ants carrying low Laboulbenia levels. This suggests that the ectosymbiont Laboulbenia formicarum weakens its ant host by either direct resource exploitation or the costs of an upregulated behavioural and immunological response, which, however, provides a prophylactic protection upon later exposure to pathogens. },
  author       = {Konrad, Matthias and Grasse, Anna V and Tragust, Simon and Cremer, Sylvia},
  issn         = {1471-2954},
  journal      = {Proceedings of the Royal Society of London Series B Biological Sciences},
  number       = {1799},
  publisher    = {The Royal Society},
  title        = {{Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host}},
  doi          = {10.1098/rspb.2014.1976},
  volume       = {282},
  year         = {2015},
}

@article{1997,
  abstract     = {We prove that the three-state toric homogeneous Markov chain model has Markov degree two. In algebraic terminology this means, that a certain class of toric ideals is generated by quadratic binomials. This was conjectured by Haws, Martin del Campo, Takemura and Yoshida, who proved that they are generated by degree six binomials.},
  author       = {Noren, Patrik},
  journal      = {Journal of Symbolic Computation},
  number       = {May-June},
  pages        = {285 -- 296},
  publisher    = {Elsevier},
  title        = {{The three-state toric homogeneous Markov chain model has Markov degree two}},
  doi          = {10.1016/j.jsc.2014.09.014},
  volume       = {68/Part 2},
  year         = {2015},
}

@article{2006,
  abstract     = {The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as computational evidence obtained by 1.9 teraHertz-years of computing, and we discuss some of the phenomena we observed in our data. },
  author       = {Hein, Nicolas and Hillar, Christopher and Martin Del Campo Sanchez, Abraham and Sottile, Frank and Teitler, Zach},
  journal      = {Experimental Mathematics},
  number       = {3},
  pages        = {261 -- 269},
  publisher    = {Taylor & Francis},
  title        = {{The monotone secant conjecture in the real Schubert calculus}},
  doi          = {10.1080/10586458.2014.980044},
  volume       = {24},
  year         = {2015},
}

@article{2008,
  abstract     = {The paper describes a generalized iterative proportional fitting procedure that can be used for maximum likelihood estimation in a special class of the general log-linear model. The models in this class, called relational, apply to multivariate discrete sample spaces that do not necessarily have a Cartesian product structure and may not contain an overall effect. When applied to the cell probabilities, the models without the overall effect are curved exponential families and the values of the sufficient statistics are reproduced by the MLE only up to a constant of proportionality. The paper shows that Iterative Proportional Fitting, Generalized Iterative Scaling, and Improved Iterative Scaling fail to work for such models. The algorithm proposed here is based on iterated Bregman projections. As a by-product, estimates of the multiplicative parameters are also obtained. An implementation of the algorithm is available as an R-package.},
  author       = {Klimova, Anna and Rudas, Tamás},
  journal      = {Scandinavian Journal of Statistics},
  number       = {3},
  pages        = {832 -- 847},
  publisher    = {Wiley},
  title        = {{Iterative scaling in curved exponential families}},
  doi          = {10.1111/sjos.12139},
  volume       = {42},
  year         = {2015},
}

@article{2014,
  abstract     = {The concepts of faithfulness and strong-faithfulness are important for statistical learning of graphical models. Graphs are not sufficient for describing the association structure of a discrete distribution. Hypergraphs representing hierarchical log-linear models are considered instead, and the concept of parametric (strong-) faithfulness with respect to a hypergraph is introduced. Strong-faithfulness ensures the existence of uniformly consistent parameter estimators and enables building uniformly consistent procedures for a hypergraph search. The strength of association in a discrete distribution can be quantified with various measures, leading to different concepts of strong-faithfulness. Lower and upper bounds for the proportions of distributions that do not satisfy strong-faithfulness are computed for different parameterizations and measures of association.},
  author       = {Klimova, Anna and Uhler, Caroline and Rudas, Tamás},
  journal      = {Computational Statistics & Data Analysis},
  number       = {7},
  pages        = {57 -- 72},
  publisher    = {Elsevier},
  title        = {{Faithfulness and learning hypergraphs from discrete distributions}},
  doi          = {10.1016/j.csda.2015.01.017},
  volume       = {87},
  year         = {2015},
}

@article{2025,
  abstract     = {Small GTP-binding proteins of the Ras superfamily play diverse roles in intracellular trafficking. Among them, the Rab, Arf, and Rho families function in successive steps of vesicle transport, in forming vesicles from donor membranes, directing vesicle trafficking toward target membranes and docking vesicles onto target membranes. These proteins act as molecular switches that are controlled by a cycle of GTP binding and hydrolysis regulated by guanine nucleotide exchange factors (GEFs) and GTPase-activating proteins (GAPs). In this study we explored the role of GAPs in the regulation of the endocytic pathway using fluorescently labeled yeast mating pheromone α-factor. Among 25 non-essential GAP mutants, we found that deletion of the GLO3 gene, encoding Arf-GAP protein, caused defective internalization of fluorescently labeled α-factor. Quantitative analysis revealed that glo3Δ cells show defective α-factor binding to the cell surface. Interestingly, Ste2p, the α-factor receptor, was mis-localized from the plasma membrane to the vacuole in glo3Δ cells. Domain deletion mutants of Glo3p revealed that a GAP-independent function, as well as the GAP activity, of Glo3p is important for both α-factor binding and Ste2p localization at the cell surface. Additionally, we found that deletion of the GLO3 gene affects the size and number of Arf1p-residing Golgi compartments and causes a defect in transport from the TGN to the plasma membrane. Furthermore, we demonstrated that glo3Δ cells were defective in the late endosome-to-TGN transport pathway, but not in the early endosome-to-TGN transport pathway. These findings suggest novel roles for Arf-GAP Glo3p in endocytic recycling of cell surface proteins.},
  author       = {Kawada, Daiki and Kobayashi, Hiromu and Tomita, Tsuyoshi and Nakata, Eisuke and Nagano, Makoto and Siekhaus, Daria E and Toshima, Junko and Toshimaa, Jiro},
  journal      = {Biochimica et Biophysica Acta - Molecular Cell Research},
  number       = {1},
  pages        = {144 -- 156},
  publisher    = {Elsevier},
  title        = {{The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins}},
  doi          = {10.1016/j.bbamcr.2014.10.009},
  volume       = {1853},
  year         = {2015},
}

@article{2030,
  abstract     = {A hybrid-parallel direct-numerical-simulation method with application to turbulent Taylor-Couette flow is presented. The Navier-Stokes equations are discretized in cylindrical coordinates with the spectral Fourier-Galerkin method in the axial and azimuthal directions, and high-order finite differences in the radial direction. Time is advanced by a second-order, semi-implicit projection scheme, which requires the solution of five Helmholtz/Poisson equations, avoids staggered grids and renders very small slip velocities. Nonlinear terms are evaluated with the pseudospectral method. The code is parallelized using a hybrid MPI-OpenMP strategy, which, compared with a flat MPI parallelization, is simpler to implement, allows to reduce inter-node communications and MPI overhead that become relevant at high processor-core counts, and helps to contain the memory footprint. A strong scaling study shows that the hybrid code maintains scalability up to more than 20,000 processor cores and thus allows to perform simulations at higher resolutions than previously feasible. In particular, it opens up the possibility to simulate turbulent Taylor-Couette flows at Reynolds numbers up to O(105). This enables to probe hydrodynamic turbulence in Keplerian flows in experimentally relevant regimes.},
  author       = {Shi, Liang and Rampp, Markus and Hof, Björn and Avila, Marc},
  journal      = {Computers and Fluids},
  number       = {1},
  pages        = {1 -- 11},
  publisher    = {Elsevier},
  title        = {{A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow}},
  doi          = {10.1016/j.compfluid.2014.09.021},
  volume       = {106},
  year         = {2015},
}

@article{2034,
  abstract     = {Opacity is a generic security property, that has been defined on (non-probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a subset of runs, and a function describing the view of an external observer, the value of interest for opacity is a measure of the set of runs disclosing the secret. We extend this definition to the richer framework of Markov decision processes, where non-deterministicchoice is combined with probabilistic transitions, and we study related decidability problems with partial or complete observation hypotheses for the schedulers. We prove that all questions are decidable with complete observation and ω-regular secrets. With partial observation, we prove that all quantitative questions are undecidable but the question whether a system is almost surely non-opaquebecomes decidable for a restricted class of ω-regular secrets, as well as for all ω-regular secrets under finite-memory schedulers.},
  author       = {Bérard, Béatrice and Chatterjee, Krishnendu and Sznajder, Nathalie},
  journal      = { Information Processing Letters},
  number       = {1},
  pages        = {52 -- 59},
  publisher    = {Elsevier},
  title        = {{Probabilistic opacity for Markov decision processes}},
  doi          = {10.1016/j.ipl.2014.09.001},
  volume       = {115},
  year         = {2015},
}

@article{2035,
  abstract     = {Considering a continuous self-map and the induced endomorphism on homology, we study the eigenvalues and eigenspaces of the latter. Taking a filtration of representations, we define the persistence of the eigenspaces, effectively introducing a hierarchical organization of the map. The algorithm that computes this information for a finite sample is proved to be stable, and to give the correct answer for a sufficiently dense sample. Results computed with an implementation of the algorithm provide evidence of its practical utility.
},
  author       = {Edelsbrunner, Herbert and Jablonski, Grzegorz and Mrozek, Marian},
  journal      = {Foundations of Computational Mathematics},
  number       = {5},
  pages        = {1213 -- 1244},
  publisher    = {Springer},
  title        = {{The persistent homology of a self-map}},
  doi          = {10.1007/s10208-014-9223-y},
  volume       = {15},
  year         = {2015},
}

@article{13392,
  abstract     = {The chemical behaviour of molecules can be significantly modified by confinement to volumes comparable to the dimensions of the molecules. Although such confined spaces can be found in various nanostructured materials, such as zeolites, nanoporous organic frameworks and colloidal nanocrystal assemblies, the slow diffusion of molecules in and out of these materials has greatly hampered studying the effect of confinement on their physicochemical properties. Here, we show that this diffusion limitation can be overcome by reversibly creating and destroying confined environments by means of ultraviolet and visible light irradiation. We use colloidal nanocrystals functionalized with light-responsive ligands that readily self-assemble and trap various molecules from the surrounding bulk solution. Once trapped, these molecules can undergo chemical reactions with increased rates and with stereoselectivities significantly different from those in bulk solution. Illumination with visible light disassembles these nanoflasks, releasing the product in solution and thereby establishes a catalytic cycle. These dynamic nanoflasks can be useful for studying chemical reactivities in confined environments and for synthesizing molecules that are otherwise hard to achieve in bulk solution.},
  author       = {Zhao, Hui and Sen, Soumyo and Udayabhaskararao, T. and Sawczyk, Michał and Kučanda, Kristina and Manna, Debasish and Kundu, Pintu K. and Lee, Ji-Woong and Král, Petr and Klajn, Rafal},
  issn         = {1748-3395},
  journal      = {Nature Nanotechnology},
  keywords     = {Electrical and Electronic Engineering, Condensed Matter Physics, General Materials Science, Biomedical Engineering, Atomic and Molecular Physics, and Optics, Bioengineering},
  pages        = {82--88},
  publisher    = {Springer Nature},
  title        = {{Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks}},
  doi          = {10.1038/nnano.2015.256},
  volume       = {11},
  year         = {2015},
}

@article{13393,
  abstract     = {Precise control of the self-assembly of selected components within complex mixtures is a challenging goal whose realization is important for fabricating novel nanomaterials. Herein we show that by decorating the surfaces of metallic nanoparticles with differently substituted azobenzenes, it is possible to modulate the wavelength of light at which the self-assembly of these nanoparticles is induced. Exposing a mixture of two types of nanoparticles, each functionalized with a different azobenzene, to UV or blue light induces the selective self-assembly of only one type of nanoparticles. Irradiation with the other wavelength triggers the disassembly of the aggregates, and the simultaneous self-assembly of nanoparticles of the other type. By placing both types of azobenzenes on the same nanoparticles, we created unique materials (“frustrated” nanoparticles) whose self-assembly is induced irrespective of the wavelength of the incident light.},
  author       = {Manna, Debasish and Udayabhaskararao, Thumu and Zhao, Hui and Klajn, Rafal},
  issn         = {1521-3773},
  journal      = {Angewandte Chemie International Edition},
  keywords     = {General Chemistry, Catalysis},
  number       = {42},
  pages        = {12394--12397},
  publisher    = {Wiley},
  title        = {{Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes}},
  doi          = {10.1002/anie.201502419},
  volume       = {54},
  year         = {2015},
}

@article{13394,
  abstract     = {The ability to guide the assembly of nanosized objects reversibly with external stimuli, in particular light, is of fundamental importance, and it contributes to the development of applications as diverse as nanofabrication and controlled drug delivery. However, all the systems described to date are based on nanoparticles (NPs) that are inherently photoresponsive, which makes their preparation cumbersome and can markedly hamper their performance. Here we describe a conceptually new methodology to assemble NPs reversibly using light that does not require the particles to be functionalized with light-responsive ligands. Our strategy is based on the use of a photoswitchable medium that responds to light in such a way that it modulates the interparticle interactions. NP assembly proceeds quantitatively and without apparent fatigue, both in solution and in gels. Exposing the gels to light in a spatially controlled manner allowed us to draw images that spontaneously disappeared after a specific period of time.},
  author       = {Kundu, Pintu K. and Samanta, Dipak and Leizrowice, Ron and Margulis, Baruch and Zhao, Hui and Börner, Martin and Udayabhaskararao, T. and Manna, Debasish and Klajn, Rafal},
  issn         = {1755-4349},
  journal      = {Nature Chemistry},
  keywords     = {General Chemical Engineering, General Chemistry},
  pages        = {646--652},
  publisher    = {Springer Nature},
  title        = {{Light-controlled self-assembly of non-photoresponsive nanoparticles}},
  doi          = {10.1038/nchem.2303},
  volume       = {7},
  year         = {2015},
}

@article{13395,
  abstract     = {Metallic nanoparticles co-functionalised with monolayers of UV- and CO2-sensitive ligands were prepared and shown to respond to these two types of stimuli reversibly and in an orthogonal fashion. The composition of the coating could be tailored to yield nanoparticles capable of aggregating exclusively when both UV and CO2 were applied at the same time, analogously to the behaviour of an AND logic gate.},
  author       = {Lee, Ji-Woong and Klajn, Rafal},
  issn         = {1364-548X},
  journal      = {Chemical Communications},
  keywords     = {Materials Chemistry, Metals and Alloys, Surfaces, Coatings and Films, General Chemistry, Ceramics and Composites, Electronic, Optical and Magnetic Materials, Catalysis},
  number       = {11},
  pages        = {2036--2039},
  publisher    = {Royal Society of Chemistry},
  title        = {{Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2}},
  doi          = {10.1039/c4cc08541h},
  volume       = {51},
  year         = {2015},
}

@article{13396,
  abstract     = {Photoswitching in densely packed azobenzene self-assembled monolayers (SAMs) is strongly affected by steric constraints and excitonic coupling between neighboring chromophores. Therefore, control of the chromophore density is essential for enhancing and manipulating the photoisomerization yield. We systematically compare two methods to achieve this goal: First, we assemble monocomponent azobenzene–alkanethiolate SAMs on gold nanoparticles of varying size. Second, we form mixed SAMs of azobenzene–alkanethiolates and “dummy” alkanethiolates on planar substrates. Both methods lead to a gradual decrease of the chromophore density and enable efficient photoswitching with low-power light sources. X-ray spectroscopy reveals that coadsorption from solution yields mixtures with tunable composition. The orientation of the chromophores with respect to the surface normal changes from a tilted to an upright position with increasing azobenzene density. For both systems, optical spectroscopy reveals a pronounced excitonic shift that increases with the chromophore density. In spite of exciting the optical transition of the monomer, the main spectral change in mixed SAMs occurs in the excitonic band. In addition, the photoisomerization yield decreases only slightly by increasing the azobenzene–alkanethiolate density, and we observed photoswitching even with minor dilutions. Unlike in solution, azobenzene in the planar SAM can be switched back almost completely by optical excitation from the cis to the original trans state within a short time scale. These observations indicate cooperativity in the photoswitching process of mixed SAMs.},
  author       = {Moldt, Thomas and Brete, Daniel and Przyrembel, Daniel and Das, Sanjib and Goldman, Joel R. and Kundu, Pintu K. and Gahl, Cornelius and Klajn, Rafal and Weinelt, Martin},
  issn         = {1520-5827},
  journal      = {Langmuir},
  keywords     = {Electrochemistry, Spectroscopy, Surfaces and Interfaces, Condensed Matter Physics, General Materials Science},
  number       = {3},
  pages        = {1048--1057},
  publisher    = {American Chemical Society},
  title        = {{Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature}},
  doi          = {10.1021/la504291n},
  volume       = {31},
  year         = {2015},
}

@article{13397,
  abstract     = {Self-assembly of inorganic nanoparticles has been studied extensively for particles having different sizes and compositions. However, relatively little attention has been devoted to how the shape and surface chemistry of magnetic nanoparticles affects their self-assembly properties. Here, we undertook a combined experiment–theory study aimed at better understanding of the self-assembly of cubic magnetite (Fe3O4) particles. We demonstrated that, depending on the experimental parameters, such as the direction of the magnetic field and nanoparticle density, a variety of superstructures can be obtained, including one-dimensional filaments and helices, as well as C-shaped assemblies described here for the first time. Furthermore, we functionalized the surfaces of the magnetic nanocubes with light-sensitive ligands. Using these modified nanoparticles, we were able to achieve orthogonal control of self-assembly using a magnetic field and light.},
  author       = {Singh, Gurvinder and Chan, Henry and Udayabhaskararao, T. and Gelman, Elijah and Peddis, Davide and Baskin, Artem and Leitus, Gregory and Král, Petr and Klajn, Rafal},
  issn         = {1364-5498},
  journal      = {Faraday Discussions},
  keywords     = {Physical and Theoretical Chemistry},
  pages        = {403--421},
  publisher    = {Royal Society of Chemistry},
  title        = {{Magnetic field-induced self-assembly of iron oxide nanocubes}},
  doi          = {10.1039/c4fd00265b},
  volume       = {181},
  year         = {2015},
}

@article{13398,
  author       = {Sun, Yugang and Scarabelli, Leonardo and Kotov, Nicholas and Tebbe, Moritz and Lin, Xiao-Min and Brullot, Ward and Isa, Lucio and Schurtenberger, Peter and Moehwald, Helmuth and Fedin, Igor and Velev, Orlin and Faivre, Damien and Sorensen, Christopher and Perzynski, Régine and Chanana, Munish and Li, Zhihai and Bresme, Fernando and Král, Petr and Firlar, Emre and Schiffrin, David and Souza Junior, Joao Batista and Fery, Andreas and Shevchenko, Elena and Tarhan, Ozgur and Alivisatos, Armand Paul and Disch, Sabrina and Klajn, Rafal and Ghosh, Suvojit},
  issn         = {1364-5498},
  journal      = {Faraday Discussions},
  keywords     = {Physical and Theoretical Chemistry},
  pages        = {463--479},
  publisher    = {Royal Society of Chemistry},
  title        = {{Field-assisted self-assembly process: General discussion}},
  doi          = {10.1039/c5fd90041g},
  volume       = {181},
  year         = {2015},
}

@article{1383,
  abstract     = {In plants, vacuolar H+-ATPase (V-ATPase) activity acidifies both the trans-Golgi network/early endosome (TGN/EE) and the vacuole. This dual V-ATPase function has impeded our understanding of how the pH homeostasis within the plant TGN/EE controls exo- and endocytosis. Here, we show that the weak V-ATPase mutant deetiolated3 (det3) displayed a pH increase in the TGN/EE, but not in the vacuole, strongly impairing secretion and recycling of the brassinosteroid receptor and the cellulose synthase complexes to the plasma membrane, in contrast to mutants lacking tonoplast-localized V-ATPase activity only. The brassinosteroid insensitivity and the cellulose deficiency defects in det3 were tightly correlated with reduced Golgi and TGN/EE motility. Thus, our results provide strong evidence that acidification of the TGN/EE, but not of the vacuole, is indispensable for functional secretion and recycling in plants.},
  author       = {Yu, Luo and Scholl, Stefan and Doering, Anett and Yi, Zhang and Irani, Niloufer and Di Rubbo, Simone and Neumetzler, Lutz and Krishnamoorthy, Praveen and Van Houtte, Isabelle and Mylle, Evelien and Bischoff, Volker and Vernhettes, Samantha and Winne, Johan and Friml, Jirí and Stierhof, York and Schumacher, Karin and Persson, Staffan and Russinova, Eugenia},
  journal      = {Nature Plants},
  number       = {7},
  publisher    = {Nature Publishing Group},
  title        = {{V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis}},
  doi          = {10.1038/nplants.2015.94},
  volume       = {1},
  year         = {2015},
}

@phdthesis{1399,
  abstract     = {This thesis is concerned with the computation and approximation of intrinsic volumes. Given a smooth body M and a certain digital approximation of it, we develop algorithms to approximate various intrinsic volumes of M using only measurements taken from its digital approximations. The crucial idea behind our novel algorithms is to link the recent theory of persistent homology to the theory of intrinsic volumes via the Crofton formula from integral geometry and, in particular, via Euler characteristic computations. Our main contributions are a multigrid convergent digital algorithm to compute the first intrinsic volume of a solid body in R^n as well as an appropriate integration pipeline to approximate integral-geometric integrals defined over the Grassmannian manifold.},
  author       = {Pausinger, Florian},
  issn         = {2663-337X},
  pages        = {144},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{On the approximation of intrinsic volumes}},
  year         = {2015},
}

