Metaprogramming, in the sense used in this paper (rather than the programming template sense) is the use of a collection of programs which orchestrates other (possibly collections of) programs. One of the requirements of the metaprogramming code is that it must collectively develop a sense of what the situation is and what should be done as a result. Situation awareness is an example technique ...

In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a full picture of the relationships existing between four basic second-order consistencies, namely path consistency (PC), 3-consistency (3C), dual consistency (DC) and 2-singleton arc consistency (2SAC), as well as the...

We complete the classification of second order, bundle valued differential operator invariants of Riemannian and pseudo-Riemannian conformal structure, by classifying such operators which pass between bundles associated to different representations of the rotation or spin group.

We present second-order value numbering, a new optimization method for suppressing redundancy, in a version tailored to the application for optimizing the decision procedure of jMosel, a verification tool set for monadic second-order logic on strings (M2L(Str)). The method extends the well-known concept of value numbering to consider not merely values, but semantics transformers that can be eff...

Knowledge involves belief. Belief is a propositional attitude, i.e. an attitude that a subject holds towards a proposition. If a subject S knows that P and the proposition P involves no further knowledge attribution, let us say that S possesses first-order knowledge. On the other hand, if S knows that P and the proposition P involves a knowledge attribution, let us say that S possesses higher-o...

There is mounting evidence that there are three parallel streams of visual motion computation—firstand second-order systems that are primarily monocular and a third-order binocular system (Lu & Sperling, 1995a, 1995b, 1996c). The first-order system extracts motion from drifting luminance modulations, and the secondorder system extracts motion from drifting texture contrast modulations. These pr...

Batch kinetic experiments were carried out for the sorption of methylene blue onto activated carbon. The experimental kinetics were fitted to the pseudo first-order and pseudo second-order kinetics by linear and a non-linear method. The five different types of Ho pseudo second-order expression have been discussed. A comparison of linear least-squares method and a trial and error non-linear meth...

Chelating resin as a new copolymer for metal ions removal was prepared using 3-(4-hydroxyphenyl) cyclopropane-1,1,2,2-tetracarboxylic acid and 1,2-diaminoethane on the poly(styrene-alt-maleic anhydride). Parameters of sorption behavior were investigated under various conditions. Kinetics studies revealed that adsorption process confirmed pseudo-second-order kinetics data well fitted to Langmuir...