This paper presents a tutoring system aimed at teaching how to compile Java into the language of the Java Virtual Machine, and, at the same time, promotes a better understanding of the underlying mechanisms of object-oriented programming. The interaction with the systems takes the form of a 3D videogame where the student must compete to provide the right machine instructions, collect resources ...

Let k be a field, Ln = k[x ±1 1 , . . . , x ±1 n ] be the Laurent polynomial ring in n variables and G be a group of k-algebra automorphisms of Ln. We give a necessary and sufficient condition for the ring of invariants Ln to have a SAGBI basis. We show that if this condition is satisfied then Ln has a SAGBI basis relative to any choice of coordinates in Ln and any term order.

Assume Xn is a random sample of n uniform, independent points from a triangle T . The longest convex chain, Y , of Xn is defined naturally (see the next paragraph). The length |Y | of Y is a random variable, denoted by Ln. In this paper we determine the order of magnitude of the expectation of Ln. We show further that Ln is highly concentrated around its mean, and that the longest convex chains...

The multisubunit homotypic fusion and vacuole protein sorting (HOPS) membrane-tethering complex is required for late endosome-lysosome and autophagosome-lysosome fusion in mammals. We have determined the crystal structure of the human HOPS subunit Vps33A, confirming its identity as a Sec1/Munc18 family member. We show that HOPS subunit Vps16 recruits Vps33A to the human HOPS complex and that re...

The four new compounds CsTmCoS3, CsYbCoS3, CsHoCoSe3, and CsYbCoSe3 have been synthesized at 1123 K. These black-colored isostructural compounds crystallize in the KZrCuS3 structure type with four formula units in space group Cmcm of the orthorhombic system. The structure of these compounds is composed of 2 [LnCoQ3 ] layers separated by Cs atoms. Because there are no Q Q bonds, the formal oxida...

In Drosophila circadian rhythms persist in constant darkness (DD). The small ventral Lateral Neurons (s-LNv) mainly control the behavioral circadian rhythm in consortium with the large ventral Lateral Neurons (l-LNv) and dorsal Lateral Neurons (LNd). It is believed that the molecular oscillations of clock genes are the source of this persistent behavior. Indeed the s-LNv, LNd, Dorsal Neurons (D...

For mate-searching species, the learnedmate recognition (LMR) hypothesis assumes that sexual harassment favours signal variation among females, which exploits the receiver ability of males. Themodel predicts that coevolving males have responded to the female sexual foil by learning to recognize female variants as potential mates. I translate the LMR hypothesis into the language of signal detect...

Psychophysical functions for perceived roughness, relating ln (magnitude estimate of roughness) to ln (groove width), were obtained for blind and sighted participants in virtual reality using the PHANToM force feedback device. The stimuli were sinusoidal surfaces with groove widths between 0.675 mm and 20.700 mm. Group functions showed a similar nonlinearity to those obtained in physical realit...

In an effort to realize wireless Internet telephony and multimedia streaming in a highly mobile environment a testbed emulating a wireless Internet has been built. This would allow setting up multi-media calls between IP mobiles and integration between IP and PSTN end-points in a wireless environment. Different functionalities and components involved with the wireless Internet streaming multime...

On the semantics of determiners in a rich type-theoretical framework The variation of word meaning according to the context led us to enrich the type system of our syntactical and semantic analyser of French based on categorial grammars and Montague semantics (or lambda-DRT). The main advantage of a deep semantic analyse is too represent meaning by logical formulae that can be easily used e.g. ...