There are well-known constructions of the exceptional simple Lie algebras of type E8 and F4 which go back to Witt [Wit41], as Z2-graded algebras g = g0̄⊕g1̄ with even part the orthogonal Lie algebras so16 and so9 respectively, and odd part given by their spin representations (see [Ada96]). Brown [Bro82] found a new simple finite dimensional Lie algebra over fields of characteristic 3 which presen...

We look at Donald Knuth's concept of \Literate Programming," investigating exactly what it is and how it is used to assist conventional programmers. We then ask what lessons we can learn from this idea and if it is possible to apply them to Forth. We look at the alterations needed to the system and/or Forth to allow us to take advantage of this system. Indeed do we obtain all of the advantages ...

In this paper we extend the two dimensional methods set forth in [4], proposing a variational approach to a path planning problem in three dimensions using a level set framework. After defining an energy integral over the path, we use gradient flow on the defined energy and evolve the entire path until a locally optimal steady state is reached. We follow the framework for motion of curves in th...

This paper presents a laboratory environment for the development of real time data acquisition and control on the IBM-PC platform. The laboratory station involves the integration of low-cost computer technology with powerful software components which empower the student to efficiently and effectively construct real time systems. The software base integrates an editor, a spreadsheet, and a real ...

This paper aims to critically examine Redondo’s characterization of normative legal positivism’s theory concepts, as well set forth some potential strategies for defending the two other theories concepts that Redondo criticizes: Dworkinian interpretivism and Rossian reductionism.

The UFO will form a combination of CPU and operating system technology, namely a stackmachine CPU core, and a Forth operating system. However both of these components will have novel properties, in that a scaleable target instance can be generated, according to a trade-off between gate-count, speed, power, and computational performance. Simpler machines can emulate more complex ones, but at the...

Over the last couple of years several papers have been presented attempting to bring formal methods to Forth, or applying formal methods to Forth. This paper brings together many of these ideas and suggests a method by which they could be integrated into a single formally speci ed and implemented Forth programming environment. Much of the theoretical work described in this paper exists in some ...