AnnRpt2000. book

Joint Research Projects undertaken with universities, CSIRO and other institutions
85
Complexity of Learning by Dr Peter BARTLETT with
Dr Shai Ben-David (Israel Institute of Technology
(Technion), Haifa, Israel)
Uniform Convergence by Dr Peter BARTLETT with
Dr Gabor Lugosi (Pompeu Fabra University, Barcelo-
na, Spain)
Logics for Hybrid Systems by Dr Jennifer DAVOREN
with Prof Anil Nerode (Cornell University, Ithaca,
USA)
Logical Methods for Hybrid Systems by Dr Jennifer
DAVOREN and Dr Thomas MOOR (SE) with Prof
Gerardo Lafferriere (Portland State University, Port-
land, USA), Dr George Pappas (University of
Pensylvania, Philadelphia, USA)
Modular and Hierarchical Control of Hybrid Systems
by Dr Jennifer DAVOREN and Dr Thomas MOOR
(SE) with Dr Jorg Raisch (Max Planck Institut, city,
country)
Investigating ATP Progress in the Light of TPTP Data
by Dr Matthias FUCHS with Dr Geoff Sutcliffe (James
Cook University, Townsville, QLD)
Concurrent Constraint Programming and Display Log-
ic by Dr Rajeev GORÉ with Dr Francois Fages
(Departement de Informatique, Ecolé Normale Super-
iéure, Paris, France)
Extending Display Calculi by Dr Rajeev GORÉ with
Dr Stéphane Demri (Laboratoire LEINBIZ, CNRS,
Paris, France)
Proof Theory of Nonclassical Logics by Dr Rajeev
GORÉ with Prof Hiroakira Ono (Japan Advanced In-
stitute of Science and Technology, Kanazawa, Japan)
Computational Interpretations of Intuitionistic Tense
Logics by Dr Rajeev GORÉ with Dr Jean Goubault-
Larrecq (GIE Dyade, Paris, France)
Propositional Logics on the Computer by Dr Rajeev
GORÉ with Prof Gerhard Jaeger (Institute of Applied
Mathematics, University of Berne, Switzerland)
Knowledge Representation for Machine Learning by
Prof John LLOYD with Dr Christophe Giraud-Carrier
(University of Bristol, Bristol, UK), Dr Antony Bowers
(STMicroelectronics Ltd, Bristol, UK)
Points at the Intersection of Relevant and Combinatory
Logics by Emeritus Prof Robert MEYER with Assoc
Prof Martin Bunder (University of Wollongong, Wol-
longong, NSW)
Joint Audio-Visual Evidence in Speech by Dr Bruce
MILLAR with Dr Gerard Bailly (Université Stendhal,
Grenoble, France), Dr Jordi Robert-Ribes (Cable and
Wireless Optus, Sydney, NSW)
Web-Accessible Descriptive Schemes for Spoken Lan-
guage Data by Dr Bruce MILLAR with Dr Toomas
Altosaar (Helsinki University of Technology, Helsinki,
Finland)
Modelling of Audio-Video Characterisation of the
Speaking Face by Dr Bruce MILLAR and Roland
GÖCKE with Prof Cheol-Woo Jo (Changwon Nation-
al University, Changwon, Korea)
Combinatorial Optimisation and Decision Problems by
Dr John SLANEY with Dr Sylvie Thiébaux and Dr Phil
Kilby (CSIRO Mathematical and Information Scienc-
es, Canberra)
Department of Systems Engineering
Department of Systems Engineering: collaborative
agreement with Volvo ABB, Sweden.
Control Relevant System Metrics for Model Validation
by Prof Brian ANDERSON, Dr Thomas BRINS-
MEAD with Dr Franky De Bruyne (Siemens,
Huizingen, Belgium)
Safe (Cautious) Multiple Model Adaptive Control by
Prof Brian ANDERSON, Dr Thomas BRINSMEAD
with Dr Subhrakanti Dey (University of Melbourne),
Dr Joao Hespanha, (University of Southern California
LA, USA), Dr Daniel Liberzon (Yale University, USA),
Prof A.S. Morse (Yale University, USA), Dr Franky De
Bruyne (Siemens, Huizingen, Belgium)
Stochastic Control with Multipicative Noise by Prof
John MOORE with Dr Mustapha Ait Rami, Prof
Xunyu Zhou (Chinese University of Hong Kong)
Human-Machine Interaction by Prof Alexander ZE-
LINSKY, Dr Sebastien ROUGEAUX with Volvo ABB
(Sweden)
Vision-Based Mobile Robot Navigation by Prof Alex-
ander ZELINSKY, Simon THOMPSON, Luke
FLETCHER with Prof Mandyam Srinivasan (RSBS,
ANU), Dr Toshihiro Matsui (ETL, Japan)
Logical Foundations of Hybrid Dynamical Systems by
Dr Jennifer DAVOREN (CSL), Dr Thomas MOOR
(SE), Dr Rajeev GORÉ (CSL), Dr Jeremy DAWSON
(CSL), Nicolette BONNETTE (CSL) with V. Coul-
tard (Department of Mathematics, ANU), Dr George
Pappas (University of Pennsylvania, USA), Prof Gerar-
do Lafferriere (Portland State University, USA), Prof
Anil Nerode (Cornell University, USA), Greg O’Keefe
(University of Tasmania, 2000-2001 summer scholar)
Modular and Hierarchical Control of Hybrid Systems
by Dr Thomas MOOR (SE), Dr Jennifer DAVOREN
(CSL), Prof Brian ANDERSON (SE), Matthew
SMITH (SE) with Dr Jörg Raisch (Max Planck Institut
für Dynamik Komplexer Technischer Systeme, Magde-
burg, Germany)
Autonomous Submersible Robot by Dr David WET-
TERGREEN, Prof Alexander ZELINSKY, Chris
GASKETT, Peter BROWN with Chanop Silpa-Anan
(FEIT, ANU), Prof Hugh Durrant-Whyte (University
of Sydney, Sydney), BEI Electronics Inc (California,
USA) Donner Wind River Systems (California, USA)

---

The Australian National University Annual Report 2000
86
Human-Robot Cooperative Systems by Prof Alexander
ZELINSKY, Jochen HEINZMANN, Rowel ATIEN-
ZA, Timothy EDWARDS with ACSys (Canberra)
Department of Telecommunications 
Engineering
Higher Order Soundfield Microphones by Dr Thush-
ara ABHAYAPALA with Dr Robert Williamson (FEIT,
ANU), Dr Gary Elko (Bell Laboratories, Lucent Tech-
nologies, Murray Hill, US)
Sound Field Reproduction Using an Array of Loud-
speakers by Dr Thushara ABHAYAPALA with Dr
Darren Ward (Imperial College, London, UK)
Robustness of Optimal Detectors in Wireless Channels
to a Channel Autocovariance Mismatch by Dr Brian
HART with Dr Iain Collings (University of Sydney,
Sydney) 
Writing four book chapters on Equalisation for Wire-
less Channels by Dr Brian HART with Prof Desmond
Taylor (University of Canterbury, Christchurch, New
Zealand), Dr Giorgio Vitetta (University of Modena,
Italy), Dr Aarne Mammela (VTT Electronics, The
Technical Research Centre of Finland, Finland) 
Data Detection and Channel Estimation by Dr Brian
HART with Prof Subbarayan Pasupathy (University of
Toronto, Canada)
Adaptive Receivers for Wireless Multimedia Applica-
tions by Prof Rodney KENNEDY with Dr Predrag
Rapajic (University of New South Wales), NEC
(Melbourne)
Performance Improvement of xDSL and Cable Mo-
dems for Internet Service Delivery in the Presence of
Noise by Prof Rodney KENNEDY with A/Prof Lei
Wei (University of Wollongong), Motorola (Sydney)
Improved Digital Television (Phase 2) by Prof Rodney
KENNEDY, Dr Brian HART, Dr Thushara ABHAY-
APALA with Prof Richard Johnson (Cornell
University, Ithaca, New York, USA) Prof William
Sethares (University of Wisconsin, Madison, USA),
News Limited (Sydney, NSW)
Collaborative Research, Development and Commer-
cialisation Agreement (Phase 3) by Prof Rodney
KENNEDY, Dr Brian HART, Dr Thushara ABHAY-
APALA with Dr Robert Williamson (FEIT), Prof
Richard Johnson (Cornell University, Ithaca, New
York, USA) Prof William Sethares (University of Wis-
consin, Madison, USA), Philips Laboratories (Briarcliff,
New York, USA), Fox Television Stations Inc. (Califor-
nia, USA)
Collaborative Research, Development and Commer-
cialisation Agreement (Phase 4) by Prof Rodney
KENNEDY, Dr Thushara ABHAYAPALA, Dr Robert
WILLIAMSON with Prof Richard Johnson (Cornell
University, Ithaca, New York, USA) Prof William
Sethares (University of Wisconsin, Madison, USA),
Philips Laboratories (Briarcliff, New York, USA), Fox
Television Stations Inc. (California, USA)
John Curtin School of Medical 
Research
Most of our collaborative research projects are with oth-
er Australian universities or bodies or international
institutions. However, in 2000 we were involved in
more than 20 collaborations within the ACT, either in-
tra campus or with the Canberra Hospital or CSIRO.
These included several between Dr GREADY'S Com-
putational Molecular Biology and the ANU
Supercomputer Facility, Prof YOUNG and the Protein
Structure Group at RSC on the structure of the IL-5 re-
ceptor and Dr HUTTLEY’S with Prof Sue Wilson of
the School of Mathematical Sciences. Prof Kiaran
KIRK, Head of BAMBI is a member of the Director's
Research Advisory Board.
More than 100 research projects are being conducted in
collaboration with scientists from other Australian or
overseas research institutions. These are all listed in our
full Annual Report which can be viewed at <
http://jcs-
mr.anu.edu.au
>. A few illustrative examples may be
mentioned here:
Gene mapping, gene expression profiling and protein
profiling of mouse mutation on an array of arrays by
Prof C GOODNOW with Dr Mark Chee, Illumina,
Inc, San Diego.
Neuromuscular growth factors by Prof I A HENDRY
with Dr Ian MacLennan, Department of Anatomy,
University of Otago.
The mechanism of nuclear transport and role in infec-
tion of the NS5 polymerase protein of Dengue virus by
Prof DA JANS with Dr S Vasudevan, Biochemistry &
Molecular Biology, James Cook University of North
Queensland.
Investigation into immunogenicity of DNA vaccines by
Prof I RAMSHAW with Prof H Robinson, Depart-
ment of Pathology, University of Massachusetts,
Worcester, MA USA.
The role of chemokines in the rejection of pig proislet
xenografts by Dr C SIMEONOVIC with Dr William
A Kuziel, section of MolecularGenetics and Microbiol-
ogy, University of Texas at Austin.
Onset of ACTH hypertension by ProfJ WHIT-
WORTH with Prof Rick Jackson, Dept of Medicine,
University of QLD.

---