ppxscal/embedding_network huggingface dataset:
The boundary element solution of the magnetohydrodynamic flow in an infinite region
Authors: M. Tezer-Sezgin, C. Bozkaya
Venue: Journal of Computational and Applied Mathematics (2009)

We consider the magnetohydrodynamic (MHD) flow which is laminar, steady and incompressible, of a viscous and electrically conducting fluid on the half plane (y>=0). The boundary y=0 is partly insulated and partly perfectly conducting. An external circuit is connected so that current enters the fluid at discontinuity points through external circuits and moves up on the plane. The flow is driven by the interaction of imposed electric currents and a uniform, transverse magnetic field applied perpendicular to the wall, y=0. The MHD equations are coupled in terms of the velocity and the induced magnetic field. The boundary element method (BEM) is applied here by using a fundamental solution which enables treating the MHD equations in coupled form with general wall conditions. Constant elements are used for the discretization of the boundary y=0 only since the boundary integral equation is restricted to this boundary due to the regularity conditions at infinity. The solution is presented for the values of the Hartmann number up to M=700 in terms of equivelocity and induced magnetic field contours which show the well-known characteristics of the MHD flow. Also, the thickness of the parabolic boundary layer propagating in the field from the discontinuity points in the boundary conditions, is calculated.
Modeling of process parameter selection with mathematical logic for process planning
Authors: Huanmin Xu, Dongbo Li
Venue: Robotics and Computer-Integrated Manufacturing (2009)

Process planning is the systematic determination of detailed methods by which workpieces or parts can be manufactured economically and competitively from initial stages to finished stages. One of the key problems of computer-aided process planning (CAPP), however, is the complexity of process knowledge representation of process planning and the diversity of manufacturing background. Process knowledge representation and inference mechanism of process parameter selection is one of the most important issues in the research on CAPP. A proper methodology for modeling inference mechanism of process parameter selection, hence, is essential for selection of process parameters in process planning. The paper presents an atomic inference engine model of process parameter selection in process planning using mathematical logic. The methodology of modeling the inference mechanism of process parameter selection is proposed with backward chaining of mathematical logic that is a form of goal-directed reasoning. An illustrative case has been analyzed using the proposed approach to demonstrate its potential application in the real manufacturing environment, by combining with a practical application of a hole-making in a industrially relevant workpiece. The outcomes of this work provide a process reasoning mechanism for process parameter selection in process planning and thus alleviate automated process reasoning problems in process planning.
Operations preserving the global rigidity of graphs and frameworks in the plane
Authors: Tibor Jordán, Zoltán Szabadka
Venue: Computational Geometry: Theory and Applications (2009)

A straight-line realization of (or a bar-and-joint framework on) graph G in R^d is said to be globally rigid if it is congruent to every other realization of G with the same edge lengths. A graph G is called globally rigid in R^d if every generic realization of G is globally rigid. We give an algorithm for constructing a globally rigid realization of globally rigid graphs in R^2. If G is triangle-reducible, which is a subfamily of globally rigid graphs that includes Cauchy graphs as well as Grunbaum graphs, the constructed realization will also be infinitesimally rigid. Our algorithm relies on the inductive construction of globally rigid graphs which uses edge additions and one of the Henneberg operations. We also show that vertex splitting, which is another well-known operation in combinatorial rigidity, preserves global rigidity in R^2.
Advergaming and In-Game Advertising: An Approach to the next Generation of Advertising
Authors: Gerald Marolf
Venue:  (2007)

The term Advergaming is used to describe the different possibilities to advertise brands or products with or within computer- and video games. This book displays all developments that have been made from the early 1980s until 2006 in the field of Advergaming. In general two different forms of Advergaming can be distinguished. On one hand, advertising a brand or product with a computer-game (done on the Internet with so-called Adgames) is often synonymously called Advergames. On the other hand, advertising in computerand video games is a phenomenon that is emerging swiftly and is described under the term In-Game Advertising. The aim of this book stands in a clear definition of the market for Advergaming, a critical overview of possibilities for brands to position themselves, as well as the danger that underlies advertising in games. The very actual topic of Advergaming, including Adgames and In-Game Advertising, is discussed in its entireness in this book, and through different frameworks, analyses, elucidations and expert interviews new approaches and consolidations can be made for practitioners to better understand the delicate high potential opportunities that Advergaming and In-Game Advertising gives.
Unequal Error Protection of MELP Compressed Speech Based on Plotkin Type LDPC Code
Authors: Shijie Zhang, Fei Shao, Yong Yu
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

An unequal error protection scheme is proposed for robust transmission of MELP compressed speech. Plotkin type constructed LDPC codes provide different protection to different part of the codeword. In our scheme, we use this code to encode MELP bit stream in accordance with the sensitivity of the bits in a frame to errors, giving more protection to the bits affecting the speech quality more. Simulation results show that the objective assessments of speech quality after transmission are greatly improved comparing with the EEP scheme under the same channel conditions.
New relations between similarity measures for vectors based on vector norms
Authors: Leo Egghe
Venue: Journal of the American Society for Information Science and Technology (2009)

The well-known similarity measures Jaccard, Salton's cosine, Dice, and several related overlap measures for vectors are compared. While general relations are not possible to prove, we study these measures on the &ldquo;trajectories&rdquo; of the form $||\overrightarrow X || = a||\overrightarrow Y ||$, where a > 0 is a constant and ||&middot;|| denotes the Euclidean norm of a vector. In this case, direct functional relations between these measures are proved. For Jaccard, we prove that it is a convexly increasing function of Salton's cosine measure, but always smaller than or equal to the latter, hereby explaining a curve, experimentally found by Leydesdorff. All the other measures have a linear relation with Salton's cosine, reducing even to equality, in case a = 1. Hence, for equally normed vectors (e.g., for normalized vectors) we, essentially, only have Jaccard's measure and Salton's cosine measure since all the other measures are equal to the latter. &copy; 2009 Wiley Periodicals, Inc.
Extending virtualization services with trust guarantees via behavioral monitoring
Authors: Himanshu Raj, Karsten Schwan
Venue: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems (2009)

Today's virtualized platforms enable virtualization services (VSs) that can offer enhanced functionalities to guest virtual machines (VMs) based on behavioral monitoring. One such set of functionality concerns protected service access, by having a VS impose access controls that can be altered and refined at runtime. Changes are made in accordance with the levels of "trust" associated with certain VMs - where VSs use runtime monitoring to derive current "trust" levels from observed guest VM behavior. This paper develops and evaluates implementation methods for trust enhancements of virtualization services and demonstrates their utility for a storage virtualization service, termed protected object store (POS). An implementation of POS based on the PVFS file system as a backend and using the Xen VMM as a virtualization infrastructure is shown effective in its ability to enforce fine-grained, role-based access controls on storage usage based on the VM's dynamic level of "trust", while minimally impacting the overall performance of the storage service.
Hardware/Software Architecture for Real-Time ECG Monitoring and Analysis Leveraging MPSoC Technology
Authors: Iyad Al Khatib, Davide Bertozzi, Francesco Poletti, Luca Benini, Axel Jantsch, Mohamed Bechara, Hasan Khalifeh, Mazen Hajjar, Rustam Nabiev, Sven Jonsson
Venue: Transactions on High-Performance Embedded Architectures and Compilers I (2007)

The interest in high performance chip architectures for biomedical applications is gaining a lot of research and market interest. Heart diseases remain by far the main cause of death and a challenging problem for biomedical engineers to monitor and analyze. Electrocardiography (ECG) is an essential practice in heart medicine. However, ECG analysis still faces computational challenges, especially when 12 lead signals are to be analyzed in parallel, in real time, and under increasing sampling frequencies. Another challenge is the analysis of huge amounts of data that may grow to days of recordings. Nowadays, doctors use eyeball monitoring of the 12-lead ECG paper readout, which may seriously impair analysis accuracy. Our solution leverages the advance in multi-processor system-on-chip architectures, and it is centered on the parallelization of the ECG computation kernel. Our Hardware-Software (HW/SW) Multi-Processor System-on-Chip (MPSoC) design improves upon state-of-the-art mostly for its capability to perform real-time analysis of input data, leveraging the computation horsepower provided by many concurrent DSPs, more accurate diagnosis of cardiac diseases, and prompter reaction to abnormal heart alterations. The design methodology to go from the 12-lead ECG application specification to the final HW/SW architecture is the focus of this paper. We explore the design space by considering a number of hardware and software architectural variants, and deploy industrial components to build up the system.
Using signature sequences to classify intersection curves of two quadrics
Authors: Changhe Tu, Wenping Wang, Bernard Mourrain, Jiaye Wang
Venue: Computer Aided Geometric Design (2009)

We present a method that uses signature sequences to classify the intersection curve of two quadrics (QSIC) or, equivalently, quadric pencils in PR^3 (3D real projective space), in terms of the shape, topological properties, and algebraic properties of the QSIC. Specifically, for a QSIC we consider its singularity, reducibility, the number of its components, and the degree of each irreducible component, etc. There are in total 35 different types of non-degenerate quadric pencils. For each of the 35 types of QSICs given by these non-degenerate pencils, through a detailed study of the eigenvalue curve and the index function jump we establish a characterizing algebraic condition expressed in terms of the Segre characteristics and the signature sequence of the quadric pencil. We show how to compute a signature sequence with rational arithmetic and use it to determine the type of the intersection curve of any two quadrics which form a non-degenerate pencil. As an example of application, we discuss how to apply our results to collision detection of cones in 3D affine space.
Autism online: a comparison of word usage in bloggers with and without autism spectrum disorders
Authors: A. Taylor Newton, Adam D.I. Kramer, Daniel N. McIntosh
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

The Internet has become a place of refuge for individuals with autism spectrum disorders (ASD). In particular, weblogs are a popular option for personal expression via the Internet. Perhaps this means of communication is well suited to bypassing deficits in social interaction and communication that characterize ASD. Using the Linguistic Inquiry and Word Count (LIWC) dictionaries [10], we compared blogs of individuals with ASD to the writing of neurotypical (NT) bloggers. We found that rates of word usage were nearly identical in the two groups with one exception - there was more variation in the use of social words in ASD compared to NT blogs. This similarity in language between ASD and NT authors suggests that communication deficits routinely found in people with ASD may be due to the social context in which their communication skills are tested, and that the affordances of asynchronous computer-mediated communication may offer alternative means of testing and expression.
Measuring Semantic Integrity for Remote Attestation
Authors: Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli
Venue: Proceedings of the 2nd International Conference on Trusted Computing (2009)

We propose a framework for the attestation of the integrity of a remote system that considers not only the configuration of the system to be attested but also its current behaviour. The resulting architecture, called Virtual machine Integrity Measurement System (VIMS), is based upon virtualization technology and it runs two virtual machines on a system to be attested, i.e. the Client (C-VM) and the Assurance VM (A-VM). A generic remote server (REM-S) accepts incoming connections and cooperates with the A-VM to authenticate and attest the integrity of the C-VM and of the software it runs. The A-VM is a shadow machine that exploits virtual machine introspection to apply a set of consistency checks on the configuration of the C-VM and on the software it currently runs. The checks depend upon the security policies that the REM-S establishes in the initial connection handshake. The REM-S defines both the complexity of checks to be applied and the frequency of their execution and it communicates the security policy to the A-VM through a control channel. Policies that can be applied range from the one that simply checks the integrity of the binaries loaded by the C-VM to those that continuously monitor the dynamic behaviour of applications to discover attacks that alter their expected behaviour. The control channel also transmits the results of the checks from the A-VM to the REM-S. As an example, remote attestation can be adopted when a client software on the C-VM tries to establish a secure channel to a REM-S on an Intranet.After describing the overall VIMS architecture, we present and discuss the implementation and the performance of a first prototype.
Aspects regarding the quality of education processes based on WEB 2.0 technologies
Authors: Livia Sangeorzan, Maria Popescu, Elena Helerea, Constantin Aldea, Silviu Dumitrescu, Walter Schwarz, Mihaela Popescu
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

This paper is the result of a research project developed within the framework of the CEREX project-Models and Indicators for the Evaluation of Scientific Research in Universities in the Context of Knowledge Based Society, No. 2Cex 06-8-85/ 2006, granted by Excellence Research Program of Romanian Government. The main objectives are: the study of the evaluation process improvement for human resources in universities; designing of an evaluation system of the university research infrastructure; creation of some soft applications designed to provide the necessary information for monitoring and the evaluation results of the scientific research. This paper presents a WEB application, using AJAX technology, which provides necessary information for establishing the performance in individual and in-group scientific research. To achieve a correct evaluation, it is very important to reliably acquire, store, and update the relevant information on the human resources in a database.
Implementing polymorphism in SMT solvers
Authors: François Bobot, Sylvain Conchon, Evelyne Contejean, Stéphane Lescuyer
Venue: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning (2008)

Based on our experience with the development of Alt-Ergo, we show the small number of modifications needed to bring parametric polymorphism to our SMT solver. The first one occurs in the typing module where unification is now necessary for solving polymorphic constraints over types. The second one consists in extending triggers' definition in order to deal with both term and type variables. Last, the matching module must be modified to account for the instantiation of type variables. We hope that this experience is convincing enough to raise interest for polymorphism in the SMT community.
Congestion control in a reliable scalable message-oriented middleware
Authors: Peter R. Pietzuch, Sumeer Bhola
Venue: Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware (2003)

This paper presents congestion control mechanisms for reliable and scalable message-oriented middleware following the publish/subscribe communication model. We identify the key requirements of congestion control in this environment, how it differs from congestion control for the Internet, and propose a combination of two congestion control mechanisms, (1) driven by a publisher hosting broker (PDCC), (2) driven by a subscriber hosting broker (SDCC). SDCC decouples the notion of a receive window and a NACK window, and is used by subscriber hosting brokers in recovery mode. PDCC implements a scalable and low latency feedback loop between a publisher hosting broker and all subscriber hosting brokers, which is used to adjust the rate of publishing new messages, to allow brokers in recovery to eventually catch up, and other brokers to keep up. We present a detailed experimental evaluation of our implementation of these mechanisms in the Gryphon system by injecting network failures and link congestion.
Preconditioned GMRES methods with incomplete Givens orthogonalization method for large sparse least-squares problems
Authors: Jun-Feng Yin, Ken Hayami
Venue: Journal of Computational and Applied Mathematics (2009)

We propose to precondition the GMRES method by using the incomplete Givens orthogonalization (IGO) method for the solution of large sparse linear least-squares problems. Theoretical analysis shows that the preconditioner satisfies the sufficient condition that can guarantee that the preconditioned GMRES method will never break down and always give the least-squares solution of the original problem. Numerical experiments further confirm that the new preconditioner is efficient. We also find that the IGO preconditioned BA-GMRES method is superior to the corresponding CGLS method for ill-conditioned and singular least-squares problems.
Views, authorization, and locking in a relational data base system
Authors: D. D. Chamberlin, J. N. Gray, I. L. Traiger
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

In the interest of brevity we assume that the reader is familiar with the notion of a relational data base. In particular, we assume a familiarity with the work of Codd or Boyce and Chamberlin. The examples in this paper will be drawn from a data base which describes a department store and consists of three relations: EMP(NAME, SAL, MGR, DEPT) SALES(DEPT, ITEM, VOL) LOC(DEPT, FLOOR)
Improved Newton's method without direct function evaluations
Authors: E. N. Malihoutsaki, I. A. Nikas, T. N. Grapsa
Venue: Journal of Computational and Applied Mathematics (2009)

For solving systems of nonlinear equations, we have recently developed a Newton's method to manage issues with inaccurate function values or problems with high computational cost. In this work we introduce a modification of the above method, reducing the total computational cost and improving, in general, its overall performance. Moreover, the proposed version retains the quadratic convergence, the good behavior over singular and ill-conditioned cases of Jacobian matrix, and its capability to be ideal for imprecise function problems. Numerical results demonstrate the efficiency of the new proposed method.
Analytic Phase-based Representation for Face Recognition
Authors: Anil Kumar Sao, B. Yegnanarayana
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

A representation based on the phase of analytic image is proposed to address the issue of illumination variation in face recognition task. The problem of unwrapping in the computation of analytic phase is avoided by using trigonometric functions of phase. Template matching is used to compare the functions of analytic phase for face recognition. For template matching, the functions of the analytic phase are compressed using eigenanalysis. Performance of the face recognition is improved by using weights derived from the eigenvalues in the template matching.
Visual Strawman to Relate Program RE to Project RE
Authors: Bhavani Palyagar, Poornima Shanthakumar, Aklesh Kishore
Venue: Proceedings of the 2008 Requirements Engineering Visualization (2008)

Requirements Engineering (RE) of a program is closely related to that of the projects within the program. The relationships dictate timelines of the program and related projects. Further, the relationships determine the effect of Change on the program, and the intensity of risk management required to reduce program failures. Inherent complexity of RE phase forces the relationships intricate thus making program management a difficult exercise. Familiar methods to represent relationships are descriptive alphanumeric data and gantt charts. These methods are inadequate to present the Program and Project phases with their relationships in a single paradigm. Further, with the existing methods, it is difficult to present Desired and Actual states of Program and Project phases in one model. This paper presents a tested visualization technique to connect a program RE with its projects. The technique provides an easy way to represent association ofprogram RE to project RE.
Understanding student performance on an algorithm simulation task: implications for guided learning
Authors: Anne Philpott, Tony Clear, Jacqueline Whalley
Venue: ACM SIGCSE Bulletin (2009)

This paper extends the work of the BRACElet project [17] by assessing the program comprehension skills of intermediate level students. Student performance on a pathfinder algorithm simulation task is reviewed to assess the students' comprehension levels, as categorized according to the SOLO educational taxonomy. The paper describes the nature of student responses, and the variety of representations provided, illustrating the role of discovery in effective student learning.
A relevance model for a data warehouse contextualized with documents
Authors: Juan Manuel Pérez, Rafael Berlanga, María José Aramburu
Venue: Information Processing and Management: an International Journal (2009)

This paper presents a relevance model to rank the facts of a data warehouse that are described in a set of documents retrieved with an information retrieval (IR) query. The model is based in language modeling and relevance modeling techniques. We estimate the relevance of the facts by the probability of finding their dimensions values and the query keywords in the documents that are relevant to the query. The model is the core of the so-called contextualized warehouse, which is a new kind of decision support system that combines structured data sources and document collections. The paper evaluates the relevance model with the Wall Street Journal (WSJ) TREC test subcollection and a self-constructed fact database.