We claim that programming within the logic programming paradigm suuers from lack o f attention given to iteration and arrays. To c o n vince the reader about their merits we present several examples of logic and constraint logic programs which use iteration and arrays instead of explicit recursion and lists. These programs are substantially simpler than their counterparts written in the convent...

Joseph Needham [4] was an embryologist and biochemist who is most noted in science for his studies on induction [5] in developing embryos. Needham worked with Conrad Hal Waddington [6] to attempt to identify the compound responsible for the organizer?s activity. Although he was not successful in discovering the chemical, he and Waddington learned much about the organizer [7]. Needham was a meti...

Even, Goldreich and Micali showed at Crypto'89 that the existence of signature schemes secure against known message attacks implies the existence of schemes secure against adaptively chosen message attacks. Unfortunately, this transformation leads to a rather impractical scheme. We exhibit a similar security ampliication, which takes the given scheme to a new signature scheme that is not even e...

We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of 12, 7] and the phase transition system models of 15, 2], allows communication among components using both shared variables and shared actions. The main contributions of this paper are: (1) the deenition of hybrid I/O automata ...

The term dynamic remapping has been used in many different ways, but one of the clearest formulations of this concept comes from the mental rotation studies by Georgopoulos et al. (1989; see also REACHING: CODING IN MOTOR CORTEX). In these experiments, monkeys were trained to move a joystick in the direction of a visual stimulus, or 90" counterclockwise from it. The brightness of the stimulus i...

These electrical simulation programs have grown out of SPICE. SPICE is an acronym that stands for Simulation Program for IC Emulation. This is a tool originally intended to aid in the understanding of the performance of integrated circuits (ICs). Today, SPICE modeling has moved well beyond integrated circuit emulation to full circuit emulation with some packages also allowing for environmental ...

UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the th...

Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs in which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRSs can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions ...

Counts of adult male northern fur seals (Callorhinus ursinus) are obtained each year on St. Paul Island and semi-annually on St. George Island as a factor of population monitoring. In 1995, counts were obtained from 11 to 16 July. A total of 5,154 harem and 8,459 idle adult male seals were counted on St. Paul Island. On St. George Island a total of 1,242 harem and 1,054 idle adult males were co...