Metrics and more generally quasi-metrics are well krwwn in literature on domain theory and the semantics of programming languages. In this paper, we consider the role of quasi-metrics in defining abstract interpretations. ln fact these allow bot h to represent a notion of approximation together witll the error introduced, and to apply, under suitable conditions, Danach's contraction principle.

Without monetary payments, the Gibbard-Satterthwaite theorem proves that under mild requirements all truthful social choice mechanisms must be dictatorships. When payments are allowed, the Vickrey-Clarke-Groves (VCG) mechanism implements the value-maximizing choice, and has many other good properties: it is strategy-proof, onto, deterministic, individually rational, and does not make positive t...

| This paper presents a quasi-interpolation method for DIV-CURL vector splines in two dimensions on both innnite and nite domains. The quasi-interpolant is a linear combination of translates of dilates of a basis function. In particular, our discussion focuses on the approximation of a vector-valued function deened on a nite domain for practical application purposes. In such a case, edge functi...

Abnormal increase of low frequency flicker noise in analog nMOSFETs with gate oxide in valence band tunneling domain is investigated. In 15Å oxide devices, valence-band electron tunneling from Si substrate to poly-gate occurs at a positive gate voltage and results in the splitting of electron and hole quasi Fermi-levels in the channel. The excess low frequency noise is attributed to electron an...

We report on a terahertz quasi-time domain spectroscopy (QTDS) system based low-cost continuous wave multimode diode laser. Commercially available low-temperature grown gallium arsenide (LT-GaAs) photoconductive antennas (PCAs) with spiral and dipole configurations were used as emitter detector, respectively. Terahertz pulses spaced at approximately 55 ps bandwidth of 400 GHz obtained. Parametr...

Abstract Previous studies have suggested that the quasi-stationary jets, sometimes called “Isoguchi jets” in western North Pacific Ocean, regulate warm and salty conditions transition domain between Subarctic Boundary Front. Here, we show mesoscale eddies interannual/decadal modulations are responsible for Kuroshio water intrusion into domain. A case study using Lagrangian coherent structure su...