ppxscal/embedding_network huggingface dataset:
Practical PC, 5th edition
Authors: June Jamrich Parsons, Dan Oja
Venue:  (2007)

Part of the Practical series, this text offers an engaging, interactive approach to teaching PC concepts. The companion BookOnCD features videos, animations, screen tours, and hands-on activities, which teaches learners how to use their PC. This edition includes new screenshots and screen tours featuring Office 2007 and Windows Vista and covers important ethical and societal issues that affect today's PC users, such as software, piracy, e-commerce security, email privacy, and more.
Maneuverability of master control devices considering the musculo-skeletal model of an operator
Authors: Sho Ito, Yasuyoshi Yokokohji
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

In this paper, maneuverability measure of master control devices considering the musculo-skeletal model of operators is proposed. The original maneuverability measure of master arms considering the operator dynamics is extended by introducing a muscle tension space instead of the joint torque space of an operator so that the maneuverability is evaluated under a constant muscle stress condition which is related to muscle fatigue. Unidirectionality of muscle tension forces as well as the gravity effects acting on the master device and the operator arm are explicitly considered to get a correct evaluation. As a numerical example, the effect of a movable armrest installed on a master arm is evaluated based on the proposed measure. It is shown that the armrest is effective to reduce muscle fatigue by not only lowering the gravity loads for the operator but also reducing the gripping force necessary to maneuver the device. Experiments are also conducted to verify the result of this numerical example.
Reliability of charge trapping memories with high-k control dielectrics (Invited Paper)
Authors: G. Molas, M. Bocquet, E. Vianello, L. Perniola, H. Grampeix, J. P. Colonna, L. Masarotto, F. Martin, P. Brianceau, M. Gély, C. Bongiorno, S. Lombardo, G. Pananakakis, G. Ghibaudo, B. De Salvo
Venue: Microelectronic Engineering (2009)

In this paper, we evaluate the potentiality of high-k materials (Al"2O"3, HfO"2 and HfAlO) for interpoly application in non-volatile memories. A study of the leakage currents of high-k based capacitors allowed to discuss the retention performances at room and high temperatures of high-k interpoly dielectrics. High-k materials are then integrated as control dielectrics in silicon nanocrystal and SONOS (Si/SiO"2/Si"3N"4/SiO"2/Si) memories. The role of the high-k layer on the memory performances is discussed; a particular attention being devoted to the retention characteristics. Analytical models, combined with experimental results obtained on various structures allowed to analyze the mechanisms involved during retention.
Kernelsec: an adaptive authorization model for an operating system kernel
Authors: Jon A. Solworth
Venue:  (2008)

At the heart of every secure computer system is an authorization system that ensures that the actions performed in the system are only those allowed by the security policy of the system. Computer security today is at an all-time low&mdash;with attacks against systems constantly on the rise and becoming ever more sophisticated in evading detection, let alone prevention. Apart from the security holes in the software, two key factors have contributed to the failure of the software infrastructure: (1) use of weak authentication techniques to identify remote users and hosts and (2) lack of fine-grained mechanisms to limit the privileges of a process. The former leads to unauthorized access (particularly by users) and the latter allows processes to run with more privileges than needed. In this thesis I present a unified solution to tackle all of the above. Here, I present the KernelSec authorization system. KernelSec authorization system offers fine-grain protections. Here, the permissions of a process can be adapted dynamically based on its actions, e.g., the process cannot access the network after reading a confidential file. A particular application of this dynamic adaptation is in sandboxing. In this thesis I show how dynamic sandboxes can be built using the KernelSec authorization facilities. These sandboxes are complete in their isolation and mediation, significantly improving over existing techniques. KernelSec also provides new operating system facilities for building user-based network services (UBNS). UBNS allow a remote user to be served with the privileges of that user. UBNS allow legitimate users be able to login remotely to a machine and still perform the same set of actions as they would when logging in locally at the machine (or from within the organization). They provide a tighter integration between network authentication and the subsequent authorizations (to customize the server process)&mdash;which is absent in today's authorization systems and are instead provided in an ad-hoc manner as part of the applications. KernelSec's facilities for UBNS are implemented at the system layer.
Small synopses for group-by query verification on outsourced data streams
Authors: Ke Yi, Feifei Li, Graham Cormode, Marios Hadjieleftheriou, George Kollios, Divesh Srivastava
Venue: ACM Transactions on Database Systems (TODS) (2009)

Due to the overwhelming flow of information in many data stream applications, data outsourcing is a natural and effective paradigm for individual businesses to address the issue of scale. In the standard data outsourcing model, the data owner outsources streaming data to one or more third-party servers, which answer queries posed by a potentially large number of clients on the data owner's behalf. Data outsourcing intrinsically raises issues of trust, making outsourced query assurance on data streams a problem with important practical implications. Existing solutions proposed in this model all build upon cryptographic primitives such as signatures and collision-resistant hash functions, which only work for certain types of queries, for example, simple selection/aggregation queries. In this article, we consider another common type of queries, namely, &ldquo;GROUP BY, SUM&rdquo; queries, which previous techniques fail to support. Our new solutions are not based on cryptographic primitives, but instead use algebraic and probabilistic techniques to compute a small synopsis on the true query result, which is then communicated to the client so as to verify the correctness of the query result returned by the server. The synopsis uses a constant amount of space irrespective of the result size, has an extremely small probability of failure, and can be maintained using no extra space when the query result changes as elements stream by. We then generalize our synopsis to allow some tolerance on the number of erroneous groups, in order to support semantic load shedding on the server. When the number of erroneous groups is indeed tolerable, the synopsis can be strengthened so that we can locate and even correct these errors. Finally, we implement our techniques and perform an empirical evaluation using live network traffic.
Working across time zones in cross-cultural student teams
Authors: Rukiye Altin, Mustafa Bektik, Nuray Eksioglu, Can Koray, Omer Canbek Oner, Merve Sadetas, Hilal Sener, Duygu Simsek, Ching-Chen Ma, Christine Price, Christopher Routh
Venue: ACM SIGCSE Bulletin (2009)

The ability to collaborate with fellow workers from different cultures on international projects is a key asset in today's job market . International projects add new dimensions to student teamwork. These types of projects give students the opportunity to participate in collaboration that is remote, cross-cultural, and linguistically challenging. This proposal examines an international term project completed by the computing students of Rose-Hulman Institute of Technology and Bilkent University.
Stylin' with CSS: A Designer's Guide, 2nd edition
Authors: Charles Wyke-Smith
Venue:  (2007)

Cascading Style Sheets enable you to rapidly create web designs that can be shared by hundreds or even thousands of web pages. It accelerates development cycles by centralizing text and layout information for easy editing and updates. This book teaches you everything you need to know to start using CSS in your web development work, from the basics of marking up your content and styling text, through the creation of multi-column page layouts without the use of tables. Learn to create interface components, such as drop-down menus, navigation links, and animated graphical buttons, using only CSS (no JavaScript required). Discover how to design code that works on the latest standard-compliant browsers, such as IE7 and current versions of Firefox, Safari, and Opera, while working around the quirks of the older ones. With a mastery of CSS, your web design capabilities will move to a new level, and everything you need to know to get started and build your skills is right here in this book. Youll be stylin in no time! 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 Extended Turing Model as Contextual Tool
Authors: S. Barry Cooper
Venue: Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (2009)

Computability concerns information with a causal --- typically algorithmic --- structure. As such, it provides a schematic analysis of many naturally occurring situations. We look at ways in which computability-theoretic structure emerges in natural contexts. We will look at how algorithmic structure does not just emerge mathematically from information, but how that emergent structure can model the emergence of very basic aspects of the real world.
Recent improvements in the CMU large scale Chinese-English SMT system
Authors: Almut Silja Hildebrand, Kay Rottmann, Mohamed Noamany, Qin Gao, Sanjika Hewavitharana, Nguyen Bach, Stephan Vogel
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Short Papers (2008)

In this paper we describe recent improvements to components and methods used in our statistical machine translation system for Chinese-English used in the January 2008 GALE evaluation. Main improvements are results of consistent data processing, larger statistical models and a POS-based word reordering approach.
Advances on structural optimization of neoprene passive vibroisolation devices
Authors: Silviu Nastac
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

This paper presents the identification and evaluation of the operational methods to improve the isolation characteristics for neoprene passive vibroisolation devices. The area of this study is framed by the passive isolation against shocks and vibration, due to the different technological equipments, of the sensitive embedded systems. The study is based on the large sets of virtual and instrumental tests, performed on different types of vibroisolation devices, with various structural and functional configurations. All of these was developed supposing the basic compressing and torsion rubber elastic elements, their working principle, and their functional restraints. Through the comparative analysis of the acquired results, it was fixed some final structural configurations. It is also present a few theoretical and operational aspects regarding the base isolation technique, which frame the basis of using of these vibroisolation devices. The main concluding remark denotes the way to use simple neoprene elastic elements, mounted on a lever structural and spatial configuration, to obtain a high global level of dynamic isolation.
Design, analysis and experimental validation of a robust nonlinear path following controller for marine surface vessels
Authors: Zhen Li, Jing Sun, Soryeok Oh
Venue: Automatica (Journal of IFAC) (2009)

The problem of path following for marine surface vessels using the rudder angle is addressed in this paper. A four-degree-of-freedom nonlinear surface vessel model, together with the Serret-Frenet equations, is introduced to describe the ship dynamics and path following error dynamics. While similar models have been used and reported in the literature for path following control algorithm development, the novelty of the approach presented in this work lies in the following aspects. (a) The back-stepping nonlinear controller design is based on feedback dominance, instead of feedback linearization and nonlinearity cancelation; (b) additional design parameters are employed in the Lyapunov function that lead to simplification of the controller in the design procedure and normalization of different variables in the Lyapunov function to improve the controller performance; (c) relying on feedback dominance and the introduction of the additional parameters in the Lyapunov function, the resulting controller is almost linear, with very benign nonlinearities allowing for analysis and evaluation; and (d) the performance of the nonlinear controller, in terms of path following, is analyzed for robustness in the presence of model uncertainties. The simulation results are presented to verify and illustrate the analytic development and the effectiveness of the resulting control against rudder saturation and rate limits, and delays in the control execution, as well as measurement noises. Furthermore, the control design is validated by experimental results conducted in a tank using a model ship.
Advances in online learning-based spam filtering
Authors: Carla E. Brodley
Venue:  (2008)

The low cost of digital communication has given rise to the problem of email spam, which is unwanted, harmful, or abusive electronic content. In this thesis, we present several advances in the application of online machine learning methods for automatically filtering spam. We detail a sliding-window variant of Support Vector Machines that yields state of the art results for the standard online filtering task. We explore a variety of feature representations for spam data. We reduce human labeling cost through the use of efficient online active learning variants. We give practical solutions to the one-sided feedback scenario, in which users only give labeling feedback on messages predicted to be non-spam. We investigate the impact of class label noise on machine learning-based spam filters, showing that previous benchmark evaluations rewarded filters prone to overfitting in real-world settings and proposing several modifications for combating these negative effects. Finally, we investigate the performance of these filtering methods on the more challenging task of abuse filtering in blog comments. Together, these contributions enable more accurate spam filters to be deployed in real-world settings, with greater robustness to noise, lower computation cost and lower human labeling cost.
A mathematical framework for sequential passenger and baggage screening to enhance aviation security
Authors: Hande Sahin, Qianmei (May) Feng
Venue: Computers and Industrial Engineering (2009)

To enhance security at both national and global levels, airport security screening systems must be designed with high efficiency and effectiveness, which are affected by both screening technologies and operational procedures for utilizing those technologies. The operational efficiency and aviation security can be enhanced if an effective passenger prescreening system is integrated into the baggage screening system. In this paper, passenger information is incorporated into a two-level checked-baggage screening system to determine the screening strategy for different subsets of passengers. By deploying a passenger prescreening system, this paper considers selectively applying baggage screening procedures for 100% screening. Since new image-based screening technologies differ widely in cost and accuracy, a comprehensive mathematical framework is developed in this paper for selecting technology or combination of technologies for efficient 100% baggage screening. The objective is to determine the optimal combination of technologies and the setting of threshold values for these screening technologies as well. Probability and optimization techniques are used to quantify and evaluate the risk and cost-effectiveness of various device deployment configurations, which are captured by using a system life-cycle cost model. Numerical analysis for all possible system arrangements is demonstrated.
Social influence and the diffusion of user-created content
Authors: Eytan Bakshy, Brian Karrer, Lada A. Adamic
Venue: Proceedings of the tenth ACM conference on Electronic commerce (2009)

Social influence determines to a large extent what we adopt and when we adopt it. This is just as true in the digital domain as it is in real life, and has become of increasing importance due to the deluge of user-created content on the Internet. In this paper, we present an empirical study of user-to-user content transfer occurring in the context of a time-evolving social network in Second Life, a massively multiplayer virtual world. We identify and model social influence based on the change in adoption rate following the actions of one's friends and find that the social network plays a significant role in the adoption of content. Adoption rates quicken as the number of friends adopting increases and this effect varies with the connectivity of a particular user. We further find that sharing among friends occurs more rapidly than sharing among strangers, but that content that diffuses primarily through social influence tends to have a more limited audience. Finally, we examine the role of individuals, finding that some play a more active role in distributing content than others, but that these influencers are distinct from the early adopters.
Interactive visual tools for spatial multicriteria decision making
Authors: Gennady L. Andrienko, Natalia V. Andrienko
Venue: Proceedings of the working conference on Advanced visual interfaces (2002)

Spatial decision making is a complex cognitive process which requires appropriate support by interactive maps and other computer graphics. We develop tools to facilitate multicriteria evaluation of options by individuals as well as tools for analysis of results of voting in group decision making. Spatial distribution of options is represented by interactive map in combination with analysis of multidimensional attribute characteristics of decision options in statistical graphics.
A First Approach to Contact-Based Biometrics for User Authentication
Authors: Athanasios Vogiannou, Konstantinos Moustakas, Dimitrios Tzovaras, Michael G. Strintzis
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

This paper presents the concept of contact-based biometric features, which are behavioral biometric features related to the dynamic manipulation of objects that exist in the surrounding environment. The motivation behind the proposed features derives from activity-related biometrics and the extension of them to activities involving objects. The proposed approach exploits methods from different scientific fields, such as virtual reality, collision detection and pattern classification and is applicable to user authentication systems. Experimental results in a data-set of 20 subjects show that the introduced features comprise a very efficient and interesting approach in the research of biometric features.
Set-Theoretic Methods in Control, 1st edition
Authors: Franco Blanchini, Stefano Miani
Venue: Systems & Control Foundations & Applications (2007)

This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links to fundamental problems in Lyapunov stability analysis and stabilization, optimal control, control under constraints, persistent disturbance rejection, and uncertain systems analysis and synthesis. New computer technology has catalyzed a resurgence of research in this area, particularly in the development of set-theoretic techniques, many of which are computationally demanding. The work presents several established and potentially new applications, along with numerical examples and case studies. A key theme of the presentation is the trade-off between exact (but computationally intensive) and approximate (but conservative) solutions to problems. Mathematical language is kept to the minimum necessary for the adequate formulation and statement of main concepts. Numerical algorithms for the solution of the proposed problems are described in detail. Set-Theoretic Methods in Control is accessible to readers familiar with the basics of systems and control theory; prerequisites such as convexity theory are included. The text provides a solid foundation of mathematical techniques and applications and also features avenues for further theoretical study. Aimed primarily at graduate students and researchers in applied mathematics and engineering, the book will also appeal to practitioners since it contains extensive references to the literature and supplies many recipes for solvingsignificant control problems.
Annotations: A Functionality to support Cooperation, Coordination and Awareness in the Electronic Medical Record
Authors: Sandra Bringay, Catherine Barry, Jean Charlet
Venue: Proceeding of the 2006 conference on Cooperative Systems Design: Seamless Integration of Artifacts and Conversations -- Enhanced Concepts of Infrastructure for Communication (2006)

The interest of the Electronic Medical Record EMR is from now on obvious. However, Health Professionals still not have at their disposal tools allowing them to support their cooperative practices. In the French DocPatient project, we try to improve practitioners' cooperation when they use the medical documents by implementing a document-based EMR. Our assumption is that a best integration of the way they use these medical documents in the EMR design will improve its utility, its use and its acceptance. In this paper, we show that annotations practices must be transposed in the EMR to reinforce collaboration, coordination and awareness.
Consensus group stable feature selection
Authors: Steven Loscalzo, Lei Yu, Chris Ding
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Stability is an important yet under-addressed issue in feature selection from high-dimensional and small sample data. In this paper, we show that stability of feature selection has a strong dependency on sample size. We propose a novel framework for stable feature selection which first identifies consensus feature groups from subsampling of training samples, and then performs feature selection by treating each consensus feature group as a single entity. Experiments on both synthetic and real-world data sets show that an algorithm developed under this framework is effective at alleviating the problem of small sample size and leads to more stable feature selection results and comparable or better generalization performance than state-of-the-art feature selection algorithms. Synthetic data sets and algorithm source code are available at http://www.cs.binghamton.edu/~lyu/KDD09/.