Crickets, myths and magic

The paper discusses the relationship between fairy-tales, mythical stories, fiction for children and opera, with particular reference to Richard Ayres's opera 'The Cricket Recovers'. (June 2005

The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data

When developing formal theories of the meaning of language, it is appropriate to consider how apparent paradoxes and conundrums of language are best resolved. But if we base our analysis on a small sample of data then we may fail to take into account the influence of other aspects of meaning on our intuitions. Here we consider the so-called Good Samaritan Paradox (Prior, 1958), where we wish to avoid any implication that there is an obligation to rob someone from "You must help a robbed man". We argue that before settling on a formal analysis of such sentences, we should consider examples of the same form, but with intuitively ?different entailments ? such as "You must use a clean knife" ? and also actively seek other examples that exhibit similar contrasts in meaning, even if they do not exemplify the phenomena that is under investigation. This can refine our intuitions and help us to attribute aspects of interpretation to the various facets of meaning

Statechart Slicing

The paper discusses how to reduce a statechart model by slicing. We start with the discussion of control dependencies and data dependencies in statecharts. The and-or dependence graph is introduced to represent control and data dependencies for statecharts. We show how to slice statecharts by using this dependence graph. Our slicing approach helps systems analysts and system designers in understanding system specifications, maintaining software systems, and reusing parts of systems models

The Influence of Text Pre-processing on Plagiarism Detection

This paper explores the influence of text preprocessing techniques on plagiarism detection. We examine stop-word removal, lemmatization,number replacement, synonymy recognition, and word generalization. We also look into the influence of punctuation and word-order within N-grams. All these techniques are evaluated according to their impact on F1-measure and speed of execution. Our experiments were performed on a Czech corpus of plagiarized documents about politics. At the end of this paper, we propose what we consider to be the best combination of text pre-processing techniques

Spiral Growth Manufacturing (SGM) – A Continuous Additive Manufacturing Technology for Processing Metal Powder by Selective Laser Melting

Spiral growth manufacturing is a new innovative powder based rapid manufacturing technique. The innovation exists in the methodology in which powder layers are deposited. Unlike other pre-placed powder systems, the deposited layers move relative to the location at which they are processed. This is made possible by a rotating build drum into which powder is deposited, in spiralled layers, from a stationary hopper. With this configuration powder can be continuously deposited and levelled and simultaneously processed, eliminating delays in the build cycle. Stainless steel and cobalt-chrome powder is selectively melted using a 100W flash lamp pumped Nd:YAG laser. This paper reports on factors affecting build rate and on build strategies for creating a number of axis-symmetric thin and thick walled cylinders. Experimental results suggest that build rate for thin walled structures bonded to a substrate will ultimately be governed by tangential movements of the powder particles when frictional forces are not sufficient to accelerate the particles along a curved path, provided that enough laser power is available for melting. Even melt pool balling, which is evident when melting one layer at high speeds, diminishes in multiple layer builds due to re-melting and infilling.Mechanical Engineerin

Theoretical prediction of interference loading on aircraft stores: Part I - Subsonic speeds

Computer program is developed for theoretically predicting loading on pylon-mounted stores in subsonic compressible flow. Linear theory predicts flow field produced by aircraft wing, nose, inlet, and pylons. Program was written in FORTRAN IV for CDC 6000 computer