ppxscal/embedding_network huggingface dataset:
Counting the Cost in the Picalculus (Extended Abstract)
Authors: Matthew Hennessy, Manish Gaur
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We design a new variation on the picalculus, @p"c"o"s"t, in which the use of channels or resources must be paid for. Processes operate relative to a cost environment, and communications can only happen if principals have provided sufficient funds for the channels associated with the communications. We define a bisimulation-based behavioural preorder in which two processes are related if, intuitively, they exhibit the same behaviour but one may be more efficient than the other. We justify our choice of preorder by proving that it is characterised by three intuitive properties which behavioural preorders should satisfy in a framework in which the use of resources must be funded.
A security architecture to protect against the insider threat from damage, fraud and theft
Authors: Clive Blackwell
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

The insider threat poses a significant and increasing problem for organizations. This is shown by the regular stories of fraud and data loss reported daily in the media in the US and elsewhere. There is a need to provide systematic protection from insider attacks because of their privileged access. We have developed a three-layer security architecture containing the physical, logical and social levels that we use to analyze the insider threat holistically to prevent, detect and recover from attacks. We examine destructive insider attacks, but the same analysis can be straightforwardly applied to the other main classes of insider threat from financial fraud and information theft. Our practical security model appears to have widespread application to other problem domains such as critical infrastructure and financial systems, as it allows the analysis of systems in their entirety including human and physical factors, not just as technical systems.
Conceptual database security access permissions
Authors: Zakaria Suliman Zubi, Marwan Alkablawi
Venue: Proceedings of the 10th WSEAS international conference on evolutionary computing (2009)

High-level conceptual database design is a widespread method in database built with conceptual models we will illustrate the "mini world" of the database via Database Management System (DBMS) in an independent form. The form will be mapped by the use of a mapping method to reach a DBMS specific model. The database designer should keep in mind both data and functional requirements throughout the whole process. We will also indicate some database security aspects in our model. Database applications usually have to meet high security level, therefore we must protect the database and the data stored in the database against those who do not have the appropriate access permissions. The design could be established of the access permission system with the specification of the project which may reach the implementation through building the conceptual model. In our approach we illustrate this access design method from high-level to the implementation. First we have to define the user groups and their roles. In connection with the conceptual model (Enhanced Entity Relationship Model) we recommend the use of an improved model, which already includes the privileges of the users, too. These permissions can be represented in a conceptual access matrix model. At this level the privileges of the users are still DBMS-independent, then by mapping, it reaches the low-level database model (relational model), which can be accompanied with the access matrix model. This is the point where access permissions become connected to DBMS-specific elements. Finally, we point out a certain realizations of the access control permissions.
The perm provenance management system in action
Authors: Boris Glavic, Gustavo Alonso
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

In this demonstration we present the Perm provenance management system (PMS). Perm is capable of computing, storing and querying provenance information for the relational data model. Provenance is computed by using query rewriting techniques to annotate tuples with provenance information. Thus, provenance data and provenance computations are represented as relational data and queries and, hence, can be queried, stored and optimized using standard relational database techniques. This demo shows the complete Perm system and lets attendants examine in detail the process of query rewriting and provenance retrieval in Perm, the most complete data provenance system available today. For example, Perm supports lazy and eager provenance computation, external provenance and various contribution semantics.
Composition of relational services
Authors: Phillip C-Y Sheu
Venue:  (2008)

This dissertation addresses a synthesis approach to relational service composition based on SCDL (Semantic Capability Description Language) and SOBL (Semantic Objects Behavior Language) for web services composition. The SCDL provides a mechanism for describing the functionality of a relational web service that fills a gap for web services integration. We propose the SCDL algebraic synthesis algorithm (SAS) to discover a logical plan of existing services given a new service to synthesize. It incorporates SOBL to derive an execution workflow from the output of SAS.By revealing the functionality of a service and manipulating complex workflows, SCDL and SOBL together allow relational service composition to be done automatically in a transparent and integrated fashion that may not be feasible for general web services.
Melancholia diagnosis based on energy medicine information and CMAC neural network approach
Authors: Chin-Pao Hung, Hong-Jhe Su, Shih-Liang Yang
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

In this paper, a preliminary result about the melancholia diagnosis scheme based on the analyses of depression questionnaire and the meridian energy of human body is proposed. Firstly, a large amount data obtained from hospital, recorded the aged patients' depression rating scales and the 12 sets meridian energy signals, are sieved out three disease groups' patterns. Then, CMAC (Cerebellar Model Articulation Controller) neural network diagnosis architecture is built depending on the three disease groups' patterns. Thirdly, the selected patterns were utilized to train the CMAC neural network. Finally, inputting the 12 sets meridian energy signals of human body into CMAC neural network, the finished training neural network can be used to diagnose the possibility of people with melancholia or not.
Frame difference energy image for gait recognition with incomplete silhouettes
Authors: Changhong Chen, Jimin Liang, Heng Zhao, Haihong Hu, Jie Tian
Venue: Pattern Recognition Letters (2009)

The quality of human silhouettes has a direct effect on gait recognition performance. This paper proposes a robust dynamic gait representation scheme, frame difference energy image (FDEI), to suppress the influence of silhouette incompleteness. A gait cycle is first divided into clusters. The average image of each cluster is denoised and becomes the dominant energy image (DEI). FDEI representation of a frame is constructed by adding the corresponding cluster's DEI and the positive portion of the frame difference between the former frame and the current frame. FDEI representation can preserve the kinetic and static information of each frame, even when the silhouettes are incomplete. This proposed representation scheme is tested on the CMU Mobo gait database with synthesized occlusions and the CASIA gait database (dataset B). The frieze and wavelet features are adopted and hidden Markov model (HMM) is employed for recognition. Experimental results show the superiority of FDEI representation over binary silhouettes and some other algorithms when occlusion or body portion lost appears in the gait sequences.
Supporting a spectrum of out-of-order event processing technologies: from aggressive to conservative methodologies
Authors: Mingzhu Wei, Mo Liu, Ming Li, Denis Golovnya, Elke A. Rundensteiner, Kajal Claypool
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

This demonstration presents a complex event processing system which focuses on out-of-order handling. State-of-the-art event stream processing technology experiences significant challenges when faced with out-of-order data arrival including huge system latencies, missing results, and incorrect result generation. We propose two out-of-order handling techniques, conservative and aggressive strategies. We will show the efficiency of our techniques and how they can satisfy various QoS requirements of different applications.
Design methodology and fabrication process of a microinductor for the next generation of DC&#x2013;DC power converters
Authors: David Flynn, Marc P. Y. Desmulliez
Venue: Microsystem Technologies (2009)

Magnetic materials used in cored microinductors to supersede ferrite in the 0.5-10&#x00a0;MHz frequency range are investigated in this article. The performance of electrodeposited nickel&#x2013;iron, cobalt&#x2013;iron&#x2013;copper alloys and the commercial alloy Vitrovac 6025 have been assessed through their inclusion within a custom-made solenoid microinductor. Although the present inductor achieves 77% power efficiency at 500 KHz for 24.7&#x00a0;W/cm&#x00b3; power density, an optimized process predicts a power efficiency of 97% for 30.83&#x00a0;W/cm&#x00b3; power density. The main issues regarding microinductor design and performance are discussed.
Low-power rotary clock array design
Authors: Zhengtao Yu, Xun Liu
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

Rotary clock is a recently proposed clock distribution technique based on wave propagation in transmission lines. In this paper, we investigate the problem of power minimization of rotary clock designs. Specifically, we have developed a software tool based on the method of partial element equivalent circuit that is capable of extracting the SPICE netlist from the layout specification of a rotary clock design. Using our tool, we have performed extensive analysis that links various design parameters of a rotary clock design to its oscillation frequency and power dissipation. Based on the results of our analysis, we then propose a power minimization algorithm. Our algorithm derives a rotary clock structure that dissipates the minimal power while satisfying the clock dimension requirement and oscillating at the target frequency with the given clock load. Experimental results have demonstrated that, for target operating frequencies ranging from 0.5 to 5 GHz, rotary clock designs can achieve power savings of up to 80% in comparison with conventional clock tree implementations.
ActionScript bytecode verification with co-logic programming
Authors: Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar
Venue: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009)

A prototype security policy verification system for Action-Script binaries is presented, whose implementation leverages recent advances in co-logic programming. Our experience with co-logic programming indicates that it is an extremely useful paradigm for elegantly expressing algorithms that lie at the heart of model-checking technologies. This results in an unusually small trusted computing base, making the verification system well-suited to frameworks like certifying in-lined reference monitoring systems, which require small, light-weight verifiers. Preliminary experiments and progress are discussed.
An automated procedure for identifying poorly documented object oriented software components
Authors: Parag C. Pendharkar
Venue: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering (2009)

In this paper, I present a procedure for automating the identification of object oriented software components that may be poorly documented. The proposed procedure uses artificial neural network to learn and estimate the software size and the source code documentation size. The differences in the estimates for software size and actual size, and the estimates for source code documentation size and actual documentation size are used to identify software components that may be poorly documented.
A Grounded Theory Study of Programming in Artist-Programmer Collaborations
Authors: Greg Turner, Alastair Weakley, Yun Zhang, Ernest Edmonds
Venue: Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 (2005)

This paper presents findings from a grounded theory study of the social and technical roles of programmers in art-technology collaborations. The process of 'attuning' between the actors and artefacts involved is a recurring theme in our study and one that we think is central to transdisciplinary collaboration and for non programmer-focussed software development. We reflect on the use of grounded theory to study software engineering social processes and conclude that the methodology can bring designers and researchers rich theoretical understandings that can be used to develop new tools to support different types of software engineering.
New Optimal Load Allocation for Scheduling Divisible Data Grid Applications
Authors: M. Othman, M. Abdullah, H. Ibrahim, S. Subramaniam
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

In many data grid applications, data can be decomposed into multiple independent sub-datasets and distributed for parallel execution and analysis. This property has been successfully employed by using Divisible Load Theory (DLT), which has been proved as a powerful tool for modeling divisible load problems in data-intensive grid. There are some scheduling models have been studied but no optimal solution has been reached due to the heterogeneity of the grids. This paper proposes a new model called Iterative DLT (IDLT) for scheduling divisible data grid applications. Recursive numerical closed form solutions are derived to find the optimal workload assigned to the processing nodes. Experimental results show that the proposed IDLT model obtains better solution than other models (almost optimal) in terms of makespan.
A Video Retrieval System for Computer Assisted Language Learning
Authors: Chin-Hwa Kuo, Nai-Lung Tsao, Chen-Fu Chang, David Wible
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Video has been presented as an effective medium for computer assisted language learning. However, there exist few efficient accessing and managing tools. In this paper, we propose a retrieval system for a large video database. The system retrieves video clips by searching video subtitle text. For language learning, we have designed a syntax search engine embedded in this system. This search engine uses regular expression as the query language and an index construction algorithm is well-designed for speeding up regular expression matching. To ease the burden of authoring lessons from these materials, we implement an automatic video segmentation algorithm to present complete events or actions as final results. The integration of this system and other tools in our authoring environment is also briefly described.
Information Flow Diagram and Analysis Method for Unexpected Obstacle Specification of Embedded Software
Authors: Hidehiro Kametani, Yasufumi Shinyashiki, Toshiro Mise, Masa-aki Hashimoto, Naoyasu Ubayashi, Keiichi Katamine, Takako Nakatani
Venue: Proceeding of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering (2006)

This paper proposes an IFD (Information Flow Diagram) and an analysis method using the IFD for finding unexpected obstacles during the specification process of embedded software. Recently, embedded software has become increasingly larger in scale and more complicated, while time available for software development has become shorter. Both these industry trends affect the quality of the software. To improve the quality, it is necessary to find unexpected obstacles early in the specification process. This paper also describes a case study and discusses IFD and the analysis method.
An overview of advances in reliability estimation of individual predictions in machine learning
Authors: Zoran Bosnić, Igor Kononenko
Venue: Intelligent Data Analysis (2009)

In Machine Learning, estimation of the predictive accuracy for a given model is most commonly approached by analyzing the average accuracy of the model. In general, the predictive models do not provide accuracy estimates for their individual predictions. The reliability estimates of individual predictions require the analysis of various model and instance properties. In the paper we make an overview of the approaches for estimation of individual prediction reliability. We start by summarizing three research fields, that provided ideas and motivation for our work: (a) approaches to perturbing learning data, (b) the usage of unlabeled data in supervised learning, and (c) the sensitivity analysis. The main part of the paper presents two classes of reliability estimation approaches and summarizes the relevant terminology, which is often used in this and related research fields.
Evaluation of mlearning in special education context
Authors: Cem Çuhadar, H. Ferhan Odabasi, Abdullah Kuzu
Venue: Proceedings of the 8th WSEAS international conference on Electronics, hardware, wireless and optical communication (2009)

"Mobile Technologies for Students with Hearing Disability", IBEM is a project which will end in June 2009 and supported by the Scientific and Technological Research Council of Turkey (TUBITAK). Primary goal of the project is to help hearing impaired students to use mobile information and communication technologies effectively and independently, and provide them with learning and communication opportunities enriched through mobile technologies. The three-year project consisted of different levels of planning. This study reveals the steps taken for evaluation phase giving the framework of an evaluation model followed.
Category detection using hierarchical mean shift
Authors: Pavan Vatturi, Weng-Keen Wong
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Many applications in surveillance, monitoring, scientific discovery, and data cleaning require the identification of anomalies. Although many methods have been developed to identify statistically significant anomalies, a more difficult task is to identify anomalies that are both interesting and statistically significant. Category detection is an emerging area of machine learning that can help address this issue using a "human-in-the-loop" approach. In this interactive setting, the algorithm asks the user to label a query data point under an existing category or declare the query data point to belong to a previously undiscovered category. The goal of category detection is to bring to the user's attention a representative data point from each category in the data in as few queries as possible. In a data set with imbalanced categories, the main challenge is in identifying the rare categories or anomalies; hence, the task is often referred to as rare category detection. We present a new approach to rare category detection based on hierarchical mean shift. In our approach, a hierarchy is created by repeatedly applying mean shift with an increasing bandwidth on the data. This hierarchy allows us to identify anomalies in the data set at different scales, which are then posed as queries to the user. The main advantage of this methodology over existing approaches is that it does not require any knowledge of the dataset properties such as the total number of categories or the prior probabilities of the categories. Results on real-world data sets show that our hierarchical mean shift approach performs consistently better than previous techniques.
Standard SQL in DBMS servers
Authors: Marian Foamete
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

In this paper is analyzed the implementation of some basic SQL statements in three free DBMS servers with respect to SQL standard.
Beernet: RMI-free peer-to-peer networks
Authors: Boris Mejías, Alfredo Cádiz, Peter Van Roy
Venue: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century (2009)

The key issue in distributed programming is partial failure: how to handle failures of part of the system. This unavoidable property causes uncertainty because we cannot know whether a remote object is ever going to reply to a message. It is also the reason why RMI/RPC is difficult to use. In this paper we describe the most convenient object-oriented mechanism we have found to develop peer-to-peer applications effectively, namely by using active objects that communicate via asynchronous message passing and fault streams for failure handling. We show that this works better than the usual approach of using RMI to communicate and distributed exceptions for failure handling. We define our peers as lightweight actors and we use them to build a highly dynamic peer-to-peer network that deals well with partial failure and non-transitive connectivity. We give many code examples to show the simplicity and naturalness of our approach.
Numerical solution of the system of nonlinear Volterra integro-differential equations with nonlinear differential part by the operational Tau method and error estimation
Authors: S. Abbasbandy, A. Taati
Venue: Journal of Computational and Applied Mathematics (2009)

The operational Tau method, a well-known method for solving functional equations, is employed to solve a system of nonlinear Volterra integro-differential equations with nonlinear differential part. In addition, an error estimation of the method is presented. Some cases of the mentioned equations are solved as examples to illustrate the ability and reliability of the method. The results reveal that the method is very effective and convenient.
QuickBooks Point of Sale Best Practices for Success, Version 7 edition
Authors: Leslie Capachietti, The Sleeter Group
Venue:  (2007)

QuickBooks Best Practices for success is a resource for both QuickBooks Point of Sale consultants and Point of Sale small business users. Whether you are new to Point of Sale or an experienced user, you will learn the best practices for implementation, daily transactions and financial exchange with QuickBooks Financial software. Complete with step-by-step instructions and easy-to-read graphics, the book covers behind the scenes accounting information so there are no surprises when integrated with QuickBooks software.