-
5
-
-
30244491120
-
-
Report prepared for UK National Advanced Robotics Research Centre, Department of Trade and Industry, Kingsgate House
-
Schofield, M., Safety and standards in advanced robotics. Report prepared for UK National Advanced Robotics Research Centre, Department of Trade and Industry, Kingsgate House, 1992.
-
(1992)
Safety and Standards in Advanced Robotics
-
-
Schofield, M.1
-
6
-
-
0004864774
-
-
Van Nostrand Reinhold, New York
-
Graham, J. H., (ed.), Safety, Reliability, and Human Factors in Robotic Systems, Van Nostrand Reinhold, New York, 1991.
-
(1991)
Safety, Reliability, and Human Factors in Robotic Systems
-
-
Graham, J.H.1
-
7
-
-
0025814105
-
The development of a surgeon robot for prostatectomies
-
Davies, B. L., Hibberd, R. D., Ng, W. S., Timoney, A. G. & Wickham, J. E. A., The development of a surgeon robot for prostatectomies. I Mech E Proceeding part H Engineering in Medicine, 205 (1991) 35-38.
-
(1991)
I Mech E Proceeding Part H Engineering in Medicine
, vol.205
, pp. 35-38
-
-
Davies, B.L.1
Hibberd, R.D.2
Ng, W.S.3
Timoney, A.G.4
Wickham, J.E.A.5
-
8
-
-
0030314333
-
Robotic radiation seed implantation for prostatic cancer
-
Amsterdam, the Netherlands, 31 October-3 November
-
Ng, W. S., Chung, V. R., Lim, P. & Vasan, S., Robotic radiation seed implantation for prostatic cancer. To be published in 18th Ann. Int. Conf. IEEE Engng in Medicine and Biology Society, Amsterdam, the Netherlands, 31 October-3 November 1996.
-
(1996)
18th Ann. Int. Conf. IEEE Engng in Medicine and Biology Society
-
-
Ng, W.S.1
Chung, V.R.2
Lim, P.3
Vasan, S.4
-
9
-
-
85012505086
-
Use of robots in surgery - Development of a frame for prostatectomy
-
Timoney, A. G. & Ng, W. S., Use of robots in surgery - development of a frame for prostatectomy. J. Endourology, 5 (1991) 165-168.
-
(1991)
J. Endourology
, vol.5
, pp. 165-168
-
-
Timoney, A.G.1
Ng, W.S.2
-
10
-
-
0002366229
-
A surgeon robot for prostatectomies
-
Pisa, Italy, 22 June
-
Davies, B. L., Hibberd, R. D., Ng, W. S., Timoney, A. G. & Wickham, J. E. A., A surgeon robot for prostatectomies. In 5th ICAR (International Conference on Advanced Robotics), Pisa, Italy, 22 June 1991.
-
(1991)
5th ICAR (International Conference on Advanced Robotics)
-
-
Davies, B.L.1
Hibberd, R.D.2
Ng, W.S.3
Timoney, A.G.4
Wickham, J.E.A.5
-
12
-
-
0024901406
-
Intraoperative feedback for neurosurgical stereotactic laser system
-
Seattle, Washington, 9-12 November
-
Louhisalmi, Y. & Koivukangas, J., Intraoperative feedback for neurosurgical stereotactic laser system. In IEEE EMBS 11th Annual Conf., Seattle, Washington, 9-12 November 1989, pp. 437-439.
-
(1989)
IEEE EMBS 11th Annual Conf.
, pp. 437-439
-
-
Louhisalmi, Y.1
Koivukangas, J.2
-
13
-
-
30244568225
-
Object-oriented design for medical image workstations
-
(ed. H. U. Lemke) Springer Verlag, Berlin
-
Grewer, R., Object-oriented design for medical image workstations. In Computer-Assisted Radiology CAR'89, (ed. H. U. Lemke) Springer Verlag, Berlin, pp. 780-790, 1989.
-
(1989)
Computer-assisted Radiology CAR'89
, pp. 780-790
-
-
Grewer, R.1
-
14
-
-
0007242060
-
CAS-a navigation support for surgery
-
(ed. K H Höhne), Springer Verlag, Berlin
-
Adams, L., Gilsbach, J. M., Krybus, W., Meyer-Ebrecht, D., Mösges, R. & Schlondorff, G., CAS-a navigation support for surgery. In 3D Imaging in Medicine, (ed. K H Höhne), Springer Verlag, Berlin, pp. 411-423, 1990.
-
(1990)
3D Imaging in Medicine
, pp. 411-423
-
-
Adams, L.1
Gilsbach, J.M.2
Krybus, W.3
Meyer-Ebrecht, D.4
Mösges, R.5
Schlondorff, G.6
-
15
-
-
2942603893
-
OrthoDock - An image driven orthopaedic surgical planning system
-
Philadelphia, Pennsylvania, USA, 1-4 November
-
Hanson, W. A., et al., OrthoDock - an image driven orthopaedic surgical planning system. In IEEE EMBS 12th Int. Conf., Philadelphia, Pennsylvania, USA, 1-4 November 1990, pp. 1931-1932.
-
(1990)
IEEE EMBS 12th Int. Conf.
, pp. 1931-1932
-
-
Hanson, W.A.1
-
17
-
-
30244454719
-
Safety of robots in medicine
-
Costa del Sol, Spain, 26-28 October
-
Davies, B., Safety of robots in medicine. In MediMectronics '92, Costa del Sol, Spain, 26-28 October 1992, pp. 167-171.
-
(1992)
MediMectronics '92
, pp. 167-171
-
-
Davies, B.1
-
18
-
-
0027853444
-
An alternative to actuated robots and passive arms in medical robotics
-
San Diego, California, USA, 28-31 October
-
Troccaz, J. & Lavallee, S., An alternative to actuated robots and passive arms in medical robotics. In IEEE EMBS Annual Conf., San Diego, California, USA, 28-31 October 1993, pp. 934-935.
-
(1993)
IEEE EMBS Annual Conf.
, pp. 934-935
-
-
Troccaz, J.1
Lavallee, S.2
-
19
-
-
30244469858
-
Controlling the position of a robotic guiding system using external redundant sensors
-
Pittsburgh, Pennsylvania, 22-24 September
-
Poyet, A., Troccaz, J. & Cinquin, P., Controlling the position of a robotic guiding system using external redundant sensors. In 1st Symp. on Medical Robotics and Computer Assisted Surgery, Pittsburgh, Pennsylvania, 22-24 September 1994, pp. 224-229.
-
(1994)
1st Symp. on Medical Robotics and Computer Assisted Surgery
, pp. 224-229
-
-
Poyet, A.1
Troccaz, J.2
Cinquin, P.3
-
20
-
-
30244437903
-
Kinematic analysis of advanced mechanism for intracranial surgery
-
Costa del Sol, Spain, 26-28 October
-
Buckingham, R .O., Buckingham, R. A. & Collins, W., Kinematic analysis of advanced mechanism for intracranial surgery. In MediMectronics '92, Costa del Sol, Spain, 26-28 October 1992, pp. 97-106.
-
(1992)
MediMectronics '92
, pp. 97-106
-
-
Buckingham, R.O.1
Buckingham, R.A.2
Collins, W.3
-
21
-
-
0027798581
-
Towards safe active robotic devices for surgery
-
Buckingham, R., Towards safe active robotic devices for surgery. Industrial Robot, 20 (1993) 8-11.
-
(1993)
Industrial Robot
, vol.20
, pp. 8-11
-
-
Buckingham, R.1
-
22
-
-
8544268010
-
Automated toot for microdrilling a flexible stapes footplate
-
Pittsburgh, Pennsylvania, 22-24 September
-
Brett, P. N., Baldwin, D., et al., Automated toot for microdrilling a flexible stapes footplate. In 1st Symp. on Medical Robotics and Computer Assisted Surgery, Pittsburgh, Pennsylvania, 22-24 September 1994, pp. 245-249.
-
(1994)
1st Symp. on Medical Robotics and Computer Assisted Surgery
, pp. 245-249
-
-
Brett, P.N.1
Baldwin, D.2
-
24
-
-
0038685383
-
Why correctness must be a mathematical concern?
-
(eds R. S. Boyer and J. S. Moore) Academic Press, London
-
Dijkstra, E. W., Why correctness must be a mathematical concern? In The Correctness Problem in Computer Science, (eds R. S. Boyer and J. S. Moore) Academic Press, London, 1981, pp 1-8.
-
(1981)
The Correctness Problem in Computer Science
, pp. 1-8
-
-
Dijkstra, E.W.1
-
25
-
-
84945708698
-
An axiomatic basis for computer programming
-
Association for Computing Machinery, NY
-
Hoare, C. A. R., An axiomatic basis for computer programming. In Communication of the ACM v. 12, Association for Computing Machinery, NY, pp. 576-580 and 583, 1989.
-
(1989)
Communication of the ACM v. 12
, pp. 576-580
-
-
Hoare, C.A.R.1
-
26
-
-
0022252695
-
The N-version approach to fault tolerant software
-
Avizienis, A., The N-version approach to fault tolerant software. IEEE Trans. Software Engng, SE11 (1985) 1491-1501.
-
(1985)
IEEE Trans. Software Engng
, vol.SE11
, pp. 1491-1501
-
-
Avizienis, A.1
-
27
-
-
0037670964
-
Software safety in a medical application
-
Pittsburgh, Pennsylvania, 22-24 September
-
Wika, K. G., Knight, J. C., Software safety in a medical application. 1st Symp. on Medical Robotics and Computer Assisted Surgery, Pittsburgh, Pennsylvania, 22-24 September 1994, pp. 218-223.
-
(1994)
1st Symp. on Medical Robotics and Computer Assisted Surgery
, pp. 218-223
-
-
Wika, K.G.1
Knight, J.C.2
-
28
-
-
0016522101
-
System structure for software fault tolerance
-
Randell, B., System structure for software fault tolerance. IEEE Trans. Software Engng, SE1 (1975) 220-232.
-
(1975)
IEEE Trans. Software Engng
, vol.SE1
, pp. 220-232
-
-
Randell, B.1
-
29
-
-
30244541631
-
Fault-tolerant system structuring concepts
-
(ed. John McDermid) Butterworth-Heinemann, Oxford
-
Shrivasta, S. K., Fault-tolerant system structuring concepts. In Software Engineer's Reference Book, (ed. John McDermid) Butterworth-Heinemann, Oxford, 1993, pp. 61-63.
-
(1993)
Software Engineer's Reference Book
, pp. 61-63
-
-
Shrivasta, S.K.1
-
30
-
-
0004026250
-
-
Prentice-Hall Int. Inc., London
-
Anderson, T. & Lee, P. A., Fault Tolerance, Principles and Practice, Prentice-Hall Int. Inc., London, 1981, pp. 3-5.
-
(1981)
Fault Tolerance, Principles and Practice
, pp. 3-5
-
-
Anderson, T.1
Lee, P.A.2
-
31
-
-
0028741721
-
Robotic fault detection and fault tolerance: A survey
-
Visinsky, M. L., Cavallaro, J. R. & Walker, I. D., Robotic fault detection and fault tolerance: a survey. Reliab. Engng System Safety, 46 (1994) 139-158.
-
(1994)
Reliab. Engng System Safety
, vol.46
, pp. 139-158
-
-
Visinsky, M.L.1
Cavallaro, J.R.2
Walker, I.D.3
-
32
-
-
0025489197
-
Seven myths of formal methods
-
IEEE Society Press, Los Almitos, California, USA
-
Hall, A., Seven myths of formal methods. In IEEE Software, IEEE Society Press, Los Almitos, California, USA, 1990, pp. 11-19.
-
(1990)
IEEE Software
, pp. 11-19
-
-
Hall, A.1
-
33
-
-
0016992842
-
Observations of fallibility in applications of modern programming methodologies
-
Gerhart, S L. & Yelowitz, L., Observations of fallibility in applications of modern programming methodologies. IEEE Trans. Software Engng, SE2 (1976) 195-207.
-
(1976)
IEEE Trans. Software Engng
, vol.SE2
, pp. 195-207
-
-
Gerhart, S.L.1
Yelowitz, L.2
-
34
-
-
0022735072
-
Reliability: Measurement or management?
-
O'Connor, P. D. T., Reliability: measurement or management?. Qual. Assurance, 12 (1986) 46-50.
-
(1986)
Qual. Assurance
, vol.12
, pp. 46-50
-
-
O'Connor, P.D.T.1
-
36
-
-
0003833302
-
-
Cambridge Press, UK
-
Taylor, R., H., Lavallée, S., Grigore, C. B. & Mösges, R. (eds), Computer Integrated Surgery, Cambridge Press, UK, 1996.
-
(1996)
Computer Integrated Surgery
-
-
Taylor, R.H.1
Lavallée, S.2
Grigore, C.B.3
Mösges, R.4
|