Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

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.

Hepatocellular carcinoma

Detailed analyses of chromosomal damage in hepatocellular carcinoma have confirmed the results of previous studies that identified regions of significant loss. In addition, these studies examined the clinicopathological correlates of this damage, identified new sites for future investigation, and provided evidence of interactions between genes, The insulin-like growth factor II receptor gene is a target for inactivation through chromosomal loss and mutation, with loss also occurring in the cirrhotic liver. The insulin-like growth factor II receptor gene plays a central role in coordinating the competing actions of insulin-like growth factor and transforming growth factor-beta on cell proliferation. Our understanding of the changes in these growth factor pathways helps explain the apparent increase in risk of hepatocellular carcinoma in diabetic patients and the potential use of urinary transforming growth factor-beta in screening tests. Vaccination for hepatitis B in Taiwan has had a significant effect on the incidence of childhood hepatocellular carcinoma. Universal vaccination should result in a major reduction in the incidence of hepatocellular carcinoma worldwide.

Comparative in vitro effects of closantel and selected beta-ketoamide anthelmintics on a gastrointestinal nematode and vertebrate liver cells

PNU-87407 and PrNU-88509, beta-ketoamide anthelmintics that are structurally related to each other and to the salicylanilide anthelmintic closantel, exhibit different anthelmintic spectra and apparent toxicity in mammals, The basis for this differential pharmacology was examined in experiments that measured motility and adenosine triphosphate (ATP) levels in larval and adult stages of the gastrointestinal nematode, Haemonchus contortus, and in a vertebrate liver cell line and mitochondria, PNU-87407 and PNU-88509 both exhibited functional cross-resistance with closantel in larval migration assays using closantel-resistant and -sensitive isolates of H, contortus. Each compound reduced motility and,ATP levels in cultured adult H. contortus in a concentration- and time-dependent manner: however, motility was reduced more rapidly by PNU-88509, and ATP levels were reduced by lower concentrations of closantel than the beta-ketoamides. Tension recordings from segments of adult H, contortus showed that PNU-88509 induces spastic paralysis, while PNU-87407 and closantel induce flaccid paralysis of the somatic musculature. Marked differences in the actions of these compounds were also observed in the mammalian preparations. In Chang liver cells, ATP levels were reduced after 3 h exposures to greater than or equal to 0.25 mu M PNU-87407 1 mu M closantel or 10 mu M PNU-88509, Reductions in ATP caused by PNU-88509 were completely reversible, while the effects of closantel and PNU-87407; were irreversible. PNU-87407, closantel and PNU-88509 uncoupled oxidative phosphorylation in isolated rat liver mitochondria, inhibiting the respiratory control index (with glutamate or succinate as substrate) by 50% at concentrations of 0.14, 0.9 and 7.6 mu M respectively.

Analysis of small signal stability margins using genetic optimization

Power system small signal stability analysis aims to explore different small signal stability conditions and controls, namely: (1) exploring the power system security domains and boundaries in the space of power system parameters of interest, including load flow feasibility, saddle node and Hopf bifurcation ones; (2) finding the maximum and minimum damping conditions; and (3) determining control actions to provide and increase small signal stability. These problems are presented in this paper as different modifications of a general optimization to a minimum/maximum, depending on the initial guesses of variables and numerical methods used. In the considered problems, all the extreme points are of interest. Additionally, there are difficulties with finding the derivatives of the objective functions with respect to parameters. Numerical computations of derivatives in traditional optimization procedures are time consuming. In this paper, we propose a new black-box genetic optimization technique for comprehensive small signal stability analysis, which can effectively cope with highly nonlinear objective functions with multiple minima and maxima, and derivatives that can not be expressed analytically. The optimization result can then be used to provide such important information such as system optimal control decision making, assessment of the maximum network's transmission capacity, etc. (C) 1998 Elsevier Science S.A. All rights reserved.

A framework to monitor sustainability in the grains industry

Community awareness of the sustainable use of land, water and vegetation resources is increasing. The sustainable use of these resources is pivotal to sustainable farming systems. However, techniques for monitoring the sustainable management of these resources are poorly understood and untested. We propose a framework to benchmark and monitor resources in the grains industry. Eight steps are listed below to achieve these objectives: (i) define industry issues; (ii) identify the issues through growers, stakeholder and community consultation; (iii) identify indicators (measurable attributes, properties or characteristics) of sustainability through consultation with growers, stakeholders, experts and community members, relating to: crop productivity; resource maintenance/enhancement; biodiversity; economic viability; community viability; and institutional structure; (iv) develop and use selection criteria to select indicators that consider: responsiveness to change; ease of capture; community acceptance and involvement; interpretation; measurement error; stability, frequency and cost of measurement; spatial scale issues; and mapping capability in space and through time. The appropriateness of indicators can be evaluated using a decision making system such as a multiobjective decision support system (MO-DSS, a method to assist in decision making from multiple and conflicting objectives); (v) involve stakeholders and the community in the definition of goals and setting benchmarking and monitoring targets for sustainable farming; (vi) take preventive and corrective/remedial action; (vii) evaluate effectiveness of actions taken; and (viii) revise indicators as part of a continual improvement principle designed to achieve best management practice for sustainable farming systems. The major recommendations are to: (i) implement the framework for resources (land, water and vegetation, economic, community and institution) benchmarking and monitoring, and integrate this process with current activities so that awareness, implementation and evolution of sustainable resource management practices become normal practice in the grains industry; (ii) empower the grains industry to take the lead by using relevant sustainability indicators to benchmark and monitor resources; (iii) adopt a collaborative approach by involving various industry, community, catchment management and government agency groups to minimise implementation time. Monitoring programs such as Waterwatch, Soilcheck, Grasscheck and Topcrop should be utilised; (iv) encourage the adoption of a decision making system by growers and industry representatives as a participatory decision and evaluation process. Widespread use of sustainability indicators would assist in validating and refining these indicators and evaluating sustainable farming systems. The indicators could also assist in evaluating best management practices for the grains industry.

GABA receptors inhibited by benzodiazepines mediate fast inhibitory transmission in the central amygdala

The amygdala is intimately involved in emotional behavior, and its role in the generation of anxiety and conditioned fear is well known. Benzodiazepines, which are commonly used for the relief of anxiety, are thought to act by enhancing the action of the inhibitory transmitter GABA. We have examined the properties of GABA-mediated inhibition in the amygdala. Whole-cell recordings were made from neurons in the lateral division of the central amygdala. Application of GABA evoked a current that reversed at the chloride equilibrium potential. Application of the GABA antagonists bicuculline or SR95531 inhibited the GABA-evoked current in a manner consistent with two binding sites. Stimulation of afferents to neurons in the central amygdala evoked an IPSC that was mediated by the release of GABA. The GABA(A) receptor antagonists bicuculline and picrotoxin failed to completely block the IPSC. The bicuculline-resistant IPSC was chloride-selective and was unaffected by GABA(B)-receptor antagonists. Furthermore, this current was insensitive to modulation by general anesthetics or barbiturates. In contrast to their actions at GABA(A) receptors, diazepam and flurazepam inhibited the bicuculline-resistant IPSC in a concentration-dependent manner. These effects were fully antagonized by the benzodiazepine site antagonist Ro15-1788. We conclude that a new type of ionotropic GABA receptor mediates fast inhibitory transmission in the central amygdala. This receptor may be a potential target for the development of new therapeutic strategies for anxiety disorders.

Cell death and immunohistochemistry of p53, c-Fos and c-Jun after spermine infection into the rat striatum

Administration of polyamines into the central nervous system results in tissue damage, possibly through the excitotoxic actions of the NMDA receptor. Direct injection of 100 nmol of spermine into the rat striatum produced a lesion equivalent to approximately 50% of the striatum. Analysis of the DNA in this region revealed the distinct ladder-like pattern of degradation often associated with apoptosis. This DNA fragmentation was confirmed in vivo using terminal deoxynucleotidyl-transferase-mediated biotinylated deoxyuridine triphosphate nick end labelling (TUNEL). The morphology of the TUNEL-positive cells showed marked differences at the needle tract when compared with cells in damaged areas away from the needle tract, suggesting a differential mechanism of cell death in these two regions. The patterns of p53, c-Fos and c-Jun protein expression were determined using immunohistochemistry. The number of p53-immunoreactive cells increased up to 14 h and returned to basal levels by 24 h. c-Fos protein expression transiently increased, peaking at 8 h after injection, c-Jun exhibited a protracted pattern of expression, remaining elevated up to 24 h. p53 protein expression was colocalised with TUNEL staining in areas away from the needle tract, but not in cells at the needle tract, suggesting once again a differential mechanism of cell death. At 14 h, c-Fos and c-Jun were not colocalised with TUNEL staining, suggesting that they are either not involved with the cell death process or that the time course of protein expression and the onset of DNA fragmentation do not overlap. This work represents the first characterisation of processes associated with cell death induced by spermine in vivo.

H-reflex modulation during passive lengthening and shortening of the human triceps surae

1. The present study investigated the effects of lengthening and shortening actions on IT-reflex amplitude. H-reflexes were evoked in the soleus (SOL) and medial gastroenemius (MG) of human subject, during passive isometric, lengthening and shortening actions performed at angular velocities of 0, +/-2, +/-5 and +/- 15 deg s(-1). 2. H-reflex amplitude, in froth SOL and MG were significantly depressed during passive lengthening actions and facilitated during passive shortening actions, when compared with the isometric R-reflex amplitude. 3. Four experiments were performed in which the latencies front the onset of movement to delivery of the stimulus were altered. Passive H-reflex modulation during lengthening actions was found tee begin at latencies of less than 60 ms suggesting that this inhibition was due to peripheral and/or spinal mechanisms. 4. It is postulated that, the H-reflex modulation seen in the present study is related to the tunic discharge of muscle spindle afferents and the consequent effects of transmission within the la pathway. Inhibition of the H-reflex at less than 60 ms after the onset of muscle lengthening may he attributed to several mechanisms, which cannot be distinguished using the current protocol. These may include the inability to evoke volleys in la fibres that are refractory following muscle spindle discharge during; rapid muscle lengthening, a reduced probability of transmitter release front the presynaptic terminal (homosynaptic post.-activation depression) and presynaptic inhibition of la afferents from plantar flexor agonists. Short latency facilitation of the H-reflex may be attributed to temporal summation of excitatory postsynaptic potentials arising from muscle spindle afferents during rapid muscle lengthening. At longer latencies, presynaptic inhibition of Ia afferents cannot be excluded as a potential inhibitory mechanism.

Nuclear calcium signaling evoked by cholinergic stimulation in hippocampal CA1 pyramidal neurons

The cholinergic system is thought to play an important role in hippocampal-dependent learning and memory. However, the mechanism of action of the cholinergic system in these actions in not well understood. Here we examined the effect of muscarinic receptor stimulation in hippocampal CA1 pyramidal neurons using whole-cell recordings in acute brain slices coupled with high-speed imaging of intracellular calcium. Activation of muscarinic acetylcholine receptors by synaptic stimulation of cholinergic afferents or application of muscarinic agonist in CA1 pyramidal neurons evoked a focal rise in free calcium in the apical dendrite that propagated as a wave into the soma and invaded the nucleus. The calcium rise to a single action potential was reduced during muscarinic stimulation. Conversely, the calcium rise during trains of action potentials was enhanced during muscarinic stimulation. The enhancement of free intracellular calcium was most pronounced in the soma and nuclear regions. In many cases, the calcium rise was distinguished by a clear inflection in the rising phase of the calcium transient, indicative of a regenerative response. Both calcium waves and the amplification of action potential-induced calcium transients were blocked the emptying of intracellular calcium stores or by antagonism of inositol 1,4,5-trisphosphate receptors with heparin or caffeine. Ryanodine receptors were not essential for the calcium waves or enhancement of calcium responses. Because rises in nuclear calcium are known to initiate the transcription of novel genes, we suggest that these actions of cholinergic stimulation may underlie its effects on learning and memory.

Exploratory research: Citizen participation, local government and sustainable development in Australia

Exploratory research reported in this paper was undertaken in Adelaide, Australia during 1998/99. The purpose of the research is to explore local development practice as evidenced through the experiences and actions of local citizens, community based groups and local government (Neuman, 1994). Results from this first stage research suggest that sustainability initiatives in Australia might best be implemented through a collaborative approach at the local community level involving local citizens working in partnership with local government. Copyright (C) 2002 John Wiley & Sons, Ltd and ERP Environment.

Mental rotation processes in mathematically gifted boys: An fMRI investigation

The functional brain organisation of mathematically gifted adolescents may be different from those of average mathematical ability. In this study we used fMRI to examine the neural circuitry that mediates the performance of mathematically gifted boys and average ability controls while engaged in mental rotation. Eight math gifted male adolescents and five average ability male adolescents were presented 18 control and 18 mental rotation trials in two separate blocks. Participants selected one of four test stimuli to match the target stimulus by pressing one of four fibreoptic buttons. The control task required a simple 'best match' for the target stimulus. EPI scans were acquired on a 3-T MR scanner and a fixed effects statistical analysis (SPM99) was used to identify areas of significant activation in the rotation tasks, for the two groups. The results indicate that during mental rotation both groups activate the parietal lobes bilaterally, though to different levels. Moreover, the math gifted are uniformly bilateral in their pattern of activation, and engage some anterior regions not found in those of average ability. These regions include bilateral prefrontal cortex and the right anterior cingulate, which may serve to heighten concentration, and to optimise the pre-planning of purposeful actions.

Recognition memory effects in event-based prospective memory

Prospective memory (ProM) is the memory for future actions. It requires retrieving content of anaction in response to an ambiguous cue. Currently, it is unclear if ProM is a distinct form of memory, or merely a variant of retrospective memory (RetM). While content retrieval in ProM appears analogous to conventional RetM, less is known about the process of cue detection. Using a modified version of the standard ProM paradigm, three experiments manipulated stimulus characteristics known to influence RetM, in order to examine their effects on ProM performance. Experiment 1 (N — 80) demonstrated that low frequency stimuli elicited significantly higher hit rates and lower false alarm rates than high frequency stimuli, comparable to the mirror effect in RetM. Experiment 2 (N = 80) replicated these results, and showed that repetition of distracters during the test phase significantly increased false alarm rates to second and subsequent presentations of low frequency distracters. Building on these results. Experiment 3 (AT = 40) showed that when the study list was strengthened, the repeated presentation of targets and distracters did not significantly affect response rates. These experiments demonstrate more overlap between ProM and RetM than has previously been acknowledged. The implications for theories of ProM are considered.

Attentional modulation of neural responses to action observation: Implications for models of the human 'mirror' system

In primates, the observation of meaningful, goaldirected actions engages a network of cortical areas located within the premotor and inferior parietal lobules. Current models suggest that activity within these regions arises relatively automatically during passive action observation without the need for topdown control. Here we used functional magnetic resonance imaging to determine whether cortical activit)' associated with action observation is modulated by the strategic allocation of selective attention. Normal observers viewed movie clips of reach-to-grasp actions while performing an easy or difficult visual discrimination at the fovea. A wholebrain analysis was performed to determine the effects of attentional load on neural responses to observed hand actions. Our results suggest that cortical areas involved in action observation are significantiy modulated by attentional load. These findings have important implications for recent attempts to link the human action-observation system to response properties of "mirror neurons" in monkeys.

Premovement activity of the pre-supplementary motor area and the readiness for action: Studies of time-resolved event-related functional MRI

The supplementary motor area (SMA) is thought to play in important role in the preparation and organisation of voluntary movement. It has long been known that cortical activity begins to increase up to 2 s prior to voluntary self-initiated movement. This increasing premovement activity measured in EEG is known as the Bereitschaftspotential or readiness potential. Modern functional brain imaging methods, using event-related and time-resolved functional MRI techniques, are beginning to reveal the role of the SMA, and in particular the more anterior pre-SMA, in premovement activity associated with the readiness for action. In this paper we review recent studies using event-related time-resolved fMRI methods to examine the time-course of activation changes within the SMA throughout the preparation, readiness and execution of action. These studies suggest that the preSMA plays a common role in encoding or representing actions prior to our own voluntary self-initiated movements, during motor imagery, and from the observation of others' actions. We suggest that the pre-SMA generates and encodes motor representations which are then maintained in readiness for action. (c) 2005 Elsevier B.V. All rights reserved.