Software packages developed for visualising time-varying timbres, findingparameter settings for modelling acoustic instrument tones, and forsynthesising timbres are described. The sndan package, written in C for Unix machines, provides spectrum analysis, pitch tracking, spectrumdisplay, parameter modification, and additive synthesis. Other programsthat estimate the best possible parameters for recreating acoustic soundsusing techniques such as multiple FM and wavetable synthesis and extendednonlinear/filter synthesis are outlined. Hybrid instruments created byfashioning sounds out of the recombined spectral characteristics of two ormore very different tones are also presented.

Evolution in musical notation has been tied to the development of music theory and performance.

Clustering of a translation memory is proposed to make the retrieval of similar translation examples from a translation memory more efficient, while a second contribution is a metric of text similarity which is based on both surface structure and content. Tests on the two proposed techniques are run on part of the CELEX database. The results reported indicate that the clustering of the translation memory results in a significant gain in the retrieval response time, while the deterioration in the retrieval accuracy can be considered to be negligible. The text similarity metric proposed is evaluated by a human expert and found to be compatible with the human perception of text similarity.

In this article, and within the context of sound art as a basis for artistic freedom in experimental music and art, the development of pendulum-based sculptural instruments and an improvisational form of video called ‘percussive video’ are described. Methods used to produce time-based public art events are also outlined, and their effectiveness in directing social change at the local level is discussed.

Case systems abound in natural language processing. Almost any attempt to recognize and uniformly represent relationships within a clause – a unit at the centre of any linguistic system that goes beyond word level statistics – must be based on semantic roles drawn from a small, closed set. The set of roles describing relationships between a verb and its arguments within a clause is a case system. What is required of such a case system? How does a natural language practitioner build a system that is complete and detailed yet practical and natural? This paper chronicles the construction of a case system from its origin in English marker words to its successful application in the analysis of English text.

The maximal zero-free intervals for chromatic polynomials of graphs are precisely (−∞, 0), (0, 1), (1, 32/27]. We also investigate the distribution of zeros of chromatic polynomials in various classes of graphs closed under minors. For example, the zeros of chromatic polynomials of graphs of tree-width at most k consist of 0, 1 and a dense subset of the interval (32/27, k].

A graph G is called an H-type graph for some graph H if there is a mapping from V(G) to V(H) preserving edges. In this paper, we shall prove that: (1) every triangle-free graph G of order n with χ(G)[les ]3 and δ(G)>n/3 is of Fd-type for some d[ges ]1, where Fd is a certain d-regular triangle-free Hamiltonian Cayley graph of order 3d−1, (2) every triangle-free graph G of order n with χ(G)[ges ]4 and δ(G)>n/3 contains the Mycielski graph (see Figure 2) as a subgraph.

The cyclic tour property has previously been an equality for the expected time to complete a tour, compared with that for the reverse tour, for reversible Markov chains. We give a simple bijection to show that the equality can be extended to the distributions involved. The bijection is based on rotation of circular words.

We study the fraction of time that a Markov chain spends in a given subset of states. We give an exponential bound on the probability that it exceeds its expectation by a constant factor. Our bound depends on the mixing properties of the chain, and is asymptotically optimal for a certain class of Markov chains. It beats the best previously known results in this direction. We present an application to the leader election problem.

This paper presents a new and self-contained proof of a result characterizing objects isomorphic in the free symmetric monoidal closed category, i.e., objects isomorphic in every symmetric monoidal closed category. This characterization is given by a finitely axiomatizable and decidable equational calculus, which differs from the calculus that axiomatizes all arithmetical equalities in the language with 1, product and exponentiation by lacking 1c=1 and (a · b)c=ac · bc (the latter calculus characterizes objects isomorphic in the free cartesian closed category). Nevertheless, this calculus is complete for a certain arithmetical interpretation, and its arithmetical completeness plays an essential role in the proof given here of its completeness with respect to symmetric monoidal closed isomorphisms.

This paper studies the properties of the subnets of a proof-net for first-order Multiplicative Linear Logic without propositional constants (MLL−), extended with the rule of Mix: from [vdash ]Γ and [vdash ]Δ infer [vdash ]Γ, Δ. Asperti's correctness criterion and its interpretation in terms of concurrent processes are extended to the first-order case. The notions of kingdom and empire of a formula are extended from MLL− to MLL−+MIX. A new proof of the sequentialization theorem is given. As a corollary, a system of proof-nets is given for De Paiva and Hyland's Full Intuitionistic Linear Logic with Mix; this result gives a general method for translating Abramsky-style term assignments into proof-nets, and vice versa.

This paper reviews Machine Learning (ML), and extends and complements previous work (Kocabas, 1991; Kalkanis and Conroy, 1991). Although this paper focuses on inductive learning, it at least touches on a great many aspects of ML in general. In addition, incremental induction is also reviewed. Therefore, a general review of ML is presented, but specific detail which has been covered previously is omitted, although other relevant references are noted, and later material is commented upon.

‘Uncertainty reasoning” refers in a general way to problems discussed by that subset of the AI community interested in representing and reasoning with knowledge that cannot be expressed as certainties. The range of problems discussed runs the gamut from fundamental philosophical inquiry into the nature of uncertainty and how (if at all) it can be measured and modelled, to practical performance issues arising from the (automatic) construction of real-world models and making inferences from such models.

Milner's action calculus implements abstraction in monoidal categories, so that familiar λ-calculi can be subsumed together with the π-calculus and the Petri nets. Variables are generalised to names, which allow only a restricted form of substitution.

In the present paper, the well-known categorical semantics of the λ-calculus is generalised to the action calculus. A suitable functional completeness theorem for symmetric monoidal categories is proved: we determine the conditions under which the abstraction is definable. Algebraically, the distinction between the variables and the names boils down to the distinction between the transcendental and the algebraic elements. The former lead to polynomial extensions, like, for example, the ring ℤ[x]; the latter lead to algebraic extensions like ℤ[√2] or ℤ[i].

Building upon the work of P. Gardner, we introduce action categories, and show that they are related to the static action calculus in exactly the same way as cartesian closed categories are related to the λ-calculus. Natural examples of this structure arise from allegories and cartesian bicategories. On the other hand, the free algebras for any commutative Moggi monad form an action category. The general correspondence of action calculi and Moggi monads will be worked out in a sequel to this work.

This article presents a full analysis of Crosstalk – a piece for tape by Michael Vaughan (1989). The methodological approach employed here develops its concepts and techniques from those of Music Semiology and Spectromorphology. The former provides the concept and method of semiological neutral inference – as applied by Nattiez (1982, 1990). The latter – developed by Smalley (1986) – offers tools and a terminology for the characterisation of timbre and temporal functionality within the musical work.

A V-labelled poset P can induce an operation on the languages on any fixed alphabet, as well as an operation on labelled posets (as noticed by Pratt and Gischer (Pratt 1986; Gischer 1988)). For any collection X of V-labelled posets and any alphabet Σ we obtain an X-algebra ΣX of languages on Σ. We consider the variety Lang(X) generated by these algebras when X is a collection of nonempty ‘traceable posets’. The current paper contains several observations about this variety. First, we use one of the basic results in Bloom and Ésik (1996) to show that a concrete description of the A-generated free algebra in Lang(X) is the X-subalgebra generated by the singletons (labelled a∈A) in the X-algebra of all A-labelled posets. Equipped with an appropriate ordering, these same algebras are the free ordered algebras in the variety Lang(X)[les ] of ordered language X-algebras. Further, if one enriches the language algebras by adding either a binary or infinitary union operation, the free algebras in the resulting variety are described by certain ‘closed’ subsets of the original free algebras. Second, we show that for ‘reasonable sets’ X, the variety Lang(X) has the property that for each n[ges ]2, the n-generated free algebra is a subalgebra of the 1-generated free algebra. Third, knowing the free algebras enables us to show that these varieties are generated by the finite languages on a two-letter alphabet.