Consider a planar grid of sizew×n. The vertices of the grid are called terminals and pairwise disjoint sets of terminals are called nets. We aim at routing all nets in a cubic grid (above the original grid holding the terminals) in a vertex-disjoint way. However, to ensure solvability, it is allowed to extend the length and the width of the original grid to w′ = sw and n′ = sn by introducing s ...

In [3] we have claimed that finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor, and in particular all finite chains generate a proper subvariety of the latter. As Xavier Caicedo made us notice, this claim is not true. He proved, using techniques of Kripke models, that the intuitionistic calculus with S has finite model propert...

[1] We report new observations of stationary planetary waves in the Southern Hemisphere of Mars by Mars Global Surveyor (MGS). We focus on a period during midwinter (Ls = 134 –160 ) when independent observations were acquired by two techniques. Radio occultation experiments sounded the atmosphere at essentially fixed latitude ( 68 S) and local time ( 1030), yielding profiles of geopotential and...

In this paper, a novel shore-based S-band microwave Doppler coherent wave radar (Microwave Ocean Remote SEnsor (MORSE)) is designed to improve wave measurements. Marine radars, which operate in the X band, have been widely used for ocean monitoring because of their low cost, small size and flexibility. However, because of the non-coherent measurements and strong absorption of X-band radio waves...

Let S be a surface in P2 × P2 given by the intersection of a (1,1)form and a (2,2)-form. Then S is a K3 surface with two noncommuting involutions σx and σy . In 1991 the second author constructed two height functions ĥ+ and ĥ− which behave canonically with respect to σx and σy , and in 1993 together with the first author showed in general how to decompose such canonical heights into a sum of lo...

Body mass index (BMI) is a widely used body weight classification system but has known limitations, and may need to be adjusted for sitting height in order to be useful as an indicator of health risks in special populations. Data confirm that Inuit and Far East Asians have shorter legs and relatively higher sitting heights compared with all other populations. Using standing height alone to calc...

The gravitational component of water potential and frictional resistance during transpiration lead to substantial reductions in leaf water potential (Psi(l)) near the tops of tall trees, which can influence both leaf growth and physiology. We examined the relationships between morphological features and gas exchange in foliage collected near the tops of Douglas-fir (Pseudotsuga menziesii (Mirb....