Broda, Dr Krysia

D'Agostino, M., Gabbay, D., and Broda, K.,
Tableau Methods for Substructural Logics, In Handbook of Tableaux Methods, M. D'Agostino, D. Gabbay, R. Hahnle and J. Possega (Eds).
Kluwer Academic Publishers. 1999.

Broda, K., Finger, M., Russo, A.,
LDS- Natural Deduction for Substructural Logics,
IGPL Vol 7 No 3 1999

Broda, K., and Gabbay, D.,
A Compiled Labelled Deductive System for Propositional Intuitionistic Logic.
Proceedings of Tableaux 99 Saratoga Springs USA LNAI 1617, 1999

d'Avila Garcez, A., Broda, K., Gabbay, D., and de Souza, A. F.
Knowledge Extraction from Trained Neural Networks:
A Position Paper, in IEEE International Conference on Neural Processing, ICONIP99, Perth, Australia, 1999.

 

Brough, Mr D R

Brough, D R, Cort, G R,
Experiences with Technology to support teaching and Learning
Proceedings of PEG Conference, Exeter 1999

Brough D R, Nichol, J D,
Tools to Promote Literacy and Numeracy: Theory into Practice
Proceedings of PEG conference, Exeter 1999

 

Burger, Dr P

Sanchez-Ortiz, G. I.,. Rueckert, D and Burger. P
Knowledge-based tensor anisotropic diffusion of cardiac cine MR images.
Medical Image Analysis, 3:77-101, 1999.

Yang GZ, Burger P, Gatehouse, PD, Firmin DN.
Locally focused 3D coronary imaging using volume selective RF excitation.
Magn Reson Med, 41, 171-178, 1999.

 

Clark, Professor K L

Skarmeas, N, Clark, K. L.
Content based routing as the basis for intra-agent communication,
Proceedings of International WS on Agent Theories, Architectures and Languages 98, Intelligent Agents V, (ed. J. P. Muler et al), Springer-Verlag, LNAI 1555, 1999 (received best paper award).

Clark, K. L, Robinson P. J., and Hagen, R.
Programming internet distributed, reactive and rational agents in Qu-Prolog,
Proceedings of 4th Australian International DAI Workshop, published as Multi-agent Systems, (ed C. Zhang and D. Lukose), Springer-Verlag LNAI 1544, 1999.

 

Cunningham, Mr R J

Uchyigit, G., Carlin, B., Quak, E., Cunningham, J.,
Agents in the box.
8th International Conference on Human Computer Interaction. August 1999 Volume 2, pp 157-161.

Nissler, J., Thoma, V., Machate, J., Cunningham, J., Uchyigit. G.,
Design of Software Agents from a User Perspective.
International Journal of Computers and Telecommunications (1999).

Paurobally, S., and Cunningham, J.,
Negotiation Processes in Electronic Commerce,
Workshop on Modal and Temporal Logics Based Planning for Open Networked Multi-media Systems, AAAI 1999 Fall Symposium Series (Working Notes, 10pp)

 

Darlington, Professor J

Guo, Y., Bunnin., O., Darlington, J., Ren, Y.,
Design of High Performance Financial Modelling Environment
(forthcoming) Journal of Parallel Computing, Special issue on Economics, Finance and Decision-Making, 1999.

Darlington, J., Pantelides, C.C., Rustem, B., and Tanyi, B.A.,
An algorithm for constrained nonlinear optimization under uncertainty,
Automatica, 35, 217-228, (1999).

Bunnin, F. O., Guo, Y., Ren, Y., and Darlington, J.,
'Parallel pseudospectral solution of financial partial differential equations'
Parallel Algorithms and Applications, Vol 00. pp. 1-11

 

Drossopoulou, Dr S

Drossopoulou, S., Eisenbach, S, Khurshid, S.,
Is the Java Type System Sound?
Journal of Theory and Practice of Object Systems, Volume 5, Number 1, 1999, pages 3-24

Drossopoulou, S., Eisenbach, S.,
Towards an Operational Semantics of Java and Proof of Soundness of its Type System,
Chapter 3 in "Formal Syntax and Semantics of Java", Foss, J. A., LNCS vol. 1523, Springer Verlag

Drossopoulou S., Eisenbach S., Wragg D.,
A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility,
Logic in Computer Science (LICS), Trento, July 1999, pages 147-156

 

Dulay, Dr N

Pryce N and Dulay N
Dynamic Architectures and Architectural Styles for Distributed Programs,
IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS), South Africa, December 1999

Dulay N and Pryce N
Architectural Support for Managing Nomadic Applications and Services,
HP OUVA Workshop, Bologna, Italy, June 1999

 

Edalat, Professor A

Edalat, A and Suenderhauf, Ph
A domain theoretic approach to computability on the real line
Theoretical Computer Science, vol 210, pages 73-98, 1999

Edalat, A and Suenderhauf, Ph
Computable Banach spaces via Domain Theory
Theoretical Computer Science vol 219, pages 169-184, 1999

Edalat, A and Lieutier, A
Foundation of a Computable Solid Modeling
Proceedings of the fifth ACM Symposium on Solid Modeling and Applications, 1999

Edalat, A and Krznaric M
Numerical Integration with Exact Arithmetic
Lecture Notes in Computer Science, vol 1644, pages 90-104, 1999

Edalat, A
Semi-pullbacks and bisimulation in Cartegories of Markov Procosses
Mathematical Structures in Computer Science, vol 9, pages 523-543, 1999

 

Eisenbach, Ms S

Drossopoulou, S. and Eisenbach, S.
Towards an Operational Semantics and Proof of Type Soundness in Java
Formal Syntax and Semantics of Java, Jim Alves-Foss ed, LNCS State-of-the-Art Survey, 1523, Springer 1999.

Drossopoulou, S. and Eisenbach, S.,
Is the Java Type System Sound?,
Journal of Theory and Practice of Object Systems, Volume 5(1), p. 3-24, Wiley Press, 1999.

Kotrajaras, V. and Eisenbach, S.,
Semantics of Threads and Main Memory,
Formal Techniques for Java Programs: ECOOP' 99 Workshop, Lisbon.

Eisenbach, S,. Lupu, E., Meidl, K. and Rizkallah, H.,
Can Corba save a fringe language from becoming obsolete?
DAIS'99 Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, Helsinki, June 1999.

Drossopoulou, S., Eisenbach, S. and Wragg, D.,
A Fragment Calculus towards a model of Separate Compilation, Linking and Binary Compatibility,
LICS'99 Fourteenth Annual IEEE Symposium on Logic in Computer Science, Trento, July 1999.

Eisenbach, S. and Sadler, C.
Ephemeral Java Source Code,
IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town, December 1999.

 

Field, Dr A J

Al-Battran, S. Field, A.J., Wiley, R.L. and Woods, J.,
Parallel Simulation of Plankton Ecology,
Proc. IASTED 1999 International Conference on Modelling and Simulation, Philadelphia, May 1999, pp. 259-263.

Field, A.J. and Harrison, P.G.,
Sojourn Times in a Random Queue With and Without Preemption,
European Journal of Operational Research, 112, 1999, pp. 646-653.

 

Gillies, Dr D F

Kwoh C K, Khan G N and Gillies D F
Automated Endoscope Navigation and Advisory System from Medical Imaging
Proc. SPIE Int. Conf. on Physiology and Function from Multidimensional Images, (SPIE Proc. Vol. 3660) 21-23 February 1999.

Rodrigues M.A.F, Gillies D.F and Charters P.
Development of a physical Model of the Laryngoscopic Procedure.
British Journal of Anaesthesia 1999; 82(3): 464P.

 

Goldsack, Professor S J

Goldsack, S J and Lano, K
Models Involving Multiple Instances of a Component.
Colloque Langages et Modeles a Objets, Villeneuf sur Mer Jan 1999 LMO99 ISBN 2-7462-0008-2

Goldsack, S.J. and Lano, K
Invariants as Design Templates,
Workshop on VDM, FM99 International Symposium on Formal Methods Toulouse September 1999.

 

Guo, Dr Y

Guo, Y. and Chattratichat J. et. al.
A Visual Language for Internet-based Data Mining and Data Visualisation
IEEE Symposium on Visual Languages (VL'99), 1999

Guo, Y. and Chattratichat J. et. al.
Developing a Software Architecture for Deploying High Performance Solutions
Journal of Fifth Generation Computing Systems, 1999

Guo, Y., Bunnin., O., Darlington, J., Ren, Y.,
Design of High Performance Financial Modelling Environment
(forthcoming) Journal of Parallel Computing, Special issue on Economics, Finance and Decision-Making, 1999.

Guo, Y.
Probing Knowledge in Distributed Data Mining
Proc. of the 3rd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-00) PAKDD 99, 1999, Beijing, China.

Guo, Y.
Distributed Data Mining with Knowledge Probing
AAAI Press 1999

Guo, Y.
Parallel Methods and Handling Very Large Data Volumes
In Handbook of Data Mining and Knowledge Discovery, Oxford University Press 1999

Guo, Y. and Chattratichat J. et. al.
An Architecture for Distributed Enterprise Data Mining
Proceedings of HPCN Europe, Amsterdam, The Netherlands, 1999

 

Harrison, Professor P

Harrison P., Knottenbelt W. J., Mestern M., and Kritzinger P.
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces
Performance Evaluation Journal, 1999.

Harrison P., Patel N.M., and Pitel E.,
Reliability modelling using G-queues
European Journal of Operations Research, 1999.

Harrison P., Knottenbelt W. J.,
Distributed disk-based solution techniques for large Markov models
Proc 3rd Int. Conference on the Numerical Solution of Markov Chains, NSMC Ô99, Zaragoza, 1999.

Harrison P., Chakka R.,
The Markov Modulated CPP/GE/c/L Queue with Positive and Negative Customers
Proc. 7th Int. Conf. on Performance Modeling and Evaluation of ATM Networks, Antwerp, June 1999.

Harrison P., Harder U.,
A queueing network model of Oracle Parallel Server
Proc. 15th UK Performance Engineering Workshop, Bristol, July 1999.

Harrison P., Rana O F., and Jones A. J,
Automating performance analysis of neural algorithms
Proc. 15th UK Performance Engineering Workshop, Bristol, July 1999.

Harrison P., Kanani K.,
A Performance Model for SPADES Specifications
Performance Ô99, Istanbul, Turkey, August, 1999.

Harrison P.,
Sojourn times in the Markov modulated CPP/GE/c G-Queue
Proc 14th Int. Symp. on Computer and Information Sciences, Izmir, Turkey, October 1999.

Harrison P.,
On teaching M/G/1 theory with extension to priority queues
IEE Proceedings~ E - Computers and Digital Techniques, November 1999.

 

Hankin, Professor C L

Malacaria, P and Hankin, C L
Non-deterministic Games and Program Analysis: An application to security,
Proceedings of LICS'99, IEEE Press, 1999.

Hankin, C L
Models of Computation,
Encyclopedia of Computer Science and Technology, Kent, A and Williams, J G (Eds), Marcel Dekker, 1999

Nielson, F; Nielson, H R and Hankin, C L:
Principles of Program Analysis,
Springer Verlag, 1999

Hankin, C L and Malacaria, P
Program Analysis Games,
Electronic Supplement to ACM Computing Surveys, 31 (3), September 1999

 

Hodkinson, Dr I

Andréka, H., Hodkinson, I., and Németi, I.
Finite algebras of relations are representable on finite sets
J. Symbolic Logic 1999

 

Kelly, Dr P H J

Olav Beckmann and Paul H J Kelly,
"A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs,"
LCPC'99, Springer Verlag.

Paul H J Kelly and Frank S Taylor,
Coordination Languages
Chapter 14 in "Research Directions in Parallel Functional Programming" Hammond and Michaelson (eds), Springer Verlag (1999).

Ariel N Burton and Paul H J Kelly,
Reproducing Inter-process Synchronization for Performance Prediction using Lightweight System Call Tracing,
pp 247-258 In J.T.Bradley, N.J.Davies (Eds), Proceedings of the Fifteenth Annual UK Performance Engineering Workshop, Tech. Rep. CSTR-99-007, Dept. of Computer Science, University of Bristol, ISBN 0 9524027 8 5, July 1999

 

Kowalski, Professor R A

Kowalski, R. A and Sadri, F.
From Logic Programming towards Multi-agent Systems
Annals of Mathematics and Artificial Intelligence, Volume 25 (1999), pp. 391-419.

Kowalski, R. A
Logic Programming
MIT Encyclopedia of Cognitive Science (eds. R A Wilson and F C Keil) MIT Press, 1999, pp. 484-486.

 

Kramer, Professor J

Magee, J. and Kramer, J.,
Concurrency: State Models & Java Programs,
John Wiley & Sons (Worldwide Series in Computer Science), March 1999.

Giannakopoulou D., Kramer J. and Cheung S.C.,
Behaviour Analysis of Distributed Systems using the Tracta Approach
Automated Software Engineering Journal 6 (1), Kluwer, January 1999, pp 7-35.

Cheung, S.C., and Kramer, J.,
Checking Safety Properties using Compositional Reachability Analysis,
ACM Transactions on Software Engineering Methodology TOSEM 8 (1), January 1999, 49-78.

Russo A., Nuseibeh B. and Kramer J.,
Restructuring Requirements Specifications ,
IEE Proceedings: Software SEN 146 (1), February 1999, 44-53.

Zisman A. and Kramer J.,
An approach to Interoperation between Autonomous Database Systems",
IEE Distributed Systems Engineering Journal, DSEJ, 6, 1999, 134-148.

Magee J., Kramer J. and Giannakopoulou D.,
Behaviour Analysis of Software Architectures
(First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 22-24 February 1999), ed. Patrick Donohoe, (Kluwer Academic Pub.), 1999, 35-50.

Mendonca N. and Kramer J.
Component Module Classification for Distributed Software,
(International Conference on Software Maintenance (ICSM '99), Oxford, 1999),

Giannakopoulou D., Magee J., and Kramer J.,
Checking Progress with Action Priority: Is it Fair?
(7th ACM SIGSOFT Symposium on the Foundations of Software Engineering / 7th European Software Engineering Conference (FSE / ESEC '99), Toulouse, September 1999), LNCS, (Springer-Verlag), 1999, 511-528.

Garlan D. and Kramer,J.
IEEE/ACM International Conference on Software Engineering (ICSE '99),
Los Angeles, May 1999

Kramer, J., and Magee, J.,
Modelling for mere Mortals,
(Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam, March 1999)

 

Lehman, Professor M

Lehman, M M, Perry D E, Ramil, J F, Turski, W M and Wernick P D
Metrics and Laws of Software Evolution - The Nineties View
Proc. Int. Symp. Metrics '97, Albuquerque, New Mexico, 5 - 7 Nov. 1997, pp 20 - 32. In K El Eman and N H Madhavji (eds.), Elements of Software Process Assessment and Improvement, IEEE CS Press, 1999

Bennett, K, Burd, E, Kemerer, C, Lee, M, Lehman M M, Madachy, R, Mair, C, Sjoberg, D and Slaughter, S
Empirical Studies of Evolving Systems
Empirical Software Engineering, Vol. 4, No. 4, December 1999, pp. 370-380

Lehman, M M, Ramil, J F and Wernick, P D
Metrics-Based Process Modeling With Illustrations From The Feast/1 Projec
Chapter 10 in Bustard D, Kawalek P and Norris M (eds.). Systems Modeling for Business Process Improvement, Artech House, April 2000

Kahen, G, Lehman, M M and Ramil, J F
Can the Legacy Syndrome be Avoided? - Legacy Systems in the Context of Software Evolution
Taking a Global View of Legacy Systems, 7th SEBPC Legacy Workshop, Oxford, 30 August 1999

Lehman, M M.,
FEAST/1 - Feedback, Evolution And Software Technology
Final Summary Report, July 1999

Kahen, G, Lehman, M M and Ramil, J F
Empirical Studies of the Global Software Process - The Impact of Feedback
Position Paper, Workshop on Empirical Studies of Softw. Maint. (WESS'99), Keble College, Oxford, UK September 3 - 4, 1999

Ramil, J F and Lehman, M M
Modelling Process Dynamics in Software Evolution Processes - Some Issues
Position Paper, ICSE'99 Workshop on Software Change and Evolution, SCE-99, Los Angeles, May 17, 1999, 5 pps

Ramil, J F and Lehman, M M
Challenges Facing Data Collection for Support and Study of Software Evolution Processes
Position Paper, ICSE'99 Workshop on Empirical Studies of Software Development and Evolution, Los Angeles, May 18, 1999, 5 pps

Chatters, B W, Lehman, M M, Ramil, J F and Wernick, P D
Modelling a Software Evolution Process
ProSim'99, Softw. Proc. Modelling and Simulation Workshop, Silver Falls, Oregon, 28-30 June 99, to appear as Modelling a Long Term Software Evolution Process in J. of Softw. Proc. and Improvement, 2000

Lehman, M M and Ramil, J F
The Impact of Feedback in the Global Software Process
Keynote Lecture, ProSim '98 Workshop, Silver Falls, OR, 23 June 1998, ProSim Proc., Apr. 1999, revised vers. in J. of Sys. and Softw., Vol.46, No.2/3, 14 April 1999, pp 123 - 134

Lehman, M M and Wernick, P D
Software Process White Box Modelling for FEAST/1
ProSim'98, Proc. Int. Wrkshp on Softw. Proc. Simulation Modeling, June 22 - 24, 1998, Silver Falls, Oregon,, J. of Sys. and Softw., May. 1999, pp.

 

Luk, Dr W

Constantinides, G.A, Cheung, P.Y.K. and Luk, W.,
Truncation noise in fixed-point signal-flow graphs,
Electronics Lett. 35:23, (November 1999), 2012-2014.

Dupont-De-Dinechin, F., Mckeever, S. and Luk, W.,
Towards adaptable hierarchical placement,
Proc. ACM Symp. on FPGAs (ACM Press) 1999, 254.

Benyamin, D., Luk, W. and Villasenor, J.,
Optimizing FPGA-based vector product designs,
Proc. IEEE Symp. on Field-Programmable Custom Computing Machines, (IEEE Computer Society Press) 1999, 188-197.

Haynes, S.D., Cheung, P.Y.K., Luk, W. and Stone, J.,
SONIC - a plug-in architecture for video processing
(poster paper), in Proc. IEEE Symp. on Field-Programmable Custom Computing Machines (IEEE Computer Society Press) 1999, 280-281.

Luk, W., Cheung, P.Y.K., Lee, T.K., Rice, J.R. and Shirazi, N.,
Reconfigurable computing for augmented reality,
Proc. IEEE Symp. on Field-Programmable Custom Computing Machines (IEEE Computer Society Press) 1999, 136-145.

Weinhardt, M. and Luk, W.,
Pipeline vectorization for reconfigurable systems,
Proc. IEEE Symp. on Field-Programmable Custom Computing Machines (IEEE Computer Society Press) 1999, 52-62.

Constantinides, G.A., Cheung, P.Y.K. and Luk, W.,
Synthia: Synthesis of interacting automata targeting LUT-based FPGAs,
Field-Programmable Logic and Applications (LNCS 1673, Springer) 1999, 323-332.

Haynes, S.D., Cheung, P.Y.K., Luk, W. and Stone, J.,
SONIC - a plug-in architecture for video processing,
Field-Programmable Logic and Applications (LNCS 1673, Springer) 1999, 21-30.

Luk, W., Derbyshire, A., Guo, S. and Siganos, D.,
Serial hardware libraries for reconfigurable designs,
Field-Programmable Logic and Applications (LNCS 1673, Springer) 1999, 185-194.

Shirazi, N., Luk, W., Benyamin, B. and Cheung, P.Y.K.,
Quantitative analysis of run-time reconfigurable database search,
Field-Programmable Logic and Applications (LNCS 1673, Springer) 1999, 253-263.

Weinhardt, M. and Luk, W.,
Memory access optimization and RAM inference for pipeline vectorization,
Field-Programmable Logic and Applications (LNCS 1673, Springer) 1999, 61-70.

Luk, W., Siganos, D. and Fowler, T.,
Automating qualification of reconfigurable cores,
Reconfigurable Systems (IEE Digest, 99/061) 1999.

 

Magee, Professor J

Magee J., and Kramer J.,
Concurrency - State Models and Java Programs
John Wiley & Sons, March 1999, 353 pages (Wiley - Worldwide Series in Computer Science).

Karamanolis, C. and Magee, J.
Client-Access Protocols for Replicated Services,
IEEE Transactions on Software Engineering, Vol. 25, No. 1, Jan/Feb 1999.

Magee J., Kramer J. and Giannakopoulou D.,
Behaviour Analysis of Software Architectures
First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 22-24 February 1999, pages 35 -50.

Magee J.,
Behavioral Analysis of Software Architectures using LTSA,
Formal research demonstration description, in the proceedings of 21st IEEE International Conference on Software Engineering (ICSE-21), Los Angeles, USA, May 1999.

Giannakopoulou D., Magee J. and Kramer J.
Checking progress with Action Priority: Is it Fair?
7th European Software Engineering Conference/ 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'99), Toulouse, France, September 1999, LNCS 1687, p511-527

 

Maros, Dr I

Maros, I., Meszaros C.,
A repository of convex quadratic programming problems,
Optimization Methods and Software, Volumes 11 & 12 (Dec, 1999), 671-681.

Maros, I., Mitra, G.,
Investigating the Sparse Simplex Algorithm on a Distributed Memory Multiprocessor,
Parallel Computing (1999), accepted for publication.

Gulpinar, N., Mitra, G., Maros, I.,
Creating advanced bases for large scale linear programs exploiting embedded network structure,
Computational Optimization and Applications, (1999), accepted for publication.

 

McBrien, Dr P J

McBrien, P J and Poulovassilis, A
Automatic migration and wrapping of database applications a schema transformation approach
Proceedings of ER'99, Springer-Verlag LNCS 1728, November, 1999

McBrien, P J and Poulovassilis, A
A Uniform Approach to Inter-Model Transformations
Proceedings of CAiSE'99, Springer-Verlag LNCS 1626, June, 1999

 

Nuseibeh, Dr B A

Russo, A., Nuseibeh, B., and Kramer, J.,
Restructuring Requirements Specifications for Managing Inconsistency and Change,
IEE Proceedings:Software, 146(1): 44-53, February 1999.

Nuseibeh, B., and Russo, A.,
Using Abduction to Evolve Inconsistent Requirements Specifications,
Australian Information Systems Journal, 7(1):118-130, Special issue on Requirements Engineering, September 1999.

Ghezzi, C., and Nuseibeh, B.,
Guest Editors' Introduction,
IEEE Transactions on Software Engineering, 25(11), November 1999.

Menzies, T., Easterbrook, S., Nuseibeh, B., and Waugh, S.,
An empirical investigation of multiple viewpoint reasoning in requirements engineering,
Proceedings of 4th International Symposium on Requirements Engineering (RE-99), 100-109, Limerick, Ireland, 7-11th June 1999, IEEE CS Press.

 

Porkolab, Dr L

Jansen K. and Porkolab L.,
Linear-time Approximation Schemes for Scheduling Malleable Parallel Tasks,
Proceedings 10th ACM-SIAM Symposium on Discrete Algorithms (SODA '99), 490-498, 1999.

Jansen K. and Porkolab L.,
Improved Approximation Schemes for Scheduling Unrelated Parallel Machines,
Proceedings 31st ACM Symposium on Theory of Computing (STOC '99), 408-417, 1999.

Jansen K. and Porkolab L.,
General Multiprocessor Task Scheduling: Approximate Solution in Linear Time,
Proceedings 6th International Workshop on Algorithms and Data Structures (WADS '99), LNCS 1663, Springer Verlag, 110-121, 1999.

 

Rueckert, Dr D

D. Rueckert and D. J. Hawkes.
3D analysis: Registration of biomedical images.
In Image, Processing and Analysis - A Practical Approach Eds. R. Baldock and J. Graham, Oxford University Press, 1999.

D. Rueckert, L. I. Sonoda, C. Hayes, D. L. G. Hill, M. O. Leach, and D. J. Hawkes.
Non-rigid registration using free-form deformations: Application to breast MR images.
IEEE Transactions on Medical Imaging, 18(8):712-721, 1999.

E. R. E. Denton, L. I. Sonoda, D. Rueckert, S. C. Rankin, C. Hayes, M. Leach, D. L. G. Hill, and D. J. Hawkes.
Comparison and evaluation of rigid and non-rigid registration of breast MR images.
Journal of Computer Assisted Tomography, 23:800-805, 1999.

G. I. Sanchez-Ortiz, D. Rueckert, and P. Burger.
Knowledge-based tensor anisotropic diffusion of cardiac cine MR images.
Medical Image Analysis, 3:77-101, 1999.

D. L. G. Hill, C. R. Maurer Jr., A. J. Martin, S. Sabanathan, W. A. Hall, D. J. Hawkes, D. Rueckert, and C. L. Truwit.
Assessment of intraoperative brain deformation using interventional MR imaging.
In Second Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI '99), pages 910-919, Cambridge, UK, 1999, Springer LNCS 1679.

M. J. Clarkson, D. Rueckert, A. P. King, P. J. Edwards, D. L. G. Hill, and D. J. Hawkes.
Registration of video images to tomographic images by optimising mutual information.
In Second Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI '99), pages 579-588, Cambridge, UK, 1999 Springer LNCS 1679.

D. Rueckert, L. I. Sonoda, E. Denton, S. Rankin, C. Hayes, D. L. G. Hill, M. O. Leach, and D. J. Hawkes.
Evaluation of non-rigid registration using free-form deformations for breast MR images.
In Proc. of Medical Image Understanding and Analysis '99, pages 101-104, Oxford, UK, July 1999.

M. J. Clarkson, D. Rueckert, A. P. King, P. J. Edwards, D. L. G. Hill, and D. J. Hawkes.
Using texture mapping to register video images to tomographic images by optimising mutual information.
In Proc. of Medical Image Understanding and Analysis '99, pages 29-32, Oxford, UK, July 1999.

D. Rueckert, E. R. E. Denton, C. Hayes, S. C. Rankin, D. L. G. Hill, M. O. Leach, and D. J. Hawkes.
Comparison of rigid and non-rigid registration of breast MR images.
In Proc. of the International Society for Magnetic Resonance in Medicine, volume 3, page 2168, Philadelphia, PN, May 1999.

D. Rueckert, L. I. Sonoda, E. Denton, S. Rankin, C. Hayes, D. L. G. Hill, M. Leach, and D. J. Hawkes.
Comparison and evaluation of rigid and non-rigid registration of breast MR images.
In Proc. SPIE Medical Imaging 1999: Image Processing, pages 78-88, San Diego, CA, February 1999.

M. J. Clarkson, D. Rueckert, D. L. G. Hill, and D. J. Hawkes.
Registration of multiple video images to pre-operative CT for image guided surgery.
In Proc. SPIE Medical Imaging 1999: Image Processing, pages 14-23, San Diego, CA, 1999.

 

Rueger, Dr S M

Zervas G and Rueger S M
The Curse of Dimensionality and Document Clustering
Proceedings of the IEE Searching for Information: AI and IR Approaches, 1999

Rueger S M
Feature Reduction for Information Retrieval.
Proceedings of TREC-7, NIST Publication, 1999

 

Rustem, Professor B

J. Darlington, C.C. Pantelides, B. Rustem and B.A. Tanyi,
An algorithm for constrained nonlinear optimization under uncertainty,
Automatica, 35, 217-228, (1999).

 

Sadri, Dr F

Kowalski, R., and Sadri, F.,
From logic programming towards multi-agent systems,
In the Annals of Mathematics and Artificial Intelligence 25 (1999) 391-419.

Sadri, F., Toni, F.,
Abduction with Negation as Failure for Active Databases and Agents,
Proc. AI*IA 99, 6th Congress of the Italian Association for Artificial Intelligence, E. Lamma and P. Mello eds., Pitagora Editrice, Bologna, Italy, 353-362 (1999).

Dell'Acqua, P., Sadri, F., Toni, F.,
Communicating Agents,
Proc. International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP'99, Las Cruces, New Mexico, 30 November, 1999.

Permpoontanalarp, Y., Kowalski, R., Sadri, F.,
Relating situation calculus and dynamic logic,
Departmental report, 1999.

Sadri, F., and Toni, F.,
A logic-based multi-agent system,
Departmental Report, 1999.

Sadri, F., and Toni, F.,
Computational logic and multi-agent systems: a Roadmap,
Departmental Report, 1999.

 

Sloman, Professor M

D. Chalmers , M. Sloman
A Survey of Quality of Service in Mobile Computing
Environments DoC Technical Report 98/10, filed Feb. 1999

E. Lupu, Z. Milosevic, M. Sloman
Use of Roles and Policies for Specifying and Managing a Virtual Enterprise,
9th International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises - RIDE - VE '99, March 1999, Sydney Australia.

M. Sloman, E. Lupu
Policy Specification for Programmable Networks,
Proceedings of First International Working Conference on Active Networks (IWAN'99), Berlin, June 1999, ed. S. Covaci, published by Springer Verlag Lecture Notes in Computer Science, Berlin, June 1999, pp73-84.

E. Lupu, M. Sloman ,
Conflicts in Policy-based Distributed Systems Management,
IEEE Trans. on Software Engineering, Special Issue on Consistency, Vol 25, No. 6 Nov. 1999.

Chalmers, D., Sloman, M,
A Survey of Quality of Service in Mobile Computing Environments
IEEE Communications Surveys, vol 2, no2, 2nd Quarter 1999

Dan Chalmers, Morris Sloman,
QoS And Context Awareness For Mobile Computing
Proceedings of 1st Intl. Symposium on Handheld and Ubiquitous Computing (HUC'99) Karlsruhe, Germany, Sep. 1999, pp 380 - 382 (LNCS 1707) pub. Springer-Verlag.

I. Marshall, J. Crowcroft, M. Fry, A. Ghosh, D. Hutchison, D. Parish, I. Phillps, N. Pryce, M. Sloman, D Waddington,
Application Level Programmable Internetwork Environment,
BT Technology Journal, Vol 17, No 2 pp 82-94

 

Yang, Dr G-Z

Yang GZ, Keegan J, Firmin DN.
Motion selective encoding for fast cine imaging.
Magn Reson Med 1999; 42: 430-435.

Panting JR, Taylor AM, Gatehouse PD, Keegan J, Yang GZ, McGill S, Francis JM, Burman ED, Firmin DN, Pennell DJ.
First pass myocardial perfusion imaging and equilibrium signal changes using the new intravascular contrastagent,NC100150 injection.
J Magn Reson Imaging 1999; 10: 404-10.

Chabat F, Yang GZ, Hansell DM.
A corner orientation detector.
Image and Vision Computing, 17: 761-769, 1999.

Fotheringham T, Chabat F, Hansell DM, Wells AU, Desai SR, Gückel C, Padley SPG, Gibson M, Yang GZ.
A comparison of methods for enhancing the detection of areas of decreased attenuation on CT caused by airways disease.
Journal of Computer Assisted Tomography, 23(3): 385-389, 1999.

Taylor AM, Panting JR, Keegan J, Gatehouse PD, Amin D, Jhooti P, Yang GZ. et al.
Safety and preliminary findings with the new intravascular contrast agent, NC100150 injection, for MR coronary angiography.
J Magn.Reson.Imag, 9:220-227, 1999.

Keegan J, Gatehouse PD, Taylor AM, Yang GZ, Jhooti P, Firmin DN.
Coronary artery imaging at 0.5T esla scanner: implementation of real-time, navigator echo-controlled segmented k-space FLASH and interleaved-spiral sequences.
Magn Reson Med, 41: 392-399, 1999.

Yang GZ, Burger P, Gatehouse, PD, Firmin DN.
Locally focused 3D coronary imaging using volume selective RF excitation.
Magn Reson Med, 41, 171-178, 1999.

Taylor AM, Panting JR, Keegan J, Gatehouse PD, Amin D, Jhooti P, Yang GZ, et al,
Use of the intravascular contrast agent NC100150 Injection in spin-echo and gradient-echo imaging of the heart.
J.Cardiovascular MR, vol. 1, 23-32, 1999.

Yang GZ, Mohiaddin RH.
Image processing in cardiovascular magnetic resonance imaging. Cardiac Imaging,
Current Medical Literature, Vol 2(3), 2-6. 1999.

Chabat FC, Hansell DM, Yang GZ.
ERS Transform for the detection of bronchi on CT of the lungs, Medical Image Computing and Computer-Assisted Intervention,
Springer Verlag, Lecture Notes In Computing (MICCAI'99), 235-244.

Chabat C, Hansell DM, Yang GZ.
CT Lung image classification with correction for perfusion gradient.
Seventh Inter. Conf. Image Processing, July 1999, 402-406.

Yang GZ, Mohiaddin RH.
Automatic tracking of vortical flow patterns with MR velocity mapping.
Seventh Inter. Conf. Image Processing, July 1999, 407-410.

Yang GZ, Gatehouse PD, Firmin DN.
Reduced FOV imaging with motion adaptation.
Seventh Inter. Conf. Image Processing, July 1999, 502-506.

Yang GZ, Myerson S. Chabat F.
Mosaic image segmentation with bias field correction.
Seventh Inter. Conf. Image Processing, July 1999, 861-864.

Yang GZ.
Morphodynamics of Flow Through the Heart and Differentiable Dynamical Systems.
Proc of International Specialist Workshop on Nonlinear Dynamics of Electronic Systems, 51-59, 1999.