Towards a standards-based autonomic context management system

Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is known as context-awareness. In some cases, context-aware applications must be implemented as autonomic systems which are capable of dynamically discovering and replacing context sources (sensors) at run-time. Unlike other types of application autonomy, this kind of dynamic reconfiguration has not been sufficiently investigated yet by the research community. However, application-level context models are becoming common, in order to ease programming of context-aware applications and support evolution by decoupling applications from context sources. We can leverage these context models to develop general (i.e., application-independent) solutions for dynamic, run-time discovery of context sources (i.e., context management). This paper presents a model and architecture for a reconfigurable context management system that supports interoperability by building on emerging standards for sensor description and classification.

Autonomic activity during human sleep as a function of time and sleep stage

While there is a developing understanding of the influence of sleep on cardiovascular autonomic activity in humans, there remain unresolved issues. In particular, the effect of time within the sleep period, independent of sleep stage, has not been investigated. Further, the influence of sleep on central sympathetic nervous system (SNS) activity is uncertain because results using the major method applicable to humans, the low frequency (LF) component of heart rate Variability (HRV), have been contradictory, and because the method itself is open to criticism. Sleep and cardiac activity were measured in 14 young healthy subjects on three nights. Data was analysed in 2-min epochs. All epochs meeting specified criteria were identified, beginning 2 h before, until 7 h after, sleep onset. Epoch values were allocated to 30-min bins and during sleep were also classified into stage 2, slow wave sleep (SWS) and rapid eye movement (REM) sleep. The measures of cardiac activity were heart irate (HR), blood pressure (BP), high frequency (HF) and LF components of HRV and pre-ejection period (PEP). During non-rapid eye movement (NREM) sleep autonomic balance shifted from sympathetic to parasympathetic dominance, although this appeared to be more because of a shift in parasympathetic nervous system (PNS) activity. Autonomic balance during REM was in general similar to wakefulness. For BP and the HF and LF components the change occurred abruptly at sleep onset and was then constant over time within each stage of sleep, indicating that any change in autonomic balance over the sleep period is a consequence of the changing distribution of sleep stages. Two variables, HR and PEP, did show time effects reflecting a circadian influence over HR and perhaps time asleep affecting PEP. While both the LF component and PEP showed changes consistent with reduced sympathetic tone during sleep, their pattern of change over time differed.

Integration of autonomic and local mechanisms in regulating cardiovascular responses to heating and cooling in a reptile (Crocodylus porosus)

Reptiles change heart rate and blood flow patterns in response to heating and cooling, thereby decreasing the behavioural cost of thermoregulation. We tested the hypothesis that locally produced vasoactive substances, nitric oxide and prostaglandins, mediate the cardiovascular response of reptiles to heat. Heart rate and blood pressure were measured in eight crocodiles (Crocodylus porosus) during heating and cooling and while sequentially inhibiting nitric-oxide synthase and cyclooxygenase enzymes. Heart rate and blood pressure were significantly higher during heating than during cooling in all treatments. Power spectral density of heart rate and blood pressure increased significantly during heating and cooling compared to the preceding period of thermal equilibrium. Spectral density of heart rate in the high frequency band (0.19-0.70 Hz) was significantly greater during cooling in the saline treatment compared to when nitric-oxide synthase and cyclooxygenase enzymes were inhibited. Cross spectral analysis showed that changes in blood pressure preceded heart rate changes at low frequencies (

Calcium channels controlling acetylcholine release from preganglionic nerve terminals in rat autonomic ganglia

Little is known about the nature of the calcium channels controlling neurotransmitter release from preganglionic parasympathetic nerve fibres. In the present study, the effects of selective calcium channel antagonists and amiloride were investigated on ganglionic neurotransmission. Conventional intracellular recording and focal extracellular recording techniques were used in rat submandibular and pelvic ganglia, respectively. Excitatory postsynaptic potentials and excitatory postsynaptic currents preceded by nerve terminal impulses were recorded as a measure of acetylcholine release from parasympathetic and sympathetic preganglionic fibres following nerve stimulation. The calcium channel antagonists omega-conotoxin GVIA (N type), nifedipine and nimodipine (L type), omega-conotoxin MVIIC and omega-agatoxin IVA (P/Q type), and Ni2+ (R type) had no functional inhibitory effects on synaptic transmission in both submandibular and pelvic ganglia. The potassium-sparing diuretic, amiloride, and its analogue, dimethyl amiloride, produced a reversible and concentration-dependent inhibition of excitatory postsynaptic potential amplitude in the rat submandibular ganglion. The amplitude and frequency of spontaneous excitatory postsynaptic potentials and the sensitivity of the postsynaptic membrane to acetylcholine were unaffected by amiloride. In the rat pelvic ganglion, amiloride produced a concentration-dependent inhibition of excitatory postsynaptic currents without causing any detectable effects on the amplitude or configuration of the nerve terminal impulse. These results indicate that neurotransmitter release from preganglionic parasympathetic and sympathetic nerve terminals is resistant to inhibition by specific calcium channel antagonists of N-, L-, P/Q- and R-type calcium channels. Amiloride acts presynaptically to inhibit evoked transmitter release, but does not prevent action potential propagation in the nerve terminals, suggesting that amiloride may block the pharmacologically distinct calcium channel type(s) on rat preganglionic nerve terminals. (C) 1999 IBRO. Published by Elsevier Science Ltd.

A synchronous multimedia annotation system for secure collaboratories

In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or 3D objects. The system has been designed specifically to capture and share scholarly discourse and annotations about multimedia research data by teams of trusted colleagues within a research or academic environment. As such, it provides: authenticated access to a web browser search interface for discovering and retrieving media objects; a media replay window that can incorporate a variety of embedded plug-ins to render different scientific media formats; an annotation authoring, editing, searching and browsing tool; and session logging and replay capabilities. Annotations are personal remarks, interpretations, questions or references that can be attached to whole files, segments or regions. Vannotea enables annotations to be attached either synchronously (using jabber message passing and audio/video conferencing) or asynchronously and stand-alone. The annotations are stored on an Annotea server, extended for multimedia content. Their access, retrieval and re-use is controlled via Shibboleth identity management and XACML access policies.

Biomechanical consequences of impairment: A taxonomically valid basis for classification in a unified disability athletics system

Developing a unified classification system to replace four of the systems currently used in disability athletics (i.e., track and field) has been widely advocated. The diverse impairments to be included in a unified system require severed assessment methods, results of which cannot be meaningfully compared. Therefore, the taxonomic basis of current classification systems is invalid in a unified system. Biomechanical analysis establishes that force, a vector described in terms of magnitude and direction, is a key determinant of success in all athletic disciplines. It is posited that all impairments to be included in a unified system may be classified as either force magnitude impairments (FMI) or force control impairments (FCI). This framework would provide a valid taxonomic basis for a unified system, creating the opportunity to decrease the number of classes and enhance the viability of disability athletics.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

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.

The emergence of the determiner system in Mauritian Creole: a syntax semantics mapping

This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.

Acquisition of the English article system in SLA and the Missing Surface Inflection Hypothesis

This paper examines the article system in interlanguage grammar focusing on Japanese learners of English, whose native language lacks articles. It will be demonstrated that for the acquisition of the English article system, count/mass distinctions and definiteness are the crucial factors. Although Japanese does not employ the article system to encode these aspects, it will be argued that they are nevertheless syntactically encoded through its classifier system. Hence, the problem for these learners must be to map these features onto the appropriate surface forms as the Missing Surface Inflection Hypothesis predicts (Prévost & White 2000). This suggestion will further be supported empirically by a fill-in-the article task. It will be concluded that these Japanese learners understand the English article system fairly well, possibly due to their native language, yet have problems with realizing the relevant features (i.e. count/mass distinctions and definiteness) in the target language.

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.

A power system control scheme based on security visualisation in parameter space

Power system real time security assessment is one of the fundamental modules of the electricity markets. Typically, when a contingency occurs, it is required that security assessment and enhancement module shall be ready for action within about 20 minutes’ time to meet the real time requirement. The recent California black out again highlighted the importance of system security. This paper proposed an approach for power system security assessment and enhancement based on the information provided from the pre-defined system parameter space. The proposed scheme opens up an efficient way for real time security assessment and enhancement in a competitive electricity market for single contingency case

Comparison of BR and QR Eigenvalue Algorithms for Power System Small Signal Stability Analysis

The BR algorithm is a novel and efficient method to find all eigenvalues of upper Hessenberg matrices and has never been applied to eigenanalysis for power system small signal stability. This paper analyzes differences between the BR and the QR algorithms with performance comparison in terms of CPU time based on stopping criteria and storage requirement. The BR algorithm utilizes accelerating strategies to improve its performance when computing eigenvalues of narrowly banded, nearly tridiagonal upper Hessenberg matrices. These strategies significantly reduce the computation time at a reasonable level of precision. Compared with the QR algorithm, the BR algorithm requires fewer iteration steps and less storage space without depriving of appropriate precision in solving eigenvalue problems of large-scale power systems. Numerical examples demonstrate the efficiency of the BR algorithm in pursuing eigenanalysis tasks of 39-, 68-, 115-, 300-, and 600-bus systems. Experiment results suggest that the BR algorithm is a more efficient algorithm for large-scale power system small signal stability eigenanalysis.