ppxscal/embedding_network huggingface dataset:
Implicit Riquier Bases for PDAE and their semi-discretizations
Authors: Wenyuan Wu, Greg Reid, Silvana Ilie
Venue: Journal of Symbolic Computation (2009)

Complicated nonlinear systems of pde with constraints (called pdae) arise frequently in applications. Missing constraints arising by prolongation (differentiation) of the pdae need to be determined to consistently initialize and stabilize their numerical solution. In this article we review a fast prolongation method, a development of (explicit) symbolic Riquier Bases, suitable for such numerical applications. Our symbolic-numeric method to determine Riquier Bases in implicit form, without the unstable eliminations of the exact approaches, applies to square systems which are dominated by pure derivatives in one of the independent variables. The method is successful provided the prolongations with respect to a single dominant independent variable have a block structure which is uncovered by Linear Programming and certain Jacobians are nonsingular when evaluated at points on the zero sets defined by the functions of the pdae. For polynomially nonlinear pdae, homotopy continuation methods from Numerical Algebraic Geometry can be used to compute approximations of the points. Our method generalizes Pryce's method for dae to pdae. Given a dominant independent time variable, for an initial value problem for a system of pdae we show that its semi-discretization is also naturally amenable to our symbolic-numeric approach. In particular, if our method can be successfully applied to such a system of pdae, yielding an implicit Riquier Basis, then under modest conditions, the semi-discretized system of dae is also an implicit Riquier Basis.
Market forces and future drivers
Authors: J. V. Evans
Venue: Space Communications (2000)

In recent years there has been an explosion of interest in new satellite systems, witness the fact that in the US alone the Federal Communications Commission has received 43 filings in response to four recent Notice of Proposed Rule Makings. This paper reviews (in Part I) some of the underlying reasons for this surge of interest, as well as the filings themselves. A combination of factors seems to be at work, including a) the enormous growth in telecommunications worldwide (fueled by increased global trade, the enormous growth of the World Wide Web and e-commerce, deregulation, and the introduction of new services) and b) changes in the structure of the commercial satellite communication industry (such as the entry of new players, e.g., Motorola and vertical integration of satellite manufacturers - Hughes, Loral, Lockheed Martin into services). In Part II the prospects for the long-term future of the industry are examined, where it is concluded that, despite all the present interest, satellites will likely see continued use only where they offer unrivalled competitive advantages, such as for broadcasting, reaching mobile platforms and areas presently lacking adequate terrestrial communications facilities.
Genetic Algorithm Based Methods for Identification of Health Risk Factors Aimed at Preventing Metabolic Syndrome
Authors: Topon Kumar Paul, Ken Ueno, Koichiro Iwata, Toshio Hayashi, Nobuyoshi Honda
Venue: Proceedings of the 7th International Conference on Simulated Evolution and Learning (2008)

In recent years, metabolic syndrome has emerged as a major health concern because it increases the risk of developing lifestyle diseases, such as diabetes, hypertension, and cardiovascular disease. Some of the symptoms of the metabolic syndrome are high blood pressure, decreased HDL cholesterol, and elevated triglycerides (TG). To prevent the developing of metabolic syndrome, accurate prediction of the future values of these health risk factors and identification of other factors from the health checkup and lifestyle data, which are highly related with these risk factors, are very important. In this paper, we propose a new framework, based on genetic algorithm and its variants, for identifying those important health factors and predicting the future health risk of a person with high accuracy. We show the effectiveness of the proposed system by applying it to the health checkup and lifestyle data of Toshiba Corporation.
Building a balanced scorecard for open source policy and strategy: a case study of the Microsoft experience
Authors: Bryan Kirschner
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

The impact of open source software development has challenged commercial companies and government bodies alike to develop new strategies for a changing information and communication technology (ICT) environment. The balanced scorecard---already a widely recognized management best-practice---is well-suited both as a framework for this imperative, and as a mechanism for knowledge-sharing between industry and public sector managers. First, a balanced scorecard initiative must embrace a multi-disciplinary, multi-stakeholder and community-oriented approach, taking into account the needs of diverse constituencies. Second, public sector e-Government leaders can benefit from the same robust perspective on learning, innovation, and customer satisfaction in addition to financial measures that the balanced scorecard has brought to private sector managers. This paper shares the experience of one commercial company (Microsoft Corporation) taking a balanced scorecard approach to open source policy and strategy development, and offers an analysis of implications and opportunities for e-Government leaders.
A privacy-preserving UBICOMP architecture
Authors: George Yee
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

With the increasing deployment of sensors, intelligent devices of all sizes, and wireless networking, ubiquitous computing (UBICOMP) environments are getting closer to reality. Research in UBICOMP has focused on enabling technologies, such as networking, data management, security, and user interfaces. However, privacy for UBICOMP has been a contentious issue and the privacy concerns that have been raised suggest that privacy may be the greatest barrier to the long-term success of UBICOMP. This paper proposes a hybrid (locally centralized but peer-to-peer across the Internet) UBICOMP architecture that respects personal privacy preferences expressed in the form of personal privacy policies.
The Development and Evaluation of Performance-Based Functional Assessment: A Methodology for the Measurement of Physical Capabilities
Authors: Kathleen J. Price, Andrew Sears
Venue: ACM Transactions on Accessible Computing (TACCESS) (2009)

Understanding and describing the physical capabilities of users with motor impairments is a significant challenge for accessibility researchers and system designers alike. Current practice is to use descriptors such as medical diagnoses to represent a person&rsquo;s physical capabilities. This solution is not adequate due to similarities in functional capabilities between diagnoses as well as differences in capabilities within a diagnosis. An alternative is user self-reporting or observation by another person, but these solutions can be problematic because they rely on individual interpretations of capabilities and may introduce unwanted bias. The current research focuses on defining an objective, quantifiable, repeatable, and efficient methodology for assessing an individual&rsquo;s physical capabilities in relation to use of information technologies. Thirty-one users with a range of physical capabilities participated in the evaluation of the proposed performance-based functional assessment methodology. Building on the current standard for such assessments, multiple observers provided independent assessments that served as the gold standard for comparison. Promising metrics produced through the performance-based assessment were identified through comparisons with these observer evaluations. Predictive models were then generated via regression and correlation analysis. The models were validated using a three-fold validation process. Results from this initial research are encouraging, with the resulting models explaining up to 92&percnt; of the variance in user capabilities. Directions for future research are discussed.
The use of simulation for process improvement in metal industry: case HT-Lasertekniikka
Authors: Toni Ruohonen, Mikko Kamppila, Antti Jokitalo
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Companies in the metal industry want to find solutions for increasing the quality of service and productivity of the operation, but it is not an easy task to do, especially if the company is large (has several different production units) and in addition uses many different metal types as material. This paper examines the centralization of special metal production into a single unit instead of several units. The research method is simulation and the main concentration is on finding out the effects and the possible benefits of the centralization scenario. Two different simulation models are constructed for the study. The results of the simulation runs showed that the centralization would increase the utilization of a selected unit only 3, 12% which means that it could be easily carried out. The results also indicated that the centralization scheme could improve the operation significantly (elimination of operational and logistics phases).
Implementing a Pharmacy System: Facilitators and Barriers
Authors: Steven D. Culler, James Jose, Susan Kohler, Paula Edwards, Ansley D. Dee, Francois Sainfort, Kimberly Rask
Venue: Journal of Medical Systems (2009)

To describe facilitators and barriers to the implementation of an inpatient pharmacy system at two pediatric hospitals. Interviews, pre- and post-implementation, were conducted with pharmacy and clinical managers. Key findings from the pre-implementation survey were included in the post-implementation survey to further assess facilitators and barriers to the adoption of a pharmacy system. The majority of pharmacy participants and all clinical leaders believed that project goals were being met. Pharmacist's described staff readiness-to-change as the most significant facilitator to adoption and concerns with the usability of information in the pediatric drug file as the most significant barrier. Clinical managers described system training and education as the most significant facilitator to adoption and adjustment to new work processes as the most significant barrier. We described major facilitators and barriers to the adoption of an inpatient pharmacy system at two pediatric hospitals. Strategies identified by our informants to overcome barriers may promote successful pharmacy implementations at other pediatric facilities.
Kurio: a museum guide for families
Authors: Ron Wakkary, Marek Hatala, Kevin Muise, Karen Tanenbaum, Greg Corness, Bardia Mohabbati, Jim Budd
Venue: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction (2009)

We discuss three design strategies for improving the quality of social interaction and learning with interactive museum guides: 1) embodied interaction; 2) game-learning; 3) a hybrid system. We used these strategies in our prototype Kurio, which is aimed at supporting families visiting museums. The results of our evaluation show positive implications of implementing the design strategies: closing the social gap, naturalizing technology, and supporting exploration and discovery in learning.
The Research of Data Pretreatment in CRM Based on Rough Set
Authors: Yunfeng Liu, Lin Ke, Yongke Yuan
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

The data pretreatment to reduce the redundancy of data and eliminate the data imprecise is the bottleneck in data mining. This article uses the superiority of the Rough Set model to eliminate the data imprecise, reduce the redundancy as far as possible in the data pretreatment and reduces the data capacity by the deduction of the attributes and deduction of values. It has also laid the foundation for the following data mining algorithm to reduce the time of process. By the example proof, it is one better algorithm according to incomplete and redundancy data processing.
On Labeled Traveling Salesman Problems
Authors: Basile Couëtoux, Laurent Gourvès, Jérôme Monnot, Orestis A. Telelis
Venue: Proceedings of the 19th International Symposium on Algorithms and Computation (2008)

We consider labeled Traveling Salesman Problems, defined upon a complete graph of n vertices with colored edges. The objective is to find a tour of maximum (or minimum) number of colors. We derive results regarding hardness of approximation, and analyze approximation algorithms for both versions of the problem. For the maximization version we give a $\frac{1}{2}$-approximation algorithm and show that it is APX-hard. For the minimization version, we show that it is not approximable within n 1-&epsilon; for every &epsilon;> 0. When every color appears in the graph at most r times and r is an increasing function of n the problem is not O(r 1-&epsilon;)-approximable. For fixed constant r we analyze a polynomial-time (r + H r)/2-approximation algorithm (H r is the r-th harmonic number), and prove APX-hardness. Analysis of the studied algorithms is shown to be tight.
Plenary lecture IV: a risk management model for software project management
Authors: Khairuddin Hashim
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

Risk management is an important element in software project management due to increase in budget investments of software development projects and stiff business competition requiring urgent deadlines. The presentation will discuss a risk management model to support software project management that includes risk identification, risk analysis, risk prioritization, risk monitoring and risk control. The model incorporates problem analysis of historical data of projects which gives a good basis for risk projection of future projects.
Pairing-based message authentication scheme with privacy protection in vehicular ad hoc networks
Authors: Chun-I Fan, Ruei-Hau Hsu, Chun-Hao Tseng
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Vehicular Ad-Hoc Networks (VANET) can provide strong safety for vehicles by taking the advantages of the information which are interchanged among themselves and some infrastructures. Due to this significant application of VANET, message authentication and privacy in VANET is quite critical. Pseudonym PKI technology is a practical solution to ensure the above two properties. However, the performance of the previous works cannot satisfy the requirement for the applications in VANET, such as efficiency and management cost. Most of all pseudonym PKI technologies are comprehensive schemes, like group key and ID-based public key cryptosystem. This also increases the implementation complexity of VANET security. Therefore, we will propose an efficient pseudonym PKI mechanism based on bilinear mapping to improve the performance of the message authentication protocol, certificate tracing and certificate revocation, implementation cost, and management cost.
Comparative Analysis between Document-based and Model-based Compliance Management Approaches
Authors: Sepideh Ghanavati, Daniel Amyot, Liam Peyton
Venue: Proceedings of the 2008 Requirements Engineering and Law (2008)

Compliance of an organization's business processes with legislation is difficult to assess, and even more so as laws and processes evolve. Using seven criteria, we evaluate five different approaches for documenting and managing such compliance that involve models and/or legal documents, with or without tool support for traceability. It is argued that a mixed approach that combines models and original documents, with tool support, offers the best trade-off. We also discuss an example of such an approach based on the User Requirements Notation and a commercial require- ments management system.
Scientometric analysis of the CHI proceedings
Authors: Christoph Bartneck, Jun Hu
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

The CHI conference has grown rapidly over the last 26 years. We present a quantitative analysis on the countries and organizations that contribute to its success. Only 7.8 percent of the countries are responsible for 80 percent of the papers in the CHI proceedings, and the USA is clearly the country with most papers. But the success of a country or organization does not depend only on the number of accepted papers, but also on their quality. We present a ranking of countries and organizations based on the h index, an indicator that tries to balance the quantity and quality of scientific output based on a bibliometric analysis. The bibliometric analysis also allowed us to demonstrate the difficulty of judging quality. The papers acknowledged by the best paper award committee were not cited more often than a random sample of papers from the same years. The merit of the award is therefore unclear, and it might be worthwhile to allow the visitor to the conference to vote for the best paper.
Extracting Web Design Knowledge: The Web De-Compiler
Authors: Michael Chan, Gino Yu
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

We introduce a Web De-Compiler (WDC) that extracts web design information for re-use. Given a web site, the system extracts design knowledge at several levels: site organization and navigation, page layout, and objects. Objects are regular structures within a page including paragraphs, tables, and images. Page layout includes the use of color, fonts, background images, and placement of objects. Design information is extracted by analyzing the HTML tags and images of a web page. An autonomous agent utilizing the WDC is currently cataloging all of the designs on the Internet. The design information can be re-used in automated and semi-automated web site design, re-design, and analysis.
Separation Logic Tutorial
Authors: Peter O'Hearn
Venue: Proceedings of the 24th International Conference on Logic Programming (2008)

Separation logic is an extension of Hoare&rsquo;s logic for reasoning about programs that manipulate pointers. It is based on the separating conjunction P&thinsp;&lowast;&thinsp;Q, which asserts that P and Q hold for separate portions of computer memory. This tutorial on separation logic has three parts. Basics. Concentrating on highlights from the early work [1,2,3,4]. 1 Model Theory. The model theory of separation logic evolved from the general resource models of bunched logic [5,6,7] and includes an account of program dynamics in terms of their interaction with resource [8,9]. 1 Proof Theory. I will describe those aspects of the proof theory, particularly new entailment questions (frame and anti-frame inference [10,11]), which are important for applications in mechanized program verification.
Progress towards database management standards
Authors: Donald R. Deutsch
Venue: Proceedings of the May 16-19, 1983, national computer conference (1983)

The first proposals for database management standards appeared in the late 1960s. Work began on a U.S. national standard in 1978. Today there are no domestic or international database management standards, although organizations throughout the world are working toward this goal. This paper describes these various organizations and the current status of their work. It outlines recent changes in the structure and scope of American database management standardization activities that have substantially improved the outlook for timely results.
Introducing excision switching-CFAR in K distributed sea clutter
Authors: Saeed Erfanian, Vahid Tabataba Vakili
Venue: Signal Processing (2009)

In this paper a new Constant False Alarm Rate detector which is composed of an excision processor and a switching-CFAR detector, in sea environment with K distribution, has been introduced. The new detector is named excision switching CFAR. Performance of EXS-CFAR is derived and compared with a few other detectors such as CA-CFAR, GO-CFAR and SO-CFAR for the Swerling I target model in homogeneous and non-homogenous noise environments such as those with multiple interferences and clutter edges. The results show that EXS-CFAR detectors considerably reduce the problem of excessive false alarm probability near clutter edges while maintaining good performance in other environments. Also, simulation results confirm the gaining an optimum detection threshold in homogenous and non-homogenous radar environments by the mentioned processor.
Semantic Clustering for a Functional Text Classification Task
Authors: Thomas Lippincott, Rebecca Passonneau
Venue: Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing (2009)

We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks. The method uses WordNet-based distance metrics to construct a similarity matrix, and expectation maximization to find and represent clusters of semantically-related terms. Using these clusters as features for machine learning helps maintain performance across distinct, domain-specific vocabularies while reducing the size of the document representation. We present promising results along these lines, and evaluate several algorithms and parameters that influence machine learning performance. We discuss limitations of the study and future work for optimizing and evaluating the method.
Non-conforming finite element and artificial boundary in multi-atomic Young measure approximation for micromagnetics
Authors: Xianmin Xu, Zhiping Li
Venue: Applied Numerical Mathematics (2009)

In this paper, a non-conforming finite element method coupled with an artificial boundary technique is developed in a multi-atomic Young measure approximation to solve the two-dimensional variational problem for the magnetization field in micromagnetics, which has an anisotropic potential energy and a nonconvex constraint and thus can develop microstructures. Compared with the conforming finite element approach, which turns out to be unstable in the sense that spurious numerical oscillations can occur in the discrete macroscopic magnetization field, the stability and convergence of the non-conforming finite element method can be established. It is also proved that, for the uniaxial energy density, two-atomic young measure is sufficient to approximate the macroscopic magnetization field. The efficiency of the method is illustrated by some numerical examples.
Why Stacked Models Perform Effective Collective Classification
Authors: Andrew Fast, David Jensen
Venue: Proceedings of the 2008 Eighth IEEE International Conference on Data Mining (2008)

Collective classification techniques jointly infer all class labels of a relational data set, using the inferences about one class label to influence inferences about related class labels. Kou and Cohen recently introduced an efficient relational model based on stacking that, despite its simplicity, has equivalent accuracy to more sophisticated joint inference approaches. Using experiments on both real and synthetic data, we show that the primary cause for the performance of the stacked model is the reduction in bias from learning the stacked model on inferred labels rather than true labels. The reduction in variance due to conditional inference also contributes to the effect but it is not as strong. In addition, we show that the performance of the joint inference and stacked learners can be attributed to an implicit weighting of local and relational features at learning time.