Book Review: The Rights International Companion to Criminal Law & Procedure: An International Human Rights & Humanitarian Law Supplement

This Book Review provides a compact supplement to teaching criminal law and procedure by providing materials on the sources and application of international human rights and humanitarian law to criminal law. Part One reviews the sources and principles of international law. Part Two contains treaties and statutes setting forth the principles of state liability and individual culpability. Part Three provides excerpts from some of the major international criminal tribunals and some of the applicable treaty law. Part Four discusses criminal procedure. Part Five contains a discussion of principles of punishment for international crimes and the consideration of the death penalty in punishment. This Book is a valuable contribution to new and dynamic aspects of the interplay between international human rights and international criminal la

Lost In Paradise: Lobbying Strategies For Public International Law Issues

Increasingly in an interconnected world, Americans and people throughout the world are encountering situations in which their human rights are abused abroad. People are traveling to exotic parts of the world that have not experienced the extent of foreign penetration. Simultaneously, the enormous gaps between wealthy and impoverishe

Blooming in a non-local, coupled phytoplankton-nutrient model

Recently, it has been discovered that the dynamics of phytoplankton concentrations in an ocean exhibit a rich variety of patterns, ranging from trivial states to oscillating and even chaotic behavior [J. Huisman, N. N. Pham Thi, D. M. Karl, and B. P. Sommeijer, Nature, 439 (2006), pp. 322–325]. This paper is a first step towards understanding the bifurcational structure associated with nonlocal coupled phytoplankton-nutrient models as studied in that paper. Its main subject is the linear stability analysis that governs the occurrence of the first nontrivial stationary patterns, the deep chlorophyll maxima (DCMs) and the benthic layers (BLs). Since the model can be scaled into a system with a natural singularly perturbed nature, and since the associated eigenvalue problem decouples into a problem of Sturm–Liouville type, it is possible to obtain explicit (and rigorous) bounds on, and accurate approximations of, the eigenvalues. The analysis yields bifurcation-manifolds in parameter space, of which the existence, position, and nature are confirmed by numerical simulations. Moreover, it follows from the simulations and the results on the eigenvalue problem that the asymptotic linear analysis may also serve as a foundation for the secondary bifurcations, such as the oscillating DCMs, exhibited by the model

Domain Decomposition By the Advancing-Partition Method for Parallel Unstructured Grid Generation

A new method of domain decomposition has been developed for generating unstructured grids in subdomains either sequentially or using multiple computers in parallel. Domain decomposition is a crucial and challenging step for parallel grid generation. Prior methods are generally based on auxiliary, complex, and computationally intensive operations for defining partition interfaces and usually produce grids of lower quality than those generated in single domains. The new technique, referred to as "Advancing Partition," is based on the Advancing-Front method, which partitions a domain as part of the volume mesh generation in a consistent and "natural" way. The benefits of this approach are: 1) the process of domain decomposition is highly automated, 2) partitioning of domain does not compromise the quality of the generated grids, and 3) the computational overhead for domain decomposition is minimal. The new method has been implemented in NASA's unstructured grid generation code VGRID

Emergence of steady and oscillatory localized structures in a phytoplankton-nutrient model

Co-limitation of marine phytoplankton growth by light and nutrient, both of which are essential for phytoplankton, leads to complex dynamic behavior and a wide array of coherent patterns. The building blocks of this array can be considered to be deep chlorophyll maxima, or DCMs, which are structures localized in a finite depth interior to the water column. From an ecological point of view, DCMs are evocative of a balance between the inflow of light from the water surface and of nutrients from the sediment. From a (linear) bifurcational point of view, they appear through a transcritical bifurcation in which the trivial, no-plankton steady state is destabilized. This article is devoted to the analytic investigation of the weakly nonlinear dynamics of these DCM patterns, and it has two overarching themes. The first of these concerns the fate of the destabilizing stationary DCM mode beyond the center manifold regime. Exploiting the natural singularly perturbed nature of the model, we derive an explicit reduced model of asymptotically high dimension which fully captures these dynamics. Our subsequent and fully detailed study of this model - which involves a subtle asymptotic analysis necessarily transgressing the boundaries of a local center manifold reduction - establishes that a stable DCM pattern indeed appears from a transcritical bifurcation. However, we also deduce that asymptotically close to the original destabilization, the DCM looses its stability in a secondary bifurcation of Hopf type. This is in agreement with indications from numerical simulations available in the literature. Employing the same methods, we also identify a much larger DCM pattern. The development of the method underpinning this work - which, we expect, shall prove useful for a larger class of models - forms the second theme of this article

Analysis of the accuracy and convergence of equation-free projection to a slow manifold

In [C.W. Gear, T.J. Kaper, I.G. Kevrekidis, and A. Zagaris, Projecting to a Slow Manifold: Singularly Perturbed Systems and Legacy Codes, SIAM J. Appl. Dyn. Syst. 4 (2005) 711-732], we developed a class of iterative algorithms within the context of equation-free methods to approximate low-dimensional, attracting, slow manifolds in systems of differential equations with multiple time scales. For user-specified values of a finite number of the observables, the m-th member of the class of algorithms (m = 0, 1, ...) finds iteratively an approximation of the appropriate zero of the (m+1)-st time derivative of the remaining variables and uses this root to approximate the location of the point on the slow manifold corresponding to these values of the observables. This article is the first of two articles in which the accuracy and convergence of the iterative algorithms are analyzed. Here, we work directly with explicit fast--slow systems, in which there is an explicit small parameter, epsilon, measuring the separation of time scales. We show that, for each m = 0, 1, ..., the fixed point of the iterative algorithm approximates the slow manifold up to and including terms of O(epsilon^m). Moreover, for each m, we identify explicitly the conditions under which the m-th iterative algorithm converges to this fixed point. Finally, we show that when the iteration is unstable (or converges slowly) it may be stabilized (or its convergence may be accelerated) by application of the Recursive Projection Method. Alternatively, the Newton-Krylov Generalized Minimal Residual Method may be used. In the subsequent article, we will consider the accuracy and convergence of the iterative algorithms for a broader class of systems-in which there need not be an explicit small parameter-to which the algorithms also apply

A Framework for Parallel Unstructured Grid Generation for Complex Aerodynamic Simulations

A framework for parallel unstructured grid generation targeting both shared memory multi-processors and distributed memory architectures is presented. The two fundamental building-blocks of the framework consist of: (1) the Advancing-Partition (AP) method used for domain decomposition and (2) the Advancing Front (AF) method used for mesh generation. Starting from the surface mesh of the computational domain, the AP method is applied recursively to generate a set of sub-domains. Next, the sub-domains are meshed in parallel using the AF method. The recursive nature of domain decomposition naturally maps to a divide-and-conquer algorithm which exhibits inherent parallelism. For the parallel implementation, the Master/Worker pattern is employed to dynamically balance the varying workloads of each task on the set of available CPUs. Performance results by this approach are presented and discussed in detail as well as future work and improvements