ppxscal/embedding_network huggingface dataset:
Brief paper: Derivative-free estimation methods: New results and performance analysis
Authors: Miroslav Šimandl, Jindřich Duník
Venue: Automatica (Journal of IFAC) (2009)

The derivative-free nonlinear estimation methods exploiting the Stirling's interpolation and the unscented transformation for discrete-time nonlinear stochastic systems are treated. The divided difference and unscented filters, smoothers, and predictors based on the methods are introduced in the unified framework. The new relations among the first order Stirling's interpolation, the second order Stirling's interpolation, and the unscented transformation are derived and their impact on the covariance matrices of the state estimates of the corresponding filters is analysed. The theoretical results are illustrated and used for the explanation of the unexpected behaviour of the sigma point Gaussian sum filters given as a mixture of the derivative-free filters.
An Activity Recognition Model for Alzheimer's Patients: Extension of the COACH Task Guidance System
Authors: B. Bouchard, P. Roy, A. Bouzouane, S. Giroux, A. Mihailidis
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

This paper presents a hybrid plan recognition model, based on probabilistic description logic, which addresses the issue of recognizing the activities and the errors of Alzheimer's patients at an early stage of the disease. This model has been implemented to be a new extension of the COACH system, an emerging prototype of cognitive device for persons with Alzheimer's disease that offers assistance in task completion. We present an initial experimentation done on this new recognition module for COACH, which is based on the results of two sets of clinical trials.
Comparative study between two esl writing approaches: computer processing microsoft word vs. hand writing of two freshmen college saudi student groups
Authors: Perry Phillips
Venue:  (2008)

This comparative study investigated the effectiveness of two writing approaches, hand writing (using paper and pencil) and computer processing (using Microsoft Word), in improving the writing of English freshmen students at two colleges in Saudi Arabia. Three dependent variables: overall writing quality (OWQ), writing apprehension (WA), and attitudes toward writing with computer (ATWC) were measured based on two independent variables: gender and the medium used. The research was designed to assess whether students actually wrote better using word processing software than they did when writing with paper and pencil. One hundred college students studying English were selected from a population of approximately 1,000. Fifty male participants were selected from the Arrass Teacher's College and fifty female participants from the College of Education for Girls in Arrass City, Saudi Arabia. Selected students of both genders were divided into two groups of 25 each. One group was designated to write using Microsoft Word and the other wrote by hand using paper and pencil. Both groups wrote the same two topics of writing samples and received the same two types of surveys over a four week period in the middle of the academic semester. The results showed that: (a) in overall writing quality, there were significant differences based on gender and method, whereas in interaction there was not; (b) in writing apprehension there were significant differences in gender, and the interaction was significant only with the computer method but not in the hand writing method; (c) in attitudes toward writing with computer, there were no significant differences in gender and method, and no significant difference in interaction. Finally, the study includes several recommendations for further practice and further study.
Theoretical studies on the charge trap mechanism of MONOS type memories - Relationship between atomistic information and program/erase actions
Authors: Akira Otake, Keita Yamaguchi, Kenji Kobayashi, Kenji Shiraishi
Venue: Microelectronic Engineering (2009)

We have investigated atomistic structural changes of two types of defects (N vacancies and O substitutional defects) in a SiN layer in MONOS type memories during program/erase actions. N vacancy type defects reveal reversible structural change, whereas O substitutional defects are expected to reveal irreversible structural changes, indicating that detailed atomistic structure is crucial for clarifying the characteristics of MONOS type memory operation.
Generating random deviates for a nonstationary fixed-planned rate process
Authors: Marcos Antonio Masnik Ferreira, Celso Carnieri, Rui Carlos Botter
Venue: Proceedings of the 13th WSEAS international conference on Applied mathematics (2008)

This paper presents the algorithms and techniques for generating random deviates for a nonstationary fixed-planned rate process (NSFPP), which we define as a stochastic process whose arrival rate by period is determined by a future demand. In the first part, the complete model is described and its objectives and variables are presented. After that, we show the algorithms and equations that implement the solution using Mixed-Integer Linear Programming (MILP) and goal programming. We show also how to get a random sequence with a fixed number of values bounded into an interval fitted to a specified probability distribution.
A Hybrid Tableau Algorithm for ALCQ
Authors: Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid concept satisfiability algorithm for the Description Logic (DL) ALCQ which extends ALC with qualified number restrictions. The hybrid approach ensures a more informed calculus which, on the one hand, adequately handles the interaction between numerical and logical restrictions of descriptions, and on the other hand, when applied is a very promising framework for average case optimizations.
Can a Polite Intelligent Tutoring System Lead to Improved Learning Outside of the Lab?
Authors: Bruce M. McLaren, Sung-Joo Lim, David Yaron, Ken Koedinger
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

In this work we are investigating the learning benefits of e-Learning principles (a) within the context of a web-based intelligent tutor and (b) in the “wild,” that is, in real classroom (or homework) usage, outside of a controlled laboratory. In the study described in this paper, we focus on the benefits of politeness, as originally formulated by Brown and Levinson and more recently studied by Mayer and colleagues. We test the learning benefits of a stoichiometry tutor that provides polite problem statements, hints, and error messages as compared to one that provides more direct feedback. Although we find a small, but not significant, trend toward the polite tutor leading to better learning gains, our findings do not replicate that of Wang et al., who found significant learning gains through polite tutor feedback. While we hypothesize that an e-Learning principle such as politeness may not be robust enough to survive the transition from the lab to the “wild,” we will continue to experiment with the polite stoichiometry tutor.
Enterprise Information Security and Privacy, 1st edition
Authors: Warren C. Axelrod, Jennifer L. Bayuk, Daniel Schutzer
Venue:  (2009)

Here's a unique and practical book that addresses the rapidly growing problem of information security, privacy, and secrecy threats and vulnerabilities. This authoritative resource helps professionals understand what really needs to be done to protect sensitive data and systems and how to comply with the burgeoning roster of data protection laws and regulations. The book examines the effectiveness and weaknesses of current approaches and guides you towards practical methods and doable processes that can bring about real improvement in the overall security environment. Readers gain insight into the latest security and privacy trends, learn how to determine and mitigate risks, and discover the specific dangers and responses regarding the most critical sectors of a modern economy.
Variable forgetting in preference relations over propositional domains
Authors: Philippe Besnard, Jérôme Lang, Pierre Marquis
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

Representing (and reasoning about) preference relations over combinatorial domains is computationally expensive. For many problems involving such preferences, it is relevant to simplify them by projecting them on a subset of variables. We investigate several possible definitions, focusing without loss of generality on propositional (binary) variables.
The Quest for Mobility Models to Analyse Security in Mobile Ad Hoc Networks
Authors: Mauro Conti, Roberto Pietro, Andrea Gabrielli, Luigi Vincenzo Mancini, Alessandro Mei
Venue: Proceedings of the 7th International Conference on Wired/Wireless Internet Communications (2009)

Mobile Ad Hoc networks are subject to some unique security issues that could delay their diffusion. Several solutions have already been proposed to enforce specific security properties. However, mobility pattern nodes obey to can, on one hand, severely affect the quality of the security solutions that have been tested over "synthesized" mobility pattern. On the other hand, specific mobility patterns could be leveraged to design specific protocols that could outperform existing solutions.In this work, we investigate the influence of a realistic mobility scenario over a benchmark mobility model (Random Waypoint Mobility Model), using as underlying protocol a recent solution introduced for the detection of compromised nodes. Extensive simulations show the quality of the underlying protocol. However, the main contribution is to show the relevance of the mobility model over the achieved performances, stressing out that in mobile ad-hoc networks the quality of the solution provided is satisfactory only when it can be adapted to the nodes underlying mobility model.
An ontology-driven system architecture for precision agriculture applications
Authors: Christos Goumopoulos, Achilles D. Kameas, Alan Cassells
Venue: International Journal of Metadata, Semantics and Ontologies (2009)

Our research has been performed in the context of the EU-funded R&amp;D project PLANTS. In this paper, we describe an ontology-driven architecture for developing systems that can be used in precision agriculture applications. Central to our approach is the use of an ontology, which views plants and associated computation as an integral part and allows the interaction of plants and artefacts in the form of synergistic mixed societies. PLANTS ontology sets up a conceptual framework that combines the knowledge about sensors, actuators and other domain concepts available, on the one hand, and the biological studies about plant stressing and sensing mechanisms and consequent plant behaviour, on the other hand, to make plants a proactive component of agricultural systems.
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory
Authors: C. E. Brown
Venue:  (2007)

Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of higher-order logic. The first part of the book provides a detailed presentation of the theory (syntax and semantics) of fragments of higher-order logic. The fragments differ in the amount of extensionality and set comprehension principles included. Three families of sequent calculi are defined and proven sound and complete with respect to appropriate model classes. Using the model constructions in the book, different versions of Cantor's theorem are determined to not be provable in certain fragments. In fact, some versions of Cantor's theorem are independent of other versions (in sufficiently weak fragments). In the second part of the book, an automated proof procedure for extensional type theory is described. Proving completeness of such a higher-order search procedure is a nontrivial task. The book provides such a completeness proof by first proving completeness of the ground case and then proving appropriate lifting results. /Automated Reasoning in Higher-Order Logic/ is an essential document for researchers in higher-order logic and higher-order theorem proving. The book is also essential reading for programmers implementing or extending higher-order search procedures. Users of higher-order theorem provers can use the book to improve their understanding of the underlying logical systems. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
The equivalence of vision and haptics when matched spatiotemporally
Authors: Mark A. Symmons, Barry L. Richardson
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Two experiments are described in which the task was to identify a set of stimuli that were presented both haptically and visually such that the spatiotemporal display of information was matched. The stimuli were pre-recorded movement pathways followed during the exploration of capital letters. In the haptic tasks explorers were guided along the pathways by two mechanical devices - the Tactile Display System (Experiment 1) and the Phantom (Experiment 2). In the visual tasks the same pathways were plotted on a monitor. Both the visual and haptic tasks were undertaken in moving window and stationary window modes. In the former conditions the participant's hand was moved along the pathway (haptic condition)_ or the participant watched a 1 cm segment of line progressively trace out the pathway. In the stationary window tasks a tactile stimulus was moved underneath a stationary fingertip or the stimulus was moved behind a 1 cm motionless window. In terms of latency to stimulus identification, the moving window conditions yielded better performance than the stationary window conditions. However, performance in the haptic and visual conditions did not differ significantly, indicating a modal equivalence when information is presented to both senses in a matched manner.
A 64-channel personal computer based image reconstruction system and applications in single echo acquisition magnetic resonance elastography and ultra-fast magnetic resonance imaging
Authors: Steven Wright
Venue:  (2008)

Emerging technologies in parallel magnetic resonance imaging (MRI) with massive receiver arrays have paved the way for ultra-fast imaging at increasingly high frame rates. With the increase in the number of receiver channels used to implement parallel imaging techniques, there is a corresponding increase in the amount of data that needs to be processed, slowing down the process of image reconstruction. To develop a complete reconstruction system which is easy to assemble in a single computer for a real-time rendition of images is a relevant challenge demanding dedicated resources for high speed digital data transfer and computation. We have enhanced a 64 channel parallel receiver system designed for single echo acquisition (SEA) MRI into a real-time imaging system by interfacing it with two commercially available digital signal processor (DSP) boards which are capable of transferring large amounts of digital data via a dedicated bus from two high performance digitizer boards. The resulting system has been used to demodulate raw image data in real-time data and store them at rates of 200 frames per second (fps) and subsequently display the processed data at rates of 26 fps. A further interest in real-time reconstruction techniques is to reduce the data handling issues. Novel ways to minimize the digitized data are presented using reduced sampling rate techniques. The proposed techniques reduce the amount of data generated by a factor of 5 without compromising the SNR and with no additional hardware. Finally, the usability of this tool is demonstrated by investigating fast imaging applications. Of particular interest among them are MR elastography applications. An exploratory study of SEA MRE was done to study the temperature dependency of shear stiffness in an agarose gel and the results correlate well with existing literature. With the ability to make MRE images in a single echo, the SEA MRE technique has an advantage over the conventional MRE techniques.
The UID Approach --the Balance between Hard and Soft Methodologies
Authors: Barbara Begier
Venue: Proceeding of the 2005 conference on Software Engineering: Evolution and Emerging Technologies (2005)

The UID approach (User Involved Development) is suggested to improve software development process. Its aim is to admit users as its subject. The UID approach shows an attempt to combine features of hard and soft methodologies. The user focus leads to users' involvement in the process. An initial questionnaire survey of all potential users is recommended. There are suggested specified forms of developers-users cooperation to provide a continual feedback between both sides. Business process modeling, software product assessment by all its users, competency-based selection to play various roles, construction of questionnaires --are examples of methods in use.
An architecture for consumer support systems
Authors: Jyhjong Lin
Venue: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems (2009)

For enterprises, customer relationships have been commonly recognized as a critical factor to succeed their business. Effective customer relationships could help enterprises deliver services/products to customers based on their needs, preferences, or past transactions. This model however emphasizes on the use of customer information for benefiting enterprises; customers in contrast receive less information from enterprises. To address this issue, a new paradigm, namely Consumer Support Systems (CSS) is initiated to support effective information provision for customers to help on their decision making. In this paper, we present an architecture for the construction of such a new CSS paradigm. The architecture starts from the identification of CSS characteristics, through the recognition of architectural components that support the realization of these issues, and finally ends with the specification of collaborations among architectural components to realize these issues. The architecture is modeled by UML notations and illustrated by an exemplified CSS for book publishing.
Exploring Fundamental Issues about Problem-Oriented Hypermedia
Authors: Michael J. Jacobson
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

This paper discusses theory and research issues associated with the use of hypermedia technologies to support learning in problem-oriented pedagogical environments involving cases. After considering research issues with problem-oriented learning related to knowledge transfer and conceptual change, a design framework is discussed for a hypermedia system with scaffolding features designed to support and enhance problem-oriented learning. An ongoing project using a new version of this hypermedia approach with special ontological scaffolding to explore conceptual change and far knowledge transfer issues related to learning advanced scientific knowledge involving complex systems is also discussed.
Data outage across 3G & 2G wireless networks
Authors: Leo Bhebhe, Andres Arjona
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Service continuity between EGPRS (2G) and WCDMA (3G) systems has been identified as one key research item recently. Measurement from live cellular networks indicate that outage time for packet switched traffic during intersystem handovers are too long going up to one minute in some cases. In this article we analyze intersystem handover latency across 3G and 2G wireless networks. The inter-system handover focused on the service interruption during mobility using both of the main data protocols, TCP and UDP. The results showed that the data outage is high for TCP and UDP, up to 7s and 10s respectively and can considerably affect real-time user applications. Some proposals have been highlighted to improve handover performance including candidate features such as the packet switched handover feature in 3GPP Rel 7. The performance degradation mostly depends on the application type, transmission protocol, intersystem handover type, and bandwidth of the wireless access link.
Hybrid modeling of wire cable vibration isolation system through neural network
Authors: Zhou Chungui, Zhang Xinong, Xie Shilin, Zhou Tong, Zhu Changchun
Venue: Mathematics and Computers in Simulation (2009)

A hybrid modeling method based on neural network (NN) is developed and used to model the hysteretic restoring force of a wire cable vibration isolation system for electronic equipment. Firstly, a knowledge-based model for the nonlinear hysteretic restoring force is identified using the measured data obtained from period loading tests. Secondly, the remaining characteristic of hysteretic restoring force, which cannot be modeled in an easy way, is identified using the NN method through network training. By building up a parallel hybrid NN model for the nonlinear hysteretic restoring force, the dynamic responses of the vibration isolation system under harmonic and broad band random excitations are predicted. The predicted results are compared with the measured ones to validate the effectiveness and prediction accuracy of the model. The comparative studies show the developed hybrid NN model possesses good prediction accuracy and generalization capability in contrast with the pure black box NN model.
IT, virtual reality and haptics applications in e-learning, industrial training and medical education
Authors: Nicolas D. Georganas
Venue: Proceedings of the 2009 conference on Information Science, Technology and Applications (2009)

Multimedia Communications, Virtual Environments, Haptics and Gestural Interfaces have been in the forefront of Information Technology for a few years now, but only recently have seen numerous applications in many areas. This presentation will give an introduction to the field of Distributed and Collaborative Hapto-Virtual Environments, with applications in e-Learning, Industrial Training and Medical Education, particularly highlighting the relevant research in the Distributed and Collaborative Virtual Environments Research laboratory (DISCOVER) of the speaker at the University of Ottawa.
Extinction in periodic competitive stage-structured Lotka-Volterra model with the effects of toxic substances
Authors: Zhong Li, Fengde Chen
Venue: Journal of Computational and Applied Mathematics (2009)

In this paper, we consider a periodic competitive stage-structured Lotka-Volterra model with the effects of toxic substances. It is shown that toxic substances play an important role in the extinction of species. We obtain a set of sufficient conditions which guarantee that one of the components is driven to extinction while the other is globally attractive. The numerical simulation of an example verifies our main results.