ppxscal/embedding_network huggingface dataset:
Human factors evaluation of two data base query languages: square and sequel
Authors: Phyllis Reisner, Raymond F. Boyce, Donald D. Chamberlin
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

Boyce et al. have recently described two data base query languages, SQUARE and SEQUEL, which are intended for use in an interactive mode by both programmers and professional non-programmers (e.g., accountants, lawyers, managers). The languages are comparable in the sense that the basic operators, underlying data structures and intended use are the same. They differ primarily in syntactic form, with a few additional differences in some of the specific features. Both of the languages are intended to be easily learned and used by people without specialized computer training.
Safety interval analysis: A risk-based approach to specify low-risk quantities of uncertainties for contractor's bid proposals
Authors: K. Rezaie, A. Gereie, B. Ostadi, M. Shakhseniaee
Venue: Computers and Industrial Engineering (2009)

By appearing more complex projects, Design-Bid-Build (DBB) contracts could not satisfy new projects requirements and a need to new types of contracts was felt. New contracts requirements differ from previous ones. Challenging the method of proposal offering in design-construct contracts, this paper seeks solutions for more rational proposing of project uncertainties. The problem commences with the question ''which duration and price a contractor must propose in a project with design-construct contract?'' A part of the answer to this question is the matter of the lowest-risk limit of uncertainties which result from output of Monte Carlo Simulation and its analysis. The output of this analysis is a series of intervals named ''safety Intervals'' which will be contractors' guide in offering the bid proposal.
Simultaneous solution of large-scale linear systems and eigenvalue problems with a parallel GMRES method
Authors: George Pashos, Michail E. Kavousanakis, Antony N. Spyropoulos, John A. Palyvos, Andreas G. Boudouvis
Venue: Journal of Computational and Applied Mathematics (2009)

A method for simultaneous solution of large and sparse linearized equation sets and the corresponding eigenvalue problems is presented. Such problems arise from the discretization and the solution of nonlinear problems with the finite element method and Newton iteration. The method is based on a parallel version of the preconditioned GMRES(m) by deflation. The parallel code exploits the architecture of the computational clusters using the MPI (Message Passing Interface). The convergence rate, the parallel speedup and the memory requirements of the proposed method are reported and evaluated.
Unravelling seams: improvoing mobile gesture recognition with visual feedback techniques
Authors: Sven Kratz, Raphael Ballagas
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Gesture recognition is emerging as an engaging interaction technique in mobile scenarios, and high recognition rates promote user acceptance. Several factors influence recognition rates including the nature of the gesture set and the suitability of the gesture recognition algorithm. This work explores how seamfulness in gesture stroke visualization affects recognition rates. We present the results of a user evaluation of a gesture recognition system that shows that raw (seamful) visualization of low-delity gesture stroke data has recognition rates comparable to no feedback. Providing filtered (seamless) stroke visualization to the user, while retaining the un-filtered input data for recognition, resulted in a 34.9% improvement in gesture recognition rate over raw stroke data. The results provide insights into the broader design space of seamful design, and identifies areas where seamlessness is advantageous.
Cost-benefit evaluation of interactive transaction processing systems
Authors: George A. Holt, Henry C. Stern
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

Interactive transaction processing systems are being designed and implemented to support an increasing number of applications in business and government. Only a small amount of attention has been paid in the literature toward providing a basis for the economic evaluation of interactive systems in general and little of it is directly useful to a manager in a practical situation. This paper presents an approach to the economic evaluation of interactive transaction processing based on cost-benefit analysis which was developed by members of the staff of Technology Management Incorporated (TMI). This paper highlights the managerial considerations and specific analytical techniques employed in the course of evaluating a large-scale system currently under development by a major government agency. This system will automate nationwide regional office claims processing operations and will employ a distributed network of processors and remote terminals.
A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases
Authors: Aleksandrs Belovs, Juris Smotrovs
Venue: Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth (2008)

The paper gives a short introduction to mutually unbiased bases and the Welch bounds and demonstrates that the latter is a good technical tool to explore the former. In particular, a criterion for a system of vectors to satisfy the Welch bounds with equality is given and applied for the case of MUBs. This yields a necessary and sufficient condition on a set of orthonormal bases to form a complete system of MUBs.This condition takes an especially elegant form in the case of homogeneous systems of MUBs. We express some known constructions of MUBs in this form. Also it is shown how recently obtained results binding MUBs and some combinatorial structures (such as perfect nonlinear functions and relative difference sets) naturally follow from this criterion.Some directions for proving non-existence results are sketched as well.
Arbitrary Lagrangian-Eulerian methods for analysis of regressing solid domains and interface tracking
Authors: E. Taciroglu, A. Acharya, A. Namazifard, I. D. Parsons
Venue: Computers and Structures (2009)

We present the details of the formulation and implementation of the arbitrary Lagrangian-Eulerian (ALE) finite element method for three-dimensional problems involving regressing solid domains and moving boundaries. An example of such problems is the simulation of solid-propellant rockets in which the evolution of a fluid-solid interface is governed by a combustion law and the transfer of mass and momentum across it. The ALE method, while providing a means to track the location of the interface, allows the adaptation of the finite element mesh to the constantly changing solid domain. In this study, the mesh adaptation is achieved via a novel smoothing technique in which the shape of finite elements with smaller volumes, which are more susceptible to mesh-entanglement, are better preserved compared to those with larger volumes. An analysis of the stability of the ALE computations, under certain simplifying assumptions, is also performed. The stability limits determined from this analysis can be utilized as constraints for adjusting mesh velocities or time increments in the convective mesh-motion phase of the ALE computations. In addition, a method is provided for generating verification problems with moving interfaces from those with known solutions on stationary material domains. A problem in which the prescribed growth of a cavity in an infinite medium under a time-varying pressure loading is used to verify the implementation and to demonstrate the verification technique.
Guia de Funciones de EXCEL 2007
Authors: Sanchez, Claudio
Venue:  (2008)

This book is a reference guide that gives instant access to the most used Excel functions. Ideal for all levels of users, it provides real and practical examples specially designed to show how to apply functions in everyday tasks.
Applicability of hybrid simulation to different modes of governance in UK healthcare
Authors: Kirandeep Chahal, Tillal Eldabi
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decision-making in healthcare requires tools that can comprehend this complexity. Discrete event simulation (DES) due to its ability to capture detail complexity is widely used for operational decision making. However at the strategic level, System Dynamics (SD) with its focus on a holistic perspective and its ability to comprehend dynamic complexity has advantages over DES. Appreciating the complexity of healthcare, the authors have proposed the use of hybrid simulation in healthcare. As argued previously, effective decision making require tools which are capable of comprehending both detail and dynamic interactions of healthcare. The interactions in the organizations are governed by the governance design. In appreciation of that argument the authors have described the applicability of a hybrid approach to various modes of governance in UK healthcare.
A Boolean algebraic framework for association and pattern mining
Authors: Hatim A. Aboalsamh
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Data mining and sequential mining analysis are considered as crucial components of strategic control over a broad variety of disciplines in business, science and engineering. Data mining has been defined as the non- trivial extraction of implicit, previously unknown and potentially useful information from data. Association mining is one of the important sub-fields in data mining, where rules that imply certain association relationships among a set of items in a transaction database are discovered. In Sequence mining, data are represented as sequences of events, where order of those events is important. Finding patterns in sequences is valuable for predicting future events. In many applications such as the WEB applications, stock market, and genetic analysis, finding patterns in a sequence of elements or events, helps in predicting what could be the next event or element. At the conceptual level, association mining and sequence mining are two similar processes but using different representations of data. In association mining, items are distinct and the order of items in a transaction is not important. While in sequential pattern mining, the order of elements (events) in transactions (sequences) is important, and the same event may occur more than once. In this paper, we propose a new mapping function that maps event sequences into itemsets. Based on the unified representation of the association mining and the sequential pattern, a new approach that uses the Boolean representation of input database D to build a Boolean matrix M. Boolean algebra operations are applied on M to generate all frequent itemsets. Finally, frequent items or frequent sequential patterns are represented by logical expressions that could be minimized by using a suitable logical function minimization technique.
A discrete event simulation model for examining future sustainability of canadian forces operations
Authors: Patricia Moorhead, Andrew Wind, Mira Halbrohr
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

This paper presents a proof-of-concept discrete-event simulation model for examining the ability of the Canadian Forces (CF) to sustain operations, from a human resources perspective. Given a set of future operations for the CF, ranging from known ongoing domestic commitments to possible international missions, the goal is to identify potential shortages of deployable personnel by occupation, rank and unit, up to five years in advance of actual deployment. As a demonstration case, the proof-of-concept model was applied to a contingency analysis of the sustainability of Task Force Afghanistan over a three year planning horizon.
Towards a Conceptual Model of Talking to a Route Planner
Authors: Stephan Winter, Yunhui Wu
Venue: Proceedings of the 8th International Symposium on Web and Wireless Geographical Information Systems (2008)

Imagine a (web-based or mobile) route planning service that understands and behaves like another person. This conceptual paper addresses the first step towards this vision. It looks at the ways people would like to talk to their route planner in the initial phase of the route communication when specifying the travel route and time. The paper systematically collects service requirements, based on elements from intelligent autonomous agents, and demonstrates that a fundamental change is required compared to how services operate today.
A multi-matcher system based on knuckle-based features
Authors: Loris Nanni, Alessandra Lumini
Venue: Neural Computing and Applications (2009)

We describe a new multi-matcher biometric approach, using knuckle-based features extracted from the middle finger and from the ring finger, with fusion applied at the matching-score level. The features extraction is performed by Radon transform and by Haar wavelet, then these features are transformed by non-linear Fisher transform. Finally, the matching process is based on Parzen window classifiers. Moreover, we study a method based on tokenised pseudo-random numbers and user specific knuckle features. The experimental results show the effectiveness of the system in terms of equal error rate (EER) (near zero equal error rate).
Localization in time and space for wireless sensor networks: An efficient and lightweight algorithm
Authors: Horacio A. B. F. Oliveira, Azzedine Boukerche, Eduardo F. Nakamura, Antonio A. F. Loureiro
Venue: Performance Evaluation (2009)

In many applications that use Wireless Sensor Networks (WSNs), detected events need to be localized in both time and space. As a result, sensor nodes need to have precisely synchronized clocks as well as to be localized in a common spatial reference system. While synchronization and localization algorithms have been proposed to solve these problems independently, in this work we propose to combine both synchronization and localization into a single problem that we refer to as the time-space localization problem. We then propose a novel and efficient time-space localization algorithm for wireless sensor networks which we refer to as the Lightness algorithm. Our proposed algorithm not only takes advantage of the additional hardware resources required by the positioning mechanism in order to improve the performance and scalability of synchronization, but also benefits from the additional communication needed by the synchronization mechanism in order to decrease positioning errors. We also present an extensive set of experiments to evaluate the performance of our algorithm. Our results indicate clearly that our proposed scheme is scalable while keeping a low synchronization error and a low communication overhead. Our results also indicate that the additional packets needed to compute clocks' drift have the ability to decrease the positioning errors to almost one third of the initial positioning.
An e-learning framework supporting personalization and collaboration
Authors: Jihyun Kim, Yujung Jung, Yoonsun Lim, Myung Kim, Sunsook Noh
Venue: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication (2009)

Advances in Internet technology have made possible, rapid adoption of e-learning in many fields of society. Various educational methods for e-learning have been developed because personalization can be easily implemented through web services. However, these e-learning methods are not widely used because it is difficult for instructors to apply them in developing their courseware. Currently, the most widely used style of e-learning courseware is viewing video clips of lectures and discussing the lecture using bulletin boards. It is an electronic version of the traditional classroom. In this paper, we propose a user-friendly e-learning framework that supports personalization and collaboration between the instructor and the students. Instructors can create various levels of learning objects and define the relationships between the objects. Students can select the topics of their interest and dynamically adjust the level of learning in real time. Multiple instructors can cooperate in expanding the courseware. All the participants can also annotate the learning materials independently.
NewsCube: delivering multiple aspects of news to mitigate media bias
Authors: Souneil Park, Seungwoo Kang, Sangyoung Chung, Junehwa Song
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

The bias in the news media is an inherent flaw of the news production process. The resulting bias often causes a sharp increase in political polarization and in the cost of conflict on social issues such as Iraq war. It is very difficult, if not impossible, for readers to have penetrating views on realities against such bias. This paper presents NewsCube, a novel Internet news service aiming at mitigating the effect of media bias. NewsCube automatically creates and promptly provides readers with multiple classified viewpoints on a news event of interest. As such, it effectively helps readers understand a fact from a plural of viewpoints and formulate their own, more balanced viewpoints. While media bias problem has been studied extensively in communications and social sciences, our work is the first to develop a news service as a solution and study its effect. We discuss the effect of the service through various user studies.
Concept lattices of fuzzy contexts: Formal concept analysis vs. rough set theory
Authors: Hongliang Lai, Dexue Zhang
Venue: International Journal of Approximate Reasoning (2009)

This paper presents a comparative study of concept lattices of fuzzy contexts based on formal concept analysis and rough set theory. It is known that every complete fuzzy lattice can be represented as the concept lattice of a fuzzy context based on formal concept analysis [R. Belohlavek, Concept lattices and order in fuzzy logic, Ann. Pure Appl. Logic 128 (2004) 277-298]. This paper shows that every complete fuzzy lattice can be represented as the concept lattice of a fuzzy context based on rough set theory if and only if the residuated lattice (L,*,1) satisfies the law of double negation. Thus, the expressive power of concept lattices based on rough set theory is weaker than that of concept lattices based on formal concept analysis.
The Realization of the Multimedia-Processing Library System Based on DM642
Authors: Hai-jie Ma, Qiu-feng Shang
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

This paper designs the hardware platform of video and audio coder system based on DM642 and simulates this system's data and address from DSP to SDRAM by using HyperLynx software. It discovers and resolves EMC of the PCB. Further more, the multimedia-processing library is also constructed on the hardware. This design adjusts the framework of the MPEG4 and H.264 coder, and it optimizes the setting of memory allocation and codes. According to the experiment, it is proved that this design shortens the time of the development of multimedia and reduces the difficulty of exploration. This library has very high practical value because different multimedia algorithm has the same function module.
Building Video Concordancer Supported English Online Learning Exemplification
Authors: Chih-Hsiung Fu, Kun-Te Wang, Shu-Chen Cheng, Ting-Wei Hou
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

Language acquisition is by the process of the human interaction and the context developed in a language. For English-as-Foreign-Language (EFL) students, language presentation must give attention to the roles played by sound, gesture and context in the process of genuine communication in order to understanding the meaning of the language. Using video clips from contemporary films and videos is an alternative approach for students to support their acquisition of the learning language in a real world context. In this study, an innovative learning-assisted system is proposed, named the Video Concordancer, which uses a word-stem algorithm to retrieve specific words and their families from a multimedia corpus, as well as subsequently utilize the mutual information approach to analyze word collocations to appropriately present the use of words with several of the video contexts. This multimedia-based aid enables students in Internet-based English learning settings to find engaging, authentic examples of multilingual language in use, giving students the opportunities to strengthen their language skills in a culturally relevant way.
Fixing the program my computer learned: barriers for end users, challenges for the machine
Authors: Todd Kulesza, Weng-Keen Wong, Simone Stumpf, Stephen Perona, Rachel White, Margaret M. Burnett, Ian Oberst, Andrew J. Ko
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2009)

The results of a machine learning from user behavior can be thought of as a program, and like all programs, it may need to be debugged. Providing ways for the user to debug it matters, because without the ability to fix errors users may find that the learned program's errors are too damaging for them to be able to trust such programs. We present a new approach to enable end users to debug a learned program. We then use an early prototype of our new approach to conduct a formative study to determine where and when debugging issues arise, both in general and also separately for males and females. The results suggest opportunities to make machine-learned programs more effective tools.
Strategies in Dynamic Pari-Mutual Markets
Authors: Tian-Ming Bu, Xiaotie Deng, Qianya Lin, Qi Qi
Venue: Proceedings of the 4th International Workshop on Internet and Network Economics (2008)

We present a strategic model for pari-mutual markets by traders using a cumulative utility function. Under this model, we derive guidelines for the traders on how much to buy or sell. Those guidelines can be implemented with three action combinations, called strategies. We prove that those strategies are payoff equivalent for both the involved trader and the others in the current transaction. However, in the long run, their payoffs can be quite different.We show that the buy-only strategy(BOS) achieves the highest market capitalization for the current transaction. In addition, simulation results also prove that BOS always yields the fastest growth of market capitalization even when multiple stages are taken into consideration. Simulation results also show that BOS is a better revelation of the traders' personal beliefs, though it exhibits a higher risk in traders' payoffs.
QL2, a simple reinforcement learning scheme for two-player zero-sum Markov games
Authors: Benoít Frénay, Marco Saerens
Venue: Neurocomputing (2009)

Markov games is a framework which can be used to formalise n-agent reinforcement learning (RL). Littman (Markov games as a framework for multi-agent reinforcement learning, in: Proceedings of the 11th International Conference on Machine Learning (ICML-94), 1994.) uses this framework to model two-agent zero-sum problems and, within this context, proposes the minimax-Q algorithm. This paper reviews RL algorithms for two-player zero-sum Markov games and introduces a new, simple, fast, algorithm, called QL"2. QL"2 is compared to several standard algorithms (Q-learning, Minimax and minimax-Q) implemented with the Qash library written in Python. The experiments show that QL"2 converges empirically to optimal mixed policies, as minimax-Q, but uses a surprisingly simple and cheap updating rule.