ppxscal/embedding_network huggingface dataset:
Mathematical models of grippers
Authors: Ion Simionescu, Ion Ion
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

Grippers constitute the end of the kinematic chain in the joint systems of the industrial robots, and facilitate interaction with the work environment. Although universal grippers with large holding can be used for diverse work piece shapes, in many cases they must be adapted to the specific work piece shapes. On the whole, there are many types of grippers. Each of these is specialized in holding of a certain shape of a work piece. If the robot handle the cylindrical work piece with various diameters, it is necessary that all pieces to be positioned with their axes in the same position. The self centering grippers can have two or three fingers. They are commonly used for the handling of cylindrical work piece in loading and assembly operations. The fingers may have the rotational or translational movements. If the gripper has two fingers with rotational movements, the active surfaces of the jaws are of noncircular shapes. The jaws of the grippers with three fingers have the plane or circular cylindrical shapes, but the driving system has a cam with translational movement. In the work, some considerations with regard to design of the self centering grippers used to handle the work piece with cylindrical shape are presented.
Mobile internet service: assessment of quality and satisfaction from the customer's perspective
Authors: Sang M. Lee
Venue:  (2008)

With the development of mobile technologies, the use of mobile internet service has spread rapidly. The mobile internet can be considered from different perspective. Specifically, this dissertation studied mobile internet service from the customers' perspective. To conduct this research in the specific context of service operations management (SOM), literature on service, quality, risk, satisfaction, and continuance intention as SOM research domains was reviewed. Moreover, six attributes of mobile internet service were identified; ubiquity, localization, personalization, reachability, convenience, and instant connectivity. To examine research hypotheses, 400 questionnaires were distributed to Korean students attending universities in the Republic of Korea due to the highest national percentage of mobile internet service usage in the world. 367 questionnaires out of 400 were returned and the respond rate reached approximately 92 percent. Of 367 questionnaires, 316 data were usable. Based on the results of this study, among attributes of mobile internet service, three attributes&mdash;ubiquity, reachability, and instant connectivity&mdash;were found to have significant effects on mobile internet service quality. As many previous studies have found, mobile internet service quality influenced customer satisfaction, which in turn affected continuance intention. Moreover mobile internet service quality also had a direct effect on continuance intention. Mobile internet risk did not affect mobile internet service quality, and also did not affect mobile internet service satisfaction and continuance intention, respectively. One of the main contributions of this study is that the roles of mobile internet service quality and mobile internet service satisfaction are important factors in customers' continuance intention with regards to mobile internet service. Service operations managers should consider mobile internet as a service rather than a technology. Moreover, they must understand mobile internet service quality and satisfaction from the customers' perspective.
A data warehouse appliance for the mass market
Authors: Ravi Krishnamurthy
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

Vast majority of the data warehouses have less than few terabytes of data and their performance for complex queries on traditional database systems are often not very satisfactory. Data warehouse appliances have been announced by vendors (HP Oracle Exadata Storage server, HP Neoview, Neteeza etc.) to address this burgeoning need. Most of these involve creating a large parallel database systems using scale-out of commodity machines and/or pushing filters into disk retrieval system to reduce the data coming to memory; these done along the lines pioneered by research projects such as Gamma, Bubba and other prior database machine research. These approaches deliver performance by deploying many CPUs, large amount of memory, large number of disk-heads & disk space and in effect extracting performance by under utilizing the resources -- albeit very inexpensive commodity resources. In contrast we propose a database system in a box (i.e., a single system) that can deliver high performance for complex queries while utilizing much less resources (memory, disks etc.); i.e., better resource utilization and therefore lower cost. This approach consists of using column store (pioneered in the Bubba project) which has the effect of 1) reducing the need for large number of disk heads (i.e., I/O bandwidth); and 2) reducing the need for large amount of memory for achieving memory-resident query execution. Having mitigated the disk I/O problem using column store & memory, the Von Neumann bottleneck becomes the force majeure. This problem has been pursued by database researchers in the context of cache-conscious query execution. Unfortunately, traditional CPUs provide limited control to "page" the data into the cache and retain it there to leverage the cache effectively. Our approach is to leverage a custom dataflow machine that can be coupled with a large memory and thereby practically eliminating the Von Neumann bottleneck. Besides mitigating this bottleneck, the exploitation of fine-grained pipelined and operator parallelism in hardware provides significant performance improvement. This results in a low-cost high-performance database appliance for vast majority of the data warehouse market. Kickfire has shown that such an appliance can deliver both price/performance and raw performance as compared to the competitive approaches. Note that this high performance appliance does not preclude leveraging scale-out; i.e., it can itself be used to scale-out to a much larger database in the future.
Particle Swarm Optimization Using the Decoding Algorithm for Nonlinear 0-1 Programming Problems
Authors: Takeshi Matsui, Masatoshi Sakawa, Kosuke Kato
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

In general, actual various decision making situations are formulated as large scale mathematical programming problems with many decision variables and constraints. For programming problems that decision variables take value 0 or 1 in mathematical programming problems, we can get strict solution by the application of dynamic programming fundamentally. However, a number of the solution that we should search becomes increases by leaps and bounds as the scale of the problem becomes large. In particular, for nonlinear 0-1 programming problems, there are not general strict solution method or approximate solution method, such as branch and bound method in case of linear 0-1 programming problems. In this research, focusing on nonlinear 0-1 programming problems, we propose an approximate solution method based on particle swarm optimization proposed by Kennedy et al. To be more specific, we develop a new particle swarm optimization method which is applicable to discrete optimization problems by incorporating the decoding algorithm.
Numerical Simulation of the Electromechanical Activity of the Heart
Authors: Dominique Chapelle, Miguel A. Fernández, Jean-Frédéric Gerbeau, Philippe Moireau, Jacques Sainte-Marie, Nejib Zemzemi
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

We present numerical results obtained with a three-dimensional electromechanical model of the heart with a complete realistic anatomy. The electrical activity of the heart-torso domain is described by the bidomain equations in the heart and a Laplace equation in the torso. The mechanical model is based on a chemically-controlled contraction law of the myofibres integrated in a 3D continuum mechanics description accounting for large displacements and strains, and the main cardiovascular blood compartments are represented by simplified lumped models. We considered a normal case and a pathological condition and the medical indicators resulting from the simulations show physiological values, both for mechanical and electrical quantities of interest, in particular pressures, volumes and ECGs.
iMovie 08 and iDVD 08 for Mac OS X: Visual QuickStart Guide, 1st edition
Authors: Jeff Carlson
Venue:  (2007)

Visual QuickStart Guidethe quick and easy way to learn! This full-color, amply illustrated, accessible book teaches readers the essential skills necessary for creating compelling movies with iMovie and iDVD, Apple's consumer-friendly digital movie and DVD-burning software applications. Readers can follow the step-by-step instructions from the beginning to get a tour of the applications or look up specific tasks to learn just what they need to know. Longtime Macintosh and technology writer Jeff Carlson takes extra steps to ensure that readers understand all of the key aspects of digital movie making. Easy visual approach uses pictures to guide you through iMovie and iDVD (and how they interact with the other iLife 08 applications) and show you what to do. Concise steps and explanations let you get up and running in no time. Page for page, the best content and value around. Companion Web site at www.jeffcarlson.com/imovievqs offers links mentioned in the book, sample movies, and ongoing news and information about iMovie, iDVD, and video editing.
An architecture to combine meta-cognitive and cognitive tutoring: Pilot testing the Help Tutor
Authors: Vincent Aleven, Ido Roll, Bruce McLaren, Eun Jeong Ryu, Kenneth Koedinger
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Given the important role that meta-cognitive processes play in learning, intelligent tutoring systems should not only provide domain-specific assistance, but should also aim to help students in acquiring meta-cognitive skills. As a step toward this goal, we have constructed a Help Tutor, aimed at improving students' help-seeking skill. The Help Tutor is based on a cognitive model of students' desired help-seeking processes, as they work with a Cognitive Tutor (Aleven et al., 2004). To provide meta-cognitive tutoring in conjunction with cognitive tutoring, we designed an architecture in which the Help Tutor and a Cognitive Tutor function as independent agents, to facilitate re-use of the Help Tutor. Pilot tests with four students showed that students improved their help-seeking behavior significantly while working with the Help Tutor. The improvement could not be attributed to their becoming more familiar with the domain-specific skills being taught by the tutor. Although students reported afterwards that they welcomed feedback on their help-seeking behavior, they seemed less fond of it when actually advised to act differently while working. We discuss our plans for an experiment to evaluate the impact of the Help Tutor on students' help-seeking behavior and learning, including future learning, after their work with the Help Tutor.
Strategy-Based Proof Calculus for Membrane Systems
Authors: Oana Andrei, Dorel Lucanu
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

In a previous work, we showed how rewrite strategies can be used for defining the semantics of membrane systems, in particular for expressing the different control mechanisms in membranes. The insufficient expressivity of the existing concept of rewrite strategies for describing certain control mechanisms for membranes lead us to defining a more generic concept of strategies. In this paper we introduce strategy-based rewriting logic which uses strategy controllers to reason at the higher level of computation given by the evolution of the membrane systems. We give a detailed presentation of the proof calculus, model theory, and completeness. A main consequence of the approach is that we get an algebraic semantics for membrane systems. Implementation issues are also discussed.
On the efficacy of present grid computing software for deploying a medical grid
Authors: Javier Delgado, Malek Adjouadi
Venue: The Fifth Richard Tapia Celebration of Diversity in Computing Conference: Intellect, Initiatives, Insight, and Innovations (2009)

Grid computing promises improvements in collaboration. This includes sharing of computational resources as well as improved collaboration amongst professionals of different areas of expertise. Several mature software applications are available for simplifying the deployment of an arbitrary grid. In this work, we share our experience with some of these applications for collaboration between a consortium of hospitals and our research lab, which specializes in neuroscience and image processing applications. We explain the suitability of the Grid tools through extensions and enhancements made to an existing Grid Computing Software platform and the visualization mechanisms of the display wall. This paper describes our grid computing prototype infrastructure, which uses Globus Toolkit-4 (GT4) and third-party components.
The SAWA corpus: a parallel corpus English - Swahili
Authors: Guy De Pauw, Peter Waiganjo Wagacha, Gilles-Maurice de Schryver
Venue: Proceedings of the First Workshop on Language Technologies for African Languages (2009)

Research in data-driven methods for Machine Translation has greatly benefited from the increasing availability of parallel corpora. Processing the same text in two different languages yields useful information on how words and phrases are translated from a source language into a target language. To investigate this, a parallel corpus is typically aligned by linking linguistic tokens in the source language to the corresponding units in the target language. An aligned parallel corpus therefore facilitates the automatic development of a machine translation system and can also bootstrap annotation through projection. In this paper, we describe data collection and annotation efforts and preliminary experimental results with a parallel corpus English - Swahili.
Analysis of nitride storage non-volatile memories with HfSiOx blocking dielectric and TiN metal gate for low power embedded applications
Authors: Dušan S. Golubović, Michiel J. van Duuren, Nader Akil, Antonio Arreghini, Francesco Driussi
Venue: Microelectronic Engineering (2009)

Nitride storage non-volatile memories with hafnium silicate (HfSiO"x) blocking dielectric and titanium nitride (TiN) metal gate aimed at low power embedded applications beyond the 45nm node, have been fabricated and investigated. In addition to presenting the typical figures of merit of flash memories, the scalability of the devices has been assessed. We have also investigated the physical origin of the observed memory features.
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets
Authors: Mohammad Abdollahi Azgomi, Ali Khalili
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Formal modeling techniques can be used for analysis of wireless sensor networks (WSNs). Coloured Petri nets (CPNs) that is an extension of Petri nets is a powerful modeling technique. In this paper, we present a CPN model for modeling and performance evaluation of a medium access control protocol in WSNs named sensor-medium access control protocol (S-MAC). S-MAC is an energy-aware MAC protocol with nodes scheduling. The proposed model for this protocol uses the hierarchical modeling capability of CPNs. By using CPNs in this case study and the proposed method for modeling packet broadcast, we have demonstrated the possibility of modeling and evaluation of any other MAC protocol in WSNs or mobile ad-hoc networks (MANET).
A new approach with orthogonal array for global optimization in design of experiments
Authors: Hsin-Chuan Kuo, Jeun-Len Wu
Venue: Journal of Global Optimization (2009)

In this paper, we develop an approach that determines the overall best parameter setting in design of experiments. The approach starts with successive orthogonal array experiments and ends with a full factorial experiment. The setup for the next orthogonal-array experiment is obtained from the previous one by either fixing a factor at a given level or by reducing the number of levels considered for all currently non-fixed factors. We illustrate this method using an industrial problem with seven parameters, each with three levels. In previous work, the full factorial of 37 = 2,187 points was evaluated and the best point was found. With the new method, we found the same point using 3% of these evaluations. As a further comparison, we obtained the optimum using a traditional Taguchi approach, and found it corresponded to the 366th of the 2,187 possibilities when sorted by the objective function. We conclude the proposed approach would provide an accurate, fast, and economic tool for optimization using design of experiments.
Responsivity robustness of radioactivity-irradiated nanosensors
Authors: E. A. Anagnostakis
Venue: WSEAS Transactions on Circuits and Systems (2009)

The responsivity robustness of representative photodetector-nanointerfaces with respect to the extent to which they exhibit radiation hardness and the degree of functionally tolerable radioactivity-induced responsivity de-emphasis, against increasing cumulative radioactivity-dose, is notionally considered and modelled. Systematic experimental findings concerning commercial p-i-n photodetectors being exposed to regulated successive α-particle bombardments appear in compliance with the analysis and reveal noteworthy trends of radiation-effected optoelectronic-yield alteration.
Inline path estimators to improve congestion control and applications
Authors: Mario Gerla
Venue:  (2008)

The TCP congestion control role in the Internet at large is intimately associated with understanding the underlying end-to-end path characteristics context (bottleneck rate, buffer sizes, end-to-end delay, loss rate) on which the algorithm perform. This dissertation focus on the study of new path characteristics estimation algorithms that can be easily used inside TCP itself in a passive and pervasive manner. These algorithms provide further transparency to user applications about the path context, and it make possible the enhancement of network throughput performance without badly impacting standard TCP NewReno. In addition, they can be used by network administrators to formulate a big picture of existing network constraints. The dissertation proposes and studies several techniques to estimate end-to-end capacity, maximum storage buffer size and discriminate the cause of loss, from within every TCP socket. In particular, data mining can be achieved from a TCP sender side (TCP Probe), a TCP receiver side (TCP Receiver Probe) or under NIC interrupt moderation (TCP IC-Aware Probe). Our studies are complemented with mathematical analysis, extensive simulation using state-of-the-art tools and actual Internet measurements that show a good match between theory and real-world. As the consistency of the estimators is shown in practice, we apply them on the classical congestion control problem using two distinct schemes. The first one called CCP, a delay-based approach, allows a stable throughput regardless of session characteristics due to its innovative nature of ratet = f(storage), instead of rate t = f(ratet -1). The second scheme, TCP-Adaptive Westwood is a hybrid delay and rate-based congestion control algorithm, that expands on TCP Westwood research, and obtains the best tradeoff of higher utilization with minimal harm to standard TCP Newreno, when compared to other leading proposals. Finally, we delve into other applications, like PathCrawler, that makes heavy use of estimator techniques to support network management tasks, e.g. discovering the underlying infra-structure capacity to a set of web-servers.
A New Bilateral Arrangement between Interconnected Providers
Authors: Ruzana Davoyan, Jörn Altmann, Wolfgang Effelsberg
Venue: Proceedings of the 6th International Workshop on Internet Charging and Qos Technologies: Network Economics for Next Generation Networks (2009)

Cost allocation between interconnected networks is based on measured traffic flows. This principle, however, does not provide a fair way for sharing costs. In this paper, a new bilateral model, called Differentiated Traffic-based Interconnection Agreement (DTIA) for intercarrier compensation is presented. In particular, the approach aims to determine the original initiator of a transmission by means of traffic differentiation into two types and to compensate the interconnection costs. Unlike the existing financial settlements, under which the payments are made based on the traffic flows, the proposed method suggests costs compensation according to the differentiated traffic flows. Further, in order to support the described payment scheme, a simple and scalable traffic management mechanism was designed. The results obtained from the comparative analysis showed that determination of a transmission initiator induces cost sharing between all parties and therefore, reduces the interconnection payments between providers.
Securing Your PC in Easy Steps
Authors: Mark Lee
Venue:  (2007)

Todays ultra-connected computing world allows PC users to access an incredible array of applications, information portals, and multimedia options. It also allows an incredible array of threats viruses, worms, spyware, and others to access a users PC. Though the range of threats sounds overwhelming, it neednt be. Securing Your PC in Easy Steps walks readers through a series of vital security measures. It explains how to guard against malware, adware, Trojan horses, and other insidious threats, how to force other users of the PC to choose strong passwords, how to configure a firewall, how to lock down specific areas of the computer, and other important topics. By following the steps, PC users can close the door on security threats, minimize the risk of infection and get down to the serious business of enjoying their time at the computer safely and without worry. 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
AdaRTE: an extensible and adaptable architecture for dialog systems
Authors: L. M. Rojas-Barahona, T. Giorgino
Venue: Proceedings of the Workshop on Bridging the Gap: Academic and Industrial Research in Dialog Technologies (2007)

Dialog Systems have been proven useful to provide the general public with access to services via speech devices. In this paper, we present AdaRTE, an Adaptable Dialog Architecture and Runtime Engine. AdaRTE uses dynamic Augmented Transition Networks and enables the generation of different backend formats; for instance, it supports VoiceXML generation to guarantee portability and standards compliance. The scope of AdaRTE is to provide a ground for deploying complex adaptable dialogs such as those found in the patient-care domain, and for experimenting with innovative speech solutions including Natural Language Processing. AdaRTE is an extensive architecture for dialog representation and interpretation, which helps developers to layout dialog interactions through a high level formalism whilst allowing the inclusion of voice applications best-practices.