ppxscal/embedding_network huggingface dataset:
Functional test generation using design and property decomposition techniques
Authors: Heon-Mo Koo, Prabhat Mishra
Venue: ACM Transactions on Embedded Computing Systems (TECS) (2009)

Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design methodology. Simulation using functional test vectors is the most widely used form of processor validation. A significant bottleneck in the validation of such systems is the lack of automated techniques for directed test generation. While existing model checking--based approaches have proposed several promising ideas for automated test generation, many challenges remain in applying them to industrial microprocessors. The time and resources required for test generation using existing model checking--based techniques can be prohibitively large. This article presents an efficient test generation technique using decompositional model checking. The contribution of the article is the development of both property and design decomposition procedures for efficient test generation of pipelined processors. Our experimental results using a multi-issue MIPS processor and an industrial processor based on Power Architecture&trade; Technology demonstrate several orders-of-magnitude reduction in validation effort by drastically reducing both test generation time and test program length.
A study of PZT valveless micropump with asymmetric obstacles
Authors: Ching-Jiun Lee, Horn-Jiunn Sheen, Zhi-Kai Tu, U. Lei, Cheng-Ying Yang
Venue: Microsystem Technologies (2009)

The results of a study on a new type of PZT valveless micropump with asymmetric obstacles are presented in this paper. The valveless micropump was made through a MEMS fabrication process by using simply only one photo mask. Asymmetric obstacles are used for the flow directing device instead of the diffuser/nozzle elements used in previous studies. In this study, numerical simulations were also carried out to evaluate the design and the performance of the new micropump. The main feature of the present micropump is that it has a uniform cross-section area across the micro-channel, which gives many advantages. The differential pressure head and the pumping flow rate can be adjusted easily by using obstacles of different shapes and changing the PZT operating frequency without changing the dimensions of the micro-channel. In this experiment, the performance of the micropump was evaluated by measuring the pressure head difference and the flow rate as the input voltage ranged from 20 to 40&#x00a0;V, a range much lower than those in previous studies. The pumping pressure can reach a maximum of 1.2&#x00a0;kPa, and the maximum net volume flow rate is 156&#x00a0;&#x03bc;l/min. These test data indicate that this micropump fulfills the demands for most micro-fluidic systems. Moreover, the present device can be easily applied to complex systems with combinations of several pumps and microchannels in the future.
Effective Collaboration with Information Sharing in Virtual Universities
Authors: Hua Wang, Yanchun Zhang, Jinli Cao
Venue: IEEE Transactions on Knowledge and Data Engineering (2009)

A global education system, as a key area in future IT, has fostered developers to provide various learning systems with low cost. While a variety of e-learning advantages has been recognized for a long time and many advances in e-learning systems have been implemented, the needs for effective information sharing in a secure manner have to date been largely ignored, especially for virtual university collaborative environments. Information sharing of virtual universities usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure manner poses a difficult and vital challenge. This paper aims to build a new rule-based framework to identify and address issues of sharing in virtual university environments through role-based access control (RBAC) management. The framework includes a role-based group delegation granting model, group delegation revocation model, authorization granting, and authorization revocation. We analyze various revocations and the impact of revocations on role hierarchies. The implementation with XML-based tools demonstrates the feasibility of the framework and authorization methods. Finally, the current proposal is compared with other related work.
Rack gear tool: approximate profiling method
Authors: Virgil Teodor, Nicolae Oancea, Ionut Popa, Viorel Vacarus
Venue: Proceedings of the 2nd conference on European computing conference (2008)

This paper present an algorithm for rack gear tool's profiling which generates the profiles associated with a couple of a rolling centrodes for example: side mill tool's teeth profile; shift shafts; gears. The proposed algorithm is based on the surfaces enveloping fundamentals principles, but simplifies this problem by proposing an approximate representation of tool's profile using only 3 or 4 points on the profile to be generated. The algorithm is presented as table, where are showed the coefficients of Bezier substitution polynomial. Are presented numerical examples which show that, for some profile types, the rack gear error is small enough regarding the profile calculated by analytical methods. The presented algorithms are characterized by simplicity and by need to known a limited number of points along the profile to be generated.
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
Authors: Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David Bell
Venue: Fundamenta Informaticae (2009)

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.
The effects of network delay on task performance in a visual-haptic collaborative environment
Authors: Benjamin M. Lambeth, James LaPlant, Elena Clapan, Felix G. Hamza-Lup
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

Computer networks have grown considerably over the past decade. Faster and cheaper Internet connections have brought millions of PCs into a domain where rich content and fast downloads have become a necessity. New technology such as haptics must integrate into the existing infrastructures if it is to be considered a viable resource. As with visual and audio that preceded it, haptics too will find its home on the Internet. This research investigates the problems inherent in networks that haptic technology must overcome to make the step from a fascinating technology to a practical one.
Early Warning Systems: an approach via Self Organizing Maps with applications to emergent markets
Authors: Marina Resta
Venue: Proceeding of the 2009 conference on New Directions in Neural Networks: 18th Italian Workshop on Neural Networks: WIRN 2008 (2009)

Over the past two decades the globalization of market economies have led to a large number of financial crises in emerging markets. The case of Paraguay in earlier '90 of the past century or, more recently, the crises in Turkey, Argentina, and Far East Asian markets have taught the important lesson that such phenomena, originally arising at local basis, can spread contagiously to other markets as well. At the same time, this made clear the importance of Early Warning System (EWS) models to identify economic and financial vulnerabilities among emerging markets, and, ultimately, to anticipate such events. With this in mind, we have introduced an EWS model based on the powerful clustering capabilities of Kohonen's Self Organizing Maps. Using macroeconomic data of several emerging countries, our analysis has been twofold. We have originally provided a static snapshot of countries in our dataset, according to the way their macroeconomic data cluster in the map. In this way, we were able to capture the (eventual) reciprocities and similarities from various emerging markets. As second step, we have dynamically monitored their evolution path in the map over the time. As main results, we were able to develop a crisis indicator to measure the vulnerability of countries, and we have also provided a proper framework to deduce probabilities of future crises.
Performance enhancement with speculative execution based parallelism for processing large-scale xml-based application data
Authors: Michael R. Head, Madhusudhan Govindaraju
Venue: Proceedings of the 18th ACM international symposium on High performance distributed computing (2009)

We present the design and implementation of a toolkit for processing large-scale XML datasets that utilizes the capabilities for parallelism that are available in the emerging multi-core architectures. Multi-core processors are expected to be widely available in research clusters and scientific desktops, and it is critical to harness the opportunities for parallelism in the middleware, instead of passing on the task to application programmers. An emerging trend is the use of XML as the data format for many distributed/grid applications, with the size of these documents ranging from tens of megabytes to hundreds of megabytes. Our earlier benchmarking results revealed that most of the widely available XML processing toolkits do not scale well for large sized XML data. A significant transformation is necessary in the design of XML processing for distributed applications so that the overall application turn-around time is not negatively affected by XML processing. We discuss XML processing using PiXiMaL, a parallel processing library for large-scale XML datasets. The parallelization approach is to build a DFA-based parser that recognizes a useful subset of the XML specification, and convert the DFA into an NFA that can be applied to an arbitrary subset of the input. Speculative NFAs are scheduled on available cores in a node to effectively utilize the processing capabilities and achieve overall performance gains. We evaluate the efficacy of this approach in terms of potential speedup that can be achieved for representative XML datasets. We also evaluate the effect of two different memory allocation libraries to quantify the memory-bottleneck as different cores access shared data structures.
Online Business All-in-one for Dummies
Authors: Dan Matthews, Colin Barrow, Paul Barrow, Gregory Brooks, Ben Carter
Venue:  (2007)

Turn your business dreams into profitable reality with this straightforward guide to setting up and running an online business. It walks you step-by step through the entire process, from researching the market and designing your Web site, to marketing your product online and trading securely. Whether you're starting out or looking to expand an existing business online, this up to- date book provides you with all the support and expert advice you need to successfully build your own online empire.
Vortex trapping on a surface with an indentation and corrugations
Authors: W. W. H. Yeung
Venue: Mathematics and Computers in Simulation (2009)

This paper explores the possibility of trapping single and multiple vortices on a surface and on an airfoil. Results from the vortex trajectory show that an indented surface and an airfoil with an indentation can stabilize a trapped vortex. That is, when displaced by a finite distance from the equilibrium position, the vortex always moves around its equilibrium position. A boundary with multiple corrugations can be created and incorporated onto an airfoil to trap multiple vortices. Irregular vortex motion has been found when multiple vortices are presented above the corrugations. A method is proposed, allowing the vortices to spiral towards its equilibrium positions.
A new approach in obtaining transfer function for a large-scale linear network
Authors: F. R. M. Rashidi, R. M. T. R. Ismail, R. Ishak
Venue: Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems (2008)

A new approach in obtaining transfer function for a large-scale linear network is presented in this paper. The approach consists of the application of symbolic network analysis, Z-equivalent representation and a new proposed technique called Network-Impedance Relationship Equation (NIRE). In this approach, only the network's impedances are required in obtaining its transfer function. By doing this, voltage nodes, current loops or simultaneous equations can be avoided which will become more complicated to be solved when the network becomes larger. An algorithm using software called MATLAB has been developed to verify the efficiency of using this new approach and technique. It can be adapted in a computer-based application and also can be introduced as an alternative method in obtaining transfer function for educational purpose.
Artificial Markets Modeling: Methods and Applications, 1st edition
Authors: Andrea Consiglio
Venue:  (2007)

Agent-based computational modeling with its intrinsic multidisciplinary approach is gaining increasing recognition in the social sciences, particularly in economics, business and finance. The methodology is now widely used to compute analytical models numerically and test them for departures from theoretical assumptions, and to provide stand-alone simulation models for problems that are analytically intractable.This volume is devoted to recent contributions to the field from both the social sciences and computer sciences. It presents applications of agent-based computational methodologies and tools in the social sciences, focusing strongly on the uses, requirements and constraints of agent-based models employed by social scientists. Topics include agent-based macroeconomics, the emergence of norms and conventions, the dynamics of social and economic networks, and behavioral models in financial markets.
Wavelet analysis, new signal processing method, used for detection a broken rotor bars in AC motor
Authors: Eleonora Darie, Emanuel Darie
Venue: Proceedings of the international conference on Computational and information science 2009 (2009)

This work describes a useful method for detection broken rotor bars in AC motors. The start-up transient current of an induction machine is used as the medium for diagnoses. The fundamental component is extracted using an algorithm that predicts the instantaneous amplitude and frequency during start-up. The residual current is then analyzed using wavelets and a comparison is made between a healthy and damaged machine. This method of machine condition monitoring is not load dependant and can be used for machines that are unloaded.
Extending the Knowledge Compilation Map: Closure Principles
Authors: Hélène Fargier, Pierre Marquis
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so far. We investigate two closure principles: disjunction and implicit forgetting (i.e., existential quantification). Each introduced fragment is evaluated w.r.t. several criteria, including the complexity of basic queries and transformations, and its spatial efficiency is also analyzed.
First Course in Database Systems, 3rd edition
Authors: Jeffrey D. Ullman, Jennifer Widom
Venue: Goal Series (2007)

Written by well-known computer scientists, this accessible and succinct introduction to database systems focuses on database design and use. It provides in-depth coverage of databases from the point of view of the database designer, user, and application programmer. The authors provide an overview of important programming systems (e.g., SQL, JDBC, PSM, CLI, PHP, XQuery, etc.) and the intellectual framework to put them into context. For software engineers, database engineers, and programmers.
Language Modeling for Machine Translation
Authors: Martin Raab
Venue:  (2007)

Automatic translation from one language to another is a highly ambitious task, and there is already a long history of people trying to solve this problem. Yet there is no answer to this problem, but Statistical Machine Translation (SMT) emerged as a promising candidate and is until now of primary research interest. Language Models are very important for SMT, and this book is suggesting and evaluating techniques to improve language models. An excellent source of inspiration for this is the field of speech recognition. The reason is that language models have been studied thoroughly for speech recognition, where language models play a similar role. However, few of the numerous approaches for speech recognition language models have been tested on SMT. Three different language model techniques are evaluated in this book: class base language models, cache language models and sentence mixture language models. Though this book is primarily geared towards SMT, Students and researchers in all areas of language technologies will find a helpful overview of language model techniques in this book. 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
Quantitative dye structure-toxicity relationships study by PLS
Authors: Simona Funar-Timofei, Ludovic Kurunczi, Vicentiu Vlaia, Tudor Olariu, Dan Ciubotariu
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Most of organic synthetic dyes are not harmful for people and environment, but this does not exclude the possibility that some products might have significant toxicity. In this study toxicity, expressed as mouse intraperitoneal LD50 values, was correlated with dye descriptors by the Partial Least Squares (PLS) method. Dye structures were modeled by molecular mechanics and 0D, 1D and 2D descriptors were derived from the optimized structures. Despite the inhomogeneous series of compounds, an acceptable PLS model with predictive power (Tropsha's criterions) was obtained (R2X(Cum) = 0.559, R2Y(cum) = 0.912, Q2(Cum) = 0.514). Specific dye structural features which influence the toxicity were derived. Dye hydrophilicity, contrary to the hydrophobicity favors low toxicity.
A secure e-auction scheme based on group signatures
Authors: Cheng-Chi Lee, Pi-Fang Ho, Min-Shiang Hwang
Venue: Information Systems Frontiers (2009)

Recently, electronic auctions have been receiving more and more attention in the world of electronic commerce. The security and efficiency of electronic auctions are becoming important. We shall propose a securely sealed-bid auction scheme that uses our group signature scheme with the function of authenticated encryption. It can achieve the following goals: secrecy of bidding price, anonymity, verifiability, non-repudiation, and better performance.
Knowledge Discovery with Explained Case-Based Reasoning
Authors: Eva Armengol
Venue: Proceeding of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence (2008)

The goal of Knowledge Discovery is to extract knowledge from a set of data. Most common techniques used in knowledge discovery are clustering methods, whose goal is to analyze a set of objects and obtain clusters based on the similarity among these objects. A desirable characteristic of clustering results is that these should be easily understandable by domain experts. In fact, these are characteristics that exhibit the results of eager learning methods (such as ID3) and lazy learning methods when used for building lazy domain theories. In this paper we propose LazyCL, a procedure using a lazy learning method to produce explanations on clusters of unlabeled cases. The analysis of the relations among these explanations converges to a correct clustering of the data set.
DB2 9 for Linux, UNIX, and Windows Database Administration: Certification Study Guide
Authors: Roger E. Sanders
Venue:  (2007)

In DB2 9 for Linux, UNIX, and Windows Database Administration Certification Study Guide, Roger E. Sandersone of the worlds leading DB2 authors and an active participant in the development of IBMs DB2 certification examscovers everything a reader needs to know to pass the DB2 9 UDB DBA Certification Test (731).This comprehensive study guide steps you through all of the topics that are covered on the test, including server management, data placement, database access, analyzing DB2 activity, DB2 utilities, high availability, security, and much more. Each chapter contains an extensive set of practice questions along with carefully explained answers.Taking and passing the DB2 9 UDB DBA Certification Test (731) provides validation that you have mastered the next level of DB2 9. Passing this exam also earns you the IBM Certified Database Administrator certification. The book includes a complete practice test of 150 questions that closely models the actual exam along with an answer key with a full description of why the answer is the correct one. No other source gives you this much help in passing the exam.With the DB2 9 for Linux, UNIX, and Windows Database Administration Certification Study Guide 8, you will: Gain the knowledge necessary to pass the DB2 9 UDB DBA Certification Test (731) Learn how to effectively implement and administer a DB2database with XML data Create, maintain, and administer databaseobjects like tables, views, and indexes Receive an explanation ofevery topic included on the testby someone involved in the creationof the actual exam Find 150 practice questions based on the actualexams format and approach, along with comprehensive answers to thetest questions to help you gain understanding
A knowledge management practice investigation in Romanian software development organizations
Authors: Scorta Iuliana
Venue: WSEAS Transactions on Computers (2009)

Knowledge plays an increasingly larger role in organizations and many consider it the most important factor of production in a knowledge economy. Knowledge is dynamic and evolves with technology, organizational culture and the changing needs of organization's software development practices. In this paper I frame my research by discussing the importance of knowledge management in software engineering. After presenting the landscape inspiring the study research questions I conduct an investigation for evaluating aspects of knowledge management practice in Romanian software engineering industry and discuss the major findings.