ppxscal/embedding_network huggingface dataset:
Incremental construction of minimal acyclic finite-state automata
Authors: Jan Daciuk, Bruce W. Watson, Stoyan Mihov
Venue: Computational Linguistics (2000)

In this paper, we describe a new method for constructing minimal, deterministic, acyclic finite-state automata from a set of strings. Traditional methods consist of two phases: the first to construct a trie, the second one to minimize it. Our approach is to construct a minimal automaton in a single phase by adding new strings one by one and minimizing the resulting automaton on-the-fly. We present a general algorithm as well as a specialization that relies upon the lexicographical ordering of the input strings. Our method is fast and significantly lowers memory requirements in comparison to other methods.
A Web Services Implementation Framework for Financial Enterprise Content Management
Authors: Kevin H. S. Kwok, Dickson K. W. Chiu
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 4 - Volume 4 (2004)

There is an increasing demand to replace the current cost ineffective and bad time-to-market hardcopy publishing and delivery of content in the financial world. Four major goals, namely, management, cost, legal issues, and value, for a financial system should be reached. The new Financial Enterprise Content Management System (FECMS) could archive these goals by providing different content management, process establishment, and system integration functions. The main contribution of this paper is an enterprise content model and a system architecture for tackling two main technical challenges of FECMS, namely, global system integration and content flow management. It consists of three major types of engines: ContentEditorial Engines, Content Reception Engines, and Content Publishing Engines. A Content Editorial Engine provides content and taxonomy maintenance and approval functions for different levels of administrators in the financial institute. A Content Reception Engine collectscontent from external sources, and then delivers it to different parts of the system for approval and publication. Content Publishing Engine stores approved content and send them to different parties via different channels (such as email, fax, and conventional mail). It also serves as the Web storefront of the enterprise for user enquiries. In addition, we outline a unified scalable implementation framework with contemporary Web Services technology tosupport both internal content flow and inter-enterprise interactions. Both interactive users and institutional programmatic users are thus supported.
PARLING: e-literature for supporting children learning english as a second language
Authors: Ornella Mich, Elena Betta, Diego Giuliani
Venue: Proceedings of the 9th international conference on Intelligent user interfaces (2004)

In this paper, we describe Parling, a multimedia system for supporting learning of English as a second language (L2). It is devoted to 8-11 year-old primary school children. The idea behind the system is that famous children's literature offers the right motivating and low-anxiety context where users can improve their vocabulary and learn new language structures. The technological core of the system is a speech recognizer that allows implementing automatic pronunciation assessment. Parling is an adaptive system; it features a set of instructional games that change their vocabulary content dynamically based on the user's learning needs. A preliminary usability test of the prototype system gave positive results.
Pure Bundling Better than Mixed? Or, Why doesn't AOL Offer Standardized Dial-Up Service?
Authors: Hemant K. Bhargava, Juan Feng
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 8 - Volume 8 (2004)

Some dial-up Internet access providers, such as the market leader AOL, require customers to install proprietary connection software to use their service. This is puzzling, because while the software helps certain users, it creates disutility for others (especially expert users and earlyadopters of Internet service). Why, then, does AOL insist on this connection manager? Why not choose a mixed bundling approach where power users can choose a standardized service that offers access to the Internet and AOL-managed content, and novice users are given a service that integrates access with the connection manager. This paper proposes different possible explanations for why firms might willfully create barriers to entry for customers by pursuing a pure -- rather than mixed -- bundling strategy where the bundle contains one feature that is negatively valued by a customer segment. Developing economic models for this problem, we propose different hypotheses for explaining the puzzle. We postulate that power users impose exceptionally high cost on AOL's system, and show that the presence of bad customers (whose cost exceeds their valuation) can cripple the profits from the access-only option. Another hypothesis is that even if adding the access-only service improves profits in the short-term, the presence of this service may create a learning effect, where novice users learn to manage without AOL's proprietary software and switch to the cheaper access-only option in future periods.
Kronecker product permutation matrices and their application to moment matrices of the normal distribution
Authors: James R. Schott
Venue: Journal of Multivariate Analysis (2003)

In this paper, we consider the matrix which transforms a Kronecker product of vectors into the average of all vectors obtained by permuting the vectors involved in the Kronecker product. An explicit expression is given for this matrix, and some of its properties are derived. It is shown that this matrix is particularly useful in obtaining compact expressions for the moment matrices of the normal distribution. The utility of these expressions is illustrated through some examples.
On Sets with a Small Subset Sum
Authors: Y. O. Hamidoune, A. S. Lladó, O. Serra
Venue: Combinatorics, Probability and Computing (1999)

Let A be a subset of an abelian group G. The subset sum of A is the set &sum;(A) = {&sum;x&isin;T∣T&sub;A}. We prove the following result. Let S be a generating subset of an abelian group G such that 0&notin;S and 14&le;∣S∣. Then one of the following conditions holds.(i) ∣&sum;(S)∣&ge;min(∣G∣ &minus;3, 3∣S∣&minus;3).(ii) There is an x&isin;S such that S ∖;{x} generates a proper subgroup of order less than (3∣S∣&minus;3)/2.As a consequence, we obtain the following open case of an old conjecture of Diderrich. Let q be a composite odd number and let G be an abelian group of order 3q. Let S be a subset of G with cardinality q+1. Then every element of G is the sum of some subset of S.
On enumeration problems in Lie-Butcher theory
Authors: H. Munthe-Kaas, S. Krogstad
Venue: Future Generation Computer Systems (2003)

The algebraic structure underlying non-commutative Lie-Butcher series is the free Lie algebra over ordered trees. In this paper we present a characterization of this algebra in terms of balanced Lyndon words over a binary alphabet. This yields a systematic manner of enumerating terms in non-commutative Lie-Butcher series.
Dimension-adaptive tensor-product quadrature
Authors: Thomas Gerstner, Michael Griebel
Venue: Computing (2003)

We consider the numerical integration of multivariate functions defined over the unit hypercube. Here, we especially address the high-dimensional case, where in general the curse of dimension is encountered. Due to the concentration of measure phenomenon, such functions can often be well approximated by sums of lower-dimensional terms. The problem, however, is to find a good expansion given little knowledge of the integrand itself.The dimension-adaptive quadrature method which is developed and presented in this paper aims to find such an expansion automatically. It is based on the sparse grid method which has been shown to give good results for low- and moderate-dimensional problems. The dimension-adaptive quadrature method tries to find important dimensions and adaptively refines in this respect guided by suitable error estimators. This leads to an approach which is based on generalized sparse grid index sets. We propose efficient data structures for the storage and traversal of the index sets and discuss an efficient implementation of the algorithm.The performance of the method is illustrated by several numerical examples from computational physics and finance where dimension reduction is obtained from the Brownian bridge discretization of the underlying stochastic process.
The Interaction between Primary Teachers' Perceptions of ICT and Their Pedagogy
Authors: Avril M. Loveless
Venue: Education and Information Technologies (2003)

The paper presents a study which focuses on the interaction between primary teachers' perceptions of Information and Communication Technology (ICT) and their pedagogy. Their perceptions of ICT are explored in terms of their reported understandings of the nature and purpose of ICT in primary schools. A qualitative, case study approach was used to investigate the perceptions and pedagogy of a small group of teachers working within one school, Carberry Junior School in England. The study was carried out during an eighteen month period of significant change in primary schools responding to the UK Government's National Grid for Learning initiative and its impact on models of access to ICT resources and expectations in teaching and pupil achievement. The paper highlights the teachers' perceptions of ICT as a social and cultural phenomenon, as an ambiguous area constructed as a discrete subject, curriculum resource and higher-order capability, and as a &lsquo;new&rsquo; field in primary schools.
WANMon: A Resource Usage Monitoring Tool for Ad Hoc Wireless Networks
Authors: Don Ngo, Naveed Hussain, Mahbub Hassan, Jim Wu
Venue: Proceedings of the 28th Annual IEEE International Conference on Local Computer Networks (2003)

As wireless networking products and ad-hoc networksbecome more popular, the resource usage in routing packetsfor other network users will become an issue for usersand developers of ad-hoc wireless products. In this paper,we propose a novel monitoring tool called WANMon (WirelessAd-hoc Network Monitoring Tool). WANMon can be installedon a wireless node to monitor resource usage (suchas network usage, power usage, memory usage, and CPUusage) at the node, in the context of how much of resourceis used for supporting the node's own applications versusthe usage for routing data of other network users in an ad-hocwireless network. We discuss design of WANMon, andpresent our prototype implementation of WANMon in Linux,which provides a starting point for further research and abasis for developing a fully featured ad-hoc wireless networkmonitoring tool.
Study of fracture in SIC/AL composites
Authors: G. Papakaliatakis, D. Karalekas
Venue: Proceedings of the international conference on Computational methods in sciences and engineering (2003)

Interest in metal matrix composites has increased dramatically in the past decade with advances in processing and an increasing demand for materials with improved mechanical and physical properties. The major advantages of these materials consist of their high strength and stiffness to weight ratios, their resistance to severe environments and retention of strength at high temperatures. During this period, significant efforts to improve our understanding of the fundamental aspects of the deformation and fracture behavior of this broad class of materials have been undertaken, with considerable success. As many metal matrix composites have advanced from the development stage, additional consideration has been given to fracture behavior because of their importance in eventual engineering applications.
Gerris: a tree-based adaptive solver for the incompressible Euler equations in complex geometries
Authors: Stéphane Popinet
Venue: Journal of Computational Physics (2003)

An adaptive mesh projection method for the time-dependent incompressible Euler equations is presented. The domain is spatially discretised using quad/octrees and a multilevel Poisson solver is used to obtain the pressure. Complex solid boundaries are represented using a volume-of-fluid approach. Second-order convergence in space and time is demonstrated on regular, statically and dynamically refined grids. The quad/octree discretisation proves to be very flexible and allows accurate and efficient tracking of flow features. The source code of the method implementation is freely available.
A perturbation result for generalized eigenvalue problems and its application to error estimation in a quadrature method for computing zeros of analytic functions
Authors: Peter Kravanja, Tetsuya Sakurai, Hiroshi Sugiura, Marc Van Barel
Venue: Journal of Computational and Applied Mathematics (2003)

We consider the quadrature method developed by Kravanja et al. (BIT 39 (4) (1999) 646) for computing all the zeros of an analytic function that lie inside the unit circle. A new perturbation result for generalized eigenvalue problems allows us to obtain a detailed upper bound for the error between the zeros and their approximations. To the best of our knowledge, it is the first time that such an error estimate is presented for any quadrature method for computing zeros of analytic functions. Numerical experiments illustrate our results.
Impact of PCI-Bus Load on Applications in a PC Architecture
Authors: Sebastian Schönberg
Venue: Proceedings of the 24th IEEE International Real-Time Systems Symposium (2003)

Any data exchanged between the processor and mainmemory uses the memory bus, sharing it with data exchangedbetween I/O devices and main memory. If the processorand a device try to transfer data at the same time, animpact can be seen on the processor as well as on the device.As a result, the execution time of an application on theprocessor may increase due to the memory-bus load generatedby I/O devices. In real-time environments, this impactcan result in missed deadlines and a behavior that is differentto that intended by the designer of the system.This paper gives a method for describing and quantifyingthe impact of such load on applications executed by theprocessor.
A 2.7V 350µW 11-b Algorithmic Analog-to-Digital Converter with Single-Ended Multiplexed Inputs
Authors: Angelo Nagari, Germano Nicollini
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

A low-power low-area CMOS algorithmic A/D converter that does not require trimming nor digital calibration is presented. The topology is based on a classical cyclic A/D conversion using a capacitor ratio-independent computation circuitry. All the nonidealities have been carefully analyzed and reduced by proper choices of design and layout solutions. As a result the errors coming from opamp offset and finite open-loop dc gain, switch charge injection and clock feedthrough, parasitic capacitors, and intrinsic noise sources are reduced under the LSB level. To process a multiplexed (8 channels) single-ended analog input, an efficient single-ended to fully differential circuit has been presented. The converter achieves 11 bit accuracy in the Nyquist band at a sampling rate of 8kSps. The total power dissipation is only 350µW at 2.7V supply voltage. The active area is 0.3 mm2 in a 0.35µm 5 metal levels CMOS technology with double-poly linear capacitors.
Changing a business school corporate culture: teaching in the 21st century on a different blackboard
Authors: Jennifer Paige Nightingale
Venue: Computing information technology: the human side (2003)

This chapter introduces the concept of an Academic Management System, which is designed to enhance communication among faculty, staff, students, and administration. Using an Academic Management System, built within a Course Management System, has the potential to improve communication, reduce administrative costs, and allow 24-hour access to information. The experience of one university that integrated these technologies has had a positive effect throughout campus and, as a result, several other programs are now developing similar sites for their faculty, staff students and administration.
Causal reasoning using geometric analysis
Authors: Levent Burak Kara, Thomas F. Stahovich
Venue: Artificial Intelligence for Engineering Design, Analysis and Manufacturing (2002)

We describe an approach that uses causal and geometric reasoning to construct explanations for the purposes of the geometric features on the parts of a mechanical device. To identify the purpose of a feature, the device is simulated with and without the feature. The simulations are then translated into a &ldquo;causal-process&rdquo; representation, which allows qualitatively important differences to be identified. These differences reveal the behaviors caused and prevented by the feature and thus provide useful cues about the feature's purpose. A clear understanding of the feature's purpose, however, requires a detailed analysis of the causal connections between the caused and prevented behaviors. This presents a significant challenge because one has to understand how a behavior that normally takes place affects (or is affected by) another behavior that is normally absent. This article describes techniques for identifying such elusive relationships. These techniques employ a set of rules that can determine if one behavior enables or disables another that is spatially and temporally far away. They do so by geometrically examining the traces of the causal processes in the device's configuration space. Using the results of this analysis, our program can automatically generate text output describing how the feature performs its function.
Decomposition of forced responses in vibrating systems
Authors: Julio R. Claeyssen, Ines Moraes Ferreira, Rosemaira Dalcin Copetti
Venue: Applied Numerical Mathematics (2003)

We seek to determine the forced response of evolution systems (discrete, concentrated and distributed) in terms of free and permanent responses. This can be accomplished with the use of the dynamical basis generated by the impulse response. The influence of the transients due to elementary inputs and piecewise linear forcing inputs is observed with the forced response. Finite differences numerical integration schemes, matrix differential systems and a clamped-supported Euler-Bernoulli beam with axial force are considered.
Multimodal optimizations: can legacy systems defeat them?
Authors: John Harper, Donal Sweeney
Venue: Proceedings of the 2001 workshop on Perceptive user interfaces (2001)

This paper describes several results obtained during the implementation and evaluation of a speech complemented interface to a vehicle monitoring system. A speech complemented interface is one wherein the operations at the interface (keyboard and mouse, for instance) are complemented by operator speech not directly processed by the computer. Such systems from an interface perspective have 'low brow' multimodal characteristics. Typical domains include vehicle tracking applications (taxis, buses, freight) where operators frequently use speech to confirm displayed vehicle properties with a driver.
A push-relabel framework for submodular function minimization and applications to parametric optimization
Authors: Lisa Fleischer, Satoru Iwata
Venue: Discrete Applied Mathematics (2003)

Recently, the first combinatorial strongly polynomial algorithms for submodular function minimization have been devised independently by Iwata, Fleischer, and Fujishige and by Schrijver. In this paper, we improve the running time of Schrijver's algorithm by designing a push-relabel framework for submodular function minimization (SFM). We also extend this algorithm to carry out parametric minimization for a strong map sequence of submodular functions in the same asymptotic running time as a single SFM. Applications include an efficient algorithm for finding a lexicographically optimal base.
I Have My State, You Have Yours
Authors: Elaine Weyuker
Venue: IEEE Software (2003)

No single state of the practice of software engineering exists; different companies and projects have different ways of doing things.
A simple subdivision formula for quadrilateral Wachspress patches
Authors: H. P. Dikshit, A. Ojha
Venue: Computer Aided Geometric Design (2003)

In the present paper, we obtain a subdivision formula for Wachspress quadrilateral patches introduced in (Dahmen et al., 2000) and further studied in (Dikshit and Ojha, 2002).
Delay estimation for CMOS functional cells
Authors: Jan Madsen
Venue: Proceedings of the conference on European design automation (1991)

This paper presents a new RC tree network model for delay estimation of CMOS functional cells. The model is able to reflect topological changes within a cell, which is of particular interest when doing performance driven layout synthesis. Further, a set of algorithms to perform worst case analysis on arbitrary CMOS functional cells using the proposed delay model, is presented. Both model and algorithms have been implemented as a part of a cell compiler (CELLO) working in an experimental silicon compiler environment.
A pointless derivation of radix sort
Authors: Jeremy Gibbons
Venue: Journal of Functional Programming (1999)

This paper is about point-free (or &lsquo;pointless&rsquo;) calculations &ndash; calculations performed at the level of function composition instead of that of function application. We address this topic with the help of an example, namely calculating the radix-sort algorithm from a more obvious specification of sorting. The message that we hope to send is that point-free calculations are sometimes surprisingly simpler than the corresponding point-wise calculations.
XML-Based Communication Protocols for WebGIS
Authors: Yingwei Luo, Xinpeng Liu, Xiaolin Wang, Zhuoqun Xu
Venue: Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing (2003)

Aiming to the features of complex objects and massive data transmission, a new XML-based method to design and implement communication protocols for WebGIS is presented. The paper illustrates the mechanism in designing communication protocols following W3C's XMLSchema specification, as well as provides main flow to embed them into WebGIS by packing and parsing XML-based protocols. This kind of protocols can be used in spatial information exchange among heterogeneous platforms of in distributed environment.
Human Factors in Visualization Research
Authors: Melanie Tory, Torsten Möller
Venue: IEEE Transactions on Visualization and Computer Graphics (2004)

Abstract--Visualization can provide valuable assistance for data analysis and decision making tasks. However, how people perceive and interact with a visualization tool can strongly influence their understanding of the data as well as the system's usefulness. Human factors therefore contribute significantly to the visualization process and should play an important role in the design and evaluation of visualization tools. Several research initiatives have begun to explore human factors in visualization, particularly in perception-based design. Nonetheless, visualization work involving human factors is in its infancy, and many potentially promising areas have yet to be explored. Therefore, this paper aims to 1) review known methodology for doing human factors research, with specific emphasis on visualization, 2) review current human factors research in visualization to provide a basis for future investigation, and 3) identify promising areas for future research.