Animation of object-z specifications using a Z animator

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named O-zone.

Galaxy threshing and the origin of intracluster stellar objects

We numerically investigate the dynamical evolution of non-nucleated dwarf elliptical/spiral galaxies (dE) and nucleated ones (dE,Ns) in clusters of galaxies in order to understand the origin of intracluster stellar objects, such as intracluster stars (ICSs), GCs (ICGCs), and ultracompact dwarfs (UCDs) recently discovered by all-object spectroscopic survey centred on the Fornax cluster of galaxies. We find that the outer stellar components of a nucleated dwarf are removed by the strong tidal field of the cluster, whereas the nucleus manages to survive as a result of its initially compact nature. The developed naked nucleus is found to have physical properties (e.g., size and mass) similar to those observed for UCDs. We also find that the UCD formation process, does depend on the radial density profile of the dark halo in the sense that UCDs are less likely to be formed from dwarfs embedded in dark matter halos with central 'cuspy' density profiles. Our simulations also suggest that very massive and compact stellar systems can be rapidly and efficiently formed in the central regions of dwarfs through the merging of smaller GCs. GCs initially in the outer part of dE and dE,Ns are found to be stripped to form ICGCs.

Space: Irrealis objects in technology policy and their role in a new political economy

In this article, I show how new spaces are being prefigured for colonization in new economy policy discourses. Drawing on a corpus of 1.3 million words collected from legislatures throughout the world, I show the role of policy language in creating the foundations of an emergent form of political economy: The analysis is informed by principles from critical discourse analysis (CDA), classical political economy and critical media studies. It foregrounds a functional aspect of language called process metaphor to show how aspects of human activity are prefigured for mass commodification by the manipulation of realis and irrealis spaces. I also show how the fundamental element of any new political economy, the property element, is being largely ignored. Current moves to create a privately owned global space, which is as concrete as landed property - namely, the electromagnetic spectrum - has significant ramifications for the future of social relations in any global knowledge economy.

Yablo's paradox and referring to infinite objects

The blame for the semantic and set-theoretic paradoxes is often placed on self-reference and circularity. Some years ago, Yablo [1985; 1993] challenged this diagnosis, by producing a paradox that's liar-like but does not seem to involve circularity. But is Yablo's paradox really non-circular? In a recent paper, Beall [2001] has suggested that there are no means available to refer to Yablo's paradox without invoking descriptions, and since Priest [1997] has shown that any such description is circular, Beall concludes that Yablo's paradox itself is circular. In this paper, we argue that Beall's conclusion is unwarranted, given that (1) descriptions are not the only way to refer to Yablo's paradox, and (ii) we have no reason to believe that because the description involves self-reference, the denotation of the description is also circular. As a result, for all that's been said so far, we have no reason to believe that Yablo's paradox is circular.

Efficient update and retrieval of objects in a multiresolution geospatial database

Many emerging applications benefit from the extraction of geospatial data specified at different resolutions for viewing purposes. Data must also be topologically accurate and up-to-date as it often represents real-world changing phenomena. Current multiresolution schemes use complex opaque data types, which limit the capacity for in-database object manipulation. By using z-values and B+trees to support multiresolution retrieval, objects are fragmented in such a way that updates to objects or object parts are executed using standard SQL (Structured Query Language) statements as opposed to procedural functions. Our approach is compared to a current model, using complex data types indexed under a 3D (three-dimensional) R-tree, and shows better performance for retrieval over realistic window sizes and data loads. Updates with the R-tree are slower and preclude the feasibility of its use in time-critical applications whereas, predictably, projecting the issue to a one-dimensional index allows constant updates using z-values to be implemented more efficiently.

Linking Agentive Objects in Mandarin Chinese

This paper is concerned with the problem of argument-function mismatch observed in the apparent subject-object inversion in Chinese consumption verbs, e.g., chi 'eat' and he 'drink', and accommodation verbs, e.g., zhu 'live' and shui 'sleep'. These verbs seem to allow the linking of [agent-SUBJ theme-OBJ] as well as [agent-OBJ theme-SUBJ], but only when the agent is also the semantic role denoting the measure or extent of the action. The account offered is formulated within LFG's lexical mapping theory. Under the simplest and also the strictest interpretation of the one-to-one argument-function mapping principle (or the theta-criterion), a composite role such as ag-ext receives syntactic assignment via one composing role only. One-to-one linking thus entails the suppression of the other composing role. Apparent subject-object inversion occurs when the more prominent agent role is suppressed and thus allows the less prominent extent role to dictate the linking of the entire ag-ext composite role. This LMT account also potentially facilitates a natural explanation of markedness among the competing syntactic structures.

What's scene and not seen: Influences of movement and task upon what we see

Studies concerning the processing of natural scenes using eye movement equipment have revealed that observers retain surprisingly little information from one fixation to the next. Other studies, in which fixation remained constant while elements within the scene were changed, have shown that, even without refixation, objects within a scene are surprisingly poorly represented. Although this effect has been studied in some detail in static scenes, there has been relatively little work on scenes as we would normally experience them, namely dynamic and ever changing. This paper describes a comparable form of change blindness in dynamic scenes, in which detection is performed in the presence of simulated observer motion. The study also describes how change blindness is affected by the manner in which the observer interacts with the environment, by comparing detection performance of an observer as the passenger or driver of a car. The experiments show that observer motion reduces the detection of orientation and location changes, and that the task of driving causes a concentration of object analysis on or near the line of motion, relative to passive viewing of the same scene.

Substructure and Dynamics of the Fornax Cluster

We present the first dynamical analysis of a galaxy cluster to include a large fraction of dwarf galaxies. Our sample of 108 Fornax Cluster members measured with the UK Schmidt Telescope FLAIR-II spectrograph contains 55 dwarf galaxies (15.5 > b(j) > 18.0 or -16 > M-B > -13.5). H alpha emission shows that of the dwarfs are star forming, twice the fraction implied by morphological classifications. The total sample has a mean velocity of 1493 +/- 36 kms s(-1) and a velocity dispersion of 374 +/- 26 km s(-1). The dwarf galaxies form a distinct population: their velocity dispersion (429 +/- 41 km s(-1)) is larger than that of the giants () at the 98% confidence level. This suggests that the dwarf population is dominated by infalling objects whereas the giants are virialized. The Fornax system has two components, the main Fornax Cluster centered on NGC 1399 with cz = 1478 km s(-1) and sigma (cz) = 370 km s(-1) and a subcluster centered 3 degrees to the southwest including NGC 1316 with cz = 1583 km s(-1) and sigma (cz) = 377 km s(-1). This partition is preferred over a single cluster at the 99% confidence level. The subcluster, a site of intense star formation, is bound to Fornax and probably infalling toward the cluster core for the first time. We discuss the implications of this substructure for distance estimates of the Fornax Cluster. We determine the cluster mass profile using the method of Diaferio, which does not assume a virialized sample. The mass within a projected radius of 1.4 Mpc is (7 +/- 2) x 10(13) M-., and the mass-to-light ratio is 300 +/- 100 M-./L-.. The mass is consistent with values derived from the projected mass virial estimator and X-ray measurements at smaller radii.

Tongue piercing: Case report and review of current practice

Although oral piercing has been an uncommon practice in the Western world, the insertion of metal objects into intra-oral and peri-oral pierced sites is growing in popularity. Tongue piercing is one such practice whereby a metal barbell is inserted into the tongue after piercing with a 14-16 gauge needle. Pain, swelling and infection are the most serious consequences associated with this procedure. Other adverse outcomes include mucosal or gingival trauma, chipped or fractured teeth, increased salivary flow, calculus build-up, and interference with speech, mastication and swallowing. This article presents a case report on tongue piercing and highlights the procedure involved. Special attention is given to complications and dental implications associated with such an unusual practice.

The politics and ethics of relocated art

At the end of Word War II, Soviet occupation forces removed countless art objects from German soil. Some of them were returned during the 1950s, but most either disappeared for good or were stored away secretly in cellars of Soviet museums. The Cold War then covered the issue with silence. After the collapse of the Soviet Union, museums in St Petersburg and Moscow started to exhibit some of the relocated art for the first time in half a century. The unusual quality of the paintings-mostly impressionist masterpieces-not only attracted the attention of the international art community, but also triggered a diplomatic row between Russia and Germany. Both governments advanced moral and legal claims to ownership. To make things even more complicated, many of the paintings once belonged to private collectors, some of whom were Jews. Their descendants also entered the dispute. The basic premise of this article is that the political and ethical dimensions of relocated art can be understood most adequately by eschewing a single authorial standpoint. Various positions, sometimes incommensurable ones, are thus explored in an attempt to outline possibilities for an ethics of representation and a dialogical solution to the international problem that relocated art has become.

An investigation of pretend play, mental state terms and false belief understanding: In search of a metarepresentational link

The aim of this study was to investigate the association between false belief comprehension, the exhibition of pretend play and the use of mental state terms in pre-school children. Ferry children, aged between 36 and 54 months were videotaped engaging in free play with each parent. The exhibit-ion of six distinct acts of pretend play and the expression of 16 mental sr:ate terms were coded during play. Each child was also administered a pantomime task and three standard false belief casks. Reliable associations were also found between false belief performance and the pretence categories of object substitution and role assignment, and the exhibition of imaginary object pantomimes. Moreover, the use of mental state terms was positively correlated with false belief and the pretence categories of object substitution, imaginary play and role assignment, and negatively correlated with the exhibition of body part object pantomimes. These findings indicate that the development of a mental state lexicon and some, bur not all, components of pretend play are dependent on the capacity for metarepresentational cognition.

Eye design and color signaling in a stomatopod crustacean Gonodactylus smithii

Many species of stomatopod crustaceans have multiple spectral classes of photoreceptors in their retinas. Behavioral evidence also indicates that stomatopods are capable of discriminating objects by their spectral differences alone, Most animals use only two to four different types of photoreceptors in their color vision systems, typically with broad sensitivity functions, but the stomatopods apparently include eight or more narrowband photoreceptor classes for color recognition. It is also known that stomatopods use several colored body regions in social interactions. To examine why stomatopods may be so 'concerned' with color, we measured the absorption spectra of visual pigments and intrarhabdomal filters, and the reflectance spectra from different parts of the bodies of several individuals of the gonodactyloid stomatopod species, Gonodactylus smithii. We then applied a model of multiple dichromatic channels for color encoding to examine whether the finely tuned color vision was specifically co-evolved with their complex color signals. Although the eye design of stomatopods seems suitable for detecting color signals of their own, the detection of color signals from other animals, such as reef fishes, can be enhanced as well. Color vision in G. smithii is therefore not exclusively adapted to detect its own color signals, but the spectral tuning of some photoreceptors (e.g. midband Rows 2 and 3) enhances the contrast of certain color signals to a large enough degree to make co-evolution between color vision and these rather specific color signals likely. Copyright (C) 2000 S. Karger AG, Basel.

Occupation, hours worked, and leisure-time physical activity

Background. International research indicates that blue-collar employees typically exhibit lower rates of leisure-time physical activity. While lack of time and work demands are commonly reported barriers to activity, the extent to which time-at-work mediates the relationship between occupation and leisure-time physical activity is unclear. This study investigated the association between occupation, time spent in paid employment, and participation in leisure-time physical activity. Methods. This was a secondary analysis of cross-sectional data from the 1995 Australian Health Survey, focusing on employed persons ages 18-64 years (n = 24,454), Occupation was coded as per the Australian Standard Classification of Occupations and collapsed into three categories (professional, white-collar, blue-collar). Hours worked was categorized into eight levels, ranging from 1-14 to more than 50 h per week. Participation in leisure-time physical activity was categorized as either insufficient or sufficient for health, consistent with recommended levels of energy expenditure (1600 METS-min/fortnight). The relationship between occupation, hours worked, and leisure-time physical activity was examined using logistic regression. Analyses were conducted separately for male and female, and the results are presented as a series of models that successively adjust for a range of potential covariates: age, living arrangement, smoking status, body mass index, and self-reported health. Results. Individuals in blue-collar occupations were approximately 50% more likely to be classified as insufficiently active. This occupational variability in leisure-time physical activity was not explained by hours worked. There was a suggested relationship between hours worked and leisure-time physical activity; however, this differed between men and women, and was difficult to interpret. Conclusions. Occupational variability in leisure-time physical activity cannot be explained by hours worked. Therefore, reports that work constitutes a barrier to participation should be explored further. Identification of the factors contributing to occupational variability in leisure-time physical activity will add to our understanding of why population subgroups differ in their health risk profiles, and assist in the development of health promotion strategies to reduce rates of sedentariness and health inequalities. (C) 2000 American Health Foundation and Academic Press.

Galaxy threshing and the formation of ultracompact dwarf galaxies

Recent spectroscopic and morphological observational studies of galaxies around NGC 1399 in the Fornax Cluster have discovered several ultracompact dwarf galaxies with intrinsic sizes of similar to 100 pc and absolute B-band magnitudes ranging from -13 to -11 mag. In order to elucidate the origin of these enigmatic objects, we perform numerical simulations on the dynamical evolution of nucleated dwarf galaxies orbiting NGC 1399 and suffering from its strong tidal gravitational field. Adopting a plausible scaling relation for dwarf galaxies, we find that the outer stellar components of a nucleated dwarf are totally removed. This is due to them being tidally stripped over the course of several passages past the central region of NGC 1399. The nucleus, however, manages to survive. We also find that the size and luminosity of the remnant are similar to those observed for ultracompact dwarf galaxies, if the simulated precursor nucleated dwarf has a mass of similar to 10(8) M.. These results suggest that ultracompact dwarf galaxies could have previously been more luminous dwarf spheroidal or elliptical galaxies with rather compact nuclei.