RealWork
10 - 12 July
EPSRC/LMS MathFit Workshop on
COMPLEXITY AND EXACT COMPUTATION OVER THE REAL NUMBERS
Inaugural Lecture
18 January 1999
Professor Vladimir Vapnik, Professor of Computer Science and Statistics, Royal Holloway, University of London
PROBLEMS OF INDUCTIVE INFERENCE, STATISTICAL ANALYSIS AND COMPUTER LEARNING
20 January
Dr Emmanuel Pothos, Dept of Psychology, University of Wales (Bangor)
HOW MDL CAN LEAD TO TESTABLE PREDICTIONS IN HUMAN CLASSIFICATION
3 February
Professor Bertrand Salem Clarke, Department of Statistical Science, University College - on sabbatical from Department of Statistics, University of British Columbia
MODEL SELECTION AND UNCERTAINTY IN ONLINE PREDICTION
17 February
Mr Ewan Birney, Wellcome Trust Genome Campus, The Sanger Centre, Cambridge
USING FINITE STATE MACHINES TO DECODE THE HUMAN GENOME
9 March
Mr Bernard Girau, Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), France
FIELD PROGRAMMABLE NEURAL ARRAYS
10 March
Mr Ralf Herbrich, Department of Computer Science, Technical University Berlin
CLASSIFICATION ON PROXIMITY DATA WITH LP- AND QP-MACHINES
17 March
Dr Marta Kwiatkowska, School of Computer Science, University of Birmingham
PROBABILISTIC MODEL CHECKING
26 March
Dr Yann Guermeur, LIP6, Universite Paris VI
A HIERARCHICAL METHOD FOR PROTEIN SECONDARY STRUCTURE PREDICTION
26 April
Dr Boris Mirkin, German National Cancer Center, Heidelberg, Germany, and DIMACS, Rutgers, The State University of New Jersey, USA
ANALYZING CLUSTER STRUCTURES IN BIOMOLECULAR DATA
27 April
Dr Alexander Shen, Institute of Problems of Information Transmission, Moscow, and Ecole Normale Superiore de Lyon (March-May 1999)
INFORMATION: ALGORITHMIC, COMBINATORIAL AND PROBABILISTIC APPROACHES
28 April
Dr Andrei Krokhin, Dept of Mathematics and Mechanics, Ural State University, Russia
CONSTRAINT SATISFACTION PROBLEMS AND FINITE ALGEBRAS
25 May
Dr Chrystopher L Nehaniv, Department of Computer Science, University of Hertfordshire
SOME CHALLENGES AND RESULTS FOR MATHEMATICAL AND COMPUTATIONAL BIOLOGY
7 June
Professor Tom Downs, Department of Electrical and Computer Engineering, University of Queensland, Australia
ALGORITHMS FOR MAXIMUM MARGIN CLASSIFIERS
14 June
Professor Ken Robinson, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
BRIDGING ALGEBRAIC AND MODEL-BASED SPECIFICATION AND DEVELOPMENT USING B
21 June
Dr Shaogang Gong, Department of Computer Science, Queen Mary and Westfield College, University of London
FROM IMAGES TO HUMAN RECOGNITION
24 June
Dr Rolf Backofen, Institut für Informatik, Ludwig-Maximilians-Universität München, Germany
OPTIMIZATION TECHNIQUES FOR THE PROTEIN STRUCTURE PREDICTION PROBLEM
20 July
Dr Klaus Meer, RWTH Aachen, Germany
AN INTRODUCTION TO REAL NUMBER COMPLEXITY THEORY
13 September
Dr Alexander J Smola, GMD First, Berlin
FROM PRINCIPAL COMPONENT ANALYSIS TO UNSUPERVISED LEARNING WITH KERNELS
21 September
Dr Nadia Chuzhanova, Department of Computer Science, Cardiff University
COMPLEXITY MEASURES OF SYMBOLIC SEQUENCES AND THEIR APPLICATION TO DNA ANALYSIS
22 September
Dr Franca Fraternali, National Institute for Medical Research, London
THEORETICAL SIMULATIONS OF PROTEINS: REFINING, VALIDATING, PREDICTING STRUCTURAL DATA
23 September
Dr John Hancock, Medical Research Council Clinical Sciences Centre, Hammersmith Hospital
SIMPLE SEQUENCES IN GENOMES: NOT JUST JUNK
11 October
Mr Danny Roobaert, CVAP, Numerical Analysis and Computing Science, Royal Institute of Technology, Stockholm, Sweden
IMPROVING SUPPORT VECTOR LEARNING FOR PATTERN RECOGNITION WITH IRRELEVANT DIMENSIONS
13 October
Dr Mansoor Saqi, Biomolecular Modelling Laboratory, Imperial Cancer Research Fund, London
USING PROTEIN FOLD RECOGNITION IN ENHANCED GENOME ANALYSIS
14 October
Dr Martin Neil, Centre for Software Reliability, City University and Agena Ltd, London
BUILDING LARGE-SCALE BAYESIAN NETWORKS
18 October
Dr Nobuko Yoshida, School of Cognitive and Computing Sciences, University of Sussex
SUBTYPING AND LOCALITY IN DISTRIBUTED HIGHER ORDER PROCESSES
22 October
Dr Erich Bornberg-Bauer, Bioinformatics and Biocomputing group, European Media Laboratory, Heidelberg
BIOINFORMATICS FROM AN EVOLUTIONARY PERSPECTIVE: COMPUTING EVOLUTIONARY TRAJECTORIES TO SUPPORT THE DETECTION OF SUBTLE FUNCTIONAL SIGNALS IN PROTEIN SEQUENCES
25 October
Dr Paul Goldberg, Dept of Computer Science, University of Warwick
LEARNING FIXED-DIMENSION LINEAR THRESHOLDS FROM FRAGMENTED DATA
1 November
Professor Norman Fenton, Centre for Software Reliability,City University
BAYESIAN NETS: FROM LEGAL ARGUMENTS TO SOFTWARE RISK ASSESSMENT
8 November
Mr Matthias Rychetsky, Darmstadt University of Technology, Institute of Microelectronic Systems, Germany
SUPPORT VECTOR APPROACHES FOR ENGINE KNOCK DETECTION
22 November
Dr Simon Ambler, Department of Mathematics and Computer Science, University of Leicester
A MECHANIZED ACCOUNT OF PROGRAM EQUIVALENCE
6 December
Professor M Gelfand, State Scientific Center for Biotechnology GosNIIGenetika, Moscow, Russia
COMPUTER-ASSISTED FUNCTIONAL ANNOTATION OF DNA SEQUENCES
13 December
Dr Peter Sollich, Department of Mathematics, King's College, University of London
PROBABILISTIC METHODS FOR SUPPORT VECTOR MACHINES
14 December
Dr Ralf Herbrich, Department of Computer Science, Technical University Berlin, Berlin, Germany
A PAC-BAYESIAN BOUND FOR LINEAR CLASSIFIERS