Available on request from author and by anonymous ftp to cs.nyu.edu, cd to pub/local/yap/Algebra. 39] Chee K. Yap. A geometric consistency theorem for a symbolic perturbation scheme. On the piano movers' problem: II. General techniques for computing topological properties of real algebraic manifolds. Simulation of simplicity: a technique to cope with… (More)
We describe the environment used for the simulation and evaluation of a processor architecture based on very long instruction word (VLlw) principles. In this architecture, a program consists of a set of tree instructions, each one containing multiple branches and operations which can be performed simultaneously. The simulation/evaluation environment… (More)
83] W. Walter. FORTRAN-SC, a FORTRAN extension for engineer-ing/scientiic computation with access to ACRITH: Language descrioption with examples.ordinate measuring machines: a study of needs. a FORTRAN extension for engineer-ing/scientiic computation with access to ACRITH: Demonstration of the compiler and sample programs. A review of current geometric… (More)
1 Abstract The IBM RISC System/6000 has a number of architectural features that, are not usually found on RISC machines. Among these are pre-increment and decrement forms of memory referencing instructions, a special purpose count register that can be used as a loop counter, and eight independent sets of condition code bits. This paper examines the… (More)
Total gaseous mercury (TGM) data from urban Nanjing, at the western edge of the Yangtze River Delta (YRD) region in China, over nine months, were analyzed for peak and background mercury concentrations. The background concentration of TGM was found to be 2.2 ng • m −3. In examining episodic influences of free tropospheric air masses on the surface TGM… (More)
In the present report we examine the semantics of idioms in natural languages. We show how a class of idioms may be treated in terms of the recently developed conception of the semantic component of a linguistic description.-4 Familiarity with this conception is assumed throughout. The essential feature of an idiom is that its full meaning, and more… (More)
Numerical Turing is an extension of the Turing programming language. Turing is a Pascal-like language (with convenient string handling, dynamic arrays, modules and more general parameter lists) developed at the University of Toronto . Turing has been in use since May, 1983, and is now available on several machines.