Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). This extension is strict, i.e., higher-order processes equipped with parameterization is computationally more powerful. This paper studies higher-order processes with two kinds of parameterization: one on names and the other on processes themselves. We present two ...

The objectives of this project are: i) to develop a unified parameterization for the Marine Boundary Layer (MBL) and ii) to implement and test this parameterization in the Navy Operational Global Atmospheric Prediction System (NOGAPS). This unified MBL parameterization will be based on two main components: (i) the Eddy-Diffusivity Mass-Flux (EDMF) parameterization of boundary layer mixing; and ...

The parameterization of rotation is the subject of continuous research and development in many theoretical and applied fields of mechanics, such as rigid body, structural, and multibody dynamics, robotics, spacecraft attitude dynamics, navigation, image processing, and so on. This paper introduces the vectorial parameterization of rotation, a class of parameterization techniques encompassing ma...

A parameterization for the restratification by finite-amplitude, submesoscale, mixed layer eddies, formulated as an overturning streamfunction, has been recently proposed to approximate eddy fluxes of density and other tracers. Here, the technicalities of implementing the parameterization in the coarseresolution ocean component of global climate models are made explicit, and the primary impacts...

We propose to use a moving mesh approach, a popular grid adaption technique in computational mechanics, for fast generating low-stretch mesh parameterizations. Given a triangle mesh approximating a surface, we constrcut an initial parameterization of the mesh and then improve the parameterization gradually. At each improvement step, we optimize the parameterization generated at the previous ste...

A “list as long as your arm” has described the range of principles that may be attempted for possible eddy parameterization schemes. We feel uncomfortably an attitude of “try and see” whether any particular principle “works” in any particular application. This note summarises a discussion which followed the body of presentations at ‘Aha. We ask if principles from general physics, especially not...

Geodesic paths and distances on meshes are used for many applications such as parameterization, remeshing, mesh segmentation, and simulations of natural phenomena. Noble works to compute shortest geodesic paths have been published. In this paper, we present a new approach to compute the straightest path from a source to one or more vertices on a manifold mesh with a boundary. A cutting plane wi...

1. Introduction In this paper, I will examine the syntax and semantics of one subtype of Japanese morphological causative in comparison to other kinds of morphological causatives in Japanese and similar causatives in other languages. I will point out that this subtype does not exhibit biclausal properties typical of more familiar Japanese causative predicates. The observations are discussed in ...

Automatic image retargeting is used for large image.That are to be fit in small size display devices. Without any loss of information.our proposed methods one is saliency based mesh parameterization method is used to retarget the image. Stretch-Based Mesh Parameterization is generating on saliency image. GraphBased visual saliency is used to easily find out the objects in the image. Mesh Genera...