Alternatives to peace keeping in Korea: the role of non-state actors and face-to-face encounters

Korea is one of the world's most volatile areas, not least because traditional UN mediation and peacekeeping missions are impossible. Having intervened in the Korean War on behalf of the southern side, the UN is a party to the conflict, rather than a neutral arbiter. The situation is particularly problematic because political interactions are characterized by a high degree of state-control over security policy. In both parts of the peninsula the state has, at least until recently, exercised the exclusive right to deal with the opponent on the other side of the hermetically divided peninsula. Given these domestic and international constrains, alternative approaches to conflict resolution are urgently needed. The recently proliferating literature on human security offers possible solutions, for it urges policy makers to view security beyond the conventional military-based defence of the state and its territory. Using such a conceptual framework, the essay assesses the potential significance non-state interactions between North and South, particularly those that promote communication, information exchange and face-to-face encounters. Even though these interactions remain limited, they are of crucial importance, for they provide an opportunity to reduce the stereotypical threat images that continue to fuel conflict on the peninsula.

On the steady-state assumption and its application to the rotating disk voltammetry of adsorbed enzymes

Rotating disk voltammetry is routinely used to study electrochemically driven enzyme catalysis because of the assumption that the method produces a steady-state system. This assumption is based on the sigmoidal shape of the voltammograms. We have introduced an electrochemical adaptation of the King-Altman method to simulate voltammograms in which the enzyme catalysis, within an immobilized enzyme layer, is steadystate. This method is readily adaptable to any mechanism and provides a readily programmable means of obtaining closed form analytical equations for a steady-state system. The steady-state simulations are compared to fully implicit finite difference (FIFD) simulations carried out without any steady-state assumptions. On the basis of our simulations, we conclude that, under typical experimental conditions, steady-state enzyme catalysis is unlikely to occur within electrode-immobilized enzyme layers and that typically sigmoidal rotating disk voltammograms merely reflect a mass transfer steady state as opposed to a true steady state of enzyme intermediates at each potential.

Fossil biotas from the Okanagan Highlands, southern British Columbia and northeastern Washington State: climates and ecosystems across an Eocene landscape

The late Early to early Middle Eocene Okanagan Highlands fossil sites, spanning -1000 km north-south (northeastern Washington State, southern British Columbia) provide an opportunity to reconstruct biotic communities across a broad upland landscape during the warmest part of the Cenozoic. Plant taxa from these fossil sites are characteristic of the modern eastern North American deciduous forest zone, principally the mixed mesophytic forest, but also include extinct taxa, taxa known only from eastern Asian mesothermal forests, and a small number of taxa restricted to the present-day North American west coast coniferous biome. In this preliminary report, paleoclimates and forest types are reconstructed using collections from Republic in Washington State, USA., and Princeton, Quilchena, Falkland, McAbee, Hat Creek, Horsefly, and Driftwood Canyon in British Columbia, Canada. Both leaf margin analysis (LMA) and quantitative bioclimatic analysis of identified nearest living relatives of megaflora indicated upper microthermal to lower mesothermal moist environments (MAT -10-15 degrees C, CMMT > 0 degrees C, MAP > 100 cm/year). Some taxa common to most sites suggest cool conditions (e.g., Abies, other Pinaceae; Alnus, other Betulaceae). However, all floras contain a substantive broadleaf deciduous element (e.g., Fagaceae, Juglandaceae) and conifers (e.g., Metasequoia) with the bioclimatic analysis yielding slightly higher MAT than LMA. Thermophilic (principally mesothermal) taxa include various insects, the aquatic fern Azolla, palms, the banana relative Ensete, taxodiaceous conifers, Eucommia and Gordonia, taxa which may have occurred near their climatic limits. The mixture of thermophilic and temperate insect and plant taxa indicates low-temperature seasonality (i.e., highly equable climate).

A formal metamodeling approach to a transformation between the UML state machine and object-z

A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.