Comments on “Learning convergence in the cerebellar modelarticulation controller”

The commenter refers to the paper by Wong-Sideris (ibid. vol.3, p.115-21 (1992)) claiming that the original Albus CMAC (or binary CMAC) is capable of learning an arbitrary multivariate lookup table, the linear optimization process is strictly positive definite, and that the basis functions are linearly independent, given sufficient training data. In recent work by Brown et al. (1994), however, it has been proved that the multivariate binary CMAC is unable to learn certain multivariate lookup tables and the number of such orthogonal functions increases exponentially as the generalization parameter is increased. A simple 2D orthogonal function is presented as a counterexample to the original theory. It is also demonstrated that the basis functions are-always linearly dependent, both for the univariate and the multivariate case, and hence the linear optimization process is only positive semi-definite and there always exists an infinite number of possible optimal weight vectors.     

Developing an expert law tutor

This paper outlines the development considerations which led to the construction of a prototype “expert law tutor”. This is a system which models the competencies of the trained law teacher and is intended primarily for use as an interactive student‐directed multidimensional learning tool. The aim is to computerize those activities which might be encountered in a real‐life tutorial exercise—research, reasoning, problem solving and advising, testing, diagnosis and feedback. The paper takes a liberal view of what constitutes an expert system. The terminology expert system is retained but is defined broadly, perhaps contrary to convention, to encompass not only an advisory component or a diagnostic tool but other tutorial functions. To highlight this difference reference is made to an “expert law tutor”. It is the “expertise” of the human law tutor which is called upon. For this reason the system includes a hypertext library or information component and an multiple choice assessment component as well as a legal adviser. Providing “expert” tutor feedback is a key element in the dialogue between system and student. The prototype system was developed using (inter alia) a rule‐based expert system shell and an object‐oriented hypertext tool, and the paper comments on the features of these development tools.     

A connection between the Cantor–Bendixson derivative and the well-founded semantics of finite logic programs

Results of Schlipf (J Comput Syst Sci 51:64?C86, 1995) and Fitting (Theor Comput Sci 278:25?C51, 2001) show that the well-founded semantics of a finite predicate logic program can be quite complex. In this paper, we show that there is a close connection between the construction of the perfect kernel of a $\Pi^0_1$ class via the iteration of the Cantor?CBendixson derivative through the ordinals and the construction of the well-founded semantics for finite predicate logic programs via Van Gelder??s alternating fixpoint construction. This connection allows us to transfer known complexity results for the perfect kernel of $\Pi^0_1$ classes to give new complexity results for various questions about the well-founded semantics ${\mathit{wfs}}(P)$ of a finite predicate logic program P.     

Computability of Countable Subshifts in One Dimension

We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor?CBendixson rank two contain only eventually periodic elements. Any rank two subshift in 2^? is decidable. Subshifts of rank three may contain members of arbitrary Turing degree. In contrast, effectively closed ( $\Pi^{0}_{1}$ ) subshifts of rank three contain only computable elements, but $\Pi^{0}_{1}$ subshifts of rank four may contain members of arbitrary $\Delta^{0}_{2}$ degree. There is no subshift of rank ??+1.     

A Distributed Workflow Management System with Case Study of Real-life Scientific Applications on Grids

Next-generation scientific applications feature complex workflows comprised of many computing modules with intricate inter-module dependencies. Supporting such scientific workflows in wide-area networks especially Grids and optimizing their performance are crucial to the success of collaborative scientific discovery. We develop a Scientific Workflow Automation and Management Platform (SWAMP), which enables scientists to conveniently assemble, execute, monitor, control, and steer computing workflows in distributed environments via a unified web-based user interface. The SWAMP architecture is built entirely on a seamless composition of web services: the functionalities of its own are provided and its interactions with other tools or systems are enabled through web services for easy access over standard Internet protocols while being independent of different platforms and programming languages. SWAMP also incorporates a class of efficient workflow mapping schemes to achieve optimal end-to-end performance based on rigorous performance modeling and algorithm design. The performance superiority of SWAMP over existing workflow mapping schemes is justified by extensive simulations, and the system efficacy is illustrated by large-scale experiments on real-life scientific workflows for climate modeling through effective system implementation, deployment, and testing on the Open Science Grid.     

Cyclic hot corrosion of Haynes 230 alloy

Cyclic hot corrosion conducted on Haynes 230 at temperatures of 871 and 1093 C indicated that catastrophic corrosion occurred. The corrosion rate was related to the high content of tungsten and chromium in the alloy. The concept of basic and acid fluxing was applied to explain the dissolution of the protective film of Cr₂O₃ and volatile WO₃ by an Na₂SO₄-rich liquid due to the formation of Na₂CrO₄ and Na₂WO₄. As the basic melts were acidified by continuously consuming oxygen ions, plate-like crystals of Cr₂O₃ were precipitated on the free surface by conversion from Na₂CrO₄. Acid fluxing was achieved by the refractory oxide, WO₃, consuming oxygen ions. The presence of sulphur suppressed the diffusion of chromium outward to form protective Cr₂O₃. Internal chromium-rich sulphide particles were observed. It was suggested that at very lowP _O2, sulphur reacted with chromium to form CrS initially. As oxygen penetrated through the porous layer, the CrS was oxidized internally to Cr₂O₃.     

QUICK: a tool for graphical user-interface construction by non-programmers

The last decade has placed the superiority of graphical user interfaces over traditional text-based approaches beyond dispute. In almost all contexts, users have found graphical interfaces easier to learn, faster to use, and less error-prone. However, it has been shown that the creation of powerful graphical interfaces takes up to 80% of the time required to develop an application. In our work, we seek to extend the benefits of graphical interaction to the next layer of computer user—the interface designer. Our work in this area is distinguished from other efforts by two important differences. First, while other efforts focus primarily on the design of standard user interfaces, our approach emphasizes the creation of unique and innovative interfaces by supporting, among other things, arbitrary user-designed graphical representations, direct specification of animation, and digitized sound. Second, our goal is to cater to the nonprogrammer. Thus, we address a challenging trade-off: maximizing power and flexibility in an extremely simple environment. We explore the utility of the prototype object-oriented paradigm, a high-level userinterface language, and a direct-manipulation programming environment in this context.