In this paper the flow behaviour over a number of car bodies is studied. For this purpose the unsteady 2-D incompressible Navier-Stokes equations have been applied. After averaging and nondimensionalizing the equations, the system of equations has been transformed from the Cartesian (x-y) coordinates to a body fitted generalized (-) coordinate. As the flow is incompressible, the density in the ...

An arithmetic read-once formula (ROF) is a formula (circuit of fan-out 1) over +,× where each variable labels at most one leaf. Every multilinear polynomial can be expressed as the sum of ROFs. In this work, we prove, for certain multilinear polynomials, a tight lower bound on the number of summands in such an expression.

HE basic approach used in studying the mechanism of crossing over has been Tto alter crossover frequencies by manipulating extrinsic or intrinsic factors in an attempt to correlate the primary effect of the manipulation with the observed genetic results. These experiments have provided much data on the phenomenon of crossing over but little information on its basic mechanism. This is because ve...

The paper presents a software architecture aiming to improve accessibility to information in specialized texts, with focus on medical texts. This software also addresses other problems related to text accessibility such as vision problems and language problems. It allows text input in any media format (text, image, sound) and outputs the text as digital text or sound, permitting the user to sca...

Most previous studies in computerized deception detection have relied only on shallow lexico-syntactic patterns. This paper investigates syntactic stylometry for deception detection, adding a somewhat unconventional angle to prior literature. Over four different datasets spanning from the product review to the essay domain, we demonstrate that features driven from Context Free Grammar (CFG) par...

Various subsets of the tracial state space of a unital C∗-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II1-factor representations of a class of C∗-algebras considered by Sorin Popa are also studied. These algebras are shown to have an unexpected variety of II1-factor representations. In addition to developing some general theory...

The synaptinemal complex provides a structural basis for four-strand crossing over: prior to chromosome pairing, both sister chromatids of each homologous chromosome participate in the genesis of one lateral component. During precise pairing, the two lateral components are combined into one synaptinemal complex per bivalent.

The Euclidean division of two formal series in one variable produces a sequence of series that we obtain explicitly, remarking that the case where one of the two initial series is 1 is sufficiently generic. As an application, we define a Wronskian of symmetric functions. The Euclidean division of two polynomials P (z), Q(z), in one variable z, of consecutive degrees, produces a sequence of line...

We present an SOR-type algorithm and a Jacobi-type algorithm that can effectively be applied to the `1-`2 problem by exploiting its special structure. The algorithms are globally convergent and can be implemented in a particularly simple manner. Relations with coordinate minimization methods are discussed.