Department of Materials Science and Processing, -Faculty of Engineering, Osaka University, 2-1 Yamadaoka, Suita 565 JAPAN Application of extreme value stati'iiics to corrosion is rcvieweJ. It is cmpha sized that the concept of corroiiion probability is important for a quanlitalivc evaluatioti Of corrosion failure and its prediction, especially for localized corrosion. Extreme value statistics i...

light is never being distributed homogeneously and it forms a gradient over biomass. the unidirectional nature of light gives rise to a vertical gradient of light intensity as a function of depth. the maximum depth of the light zone suitable for phytoplankton photosynthesis is designated as the euphotic depth. this study was designed to test the hypothesis of mixing depth of phytoplankton and i...

The perceived position of a moving target at a particular point in time, indicated by a flash, is often judged to be different from its actual location. Here, we show that the position of a target moving in depth is also systematically mislocalized. We used three types of targets moving in depth at a range of speeds from 2 to 16 cm/s. (i) A target realistically rendered that included concordant...

Given a set P = {p1, . . . , pn} of points and a point q in the plane, we define a function ψ(q) that provides a combinatorial characterization of the multiset of values {|P ∩Hi|}, where for each i ∈ {1, . . . , n}, Hi is the open half-plane determined by q and pi. We introduce two new natural measures of depth, perihedral depth and eutomic depth, and we show how to express these and the well-k...

We show in this paper that the algorithm for solving the model checking problem with a nested depthrst search can interfere with algorithms that support partial order reduction. We introduce a revised version of the algorithm that guarantees compatibility. The change also improves the performance of the nested depthrst search algorithm when partial order reduction is not used.