We present new variants of known proofs of cut elimination for intuitionistic and classical sequent calculi. In both cases the proofs proceed by three nested structural inductions, avoiding the explicit use of multi-sets and termination...

An expression is derived for the intensity distribution due to a partially coherent field at a distance satisfying the Fresnel approximation. The Collet-Wolf equivalence theorem, which provides conditions under which sources of differen...

Harvesting sequences which maximize the present value of an on-going forest are derived. Control theory is used to allow for various impingements on the rate of harvest. New harvesting rules are derived which generalize classical result...

A new type of optical element is presented. The presented element substitutes both a thin-film plane polarizer and a narrow-band interference filter for the selected wavelength. A comparative analysis of the basic parameters for the new...

R0 implication is an important fuzzy implication determined Nike Air Max Tn by standard nilpotent minimum t-norm. In this paper, this implication is further studied, its main properties are list out, its some characteristics and Air Max...

The doublet structure of the 1s-exciton of simple cubic thallous chloride is quantitatively explained as due to coulombic and exchange interaction, which leads to intra- and intervalley scattering between K=0 excitons Air Max 90 Og form...

A simple and effective method is described for preparing freeze-thaw density gradients which is free of the problems of uneven solute distribution. It consists of blending aqueous freeze-thaw gradients with hypertonic diluent. The routi...

Ghost pattern image of a current density filament has been investigated in n-GaAs at 4.2 K. Applying a pulse voltage above the breakdown voltage, a current density filament is observed. After the pulse voltage is switched off, the ghost...

A patient with a so-called ‘butterfly vertebra’ is presented. Radiography, including computed tomography, is shown. The embryology and pathogenesis of the vertebral column with respect to vertebral abnormalities are discussed, with ...

In this paper, we define a new class of multivariate skew-normal distributions. Its properties are studied. In particular we derive its density, moment generating function, the first two moments and marginal and conditional distribution...

 1  2  3  4  5 ...  [Next >>] 
Recent Comments