All Outputs

Showing 34801 to 34900 of 38481

Conference Paper (published)

Bryans J, Verdejo A & Shankland C (2001) Using Rewriting Logic to implement the modal logic FULL. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University.


Book Review

Jenkinson J (2001) Physicians and surgeons in Glasgow: The history of the Royal College of Physicians and Surgeons of Glasgow. Review of: Johanna Geyer-Kordesch and Fiona MacDonald, Physicians and Surgeons in Glasgow: The History of the Royal College of Physicians and Surgeons of Glasgow 1599—1858, London: The Hambledon Press, 1999. Pp. xviii + 478. ISBN 1-85285-185-4. Social History of Medicine, 14 (1), pp. 139-141. https://doi.org/10.1093/shm/14.1.139


Article

Castillejos V, Garcia L, Cisneros J, Goulson D, Cave RD, Caballero P & Williams T (2001) The potential of Chrysoperla rufilabris and Doru taeniatum as agents for dispersal of Spodoptera frugiperda nucleopolyhedrovirus in maize. Entomologia Experimentalis et Applicata, 98 (3), pp. 353-359. https://doi.org/10.1046/j.1570-7458.2001.00792.x


Conference Paper (published)

Turner KJ (2001) Formally-Based Testing of Radiotherapy Accelerators. In: Procter RN & Rouncefield M (eds.) Dependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001. The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop, Edinburgh, Scotland, 22.03.2001-23.03.2001. Manchester: Lancaster University, pp. 97-99. http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php


Article

Tocher DR, Agaba MK, Hastings N, Bell JG, Dick JR & Teale AJ (2001) Nutritional regulation of hepatocyte fatty acid desaturation and polyunsaturated fatty acid composition in zebrafish (Danio rerio) and tilapia (Oreochromis niloticus). Fish Physiology and Biochemistry, 24 (4), pp. 309-320. http://www.springerlink.com/content/0920-1742/; https://doi.org/10.1023/A%3A1015022406790


Article

Cabanillas-Beltran H, Ponce-Palafox JT, Chavez Sanchez MC & Ross L (2001) Comparison of the digestibility of diets based on fish meal and soybean meal in Litopenaeus vannamei Boone 1931, using different temperatures and salinities for culture. Ciencias Marinas, 27 (4), pp. 577-593. http://www.cienciasmarinas.com.mx/index.php/cmarinas/article/viewArticle/499


Book Review

Mannion G (2001) Learning communities in education. Review of: Learning Communities in Education. Edited by John Retallick, Barry Cocklin and Kennece Coombe. London and New York: Routledge. 1999. 297pp. ISBN 0-415-1976-0.. British Journal of Educational Studies, 49 (1), pp. 102-103. https://doi.org/10.1111/1467-8527.t01-1-00165


Article

Tipton K & Wolfe RR (2001) Exercise, protein metabolism, and muscle growth. International Journal of Sport Nutrition and Exercise Metabolism, 11 (1), pp. 109-132. http://journals.humankinetics.com/ijsnem-back-issues/ijsnemVolume11Issue1March/ExerciseProteinMetabolismandMuscleGrowth


Technical Report

Calder M & Shankland C (2001) Symbolic Bisimulation for Full LOTOS. University of Glasgow Technical Report, TR-2001-77. University of Glasgow.


Conference Paper (published)

Fidge C & Shankland C (2001) But What if I Don't Want To Wait Forever?. In: Maharaj S, Romijn J & Shankland C (eds.) IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard. International Workshop on Applications of Formal Methods to IEEE Standard 1394, Stirling, 13.03.2001-13.03.2001. Stirling: University of Stirling, pp. 15-18. http://www.cs.stir.ac.uk/firewire-workshop/prog.html


Book Review

Macleod E (2001) Secret service: British agents in France 1792-1815. Review of: Secret Service: British Agents in France 1792-1815. by Elizabeth Sparrow. Rochester, NY: Boydell & Brewer. 1999. Pp. xvi, 459. ISBN 0-85115-764-5. Albion, 33 (1), pp. 129-130. https://doi.org/10.2307/4053083


Article

Ghioni C, Porter AEA, Sadler IH, Tocher DR & Sargent JR (2001) Cultured fish cells metabolize octadecapentaenoic acid (all-cis delta3,6,9,12,15–18∶5) to octadecatetraenoic acid (all-cis delta6,9,12,15–18∶4) via its 2-trans intermediate (trans delta2, all-cis delta6,9,12,15–18∶5). Lipids, 36 (2), pp. 145-153. http://www.springerlink.com/content/0024-4201/; https://doi.org/10.1007/s11745-001-0701-0


Article

Nairn J, Uhrinova S, Uhrin D, Price NC & Barlow PN (2001) Solution structure and dynamics of an open β-sheet, glycolytic enzyme, monomeric 23.7 kDa phosphoglycerate mutase from Schizosaccharomyces pombe. Journal of Molecular Biology, 306 (2), pp. 275-290. http://www.sciencedirect.com/science/journal/00222836; https://doi.org/10.1006/jmbi.2000.4390


Book Review

Rapport M (2001) The Darnton debate: Books and revolution in the eighteenth century. Review of: The Darnton Debate: Books and Revolution in the Eighteenth Century. Edited by Haydn T. Mason. Oxford, Voltaire Foundation, 1999. ix + 305 pp. ISBN 978-0729406536. French Studies, 55 (1), pp. 97-98. http://fs.oxfordjournals.org/content/LV/1.toc; https://doi.org/10.1093/fs/LV.1.97-b


Article

Martin JJ, Kulinna PH, Eklund R & Reed B (2001) Determinants of teachers' intentions to teach physically active physical education classes. Journal of Teaching in Physical Education, 20 (2), pp. 129-143. http://journals.humankinetics.com/jtpe-back-issues/JTPEVolume20Issue2January/DeterminantsofTeachersIntentionstoTeachPhysicallyActivePhysicalEducationClasses


Book Review

McQuaid R (2001) Entrepreneurship, small and medium-sized enterprises and the macroeconomy. Review of: Entrepreneurship, Small and Medium-sized Enterprises and the Macroeconomy, ed by ZJ Acs, B Carlsson, and C Larlsson, Cambridge: Cambridge University Press, 1999. 405pp. ISBN 9780521621052. Journal of Management Studies, 38 (1), pp. 142-145. https://doi.org/10.1111/1467-6486.t01-1-00231


Article

Tocher DR & Dick JR (2001) Effects of essential fatty acid deficiency and supplementation with docosahexaenoic acid (DHA; 22:6n-3) on cellular fatty acid compositions and fatty acyl desaturation in a cell culture model. Prostaglandins, Leukotrienes and Essential Fatty Acids, 64 (1), pp. 11-22. http://www.sciencedirect.com/science/journal/09523278; https://doi.org/10.1054/plef.2000.0233


Article

O'Connor R & Sheehy N (2001) Suicidal behaviour. The Psychologist, 14 (1), pp. 20-24. http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-0002618627&md5=d31a373311dd3255dec0979c780e04da


Book Chapter

Falconer P, Smith C & Webster CWR (2001) Introduction: Managing Parliaments in the 21st Century. In: Falconer P, Smith M & Webster C (eds.) Managing Parliaments in the 21st Century: EGPA Yearbook. First ed. International Institute of Administrative Sciences Monographs, 16. Amsterdam, The Netherlands: IOS Press, pp. 1-6. http://www.iospress.nl/book/managing-parliaments-in-the-21st-century/


Conference Paper (published)

Maharaj S & Shankland C (2000) A Survey of Formal Methods applied to IEEE 1394. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, 06.04.2000-07.04.2000. Stirling, Scotland: University of Stirling, pp. 25-26.


Book Chapter

Reid IA & Jarvie G (2000) Sport, nationalisms and their futures. In: Jones R & Armour K (eds.) Sociology of sport: theory and practice. Harlow, UK: Lomgman/Pearson Education Ltd, pp. 83-98. http://www.pearsoned.co.uk/bookshop/detail.asp?WT.oss=9780582419124&WT.oss_r=1&item=100000000003782


Book Chapter

Stark C, Paterson B, Henderson T, Kidd B & Godwin M (2000) Nurses Who Kill: Serial Murder in Health Care Institutions. In: Godwin G (ed.) Criminal Psychology and Forensic Technology: A Collaborative Approach to Effective Profiling. Washington, DC: CRC Press LLC, pp. 193-198. http://www.crcpress.com/product/isbn/9780849323584


Article

Goodall K (2000) Judicial Independence. Juridical Review, 2000 (6), pp. 383-390.


Book Chapter

Baumeister A (2000) Kant: the Arch-enlightner. In: Geras N & Wokler R (eds.) The Enlightenment and Modernity. Houndsmill: Macmillan Press, pp. 50-65. http://us.macmillan.com/theenlightenmentandmodernity/NormanGeras


Book Chapter

Baumeister A (2000) The new Feminism. In: O'Sullivan N (ed.) Political Theory in Transition. London: Routledge, pp. 49-69. http://www.routledge.com/books/details/9781857288544/