This paper describes the system SYNHESYS, which is a shell for developing expert systems composed of both a connectionist module and a symbolic module. The shell allows for several types of interactions between the two modules, and for several degrees of coupling. SYNHESYS aims at facilitating the process of knowledge acquisition and at improving the performance of the symbolic module. We prese...

The computer science literature discusses code and algorithms extensively, but not always reliably. Tool support can help ensure integrity between code and explanation so that published papers are more reliable. A versatile, light-weight tool to support explaining code for publication is justified, described and compared with alternatives. The tool works with Java, C and similar languages, and ...

The Adobe Supplement to the ISO 32000 document introduces a new annotation type, the rich media annotation. This paper describes rmannot, a new LTEX package that implements this new annotation. Additionally, the acroflex package, a major application of rmannot, is also discussed with some technical details. Work on these two packages followed the time the author spent working for Adobe Systems ...

Based on the frequent requests for help that I have received in the past months from users who want to configure TEX or LTEX for typesetting in several languages, it seems that this sort of information is not adequately covered in the documentation available to most do-it-yourself users. This tutorial is intended to give basic information on this topic. The related subject of hyphenation patter...

A simple tool is proposed to aid in the development of op erational semantics The tool supports publication qual ity rendering using LTEX execution and animation us ing a functional programming system and derivation tree browsing using Netscape The tool has been implemented and it has been used on a large subset of the Java Vir tual Machine as well as a number of relatively small lan guages The...

Let $A$ be a Banach algebra and $X$ be a Banach $A$-bimodule with the left and right module actions $pi_ell: Atimes Xrightarrow X$ and $pi_r: Xtimes Arightarrow X$, respectively. In this paper, we  study  the topological centers of the left module action $pi_{ell_n}: Atimes X^{(n)}rightarrow X^{(n)}$ and the right module action $pi_{r_n}:X^{(n)}times Arightarrow X^{(n)}$,  which inherit from th...

let $s$ be an inverse semigroup and let $e$ be its subsemigroup of idempotents. in this paper we define the $n$-th module cohomology group of banach algebras and show that the first module cohomology group $hh^1_{ell^1(e)}(ell^1(s),ell^1(s)^{(n)})$ is zero, for every odd $ninmathbb{n}$. next, for a clifford semigroup $s$ we show that $hh^2_{ell^1(e)}(ell^1(s),ell^1(s)^{(n)})$ is a banach space,...

in the present paper, the concepts of module (uniform) approximate amenability and contractibility of banach algebras that are modules over another banach algebra, are introduced. the general theory is developed and some hereditary properties are given. in analogy with the banach algebraic approximate amenability, it is shown that module approximate amenability and contractibility are the same ...

In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...