Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Analysis of heat transfer and entropy generation for a thermally developing Brinkman–Brinkman forced convection problem in a rectangular duct with isoflux walls

Heat transfer and entropy generation analysis of the thermally developing forced convection in a porous-saturated duct of rectangular cross-section, with walls maintained at a constant and uniform heat flux, is investigated based on the Brinkman flow model. The classical Galerkin method is used to obtain the fully developed velocity distribution. To solve the thermal energy equation, with the effects of viscous dissipation being included, the Extended Weighted Residuals Method (EWRM) is applied. The local (three dimensional) temperature field is solved by utilizing the Green’s function solution based on the EWRM where symbolic algebra is being used for convenience in presentation. Following the computation of the temperature field, expressions are presented for the local Nusselt number and the bulk temperature as a function of the dimensionless longitudinal coordinate, the aspect ratio, the Darcy number, the viscosity ratio, and the Brinkman number. With the velocity and temperature field being determined, the Second Law (of Thermodynamics) aspect of the problem is also investigated. Approximate closed form solutions are also presented for two limiting cases of MDa values. It is observed that decreasing the aspect ratio and MDa values increases the entropy generation rate.

Integrating infection control into the dental curriculum

The dental profession has possessed traditional standards of cross-infection control but the recent expression of real concerns by both the public and the profession over the transmissibility of infectious diseases in the dental surgery has demanded a formalized and extended approach to teaching cross-infection control in the dental curriculum. Clear curriculum content must be formulated within contemporary Workplace Health and Safety Guidelines and the Strategic Plan of the Dental School or academic health centre. The full integration demands that the area is taught as a discrete entity but recognized as an intrinsic part of each clinical encounter. This paper discusses the structure and integration of cross-infection control into the curriculum at the University of Queensland Dental School.

Solution structure of robustoxin, the lethal neurotoxin from the funnel-web spider Atrax robustus

The solution structure of robustoxin, the lethal neurotoxin from the Sydney funnel-web spider Atrax robustus, has been determined from 2D H-1 NMR data, Robustoxin is a polypeptide of 42 residues cross-linked by four disulphide bonds, the connectivities of which were determined from NMR data and trial structure calculations to be 1-15, 8-20, 14-31 and 16-42 (a 1-4/2-6/3-7/5-8 pattern), The structure consists of a small three-stranded, anti-parallel beta-sheet and a series of interlocking gamma-turns at the C-terminus. It also contains a cystine knot, thus placing it in the inhibitor cystine knot motif family of structures, which includes the omega-conotoxins and a number of plant and animal toxins and protease inhibitors. Robustoxin contains three distinct charged patches on its surface, and an extended loop that includes several aromatic and non-polar residues, Both of these structural features may play a role in its binding to the voltage-gated sodium channel. (C) 1997 Federation of European Biochemical Societies.

The meeting place problem: Salience and search.

The notion of salience was developed by Schelling in the context of the meeting-place problem of locating a partner in the absence of a pre-agreed meeting place. In this paper, we argue that a realistic specification of the meeting place problem involves allowing a strategy of active search over a range of possible meeting places. We solve this extended problem, allowing for extensions such as repeated play, search costs and asymmetric payoffs. The result is a considerably richer, but more complex, notion of salience. (C) 1998 Elsevier Science B.V.

Annealing of ion implanted gallium nitride

In this paper, we examine Si and Te ion implant damage removal in GaN as a function of implantation dose, and implantation and annealing temperature. Transmission electron microscopy shows that amorphous layers, which can result from high-dose implantation, recrystallize between 800 and 1100 °C to very defective polycrystalline material. Lower-dose implants (down to 5 × 1013 cm – 2), which are not amorphous but defective after implantation, also anneal poorly up to 1100 °C, leaving a coarse network of extended defects. Despite such disorder, a high fraction of Te is found to be substitutional in GaN both following implantation and after annealing. Furthermore, although elevated-temperature implants result in less disorder after implantation, this damage is also impossible to anneal out completely by 1100 °C. The implications of this study are that considerably higher annealing temperatures will be needed to remove damage for optimum electrical properties. ©1998 American Institute of Physics.

Interference in hyperbolic space

The interference in a phase space algorithm of Schleich and Wheeler [Nature 326, 574 (1987)] is extended to the hyperbolic space underlying the group SU(1,1). The extension involves introducing the notion of weighted areas. Analytic expressions for the asymptotic forms for overlaps between the eigenstates of the generators of su(1,1) thus obtained are found to be in excellent agreement with the numerical results.[S1050-2947(98)08602-8].

The influence of joint position on the dynamics of perception-action coupling

Six right-handed subjects performed rhythmic flexion and extension movements of the index finger in time with an auditory metronome. On each block of trials, the wrist of the response hand was placed in a extended, neutral or flexed position. In the flex-on-the-beat condition, subjects were instructed to coordinate maximum excursion in the direction of finger flexion with each beat of the metronome. In the extend-on-the-beat condition, subjects were instructed to coordinate maximum excursion in the direction of finger extension with each beat of the metronome. The frequency of the metronome was increased from 2.00 Hz to 3.75 Hz in 8 steps (8 s epochs) of 0.25 Hz. During trials prepared in the extend-on-the-beat pattern, all subjects exhibited transitions to either a flex-on-the-beat pattern or to phase wandering as the frequency of pacing was increased. The time at which these transitions occurred was reliably influenced by the position of the wrist. Four subjects exhibited qualitative departures from the flex-on-the-beat pattern at pacing frequencies that were greater than those at which the extend-on-the-beat pattern could be maintained. The lime at which these departures occurred was not influenced by the position of the wrist. These results are discussed with reference to the constraints imposed on the coordination dynamics by the intrinsic properties of the neuromuscular-skeletal system.

On super-RS algebra and Drinfeld realization of quantum affine superalgebras

We describe the realization of the super-Reshetikhin-Semenov-Tian-Shansky (RS) algebra in quantum affine superalgebras, thus generalizing the approach of Frenkel and Reshetikhin to the supersymmetric (and twisted) case. The algebraic homomorphism between the super-RS algebra and the Drinfeld current realization of quantum affine superalgebras is established by using the Gauss decomposition technique of Ding and Frenkel. As an application, we obtain Drinfeld realization of quantum affine superalgebra U-q [osp(1/2)((1))] and its degeneration - central extended super-Yangian double DY(h over bar) [osp(1/2)((1))].

Subcycling first- and second-order generalizations of the trapezoidal rule

Subcycling algorithms which employ multiple timesteps have been previously proposed for explicit direct integration of first- and second-order systems of equations arising in finite element analysis, as well as for integration using explicit/implicit partitions of a model. The author has recently extended this work to implicit/implicit multi-timestep partitions of both first- and second-order systems. In this paper, improved algorithms for multi-timestep implicit integration are introduced, that overcome some weaknesses of those proposed previously. In particular, in the second-order case, improved stability is obtained. Some of the energy conservation properties of the Newmark family of algorithms are shown to be preserved in the new multi-timestep extensions of the Newmark method. In the first-order case, the generalized trapezoidal rule is extended to multiple timesteps, in a simple way that permits an implicit/implicit partition. Explicit special cases of the present algorithms exist. These are compared to algorithms proposed previously. (C) 1998 John Wiley & Sons, Ltd.

Retinal and lenticular ultrastructure in the aestivating salamanderfish, Lepidogalaxias salamandroides (Galaxiidae, Teleostei) with special reference to a new type of photoreceptor mosaic

The salamanderfish, Lepidogalaxias salamandroides (Galaxiidae, Teleostei) is endemic to southwestern Australia and inhabits shallow, freshwater pools which evaporate during the hot summer months. Burrowing into the substrate in response to falling water levels allows these fish to aestivate for extended periods of time while encapsulated in a mucous cocoon even when the pools contain no water. Only a few minutes after a major rainfall, these fish emerge into relatively clear water which subsequently becomes laden with tannin, turning the water black and reducing the pH to approximately 4.3. As part of a large study of the visual adaptations of this unique species, the retinal and lenticular morphology of the aestivating salamanderfish is examined at the level of the light and electron microscopes. The inner retina is highly vascularised by a complex system of vitreal blood vessels, while the outer retina receives a blood supply by diffusion from a choriocapillaris. This increased retinal blood supply may be an adaptation for reducing the oxygen tension during critical periods of aestivation. Large numbers of Muller cells traverse the thickness of the retina from the inner to the outer limiting membranes. The ganglion cells are arranged in two ill-defined layers, separated from a thick inner nuclear layer containing two layers of horizontal cells by a soma-free inner plexiform layer. The photoreceptors can be divided into three types typical of many early actinopterygian representatives; equal double cones, small single cones and large rods (2:1:1). These photoreceptors are arranged into a unique regular square mosaic comprising a large rod bordered by four equal double cones with a small single cone located at the corner of each repeating unit. The double cones may optimise perception of mobile prey which it tracks by flexion of its head and neck and the large rods may increase sensitivity in the dark tannin-rich waters in which it lives. Each single cone also possesses a dense collection of polysomes and glycogen (a paraboloid) beneath its ellipsoid, the first such finding in teleosts. The retinal pigment epithelium possesses melanosomes, pha,oocytes and a large number of mitochondria. The anatomy of the retina and the photoreceptor mosaic is discussed in relation to the primitive phylogeny of this species and its unique life history.

Effects of coping strategies, social support and work-nonwork conflict on shift worker's health

Objectives This study examines the direct and mediated effects of shift workers' coping strategies and social support on structural work-nonwork conflict and subjective health. Methods The participants were 172 registered female nurses, aged 21 to 40 years. They all worked full-time, on rapidly rotating, 8-hour shifts in metropolitan general hospitals. All the respondents completed a self-administered questionnaire requesting demographic information and data on sources of social support, work-nonwork conflict, and coping strategies. Results A path model with good fit (chi(2)=28.88, df=23, P>.23, CFI=0.97) demonstrated complex effects of social support and coping on structural work-nonwork conflict and health. Conclusions Structural work-nonwork conflict mediated the effects of social support from supervisors and emotionally expressive coping on psychological symptoms. Control of shifts mediated the effect of social support from supervisors on structural work-nonwork conflict. Disengagement coping had direct and mediated effects on psychological and physical health. However, it also had mediated effects, with the effect on psychological health being mediated by support from co-workers and the effect on physical symptoms being mediated by family support. Go-worker support mediated the effect of social support from supervisors on psychological symptoms. Overall, these findings support previous research and clarify the process by which coping strategies and social support affect structural work-nonwork conflict and health in shift work.

Changes in cigarette smoking among adults in 35 populations in the mid-1980s

Objective-To examine changes in the prevalence of cigarette smoking in 35 study populations of the World Health Organisation's MONICA Project. Design-Data from two independent, community-based surveys conducted, on average, five years apart. Setting-Geographically defined populations in 21 countries mainly in eastern and western Europe. Subjects-Randomly selected men and women aged 25-64 years. Numbers of participants in each study population ranged from 586 to 2817 in each survey. Main outcome measures-Changes in proportions of current smokers, ex-smokers, and never-smokers by age and sex using data collected by standardised methods. Results-Among men, smoking prevalence decreased in most populations, by three to four percentage points over five years. In Beijing, however, it increased in all age groups-overall by 11 percentage points. Among women there were increases in smoking in about half the populations. The increases were mainly in the age group 35-54 years and often in those populations where smoking prevalence among women has been relatively low. Conclusions-Smoking initiation by middle-aged women in parts of southern and eastern Europe and among men of all ages in Beijing is a matter of concern. The various public health measures that have helped to reduce smoking among men in developed countries should be vigorously extended to these other groups now at growing risk of smoking-related disease.

Integrable Kondo impurities in the one-dimensional supersymmetric U model of strongly correlated electrons

Integrable Kondo impurities in the one-dimensional supersymmetric U model of strongly correlated electrons are studied by means of the boundary graded quantum inverse scattering method. The boundary K-matrices depending on the local magnetic moments of the impurities are presented as non-trivial realizations of the reflection equation algebras in an impurity Hilbert space. Furthermore, the model Hamiltonian is diagonalized and the Bethe ansatz equations are derived. It is interesting to note that our model exhibits a free parameter in the bulk Hamiltonian but no free parameter exists on the boundaries. This is in sharp contrast to the impurity models arising from the supersymmetric t-J and extended Hubbard models where there is no free parameter in the bulk but there is a free parameter on each boundary.

Crystal structure of human T cell leukemia virus type 1 gp21 ectodomain crystallized as a maltose-binding protein chimera reveals structural evolution of retroviral transmembrane proteins

Retroviral entry into cells depends on envelope glycoproteins, whereby receptor binding to the surface-exposed subunit triggers membrane fusion by the transmembrane protein (TM) subunit. We determined the crystal structure at 2.5-Angstrom resolution of the ectodomain of gp21, the TM from human T cell leukemia virus type 1. The gp21 fragment was crystallized as a maltose-binding protein chimera, and the maltose-binding protein domain was used to solve the initial phases by the method of molecular replacement. The structure of gp21 comprises an N-terminal trimeric coiled coil, an adjacent disulfide-bonded loop that stabilizes a chain reversal, and a C-terminal sequence structurally distinct from HIV type 1/simian immunodeficiency virus gp41 that packs against the coil in an extended antiparallel fashion. Comparison of the gp21 structure with the structures of other retroviral TMs contrasts the conserved nature of the coiled coil-forming region and adjacent disulfide-bonded loop with the variable nature of the C-terminal ectodomain segment. The structure points to these features having evolved to enable the dual roles of retroviral TMs: conserved fusion function and an ability to anchor diverse surface-exposed subunit structures to the virion envelope and infected cell surface. The structure of gp21 implies that the N-terminal fusion peptide is in close proximity to the C-terminal transmembrane domain and likely represents a postfusion conformation.