Effect of hypothalamo-pituitary disconnection on the development of anterior pituitary cells in late gestation ovine fetuses

The specific role of the hypothalamus in regulating the developmental profile of anterior pituitary (AP) cells remains largely unknown. The present study evaluated hypothalamic contributions to AP cell development, utilizing the technique of hypothalamo-pituitary disconnection (HPD). HPD of fetal sheep or sham surgery was performed at 110 days gestation (d) (n=6 each group; term ~ 147d). Fetuses were removed and pituitaries collected at 110d (no surgery; n=6) or 141d (sham and HPD groups). The impact of HPD on AP cell development was assessed by single-labeled immunofluorescence for five hormones to identify proportions of AP cells expressing each hormone. HPD was associated with a 70% increase (P

Processing of urinary pheromones in Antechinus stuartii (Marsupialia: Dasyuridae): Functional magnetic resonance imaging of the brain

Little is known of the neural mechanisms of marsupial olfaction. However, functional magnetic resonance imaging (fMRI) has made it possible to visualize dynamic brain function in mammals without invasion. In this study, central processing of urinary pheromones was investigated in the brown antechinus, Antechinus stuartii, using fMRI. Images were obtained from 18 subjects (11 males, 7 females) in response to conspecific urinary olfactory stimuli. Significant indiscriminate activation occurred in the accessory olfactory bulb, entorhinal, frontal, and parietal cortices in response to both male and female urine. The paraventricular nucleus of hypothalamus, ventrolateral thalamic nucleus, and medial preoptic area were only activated in response to male urine. Results of this MRI study indicate that projections of accessory olfactory system are activated by chemo-sensory cues. Furthermore, it appears that, based on these experiments, urinary pheromones may act on the hypothalamo-pituitary-adrenocortical axis via the paraventricular nucleus of the hypothalamus and may play an important role in the unique life history pattern of A. stuartii. Finally, this study has demonstrated that fMRI may be a powerful tool for investigations of olfactory processes in mammals.

Body size and latitudinal gradients in regional diversity of New World birds

Axe latitudinal gradients in regional diversity random or biased with respect to body size? Using data for the New World avifauna, I show that the slope of the increase in regional species richness from the Arctic to the equator is not independent of body size. The increase is steepest among small and medium-sized species, and shallowest among the largest species. This is reflected in latitudinal variation in the shape of frequency distributions of body sizes in regional subsets of the New World avifauna. Because species are added disproportionately in small and medium size classes towards low latitudes, distributions become less widely spread along the body size axis than expected from the number of species. These patterns suggest an interaction between the effects of latitude and body size on species richness, implying that mechanisms which vary with both latitude and body size may be important determinants of high tropical diversity in New World birds.

The nonexistence of spurious solutions to discrete, two-point boundary value problems

We investigate difference equations which arise as discrete approximations to two-point boundary value problems for systems of second-order, ordinary differential equations. We formulate conditions under which all solutions to the discrete problem satisfy certain a priori bounds which axe independent of the step-size. As a result, the nonexistence of spurious solutions are guaranteed. Some existence and convergence theorems for solutions to the discrete problem are also presented. (C) 2002 Elsevier Science Ltd. All rights reserved.

Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

Expansion-based algorithms for finding single pair shortest path on surface

Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path planning system, and surface nearest neighbor query in spatial database, etc. Currently, to solve the problem, existing algorithms must traverse the entire polyhedral surface. With the rapid advance in areas like Global Positioning System (CPS), Computer Aided Design (CAD) systems and laser range scanner, surface models axe becoming more and more complex. It is not uncommon that a surface model contains millions of polygons. The single pair shortest path problem is getting harder and harder to solve. Based on the observation that the single pair shortest path is in the locality, we propose in this paper efficient methods by excluding part of the surface model without considering them in the search process. Three novel expansion-based algorithms are proposed, namely, Naive algorithm, Rectangle-based Algorithm and Ellipse-based Algorithm. Each algorithm uses a two-step approach to find the shortest path. (1) compute an initial local path. (2) use the value of this initial path to select a search region, in which the global shortest path exists. The search process terminates once the global optimum criteria are satisfied. By reducing the searching region, the performance is improved dramatically in most cases.

Interfacing ASM with the MDG tool

In this paper we describe an approach to interface Abstract State Machines (ASM) with Multiway Decision Graphs (MDG) to enable tool support for the formal verification of ASM descriptions. ASM is a specification method for software and hardware providing a powerful means of modeling various kinds of systems. MDGs are decision diagrams based on abstract representation of data and axe used primarily for modeling hardware systems. The notions of ASM and MDG axe hence closely related to each other, making it appealing to link these two concepts. The proposed interface between ASM and MDG uses two steps: first, the ASM model is transformed into a flat, simple transition system as an intermediate model. Second, this intermediate model is transformed into the syntax of the input language of the MDG tool, MDG-HDL. We have successfully applied this transformation scheme on a case study, the Island Tunnel Controller, where we automatically generated the corresponding MDG-HDL models from ASM specifications.