13591397
A Context Query Language for Pervasive Computing Environments
This paper identifies requirements for querying and accessing context information in mobile and pervasive computing environments. Furthermore it studies existing query languages showing that they satisfy only a subset of these requirements or cover some of them only to a limited extent. A new context query language is presented to overcome these shortcomings, improving the state of the art in several respects: heterogeneous representations of context information, definition of complex filtering mechanisms, elaborate aggregation functions and ontology integration, all in one language.
209498655
Preface
The title of this book ‘One-Dimensional Finite Elements: An Introduction to the FE Method’ stands for content and focus. Nowadays, much literature regarding the topic of the finite element method exists. The different works reflect the multifaceted perceptions and application possibilities. The basic idea of this introduction into the finite element method relies on the concept of explaining the complex method with the help of one-dimensional elements. It is the goal to introduce the manifold aspects of the finite element method and to enable the reader to get a methodical understanding of important subject areas. The reader learns to understand the assumptions and derivations at different physical problems in structural mechanics. Furthermore, he/she learns to critically evaluate possibilities and limitations of the finite element method. Additional comprehensive mathematical descriptions, which solely result from advanced illustrations for twoor three-dimensional problems, are omitted. Hence, the mathematical description largely remains simple and clear. The focus on one-dimensional elements, however, is not just a pure limitation on a simpler and clearer formal illustration of the necessary equations. Within structural engineering, there are various structures— for example bridges or high transmission towers—which are usually modeled via one-dimensional elements. Therefore, this work also contains a ‘set of tools’, which can also be applied in practice. The concentration on one-dimensional elements is new for a textbook and allows the treatment of various basic and demanding physical questions of structural mechanics within one single textbook. This new concept, therefore, allows a methodical understanding of important subject areas (for example plasticity or composite materials), which occur to a prospective engineer during professional work, which however are seldom treated in this way at universities. Consequently, simple access is possible, also in supplementary areas of application of the finite element method. This book originates from a collection of lecture notes which were developed as written material for lectures and training documents for specialized courses on the finite element method. Especially, the calculated examples and the supplementary
13925823
Context inference of users' social relationships and distributed policy management
Inference of high-level context is becoming crucial in development of context-aware applications. An example is social context inference - i.e., deriving social relations based upon the user's daily communication with other people. The efficiency of this mechanism mainly depends on the method(s) used to draw inferences based on existing evidence and sample information, such as a training data. Our approach uses rule-based data mining, Bayesian network inference, and user feedback to compute the probabilities of another user being in the specific social relationship with a user whose daily communication is logged by a mobile phone. In addition, a privacy mechanism is required to ensure the user's personal integrity and privacy when sharing this user's sensitive context data. Therefore, the derived social relations are used to define a user's policies for context access control, which grant the restricted context information scope depending on the user's current context. Finally, we propose a distributed architecture capable of managing this context information based upon these context access policies.
14005418
A Comprehensive Context Modeling Framework for Pervasive Computing Systems
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, or heterogeneity of context sources. Although a number of context models have been presented in the literature, none of them supports all of these requirements to a sufficient extent at the same time. In this paper, we present a comprehensive and integrated approach for context modeling in pervasive computing environments. It combines the advantages of existing approaches and addresses the need for supporting effective software development. The proposed context model follows an ontology-based approach and has three layers of abstraction, i.e. conceptual layer, exchange layer, and functional layer. This layered approach facilitates a model-driven development of context-aware applications. Throughout the paper we compare our solution with the related work in order to clearly demonstrate why we needed to develop a new context management framework and where we have adopted existing ideas.
14972044
Service-Oriented Adaptation in Ubiquitous Computing Environments
Ubiquitous computing environments may offer dynamically discoverable services that can be utilized by adaptive applications to improve their functionality and quality of service. We have developed a general software development framework for context-aware adaptive applications. In this paper we present our novel modeling concepts that extend an existing component-based modeling approach by service-oriented adaptation concepts. With our new extensions a dynamically discovered service may replace an application component if it increases the overall utility of the application. We discuss open questions and point to potential solution approaches.
14497648
An Adaptation Reasoning Approach for Large Scale Component-based Applications
There is a growing demand for context-aware applications that can dynamically adapt to their run-time environment. An application offers a collection of functionalities that can be realized through a composition of software components and/or services that are made available at runtime. With the availability of alternative variants of such components and/or services that provide the basic functionalities, while differ in extra- functional characteristics, characterized by quality of services (QoS), an unforeseen number of application variants can be created. The variant that best fits the current context is selected through adaptation reasoning, which can suffer from the processing capabilities of resource-scarce mobile devices, especially when a huge number of application variants needs to be reason about. In this paper, we present a reasoning approach, which provides a meaningful adaptation decision for adaptive applications having a large number of variants within a reasonable time frame. The approach is validated through two arbitrary applications with large number of variants.
8554783
Mapping visual notations to MOF compliant models with QVT relations
Model-centric methodologies rely on the definition of domain-specific modeling languages for being able to create domain-specific models. With MOF the OMG adopted a standard which provides the essential constructs for the definition of semantic language constructs (abstract syntax). However, there are no specifications on how to define the notations (concrete syntax) for abstract syntax elements. Usually, the concrete syntax of MOF compliant languages is described informally.
 We propose to define MOF-based metamodels for abstract syntax and concrete syntax and to connect them by model transformations specified with QVT Relations in a flexible, declarative way. Using a QVT based transformation engine one can easily implement a Model View Controller architecture by integrating modeling tools and metadata repositories
22452503
Keyboard user verification: toward an accurate, efficient, and ecologically valid algorithm
This paper proposes new measures of individual differences in typing behaviour which provide a means of accurately verifying the identity of the typist. A first study examined the efficacy of a multivariate measure of inter-key latencies and a probabilistic discriminator statistic in conjunction with an individual filtering system which eliminates occasional disfluent keystrokes. The results indicate that, under optimum conditions but with a very small test sample, these measures lead to better typist verification than measures suggested earlier by Umphress and Williams and then Leggett and Williams. A second study validated the improved algorithm under more ecologically valid conditions and showed that when training and test sessions were separated by one week, typist verification using the new algorithm achieved combined false-acceptance and false-rejection rates of 0.9% and 3.8% for test samples of 300 and 50 digraphs respectively.
10506744
Fusion of Acoustic and Linguistic Features for Emotion Detection
This paper describes a system that deploys acoustic and linguistic information from speech in order to decide whether the utterance contains negative or non-negative meaning. An earlier version of this system was Passed QA to the Interspeech-2009 Emotion Challenge evaluation. The speech data consist of short utterances of the children’s speech, and the proposed system is designed to detect anger in each given chunk. Various frame-based cepstral, prosodic and acoustic features are extracted automatically and classified by means of a support vector machine. An automatic speech recognizer transcribes the utterances and yields a separate classification, based on the degree of emotional salience of the words. The emotionally salient words are computed on word hypotheses, so that un-transcribed training data is sufficient. Late fusion is applied to make a final decision on anger vs. non-anger of the utterance.
30118530
The EventScope Remote Science Operations Tool: Using a Visualization of a Remote Location as an Interface for Robotic Exploration
Using visualizations based on orbital data and imagery, the EventScope Remote Science Operations Tool allows scientists to explore a remote location and control a rover in that location. Scientists create a rover plan by sticking virtual pins in the visualization. This paradigm for exploration is being developed in conjunction with the Life in the Atacama Project at Carnegie Mellon University. CR
7449534
probeBase—an online resource for rRNA-targeted oligonucleotide probes: new features 2007
probeBase is a curated database of annotated rRNA-targeted oligonucleotide probes and supporting information. Rapid access to probe, microarray and reference data is achieved by powerful search tools and via different lists that are based on selected categories such as functional or taxonomic properties of the target organism(s) or the hybridization format (fluorescence in situ hybridization or microarray) in which the probes were applied. Additional information on probe coverage and specificity is available through direct submissions of probe sequences from probeBase to RDP-II and Greengenes, two major rRNA sequence databases. A freely editable user comments field for each probe entry allows any user to add, modify or remove information or to report errors in real-time. probeBase entries increased from 700 to more than 1200 during the past three years. Several options for submission of single probes or entire probe sets, even prior to publication of newly developed probes, should further contribute to keeping probeBase an up-to-date and useful resource. probeBase is freely accessible at . Email correspondence can be addressed to probebase@microbial-ecology.net.