We consider the scattering of acoustic or electromagnetic waves at a penetrable object composed of different homogeneous materials. This problem can be recast as a firstkind boundary integral equation posed on the interface trace spaces through what we call a single trace boundary integral equation formulation (STF). Its Ritz-Galerkin discretization by means of low-order piecewise polynomial boundary elements on fine interface triangulations ...

Flow of two phases in a heterogeneous porous medium is modeled by a scalar conservation law with a discontinuous coefficient. As solutions of conservation laws with discontinuous coefficients depend explicitly on the underlying small scale effects, we consider a model where the relevant small scale effect is dynamic capillary pressure. We prove that the limit of vanishing dynamic capillary pressure exists and is a weak solution of the ...

This technical report provides additional details for the paper entitled Statically Checking API Protocol Conformance with Mined Multi-Object Specifications [1]. We formally describe how to translate API usage protocols represented as finite state machines into a relationship-based specification language.

We examine the impacts of alternative cap-and-trade allowance allocation designs in a model of the U.S. economy where price-regulated electric utilities generate 30% of total CO2 emissions. Our empirical model embeds a generator-level description of electricity production—comprising all 16,891 electricity generators in the contiguous U.S.—in a multi-region multi-sector general equilibrium framework that features regulated monopolies and ...