Search results for "foundations"
showing 10 items of 100 documents
The identity type weak factorisation system
2008
We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.
Didactical note: probabilistic conditionality in a Boolean algebra
1996
This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling ``If-then" propositions. These operations, or Conditionals, are characterized under the hypothesis that they only obey to the Modus Ponens-Inequality, and it is shown that only six of them are boolean two-place functions. Is the Conditional Probability the Probability of a Conditional? This problem will be only considered, with the Material Conditional Operation, on a Boolean Algebra endowed with a finite probability and in three different cases: with the Internal-Conditional Probability, with th…
Determination of n-alkanes, polycyclic aromatic hydrocarbons and hopanes in atmospheric aerosol: evaluation and comparison of thermal desorption GC-M…
2019
Organic aerosol (OA) constitutes a large fraction of fine particulate matter (PM) in the urban air. However, the chemical nature and sources of OA are not well constrained. Quantitative analysis of OA is essential for understanding the sources and atmospheric evolution of fine PM, which requires accurate quantification of some organic compounds (e.g., markers). In this study, two analytical approaches, i.e., thermal desorption (TD) gas chromatography mass spectrometry (GC-MS) and solvent extract (SE) GC-MS, were evaluated for the determination of n-alkanes, polycyclic aromatic hydrocarbons (PAHs) and hopanes in ambient aerosol. For the SE approach, the recovery obtained is 89.3 %–101…
Bromine speciation in volcanic plumes: new in situ derivatization LC-MS method for the determination of gaseous hydrogen bromide by gas diffusion den…
2020
The chemical characterization of volcanic gas emissions gives insights into the interior of volcanoes. Monitoring of BrO/SO2-ratios has recently been correlated with changes in the activity of a volcano. BrO and SO2 can both be measured autonomously and simultaneously with the same instruments from a safe distance, making their ratio potentially a strong monitoring tool. However, BrO is not a primary emitted volcanic volatile and there exist still uncertainties about the formation of BrO in volcanic plumes, mostly due to the lack of analytical approaches for the accurate speciation of certain key compounds. This study describes a new method for the determination of the BrO precursor, the ga…
Remote sensing of volcanic CO2, HF, HCl, SO2, and BrO in the downwind plume of Mt. Etna
2017
Remote sensing of the gaseous composition of non-eruptive, passively degassing volcanic plumes can be a tool to gain insight into volcano interior processes. Here, we report on a field study in September 2015 that demonstrates the feasibility of remotely measuring the volcanic enhancements of carbon dioxide (CO2), hydrogen fluoride (HF), hydrogen chloride (HCl), sulfur dioxide (SO2), and bromine monoxide (BrO) in the downwind plume of Mt. Etna using portable and rugged spectroscopic instrumentation. To this end, we operated the Fourier transform spectrometer EM27/SUN for the shortwave-infrared (SWIR) spectral range together with a co-mounted UV spectrometer on a mobile platform in direct-su…
Comparison of aircraft measurements during GoAmazon2014/5 and ACRIDICON-CHUVA
2019
Abstract. The indirect effect of atmospheric aerosol particles on the Earth's radiation balance remains one of the most uncertain components affecting climate change throughout the industrial period. The large uncertainty is partly due to the incomplete understanding of aerosol–cloud interactions. One objective of the GoAmazon2014/5 and the ACRIDICON (Aerosol, Cloud, Precipitation, and Radiation Interactions and Dynamics of Convective Cloud Systems)-CHUVA (Cloud Processes of the Main Precipitation Systems in Brazil) projects was to understand the influence of emissions from the tropical megacity of Manaus (Brazil) on the surrounding atmospheric environment of the rainforest and to investiga…
Evaluation of the coupled high-resolution atmospheric chemistry model system MECO(n) using in situ and MAX-DOAS NO2 measurements
2021
We present high spatial resolution (up to 2.2×2.2 km2) simulations focussed over south-west Germany using the online coupled regional atmospheric chemistry model system MECO(n) (MESSy-fied ECHAM and COSMO models nested n times). Numerical simulation of nitrogen dioxide (NO2) surface volume mixing ratios (VMRs) are compared to in situ measurements from a network with 193 locations including background, traffic-adjacent and industrial stations to investigate the model's performance in simulating the spatial and temporal variability of short-lived chemical species. We show that the use of a high-resolution and up-to-date emission inventory is crucial for reproducing the spatial variability and…
EMU and trade: A PPML re‐assessment with intra‐national trade flows
2020
This paper examines the EMU effect on trade for the eleven early joiners and Greece relying for the first time on data that include both international and intra‐national trade flows, in line with all the microfoundations of the structural gravity model of trade. We find that the overall EMU impact on trade is positive between its members and, specially, for trade between members and non‐members. Interestingly, we further show that the effect of the EMU on bilateral trade remarkably differs across countries. For Ireland, Belgium–Luxembourg, Spain, Portugal and Austria, we find robust evidence that EMU has boosted trade both with other members and with third countries, while for Finland, Fran…
Unconventional Finite Automata and Algorithms
2016
Elektroniskā versija nesatur pielikumus
Une quête d'exactitude : machines, algèbre et géométrie pour la construction traditionnelle des équations différentielles
2015
In La Géométrie, Descartes proposed a “balance” between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In particular, Cartesian tools were polynomial algebra (analysis) and a class of diagrammatic constructions (synthesis). This setting provided a classification of curves, according to which only the algebraic ones were considered “purely geometrical.” This limit was overcome with a general method by Newton and Leibniz introducing the infinity in the analytical part, whereas the synthetic perspective gradually lost importance with respect to the analytical one—geometry became a mean of visualization, no longer of construction. Descartes’s…