We show that every functional Pure Type System may be extended to a semi-full Pure Type System. Moreover, the extension is conservative and preserves weak normalization. Based on these results, we give a new, conceptually simple type-checking algorithm for functional Pure Type Systems.

The recently developed semi-Lagrangian discontinuous Galerkin approach is used to discretize hyperbolic partial differential equations (usually first order equations). Since these methods are conservative, local in space, and able to limit numerical diffusion, they are considered a promising alternative to more traditional semi-Lagrangian schemes (which are usually based on polynomial or spline...

Let A be an excellent local ring of real dimension ≤ 2, let T be a finitely generated preordering in A, and let T̂ be the preordering generated by T in the completion Â. Under a weak condition on the residue field k = A/m we show that T saturated implies T̂ saturated, and that a weak version of the converse holds as well. We also prove a transfer result between different real closed fields in the...

We provide weak sufficient conditions for a full-service policy to be optimal in a queueing control problem in which the service rate is a dynamic decision variable. In our model there are service costs and holding costs and the objective is to minimize the expected total discounted cost over an infinite horizon. We begin with a semi-Markov decision model for a single-server queue with exponent...

The objective of this paper is to introduce the fundamental algebro-geometric constructions over the extended tropical semi-ring. The study of tropical varieties, co-varieties and ideals over this extension eventually yields the theorem of the weak tropical Nullstellensatz and gives an algebraic interpretation of the tropical Nullstellensatz.

We show that, under some very weak assumption of effective variation for the magnetic field, a periodic Schrödinger operator with magnetic wells on a noncompact Riemannian manifold M such that H(M, R) = 0 equipped with a properly disconnected, cocompact action of a finitely generated, discrete group of isometries has an arbitrarily large number of spectral gaps in the semi-classical limit.

The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this kind of analysis by providing a systematic comparison of a significant set of literature semantics (namely grounded, complete, preferred, stable, semi-stable, ideal, prudent, and CF2 semantics) using both a weak and a strong skep...

In this article the linear Boltzmann equation is derived for a particle interacting with a Gaussian random field, in the weak coupling limit, with renewal in time of the random field. The initial data can be chosen arbitrarily. The proof is geometric and involves coherent states and semi-classical calculus.

In this investigation, attempts have been made to solve two-dimension nonlinear viscous flow between slowly expanding or contracting walls with weak permeability by utilizing a semi analytical Akbari Ganji's Method (AGM). As regard to previous papers, solving of nonlinear equations is difficult and the results are not accurate. This new approach is emerged after comparing the achieved solutions...