ppxscal/embedding_network huggingface dataset:
Remote dynamic proxies for wave-based peer-to-peer haptic interaction
Authors: Zhi Li, Daniela Constantinescu
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

This paper introduces a distributed haptic control architecture that can render direct interaction between users in addition to cooperative manipulation of virtual objects. The proposed architecture integrates remote dynamic proxies and peer-to-peer wave-based communications. Remote dynamic proxies are avatars of users at peer sites with motion governed by second order dynamics laws. They render physically-based motion of the distant users in the presence of update discontinuities caused by packet transmission limitations. They also enable users to touch their far away peers directly. The remote dynamic proxies are integrated with peer-to-peer wave-based communications by using wave variable controllers to connect the distributed copies of the shared virtual object, and to connect the users to their remote dynamic proxies. The proposed distributed control architecture is compared via experiments to peer-to-peer haptic cooperation with wave variable time delay compensation. The results illustrate that remote dynamic proxies with wave-based communications: (1) improve position coherency between the distributed copies of the shared virtual object; (2) render mass more faithfully in the presence of network delay; and (3) permit users to interact with each other directly in addition to enabling them to cooperatively manipulate the shared virtual object.
Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies
Authors: Doug Lenat
Venue: Proceeding of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006) (2006)

Though Cyc is a formal ontology, the process of building it, over the past 22 years, has been a passionately empirical process. We have had several surprises along the way, some of them scientific, some engineering, and some sociological. For instance, the requirement to represent arbitrary pieces of commonsense knowledge led us, in the mid-1980's, against our intuitions, to move to an increasingly expressive formal representation language. By 1990, we had to admit that the dream of a “Final Encyclopedia” of correct knowledge was a chimera, and what we needed to focus on was a tapestry of locally-consistent “micro-theories” containing contextualized knowledge. Since then, we have begun to work out the fine structure of these micro-theories, their important attributes and ways in which they related to each other, and to appreciate the surprising complexity of the calculi required to formally reason across them. We have also experienced a tipping-point, methodologically, over the past few years, as the ontology has grown large enough to serve as an inductive bias for further knowledge acquisition. I.e., Cyc increasingly actively helps with its own continuing expansion, and by now almost all the activity going on at Cycorp is related to semi-automatic learning from corpora (including the Web) of text and structured sources, whereas as recently as three years ago the majority of the activity here was a cadre of ontological engineers manually writing more axioms to expand the Cyc Knowledge Base. We've also developed and used ---and in most cases discarded ---a series of interfaces, training paradigms, and so on, as the ontology has grown. In the talk, I shall survey what we used, and when, and why we moved on. Most of the reasons have to do with the ontology outgrowing the tools, or increasing variety among the types of users and ontological engineers. Finally, I will discuss some of our ongoing research efforts, and ongoing interface efforts, which are becoming increasingly intermingled ---and why that is perhaps inevitable.
Robust Stability of Control Systems with One Form of Uncertain Parameters
Authors: Faming Zhang
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

By using Lyapunov stability method and linear matrix inequalities and through establishing proper Lyapunov function, the paper studies uncertain parameter time-delay Lurie control systems with structured parameter perturbations and norm bound parameter perturbations, and thus obtains delay-dependent sufficient conditions for robust absolute stability of the systems. The research shows: When parameter is uncertain and has no norm bound restriction, these above conditions can be presented in terms of the positive definite characteristic of diagonal matrix and linear matrix, which is very directly perceived and easy to operate and can be easily solved by using Matlab Toolbox.
Inhomogeneous Ni/Ge Schottky barriers due to variation in Fermi-level pinning
Authors: X. V. Li, M. K. Husain, M. Kiziroglou, C. H. de Groot
Venue: Microelectronic Engineering (2009)

To achieve high performance Ge nMOSFETs it is necessary to reduce the metal/semiconductor Schottky barrier heights at the source and drain. Ni/Ge and NiGe/Ge Schottky barriers are fabricated by electrodeposition using n-type Ge substrates. Current (I)-voltage (V) and capacitance (C)-voltage (V) and low temperature I-V measurements are presented. A high-quality Schottky barrier with extremely low reverse leakage current is revealed. The results are shown to fit an inhomogeneous barrier model for thermionic emission over a Schottky barrier. A mean value of 0.57eV and a standard deviation of 52meV is obtained for the Schottky barrier height at room temperature. A likely explanation for the distribution of the Schottky barrier height is the spatial variation of the metal induced gap states at the Ge surface due to a variation in interfacial oxide thickness, which de-pins the Fermi level.
Cryptanalysis of a Generalized Ring Signature Scheme
Authors: Huaqun Wang, Futai Zhang, Yanfei Sun
Venue: IEEE Transactions on Dependable and Secure Computing (2009)

The concept of ring signature was first introduced by Rivest et al. in 2001. In a ring signature, instead of revealing the actual identity of the message signer, it specifies a set of possible signers. The verifier can be convinced that the signature was indeed generated by one of the ring members; however, the verifier is unable to tell which member actually produced the signature. A convertible ring signature scheme allows the real signer to convert a ring signature into an ordinary signature by revealing secret information about the ring signature. Thus, the real signer can prove the ownership of a ring signature if necessary, and the the other members in the ring cannot prove the ownership of a ring signature. Based on the original ElGamal signature scheme, a generalized ring signature scheme was proposed for the first time in 2008. The proposed ring signature can achieve unconditional signer ambiguity and is secure against adaptive chosen-message attack in the random oracle model. By comparing to ring signatures based on RSA algorithm, the authors claimed that the proposed generalized ring signature scheme is convertible. It enables the actual message signer to prove to a verifier that only she is capable of generating the ring signature. Through cryptanalysis, we show that the convertibility of the generalized ring signature scheme cannot be satisfied. Everyone in the ring signature has the ability to claim that she generates the generalized ring signature.
Untangling the Web of Hate: Are Online "Hate Sites" Deserving of First Amendment Protection?
Authors: Brett A. Barnett
Venue:  (2007)

The Internet has provided hate groups with a relatively easy and cost-effective way to make their rhetoric of hatred available to an audience of millions. Realizing the Internet's communication potential, hate groups have posted an increasing number of online "hate sites," websites containing content that disparages a particular class of people. As the number of Internet hate sites has increased, the U.S. government has been called upon to ban these controversial websites. This comprehensive study explores whether there is a First Amendment basis for regulating U.S.-based hate sites. It identifies the various First Amendment tests developed by the federal courts for assessing the constitutionality of both non-mass-mediated hateful speech and Internet content, then examines a sample of U.S.-based hate sites to ascertain whether they contain constitutionally proscribable content under those standards. The study is unique in that it examines websites maintained by several different kinds of U.S.-based hate groups: Ku Klux Klan, neo-Nazi, racist Skinhead, Christian Identity, Black separatist, neo-Confederate, White conservative, and pro-Jewish. Untangling the Web of Hate: Are Online "Hate Sites" Deserving of First Amendment Protection? is a valuable resource for anyone seeking to learn more about the content and constitutionality of Internet hate sites. 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
Business Objects XI - CBT: Designer XI, 2nd edition
Authors: Robert D. Schmidt
Venue:  (2007)

Creating Universes with Designer XI is a complete learning system consisting of a thorough book and a professionally designed computer-based training application. The system is completely dedicated to teaching you how to become a competent Universe Designer. Readers learn how to create a basic universe and, even more so, how to tackle many of the complications that may arise when designing universes. These topics include chasm traps, fan traps, multi-keyed property tables, double-counting measures, multiple fact tables, and more. Creating Universes with Designer XI is a wonderfully presented book with hundreds of large graphics, large fonts, and room for notes on every page. The topics are presented in a very smooth and organized manner, which makes the book very easy to learn from. The Creating Universes with Designer XI computer-based training CBT contains hours of interactive video instruction on over 80 different topics. Each topic discusses or demonstrates important aspects of universe design. The CBT interface is innovative and user-friendly, allowing students to browse chapter folders to locate topic icons. Students simply click on a topic icon to view and listen to a video. This interaction allows the CBT to be both a great trainer and a complete reference. Many people will find that this CBT is actually better than attending a class. In addition to the book and CBT, the CD contains an Adobe Acrobat presentation that allows the material to be presented in a classroom environment. Imagine teaching a class where each student gets a book and a CBT! The after-class support will be minimal, because each student will have plenty of reference material. The author realizes that even with the best training systems, questions may arise. Therefore he has made himself accessible through his email, which is published in the book. He is very concerned that readers are able to learn the product, and therefore more than willing to answer any emails that may be sent to him. The text, graphics, CBT, presentation, and author availability make this book a very powerful learning package that gives people every opportunity to discover how to become professional, competent Business Objects Universe Designers. 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
Hybrid meta-EP-ANN technique for lightning prediction under Malaysia environment
Authors: D. Johari, T. K. A. Rahman, I. Musirin, N. Aminuddin
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

This paper presents the development of hybrid Meta-Evolutionary Programming (EP) and Artificial Neural Network (ANN) prediction system for lightning occurrence based on historical lightning and meteorological data from a Malaysian environment. It involved the development of the ANN design and embedding EP optimization technique for optimizing learning rate and momentum constant with the aim to improve the performance of the prediction system in terms of its generalization capability. ANN is employed as it has the ability to learn by example and do tasks based on training experience, making it profoundly suitable for pattern recognition and forecasting tasks. However, due to its heuristic nature, the process of finding suitable network architectures could be burdensome and time-consuming. There is also no systematic way to design the optimal architecture for a given task automatically. For that reason, an efficient optimization technique such as EP is employed in the study to find the best ANN architectures systematically which leads to lightning prediction performed accurately with less computation time. As a result, the developed lightning prediction system is able to generalize well when presented with new sets of input data. Comparative studies conducted with respect to heuristic search indicated that hybrid-meta-EP-ANN is more accurate in its prediction capability.
The impact of platform certification on a platform-based product market: the case of mobile applications
Authors: Ankur Tarnacha
Venue:  (2008)

Complex Information and Communication technology (ICT) systems operating in diverse environments rely on technology platforms to ensure scalable product development and compatibility across the components that make up these systems. Recent times have witnessed an increasing use of certification programs that seek to evaluate the reliability and compatibility of platform-based products. While various studies have focused on the phenomenon of certification, the evolution and diffusion of platforms, and the influence of certification and platforms on industry structure per se; to date little is known about platform certification programs and their implications for firms that supply platform-based products. To address these gaps, this study examines platform certification by conceptualizing it as a market regulatory mechanism that is expected to influence the dynamics of the platform-based product market. In particular, the study investigates certification programs for mobile computing platforms and evaluates their implications for the mobile applications/software market. The study employs a multiple-case study design to explore three platform certification programs &ndash; Symbian Signed, Java Verified, and True BREW &ndash; and qualitatively assess their influences on the firms in the mobile applications market. The cases are analyzed using a conceptual framework that relates key attributes of platform certification systems, namely certification authority structure, imposed certification constraints, and perceived certification benefits, to their implications for vertical product compatibility and market entry barriers. The study finds that platform certification systems can influence their platform-based product market through at least two mechanisms. First, the research suggests that the ways in which a certification program is managed (control structure), increases vertical product compatibility. Second, the degree to which certifications are a pre-requisite to market participation (coerciveness) and the level of accommodations made by the certification program to application developer needs (flexibility ), influence the level of market entry barriers. The study extends the literature on certification by providing a conceptual framework for understanding platform certifications and assessing their impact on market development, structure, and competition. In addition, the study contributes to practice by highlighting various technical and business barriers, issues, and recommendations for effective development, deployment, and distribution of mobile applications that can potentially assist software vendors in supplying innovative and cost-effective mobile applications.
Comparative packet-forwarding measurement of three popular operating systems
Authors: K. Salah, M. Hamawi
Venue: Journal of Network and Computer Applications (2009)

This papers measures and compares the network performance (with respect to packet forwarding) of three popular operating systems when used in today's Gigabit Ethernet networks. Specifically, the paper compares the performance in terms of packet forwarding of Linux, Windows Server and Windows XP. We measure both kernel- and user-level packet forwarding when subjecting hosts to different traffic load conditions. The performance is compared and analyzed in terms of throughput, packet loss, delay, and CPU availability. Our evaluation methodology is based on packet-forwarding measurement which is a standard and popular benchmark and evaluation methodology to assess the performance of network elements such as servers, gateways, routers, and switches. Our evaluation methodology considers different configuration setups and utilizes open-source software tools to generate relatively high traffic rates. We consider today's typical network hosts of modern processors and Gigabit network cards. Our measurements show that in general Linux exhibits superior overall performance in the case of kernel (or IP) packet forwarding, whereas Windows Server exhibits superior performance in the case of user-level packet forwarding.
An experimental system for grid meta-broker evaluation
Authors: Yanbin Liu, Norman Bobroff, Liana Fong, Seetharami Seelam, David Villegas, S. Masoud Sadjadi, Ivan Rodero
Venue: Proceedings of the 1st ACM workshop on Large-Scale system and application performance (2009)

Grid meta-broker is a key enabler in realizing the full potential of inter-operating grid computing systems. A challenge to properly evaluate the effectiveness of meta-brokers is the complexity of developing a realistic grid experimental environment. In this paper, this challenge is addressed by a unique combination of two approaches: using reduced workload traces to demonstrate the resource matching and scheduling functions of the meta-broker, and using emulation to provide a flexible and scalable modeling and management for local resources of a grid environment. Real workload traces are reduced while preserving their key workload characteristics to allow exploration of various dimensions of meta-broker functions in reasonable time. Evaluation of round-robin, queue-length, and utilization based meta-broker scheduling algorithms shows that they have different effects on various workloads.
Yager's Method and IF Default Rules
Authors: Kankana Chakrabarty, Sudarsan Nanda
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

In this paper, the authors consider Yager's mathematical programming approach for reasoning in knowledge representation situations associated with multiple default rules. Further, the notion of intuitionistic fuzziness is considered and the possibility of defining IF default rules are explored.
Introducing abstraction and decomposition to novice programmers
Authors: Raja Sooriamurthi
Venue: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education (2009)

This paper discusses a learning exercise we use in our beginning programming classes to introduce students to the concepts of abstraction and decomposition. The assignment is to write a perpetual calendar generation program: given a month and a year the program will display the correct monthly calendar. The learning goals of the exercise include how to decompose a large problem into smaller pieces and how to specify what each piece needs to do. This exercise helps students learn the process of incremental and iterative development. More than the actual solution, the value of this exercise is in the several themes of software development that are discussed during its development. We have successfully used this assignment for several years in a variety of CS1/CS2 programming environments (Pascal, C, Java and .net) and also as a Java servlet based web application exercise. Over this period, the case-study has received very favorable feedback from students as to its interestingness and pedagogical value.
MathGirls: Toward Developing Girls' Positive Attitude and Self-Efficacy through Pedagogical Agents
Authors: Yanghee Kim, Quan Wei, Beijie Xu, Youngah Ko, Vessela Ilieva
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

MathGirls is a pedagogical-agent-based environment designed for high school girls learning introductory algebra. Since females are in general more interested in interactive computing and more positive about the social presence of pedagogical agents, the environment provides a girl-friendly social learning environment, where pedagogical agents encourage the girls to build constructive views of learning math. This study investigated the impact of agent presence on changes in the girls' math attitude, their math self-efficacy, and their learning; on the girls' choice of their agents; and, on their perceptions of agent affability. The results revealed that the girls with an agent developed a more positive attitude and increased self-efficacy significantly, compared to the girls without an agent. Both groups showed significant increase in their learning. The study also showed that the girls chose female agents significantly more than male agents as their learning partners and perceived peer-like agents as more affable than teacher-like agents. The finding confirms the instructional value of pedagogical agents functioning as a social cognitive tool [1].
Statistics over features: EEG signals analysis
Authors: Elif Derya íbeyli
Venue: Computers in Biology and Medicine (2009)

This paper presented the usage of statistics over the set of the features representing the electroencephalogram (EEG) signals. Since classification is more accurate when the pattern is simplified through representation by important features, feature extraction and selection play an important role in classifying systems such as neural networks. Multilayer perceptron neural network (MLPNN) architectures were formulated and used as basis for detection of electroencephalographic changes. Three types of EEG signals (EEG signals recorded from healthy volunteers with eyes open, epilepsy patients in the epileptogenic zone during a seizure-free interval, and epilepsy patients during epileptic seizures) were classified. The selected Lyapunov exponents, wavelet coefficients and the power levels of power spectral density (PSD) values obtained by eigenvector methods of the EEG signals were used as inputs of the MLPNN trained with Levenberg-Marquardt algorithm. The classification results confirmed that the proposed MLPNN has potential in detecting the electroencephalographic changes.