Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic

Formulation of entropy-conservative discretizations for compressible flows of thermally perfect gases

This study proposes a novel spatial discretization procedure for the compressible Euler equations that guarantees entropy conservation at a discrete level for thermally perfect gases. The procedure is based on a locally conservative formulation, and extends the entropy-conserving schemes to the more realistic case of thermally perfect gases, while still guaranteeing preservation of both linear invariants and kinetic energy. The proposed methodology, which can also be extended to multi-compone...

Measurement of the all-particle energy spectrum up to the PeV region with the DAMPE experiment

The DArk Matter Particle Explorer (DAMPE), a space-borne detector launched in December 2015, aims to measure the cosmic positron-electron spectrum, conduct high-energy gamma-ray astronomy, and study the flux and composition of cosmic ray protons and nuclei from tens of GeV to the PeV region. This work reports a direct measurement of the all-particle cosmic ray energy spectrum using DAMPE data collected since January 2016. A dedicated analysis framework employs less stringent event selectio...

Redescribing public services as diverse economies: a pragmatic critique of economistic reasoning

Conventional economics and cognate disciplines, such as business and management studies, furnish capitalism with its distinct vocabulary. Yet, the abstractions they peddle to describe the world cannot contain it. This dissertation uses public services in peripheral places as a lens with which to look past mainstream economic discourses. It shows that even in the late capitalist condition there are socio-economic activities implicit in public services which escape the economizing reason and a...