Continuous valuations have been proposed by several authors as a way of modeling probabilistic non-determinism in programming language semantics. Let (X;O) be a topological space. A quasi-simple valuation on X is the sup of a directed family of simple valuations. We show that quasisimple valuations are exactly those valuations that extend to continuous valuations to the Alexandroff topology on ...

Using a simple thermo-hydrodynamic model that respects relativistic causality, we revisit the analysis of qualitative features of acoustic oscillations in the photon-baryon fluid. The growing photon mean free path introduces transient effects that can be modelled by the causal generalization of relativistic Navier-Stokes-Fourier theory. Causal thermodynamics provides a more satisfactory hydrody...

It has been known since the early 1970s that the Hessian matrices in quasi– Newton methods can be updated by variational means, in several different ways. The usual formulation of these variational problems uses a coordinate system, and the symmetry of the Hessian matrices are enforced as explicit constraints. As a result, the variational problems seem complicated. In this paper, we give a very...

We describe the isomorphism class of the torus centralizing a regular, semi-simple, stable conjugacy class in a simply-connected, semi-simple group. Let k be a field, and let G be a semi-simple, simply-connected algebraic group, which is quasi-split over k. The theory of semi-simple conjugacy classes in G is well understood, from work of Steinberg [S] and Kottwitz [K]. Any semi-simple conjugacy...

In general, the zeros of an orthogonal rational function (ORF) on a subset of the real line, with poles among {α1, . . . , αn} ⊂ (C0 ∪ {∞}), are not all real (unless αn is real), and hence, they are not suitable to construct a rational Gaussian quadrature rule (RGQ). For this reason, the zeros of a so-called quasi-ORF or a so-called paraORF are used instead. These zeros depend on one single par...

Visual performance on many simple pattern discrimination tasks can be accurately predicted by quasi-linear models composed of oriented linear filters followed by simple contrast nonlinearities. However, many complex discrimination tasks require highly nonlinear processes for their explanation. Evidence is provided for two nonlinear processes in pattern discrimination: (i) one process involves a...

The structure of the Wadge degrees on zero-dimensional spaces is very simple (almost well-ordered), but for many other natural non-zerodimensional spaces (including the space of reals) this structure is much more complicated. We consider weaker notions of reducibility, including the so-called ∆ 0 α-reductions, and try to find for various natural topological spaces X the least ordinal αX such th...

There have been few studies on practical error estimation methods of quasi-Monte Carlo integrations. Recently, some theoretical works were developed by Owen to analyze the quasi-Monte Carlo integration error. However his method given by those works is complicated to be implemented and needs huge computational e orts, so it would be of some interest to investigate into a simple error estimation ...

The quasi-equilibrium tropical circulation model (QTCM1) is implemented and tested. The formulation, described by Neelin and Zeng, uses a Galerkin framework in the vertical, but with basis functions tailored to quasi-equilibrium deep convective physics via analytical solutions. QTCM1 retains a single vertical structure of temperature and humidity. For a balanced treatment of dynamics and subgri...

As was shown in [2], totally categorical structures (i.e. which are categorical in all powers) are not finitely axiomatizable. On the other hand, the most simple totally categorical structures: infinite sets, infinite projective or affine geometries over a finite field, are quasi finitely axiomatizable (i.e. axiomatized by a finite number of axioms and the schema of infinity, we will use the ab...