The design and implementation of a library of C-code procedures to perform operations on
rational polyhedra is described. The library supports intersection, union, difference, …

… L"2J), where k is the number of inequality constraints, n is the dimension of the space, and
the input length is Q(kn).w This algorithm was implemented in the Polyhedral Library by Wilde.'…

A new, simple, and fast method to compute the sharpness and curvature of a clothoid segment
of a continuous curvature path is presented. When generating continuous curvature paths…

We report our current research in a computer assisted methodology for synthesizing regular
array processors using the ALPHA language and design environment. The design process …

This report is a formal description of the Alpha language, as it is currently implemented. Alpha
is a strongly typed, functional language which embodies the formalism of systems of a ne …

A new method to synthesis loop nests given a polyhedral domain, the context domain, and
the loop nesting order is described. The method is based on functions in the IRISA …

… DK-41Yand susceptible Horizon 101G, and 20 egg clusters (285 larvae) were fed greenbugs
from resistant Dekalb DK… for larvae eating greenbugs from resistant DK-59E or DK41Y than …

The foam stability properties of a defined mixed solution of Tween 20 and bovine serum
albumin was evaluated as a function of arabinoxylan concentration. A marked increase in the …

In contrast to other field measurements, the determination of the reduction-oxidation
potential of water (referred to as redox) should not be considered a routine determination. …

Traditional user-centred design processes frequently marginalize vulnerable users. Their
perspectives are thus not well represented in discussions of the future of the medicines and …