| 1. |
- de Gosson, Maurice, et al.
(författare)
-
Continuity Properties for Born-Jordan Operators with Symbols in Hörmander Classes and Modulation Spaces
- 2020
-
Ingår i: Acta Mathematica Scientia. - : Springer. - 0252-9602 .- 1003-3998 .- 1572-9087. ; 40:6, s. 1603-1626
-
Tidskriftsartikel (refereegranskat)abstract
- We show that the Weyl symbol of a Born-Jordan operator is in the same class as the Born-Jordan symbol, when Hormander symbols and certain types of modulation spaces are used as symbol classes. We use these properties to carry over continuity, nuclearity and Schatten-von Neumann properties to the Born-Jordan calculus.
|
|
| 2. |
- De Gouw, J. A., et al.
(författare)
-
Airborne Measurements of Ethene from Industrial Sources Using Laser Photo-Acoustic Spectroscopy
- 2009
-
Ingår i: Environmental Science & Technology. - : American Chemical Society (ACS). - 0013-936X .- 1520-5851. ; 43:7, s. 2437-2442
-
Tidskriftsartikel (refereegranskat)abstract
- A laser photoacoustic spectroscopy (LPAS) instrument was developed and used for aircraft measurements of ethene from industrial sources near Houston, Texas. The instrument provided 20 s measurements with a detection limit of less than 0.7 ppbv. Data from this instrument and from the GC-FID analysis of air samples collected in flight agreed within 15% on average. Ethene fluxes from the Mt. Belvieu chemical complex to the northeast of Houston were quantified during 10 different flights. The average flux was 520 +/- 140 kg h(-1) in agreement with independent results from solar occultation flux (SOF) measurements, and roughly an order of magnitude higher than regulatory emission inventories indicate. This study shows that ethene emissions are routinely at levels that qualify as emission upsets, which need to be reported to regional air quality managers.
|
|
| 3. |
- De Gouw, S., et al.
(författare)
-
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
- 2013
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642358425 ; 7741 LNCS:7741, s. 207-219
-
Konferensbidrag (refereegranskat)abstract
- We present a completeness proof of the inductive assertion method for object-oriented programs extended with auxiliary variables. The class of programs considered are assumed to compute over structures which include the standard interpretation of Presburger arithmetic. Further, the assertion language is first-order, i.e., quantification only ranges over basic types like that of the natural numbers, Boolean and Object.
|
|
| 4. |
- Niepelt, Dirk
(författare)
-
Tax Evasion Dynamics
- 2003
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- I study the dynamic tax evasion program of a household with many sources of income. Contrary to the previous literature, I assume that the detection risk of tax evasion is uncorrelated across these sources. If detection triggers the repayment of currently and previously evaded taxes, the marginal cost of evasion increases over time and the optimal duration of evasion is positive but finite. With stochastic pre-tax income, the fraction of aggregate taxes evaded remains interior, even if detection triggers duration-independent penalties. The model helps to understand the recent European debate about the cross-border exchange of information about capital income as opposed to taxation at the source. It yields a transparent representation of the revenue and efficiency losses due to tax evasion and highlights various effects of tax policy on evasion.
|
|
