Search Results - "Aberle, B"

Refine Results
  1. 1
  2. 2

    Total column water vapour measurements from GOME-2 MetOp-A and MetOp-B by Grossi, M, Valks, P, Loyola, D, Aberle, B, Slijkhuis, S, Wagner, T, Beirle, S, Lang, R

    Published in Atmospheric measurement techniques (05-03-2015)
    “…Knowledge of the total column water vapour (TCWV) global distribution is fundamental for climate analysis and weather monitoring. In this work, we present the…”
    Get full text
    Journal Article
  3. 3

    A Space Borne Lidar Instrument for Methane: Instrument Monitoring & Quality Assurance by Hamidouche, Mourad, Lichtenberg, G., Aberle, B., Trautmann, T.

    “…The concentration of methane (CH 4 ) with other greenhouse gases in the atmosphere lead to the raise of the mean Earth surface temperature. Methane is in fact…”
    Get full text
    Conference Proceeding
  4. 4

    Selection of Single Scattering from Multiple Scattering Systems by 3D Cross-Correlation. 2. Concentrated Polymer Solutions by Aberle, L. B, Kleemeier, M, Hennemann, O.-D, Burchard, W

    Published in Macromolecules (26-02-2002)
    “…The effect of multiple scattering from macromolecules was studied on the example of branched amylopectin molecules (waxy maize starch) in water by application…”
    Get full text
    Journal Article
  5. 5

    The Global Ozone Monitoring Experiment: review of in-flight performance and new reprocessed 1995–2011 level 1 product by Coldewey-Egbers, Melanie, Slijkhuis, Sander, Aberle, Bernd, Loyola, Diego, Dehn, Angelika

    Published in Atmospheric measurement techniques (18-09-2018)
    “…The Global Ozone Monitoring Experiment (GOME) on-board the second European Remote Sensing satellite provided measurements of atmospheric constituents such as…”
    Get full text
    Journal Article
  6. 6

    Evaluation of light scattering data from bimodal turbid suspensions: a simple fit procedure by Aberle, Lisa B., Hülstede, Peter, Kleemeier, Malte, Staude, Wilfried, Hennemann, Otto-Diedrich

    Published in Macromolecular symposia. (01-12-2000)
    “…Whereas correlation spectroscopy gives reliable information on the size of immersed particles in those cases where the size distribution is narrow, large…”
    Get full text
    Journal Article
  7. 7

    Simultaneous regularization method for the determination of radius distributions from experimental multiangle correlation functions by Buttgereit, R, Roths, T, Honerkamp, J, Aberle, L B

    “…Dynamic light scattering experiments have become a powerful tool in order to investigate the dynamical properties of complex fluids. In many applications in…”
    Get full text
    Journal Article
  8. 8
  9. 9

    GOME level 1-to-2 data processor version 3.0: a major upgrade of the GOME/ERS-2 total ozone retrieval algorithm by Spurr, Robert, Loyola, Diego, Thomas, Werner, Balzer, Wolfgang, Mikusch, Eberhard, Aberle, Bernd, Slijkhuis, Sander, Ruppert, Thomas, van Roozendael, Michel, Lambert, Jean-Christopher, Soebijanta, Trisnanto

    Published in Applied optics (2004) (20-11-2005)
    “…The global ozone monitoring experiment (GOME) was launched in April 1995, and the GOME data processor (GDP) retrieval algorithm has processed operational total…”
    Get more information
    Journal Article
  10. 10
  11. 11
  12. 12

    Hereditary Anemia in Mice and Its Relation to Dominant Spotting by De Aberle, S. B.

    Published in The American naturalist (01-07-1925)
    “…The homozygous young of the dominant white mouse ordinarily live throughout the whole period of gestation and not infrequently for several days after birth. No…”
    Get full text
    Journal Article
  13. 13
  14. 14

    Parametricity via Cohesion by Aberlé, C. B

    Published 04-04-2024
    “…Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems…”
    Get full text
    Journal Article
  15. 15

    Foundations of Substructural Dependent Type Theory by Aberlé, C. B

    Published 26-01-2024
    “…This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type…”
    Get full text
    Journal Article
  16. 16

    Polynomial Universes and Dependent Types by Aberlé, C. B, Spivak, David I

    Published 27-09-2024
    “…Awodey, later with Newstead, showed how polynomial pseudomonads $(u,1,\Sigma)$ with extra structure (termed "natural models" by Awodey) hold within them the…”
    Get full text
    Journal Article
  17. 17
  18. 18
  19. 19
  20. 20