31047077
Deriving Genetic Programming Fitness Properties by Static Analysis
The aim of this paper is to introduce the idea of using static analysis of computer programs as a way of measuring fitness in genetic programming. Such techniques extract information about the programs without explicitly running them, and in particular they infer properties which hold across the whole of the input space of a program. This can be applied to measure fitness, and has a number of advantages over measuring fitness by running members of the population on test cases. The most important advantage is that if a solution is found then it is possible to formally trust that solution to be correct across all inputs. This paper introduces these ideas, discusses various ways in which they could be applied, discusses the type of problems for which they are appropriate, and ends by giving a simple test example and some questions for future research.
2495230
Timbre interfaces using adjectives and adverbs
How can we provide interfaces to synthesis algorithms that will allow us to manipulate timbre directly, using the same timbre-words that are used by human musicians to communicate about timbre? This paper describes ongoing work that uses machine learning methods (principally genetic algorithms and neural networks) to learn (1) to recognise timbral characteristics of sound and (2) to adjust timbral characteristics of existing synthesized sounds.
8792186
Artificial Immune Systems and the Grand Challenge for Non-classical Computation
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the identified Grand Challenges is Non-Classical Computation, which examines many of the fundamental assumptions of Computer Science, and asks what would result if they were systematically broken. In this discussion paper, we explain how the sub-discipline of Artificial Immune Systems sits squarely in the province of this particular Grand Challenge, and we identify certain key questions.
2382274
Synthesising Timbres and Timbre-Changes from Adjectives/Adverbs
Synthesising timbres and changes to timbres from natural language descriptions is an interesting challenge for computer music. This paper describes the current state of an ongoing project which takes a machine learning approach to this problem. We discuss the challenges that are presented by this, discuss various strategies for tackling this problem, and explain some experimental work. In particular our approach is focused on the creation of a system that uses an analysis-synthesis cycle to learn and then produce such timbre changes.
15050037
Journeys in non-classical computation I: A grand challenge for computing research
1. The challengeA gateway event [35] is a change to a system that leads to the possibility of huge increases inkinds and levels of complexity. It opens up a whole new kind of phase space to the system’sdynamics.Gatewayeventsduringevolutionoflifeonearthincludetheappearanceofeukaryotes(organisms with a cell nucleus), an oxygen atmosphere, multi-cellular organisms and grass.Gatewayeventsduringthedevelopmentofmathematicsincludeeachinventionofanewclassofnumbers (negative, irrational, imaginary, ...), and dropping Euclid’s parallel postulate.A gateway event produces a profound and fundamental change to the system: Oncethrough the gateway, life is never the same again. We are currently poised on the threshold ofa signiﬁcant gateway event in computation: That of breaking free from many of our current“classical computational” assumptions. Our Grand Challenge for computer science isto journey through the gateway event obtained by breaking our current classicalcomputational assumptions, and thereby develop a mature science of Non-ClassicalComputation2. Journeys versus goals
35998651
Artificial Immune System Programming for Symbolic Regression
Artificial Immune Systems are computational algorithms which take their inspiration from the way in which natural immune systems learn to respond to attacks on an organism. This paper discusses how such a system can be used as an alternative to genetic algorithms as a way of exploring program-space in a system similar to genetic programming. Some experimental results are given for a symbolic regression problem. The paper ends with a discussion of future directions for the use of artificial immune systems in program induction.
18085576
Semantic errors - diagnosis and repair
In compiler technology, semantic error handling has too often used ad hoc techniques and terse messages of fixed content. In contrast, we present general models of diagnosis and repair of semantic errors and illustrate their use in the York Ada Workbench Compiler. The diagnostic model focuses upon the problem of selecting suitable information from which the programmer can locate and correct an error; following a brief discussion of an approach in which <underline>filters</underline> are applied to reports, and we give a more extensive account of a new approach using an <underline>interactive diagnostic interpreter</underline>. The repair model is based upon the idea of <underline>plastic</underline> nodes which are introduced into the compiler's internal representation of a program to replace <underline>normal</underline> nodes which are missing or erroneous.
12725153
Computational Engineering and Science Program at the University of Utah
The grand computational challenges in engineering and science require for their resolution a new scientific approach. As one report points out, “The use of modern computers in scientific and engineering research and development over the last three decades has led to the inescapable conclusion that a third branch of scientific methodology has been created. It is now widely acknowledged that, along with traditional experimental and theoretical methodologies, advanced work in all areas of science and technology has come to rely critically on the computational approach.” This methodology represents a new intellectual paradigm for scientific exploration and visualization of scientific phenomena. It permits a new approach to the solution of problems that were previously inaccessible.
846602
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
The quality of the design of an interactive safety-critical system can be enhanced by embedding data and knowledge from past experiences. Traditionally, this involves applying scenarios, usability analysis, or the use of metrics for risk analysis. In this paper, we present an approach that uses the information from incident investigations to inform the development of safety-cases that can, in turn, be used to inform a formal system model, represented using Petri nets and the ICO formalism. The foundations of the approach are first detailed and then exemplified using a fatal mining accident case study.
40520811
A note on cospectral graphs
Abstract The notion of a (1, x ) adjacency matrix is introduced, together with methods for dealing with it. It is shown that in many instances this adjacency matrix is superior to the usual (0, 1) adjacency matrix, and will distinguish cospectral pairs, when the latter will not. In those cases in which the (1, x ) adjacency matrix fares no better than the (0, 1) adjacency matrix, a good deal can be said about the matrices by which the cospectral pairs are similar.
8317114
Decision theory and safety-critical interfaces
Risk assessment techniques are being used to support the engineering of complex, safety-critical systems. They help to identify those situations that pose the greatest threat to an application. They can also be used to inform interface development. For example, operators must be presented with additional contextual information during infrequent, high-cost failures. Many risk assessment techniques cannot represent the temporal properties that affect usability. Few techniques provide means of reasoning about user input or output. This paper presents means of overcoming these limitations. It is argued that temporal logic can be used to represent sequential and concurrent properties of interaction. The same notation can also be used to specify presentation requirements. Temporal logic does not, however, provide means of representing risk. Decision theory is recruited to introduce probability and cost into the notation. The logic is then applied to reason about the different effects that low frequency, high cost failures have upon a user interface. A limitation of this approach is that the extended logic provides little impression of what it would be like to interact with a stochastic application. Simulation tools have been developed to avoid this limitation.