We describe the modular development of correct parallel software with the Meander system from high-level speciications down to a concrete implementation, based on a communicating algebra formalism. We focus on the external behavior of the components and keep the behavioral properties through reenement and abstraction. A combination of a exible set of syntactical metarules and nite model checkin...

This note addresses the meander enumeration problem: “Count all topologically inequivalent configurations of a closed planar non self-intersecting curve crossing a line through a given number of points”. We review a description of meanders introduced recently in terms of the coupling to gravity of a two-flavored fully-packed loop model. The subsequent analytic predictions for various meandric c...

The Kuroshio takes a greatly southward displaced path called large-meander (LM) off the southern coast of Japan on interannual to decadal time scales. transition current from non-large-meander an LM is most salient ocean variation south Japan. change in pressure seafloor due formation September 2017 critical importance understand dynamics and distinguish changes crustal deformation. Hence, we e...

Explicit parallel programs are error-prone during coding and hard to understand. Besides the complexity of parallelism, these problems stem partly from the fact that entirely text-based languages are not the best choice for describing parallelism. The linear order of text hides the parallel structure of a program. Graphical constructs ease programming as well as understanding. We describe a hyb...

Meander migration results from the interaction between inner bank accretion and outer erosion/collapse. This has been usually treated as a long-term average of sequence erosion events determined by flow hydrographs. Little attention paid to role that individual collapse play on meander evolution. To fill this gap, we developed numerical model river meandering describes explicitly collapse. Resu...

Bedrock river-gorge incision represents a fundamental landscape-shaping process, but dearth of observational data at >10 yr timescales impedes understanding gorge formation. I quantify 102 rates and processes using historical records, field observations, topographic image analysis human-caused bedrock meander cutoff along the North Fork Fortymile River in Alaska (USA). Miners cut off 190...

Identification of the diverse channel patterns meander-bend migration is essential when reconstructing historical evolution sedimentary processes in meandering rivers. However, reconstruction spatio-temporal ancient fluvial deposits for hydrocarbon exploration difficult due to limited research on and styles migration. To reconstruct geomorphologic subsurface palaeochannels, this study proposes ...