5347997
WME: towards a web for mathematics education
Reported is an approach for Web-based Mathematics Education (WME). The WME framework is a distributed system that aims to create a Web for mathematics education. Components of the WME framework include the Mathematics Education Markup Language (MeML) for page markup, regular Web servers to deliver pages, WME Page Processors to enable common Web browsers to receive MeML pages, and a variety of WME services (mathematical and educational) to supply power and interactivity to MeML pages. The MeML language supports the creation of efficient, effective, and dynamic mathematics education content. The WME architecture is designed so that mathematics education contents (static and/or dynamic) and remote WME services can be built independently, maintained independently, deployed easily, and still interoperate and reinforce one another on a global scale.
17343502
IAMC architecture and prototyping: a progress report
Internet Accessible Mathematical Computation (IAMC) is a distributed framework to supply mathematical computing powers over the Internet. Presented are conceptual and experimental work on the IAMC architecture, a client prototype (Dragonfly), client GUI, a server prototype (Starfish), the Mathematical Computation Protocol (MCP), mathematical data encoding, and the external compute engine interface.
16442663
Parallel univariate polynomial factorization on shared-memory multiprocessors
Using parallelism afforded by shared-memory multiprocessors to speed up systems for polynomial factorization is discussed. The approach is to take the fastest known factoring algorithm for practical purposes and parallelize key parts of it. The univariate factoring algorithm consists of two major tasks (a) factoring modulo small integer primes and (b) EEZ lifting and recovery of true factors. A C coded system PFACTOR that implements (a) in parallel is described in detail. PFACTOR is a stand-alone parallel factorizer that can take input from a file, a pipe or a socket connection over a network. It can also be used interactively as a UNIX command. PFACTOR consists of parallel selection of primes, automatic balancing of work, parallel Berlekamp algorithm, and parallel reconciliation of degrees of factors modulo different primes. Actual timings on the Encore Multimax show the effectiveness of the approach. Work on part (b) is still on going.
40949007
Pluggability Issues in the Multi Protocol
There are several advantages to providing communication links between independent scientific applications. Important problems to solve include data and control integration. Solving these problems separately is an essential aspect of the design and implementation of a protocol for mathematics. The Multi Protocol (MP) specification addresses the exchange of mathematical data by focusing only on the data encoding issues. In this way, MP can be plugged into various existing data transport mechanisms addressing control integration, or augmented by a higher control-related protocol layer. Our implementation of MP is independent of the data transport mechanism and can work with several devices. An application puts/gets data to/from MP buffers which communicate with the transport device through an abstract device interface. This paper describes the general design of the interface between MP and a transport device and the lessons we have learned during its implementation.
10322452
SUI: a system independent user interface for an integrated scientific computing environment
The design and implementation of a Scientific User Interface is presented. Written in the C language, SUI is a window-menu-mouse oriented graphical user interface that is designed to provide a modern and integrated computing environment for scientific work. SUI can serve multiple client systems in parallel including symbolic, numeric, graphics and document formatting systems. SUI achieves hardware and operating system independence as well as network transparency by employing the X11 protocols and achieves client system independence by defining a client-SUI protocol that is simple and effective. Features of SUI includes input editing, history, 2-D mathematical expression display, interactive selection of subexpressions, interactive display and manipulation of 2-D and 3-D plots of mathematical functions, cut and paste with syntax translation, command templates, incremental 2-D display of mathematical input, and interactive configuration. A prototype system demonstration is planned for ISSAC'90
28403175
GI/S: A Graphical User Interface For Symbolic Computation Systems
The design and implementation of GI/S, a Graphical user Interface for Symbolic computation systems, is described. The system provides a multiple window environment for the high-resolution 2-D display of mathematical expressions, the ability to select and manipulate parts of expressions with a mouse, and graphics plotting of mathematical expressions. GI/S also provides command line editing and a history mechanism for editing and re-executing past commands. GI/S is written in Franz Lisp for the Macsyma system and has been implemented on the Tektronix 4404 workstation.
13452585
Robust Clustering based on Winner-Population Markov Chain
In this paper, we propose an unsupervised genetic clustering algorithm, which produces a new chromosome without any conventional genetic operators, and instead according to the gene reproducing probabilities determined by Markov chain modeling. Selection of cluster centers from the dataset enables construction of a look-up table that saves the distances between all pairs of data points. The experimental results show that the proposed algorithm not only solves the premature problem to provide a more stable clustering performance in terms of number of clusters and clustering results, but also improves the time efficiency
16423538
On Decentralised Clustering in self-monitoring networks
A Decentralised Adaptive Clustering (DAC) algorithm for multiagent networks is contrasted with a Fixed-order Centralised Adaptive Clustering algorithm (FCAC). The clustering is done on sensor readings detected within a self-monitoring impact sensing network. Simulation results show that DAC algorithm scales well with increasing network and data sizes and in some cases outperforms FCAC algorithm. While the common-sense intuition suggests that centralised algorithm is always superior, we support the simulation results with a simple counter-example.
34131767
Problem Solving With Insufficient Resources
A new approach, "controlled concurrency," is introduced for inference control in an adaptive reasoning system working with insufficient knowledge and resources. With this method, a problem-solving process is constructed from atomic steps in run time, according to the system's past experience and the current context. The system carries out many such processes in parallel by distributing its resources among them, and dynamically adjusting the distribution according to feedback. A data structure, "bag," is designed to support this dynamic time-space allocation, and is a kind of probabilistic priority queue. This approach provides a flexible, efficient, and adaptive control mechanism for real-time systems working with uncertain knowledge. To analyze problem solving in such a system, the traditional computability theory and computational complexity theory become inappropriate, because the system no longer follows problem-specific algorithms in problem solving.
10403489
On reducing classifier granularity in mining concept-drifting data streams
Many applications use classification models on streaming data to detect actionable alerts. Due to concept drifts in the underlying data, how to maintain a model's up-to-dateness has become one of the most challenging tasks in mining data streams. State of the art approaches, including both the incrementally updated classifiers and the ensemble classifiers, have proved that model update is a very costly process. In this paper, we introduce the concept of model granularity. We show that reducing model granularity will reduce model update cost. Indeed, models of fine granularity enable us to efficiently pinpoint local components in the model that are affected by the concept drift. It also enables us to derive new components that can easily integrate with the model to reflect the current data distribution, thus avoiding expensive updates on a global scale. Experiments on real and synthetic data show that our approach is able to maintain good prediction accuracy at a fraction of model updating cost of state of the art approaches.
41563247
Analytical design of digital nonrecursive maximally flat fractional Hilbert transformer
Recently, a generalization of the Hilbert transformer, the fractional Hilbert transformer, was defined and developed. In this paper, we propose a design of the FIR filter to realize the fractional Hilbert transformer based on the maximally flat approach. The impulse response is obtained explicitly. An efficient realization structure is constructed according to some properties of the impulse response.