0. Introduction ................................................................................................................. 99 1. Intersections and heights ............................................................................................. 103 2. Kuga-Sato varieties and CM-cycles ............................................................................117 3. Heights of CM-cyc...

Fringing reefs play an important role in protecting the coastal area by inducing wave breaking and wave energy dissipation. However, modeling of wave transformation and energy dissipation on this topography is still difficult due to the unique structure. In the present study, two-dimensional laboratory experiments were conducted to investigate the cross-shore variations of wave transformation, ...

Available behaviors are determined by the fit between features of the individual and reciprocal features of the environment. Beyond some critical boundary certain behaviors become impossible causing sudden transitions from one movement pattern to another. Parkour athletes have developed multiple movement patterns to deal with their momentum during landing. We were interested in whether drop dis...

Waves and sea levels have been modelled for the storm of 31 January-1 February 1953. Problems in modelling this event are associated with the difficulty of reconstructing wind fields and validating the model results with the limited data available from 50 years ago. The reconstruction of appropriate wind fields for surge and wave models is examined. The surges and waves are reproduced reasonabl...

Predicate abstraction provides very simple formal machinery that represents some of the ideas connecting intension and extension. It has been investigated and applied for many years now. Here we do two things with it. First, we present some natural examples, and show how predicate abstraction can be applied to them. Second, we give a formal proof procedure for predicate abstraction, based on ne...

We present a system for haptically rendering large height field datasets. Inasmuch as, height fields are naturally mapped to piecewise bilinear patches. We develop algorithms for intersection, penetration depth, and closest point tracking using bilinear patches. In contrast to many common haptic rendering schemes for polygonal models, this approach does not require preprocessing or additional s...