ppxscal/embedding_network huggingface dataset:
An Introduction to Umts Technology: Testing, Specifications and Standard Bodies for Engineers and Managers
Authors: Faris Muhammad
Venue:  (2008)

"An Introduction to UMTS: Specifications, Testing and Standards Bodies" is the most comprehensive text for practicing engineers and technicians about testing, specification and standards bodies of cellular communications equipment. It is aimed at those responsible for developing and maintaining both mobile and base station units. Each chapter discusses in detail the necessary elements moving to the more advanced components. In addition to testing, specification and standards bodies, readers will learn: the development life cycle of UE and Node-B building blocks; what needs to be tested; when and how testing should be performed; as well as certification formalities, including processes and procedures; and testing tools and languages.
A Study on Application of Reliability Based Automatic Repeat Request to Brain Computer Interfaces
Authors: Hiromu Takahashi, Tomohiro Yoshikawa, Takeshi Furuhashi
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

Recently, a lot of research on a Brain Computer Interface (BCI) which enables patients like those with Amyotrophic Lateral Sclerosis to control some equipment or to communicate with other people has been reported. One of the problems in BCI research is a trade-off between the speed and the accuracy. In the field of data transmission, on the other hand, Reliability-Based Hybrid ARQ (RB-HARQ) has been developed to achieve both of the performances. In this paper, therefore, BCIs are considered as communications between users and computers, and Reliability-Based ARQ, similar to RB-HARQ, is applied to BCIs. Through simulations and experiments, it is shown that the proposed method is superior to other methods.
Efficient Text Classification Using Best Feature Selection and Combination of Methods
Authors: Mettu Srinivas, K. Pujari Supreethi, E. V. Prasad, S. Anitha Kumari
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

Lsquare and k-NN classifiers are two machine learning approaches for text classification. Rocchio is the classic method for text classification in information retrieval. Our approach is a supervised method, meaning that the list of categories should be defined and a set of training data should be provided for training the system. In this approach, documents are represented as vectors where each component is associated with a particular word.We propose voting method and OWA operator and Decision Template method for combining classifiers. In these we use an effective and efficient new method called variance-mean based feature filtering method of feature selection. Best feature selection method and combination of methods are used to do feature reduction in the representation phase of text classification is proposed. Using this efficient feature selection method and best classifier combination method we improve the text classification performance.
Continuous-discontinuous finite element method for convection-diffusion problems with characteristic layers
Authors: Helena Zarin
Venue: Journal of Computational and Applied Mathematics (2009)

We study convergence properties of a numerical method for convection-diffusion problems with characteristic layers on a layer-adapted mesh. The method couples standard Galerkin with an h-version of the nonsymmetric discontinuous Galerkin finite element method with bilinear elements. In an associated norm, we derive the error estimate as well as the supercloseness result that are uniform in the perturbation parameter. Applying a post-processing operator for the discontinuous Galerkin method, we construct a new numerical solution with enhanced convergence properties.
Virtual Simulation Analysis and Experiment Study on a New Peel Scratch Relieving Design of Sugarcane Leaf Cleaning Device
Authors: Xiao Lai, Shi Liang, Dong-mei Liu, Dong-Wei Ji, Shang-ping Li, Zhi-Wen Qin
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Relieving peel-scratch without raising the remnant leaf rate is the bottleneck in further perfecting the key component of the small-sized sugarcane harvester, the cleaning device. Therefore, to solve this dilemma, a new arrangement design of cleaning elements of sugarcane leaf cleaning device is proposed based on the cleaning mechanism analysis. To obtain the crucial effecting parameters and evaluate the motion and dynamic function of this design quickly and efficiently, virtue prototype technology is applied to build up a three-dimension model and perform a simulation analysis on the automatic dynamic analysis of mechanical system (ADAMS).Thereafter, a comparison experiment study between the new arrangement and the old ones ensued, confirmingthe previous analysis that the new arrangement design of cleaning elements do significantly relieve sugarcane peel scratch 10%~28% and still maintain satisfying cleaning effect. This provides reference to tackle the design dilemma in such a quick and efficient way.
Robustness of temporal logic specifications for continuous-time signals
Authors: Georgios E. Fainekos, George J. Pappas
Venue: Theoretical Computer Science (2009)

In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL) formulas over signals that take values in metric spaces. For such signals, which are generated by systems whose states are equipped with non-trivial metrics, for example continuous or hybrid, robustness is not only natural, but also a critical measure of system performance. Thus, we propose multi-valued semantics for MTL formulas, which capture not only the usual Boolean satisfiability of the formula, but also topological information regarding the distance, @e, from unsatisfiability. We prove that any other signal that remains @e-close to the initial one also satisfies the same MTL specification under the usual Boolean semantics. Finally, our framework is applied to the problem of testing formulas of two fragments of MTL, namely Metric Interval Temporal Logic (MITL) and closed Metric Temporal Logic (clMTL), over continuous-time signals using only discrete-time analysis. The motivating idea behind our approach is that if the continuous-time signal fulfills certain conditions and the discrete-time signal robustly satisfies the temporal logic specification, then the corresponding continuous-time signal should also satisfy the same temporal logic specification.
Structured Scenario-Based Design Method
Authors: Koji Yanagida, Yoshihiro Ueda, Kentaro Go, Katsumi Takahashi, Seiji Hayakawa, Kazuhiko Yamazaki
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This paper introduces "The Structured Scenario-based Design Method", a design approach where a vision is proposed from an HCD (Human-Centered Design) perspective for use with ubiquitous computing. This method utilizes structured scenarios that are created in order to appropriately incorporate users' intrinsic needs and values into systems/products specifications at an early stage of designing. This paper discusses the method, articulating characteristics, a design process and a few case examples using a tool developed for this particular method.
Many-to-Many Matching under the l1 Norm
Authors: M. Fatih Demirci, Yusuf Osmanlıoğlu
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

The problem of object recognition can be formulated as matching feature sets of different objects. Segmentation errors and scale difference result in many-to-many matching of feature sets, rather than one-to-one. This paper extends a previous algorithm on many-to-many graph matching. The proposed work represents graphs, which correspond to objects, isometrically in the geometric space under the l 1 norm. Empirical evaluation of the algorithm on a set of recognition trails, including a comparison with the previous approach, demonstrates the efficacy of the overall framework.
Using Google Analytics to Evaluate the Usability of E-Commerce Sites
Authors: Layla Hasan, Anne Morris, Steve Probets
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

The success of an e-commerce site is, in part, related to how easy it is to use. This research investigated whether advanced web metrics, calculated using Google Analytics software, could be used to evaluate the overall usability of e-commerce sites, and also to identify potential usability problem areas. Web metric data are easy to collect but analysis and interpretation are time-consuming. E-commerce site managers therefore need to be sure that employing web analytics can effectively improve the usability of their websites. The research suggested specific web metrics that are useful for quickly indicating general usability problem areas and specific pages in an e-commerce site that have usability problems. However, what they cannot do is provide in-depth detail about specific problems that might be present on a page.
User evaluation of lightweight user authentication with a single tri-axis accelerometer
Authors: Jiayang Liu, Lin Zhong, Jehan Wickramasuriya, Venu Vasudevan
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

We report a series of user studies that evaluate the feasibility and usability of light-weight user authentication with a single tri-axis accelerometer. We base our investigation on uWave, a state-of-the-art recognition system for user-created free-space manipulation, or gestures. Our user studies address two types of user authentication: non-critical authentication (or identification) for a user to retrieve privacy-insensitive data; and critical authentication for protecting privacy-sensitive data. For non-critical authentication, our evaluation shows that uWave achieves high recognition accuracy (98%) and its usability is comparable with text ID-based authentication. Our results also highlight the importance of constraints for users to select their gestures. For critical authentication, the evaluation shows uWave achieves state-of-the-art resilience to attacks with 3% false positives and 3% false negatives, or 3% equal error rate. We also show that the equal error rate increases to 10% if the attackers see the users performing their gestures. This shows the limitation of gesture-based authentication and highlights the need for visual concealment.
New Approaches for Deniable Authentication
Authors: Mario Di Raimondo, Rosario Gennaro
Venue: Journal of Cryptology (2009)

Deniable Authentication protocols allow a Sender to authenticate a message for a Receiver, in a way that the Receiver cannot convince a third party that such authentication (or any authentication) ever took place. We present two new approaches to the problem of deniable authentication. The novelty of our schemes is that they do not require the use of CCA-secure encryption (all previous known solutions did), thus showing a different generic approach to the problem of deniable authentication. These new approaches are practically relevant as they lead to more efficient protocols. In the process we point out a subtle definitional issue for deniability. In particular, we propose the notion of forward deniability, which requires that the authentications remain deniable even if the Sender wants to later prove that she authenticated a message. We show that a simulation-based definition of deniability, where the simulation can be computationally indistinguishable from the real protocol does not imply forward deniability. Thus, for deniability one needs to restrict the simulation to be perfect (or statistically close). Our new protocols satisfy this stricter requirement.
Environmental Impacts of Coal Ash from a Power Plant
Authors: Rui Xu, Fugeng Li
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

This paper presents a investigation of pollution originating from coal ash in Jingangshan thermal power station Jiangxi province China. About half of coal ash obtained by coal combustion in the power plant is mixed with ash-flushing water (most of the ash-flushing water from Ganjiang river) and transported to the ash field through the pipeline. In order to assess pollution caused by leaching of some minor and major elements after ash being transported to the ash field, two kinds of samples were subjected to a modified sequential extraction experiment. The first set consisted of coal ash samples taken after combustion, while the second kinds of samples were obtained from the the ash field. Samples were extracted consecutively with distilled water, a solution of potassium chloride and a solution of hydrochloric acid, the differences were compared in order to predict potential pollution. Considering concentrations of seven trace elements as well as five major elements in extracts from a total of 12 samples, it can be concluded that lead and cadmium do not present an environmental threat after coal ash being transported to the dump. Portions of zinc, nickel and chromium are released, and arsenic and manganese are released continuously. Copper and iron do not present an environmental threat due to element leaching during and after the coal ash suspension and transport. On the contrary, these elements of chromium become concentrated.
Anyone but him: the complexity of precluding an alternative
Authors: Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

Preference aggregation in a multiagent setting is a central issue in both human and computer contexts. In this paper, we study in terms of complexity the vulnerability of preference aggregation to destructive control. That is, we study the ability of an election's chair to, through such mechanisms as voter/candidate addition/suppression/partition, ensure that a particular candidate (equivalently, alternative) does not win. And we study the extent to which election systems can make it impossible, or computationally costly (NP-complete), for the chair to execute such control. Among the systems we study--plurality, Condorcet, and approval voting--we find cases where systems immune or computationally resistant to a chair choosing the winner nonetheless are vulnerable to the chair blocking a victory. Beyond that, we see that among our studied systems no one system offers the best protection against destructive control. Rather, the choice of a preference aggregation system will depend closely on which types of control one wishes to be protected against. We also find concrete cases where the complexity of or susceptibility to control varies dramatically based on the choice among natural tie-handling rules.
Characterization of Particle Size Distribution (PSD) Evolution during Flocculation by an Image Acquisition and Analysis System
Authors: Xue-dong Zhai, Juan-fang Liu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

An in-situ image acquisition and analysis system was developed to characterize the dynamics of particle size distribution (PSD) during flocculation. The system consisted of a flocculator coupled with an external flow-through cell for observation and photography, a microscopic charge-coupled device video recorder with backlighting, and an image analyzer. This non-intrusive side-stream setup was used to record the evolution of the PSD to determine the flocculation dynamics of two types of particle systems: Clean kaolin, kaolin coated with natural organic matter (NOM). The results were discussed and the error induced during measurement was evaluated.
Refining rules incorporated into knowledge-based support vector learners via successive linear programming
Authors: Richard Maclin, Edward Wild, Jude Shavlik, Lisa Torrey, Trevor Walker
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Knowledge-based classification and regression methods are especially powerful forms of learning. They allow a system to take advantage of prior domain knowledge supplied either by a human user or another algorithm, combining that knowledge with data to produce accurate models. A limitation of the use of prior knowledge occurs when the provided knowledge is incorrect. Such knowledge likely still contains useful information, but knowledge-based learners might not be able to fully exploit such information. In fact, incorrect knowledge can lead to poorer models than result from knowledge-free learners. We present a support-vector method for incorporating and refining domain knowledge that not only allows the learner to make use of that knowledge, but also suggests changes to the provided knowledge. Our approach is built on the knowledge-based classification and regression methods presented by Fung, Mangasarian, & Shavlik (2002; 2003) and by Mangasarian, Shavlik, & Wild (2004). Experiments on artificial data sets with known properties, as well as on a real-world data set, demonstrate that our method learns more accurate models while also adjusting the provided rules in intuitive ways. Our new algorithm provides an appealing extension to knowledge-based, support-vector learning that is not only able to combine knowledge from rules with data, but is also able to use the data to modify and change those rules to better fit the data.
The proper treatment of optimality in computational phonology: plenary talk
Authors: Lauri Karttunen
Venue: Proceedings of the International Workshop on Finite State Methods in Natural Language Processing (1998)

This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison (1994), the new approach does not require any explicit marking and counting of constraint violations. It is based on the notion of "lenient composition", defined as the combination of ordinary composition and priority union.. If an underlying form has outputs that can meet a given constraint, lenient composition enforces the constraint; if none of the output candidates meets the constraint, lenient composition allows all of them. For the sake of greater efficiency, we may "leniently compose" the GEN relation and all the constraints into a single finite-state transducer that maps each underlying form directly into its optimal surface realizations, and vice versa. Seen from this perspective, optimality theory is surprisingly similar to the two older strains of finite-state phonology: classical rewrite systems and two-level models. In particular, the ranking of optimality constraints corresponds to the ordering of rewrite rules.
Look Smarter Than You Are with Smart View and Essbase 11: An End User's Guide
Authors: Edward Roske
Venue:  (2009)

Smart View is Oracle's add-in for integrating Microsoft Office with Hyperion, Essbase, and OBIEE+. In this book, we'll help you learn how to use the Smart View add-in to access Essbase data. This book is your key to unlocking the world of Essbase analysis through Smart View. Join us as we guide you all the way from the basics of accessing Essbase to the more advanced portions of the Smart View add-in for Microsoft Office on your quest towards becoming a Smart View guru! 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
Pyvox 2: An Audio Game Accessible to Visually Impaired People Playable without Visual Nor Verbal Instructions
Authors: Thomas Gaudy, Stéphane Natkin, Dominique Archambault
Venue: Transactions on Edutainment II (2009)

In games, we can discern two approaches to learn how interactivity works: the instructions for use and the interactivity itself. The number of spoken languages is evaluated at more than six thousand eight hundred: for this reason, instructions for use can't make games understandable for all potential users, which is especially true for audio games accessible to visually impaired players, since those games can not count on visual support and have small budgets. Such games don't provide translation, perhaps because of a lack of cost effectiveness. So, if the purpose of a game is to learn in a friendly but challenging way how interactivity can become complex, why not start this process from the very beginning, without the need of textual instructions? Some musical toys have their sighted users accomplish very simple actions in a funny way, without the need of instructions for use. Moreover, video games show us that it is possible to separate the learning process of a complex task in small steps easy to master. We have made a game according to those principles and realized an experiment to test it. All the players managed to progress in the game but not all understood all the principles of the game. For this kind of game, we assume that players do not have to understand the game during the first contact but they have to be encouraged to continue interaction. At last, the increase of the difficulty level has to be very progressive.
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures
Authors: Gersende Georg, Hugo Hernault, Marc Cavazza, Helmut Prendinger, Mitsuru Ishizuka
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central role played by specific deontic structures, known as recommendations, it is possible to tune the processing step towards the recognition of such expressions, which can be used to structure key sections of the document. In this paper, we extend previous work on the automatic identification of guidelines' recommendations, by showing how Rhetorical Structure Theory can be used to characterise the actual contents of elementary recommendations. The emphasis on causality and time in RST proves a powerful complement to the recognition of deontic structures and supports the identification of relevant knowledge, in particular for the identification of conditional structures, which play an important role for the subsequent analysis of recommendations.
A Content-Based Layered Multiple Description Coding Scheme for Robust Video Transmission over Ad Hoc Networks
Authors: Jun Yang, Shengrong Gong
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Ad hoc networks are characterized with frequent link failures and network topology change. These features result in a great challenge to transmit video over ad hoc networks. We propose a novel content-based layered multiple description coding scheme C-LMDC for robust video transmission over ad hoc networks. First determine the region of interest (ROI) of the video image before actual coding. Then divide the video sequence into ROI group and regular group using dynamic flexible macro block ordering (FMO) technology. After that, carry out layered multiple description coding scheme and protect ROI slices by redundant slices technology. Finally transmit the bit-stream using multi-path transmission. The simulation results show that our method improves the objective and subjective quality of the reconstructed video sequence obviously and ensure a robust video transmission over Ad Hoc networks.