Extensive behavioral evidence suggests that the direction and amplitude of reaching movements are planned as two independent parameters by the motor system. However, whereas direction-related activity has been well documented by neurophysiological studies in many motor structures including the dorsal premotor cortex (PMd), there is much less concensus about the prominence and timing of amplitud...

This chapter is concerned with the way verbs are stored and processed. I use a set of possession verbs as illustrative examples. The first section of the chapter deals with the structural representation of these verbs. The remainder of the chapter is concerned with issues of processing and with experimental tests of the theory. In this chapter I use the terms "components" and "chunks" to refer ...

We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of...

The Embryo Collection of the Hubrecht Laboratory is a treasure house of comparative embryology. It is the largest and most important collection of its kind in the world, and consists of thousands of vertebrate embryos stored in alcohol, or prepared as histological sections. Many elusive species are included in the collection, some represented by complete developmental series. The accompanying a...

We consider various definitions of AC-compatible KnuthBendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful AC-compatible order and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in stand...

In order to cope with the ever-increasing adaptability and flexibility requirements for software we introduce the notion of a Concept-Centric Coding (C3) environment. The aim is to provide an active domain meta layer that can be used as a basic infrastructure to set up a documented malleable implementation. We illustrate this by means of COBRO, a proof-of-concept C3 environment developed in Sma...

In this article we study a type of directed completion for posets and T0-spaces introduced by O. Wyler [Wy81] that we call the D-completion. The category D of monotone convergence spaces is a full reflective subcategory of the category of topological spaces and continuous maps, and the D-completion gives the reflection of a topological space into D, and as such exhibits a useful universal prope...

The current members of Strategic Worldwide Transportation 2020 include ArvinMeritor, Bendix, Bosch, Continental Automotive Systems, FIA Foundation for the Automobile and Society, Ford Motor Company, General Motors, Nissan Technical Center North America, and Toyota Motor Engineering and Manufacturing North America. Information about Strategic Worldwide Transportation 2020 is available at: http:/...

It is a trend to use information technology to lead the development of modern agriculture. The IntelliSense Internet of Things will be an important support for intensive, high-yield, high-quality, efficient, ecological security agriculture. In this paper, we give solutions and key technologies of facilities agriculture based on the Internet of Things technology. On this basis it designs and imp...