Items where Subject is "A General Works"

A

Abu-Manneh, Bashir (2021) Under 'Suffering's Glow': Palestinian Writing After Oslo. In: Gregory Fox, Rachel and Qabaha, Ahmad, eds. Post-Millennial Palestine: Literature, Memory, Rsistance. Liverpool University Press, pp. 1-8. ISBN 978-1-80034-827-1. (KAR id:87712)

Alexis-Martin, Becky, Leigh, Jennifer S. (2023) Ten steps to recruitment equity for disabled academics. Times Higher Education, . ISSN 0049-3929. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:100358)

Anderson, Graham (1994) Groningen Colloquiums on the Novel, Vol 4 - Hofmann,H. Classical Review, 44 (1). pp. 72-74. ISSN 0009-840X. (doi:10.1017/S0009840X00290525) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20357)

Anderson, Graham (1994) A History to Books-5 of the Correspondence of Symmatchus, Q.AURELIUS - iNTRODUCCTION, Historical Commentary, Text, Translation,Indexes - Italian and Latin - Tiberga,PR. Classical Review, 44 (1). p. 214. ISSN 0009-840X. (doi:10.1017/S0009840X00291464) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20358)

Anderson, Graham (1995) Lucian, Works, Vol 1, General Introduction, Opuscula 1-10- French and Greek - Bompaire,J. Classical Review, 45 (1). pp. 24-26. ISSN 0009-840X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19669)

Azmanova, Albena (2015) The Crisis of 'the Crisis of Capitalism'. In: Public Lecture at the London School of Economics and University of California, 4 Nov. 2014, 22 Jan. 2015, London School of Economics and UC Berkeley. (Unpublished) (KAR id:47289)

B

Baker, Patricia A (2007) Review of Helen King (ed), 'Health in Antiquity'. Review of: Health in Antiquity by King, Helen. Journal of Hellenic Studies, 127 . pp. 197-198. ISSN 0075-4269. (doi:10.1017/S0075426900002123) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:2956)

Barrett, Edd and King, Andy (1992) Range Analysis of Binaries with Minimal Effort. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 7437 . Springer, pp. 93-107. ISBN 978-3-642-32468-0. (doi:10.1007/978-3-642-32469-7_7) (KAR id:41116)

Baugh, Christopher (2000) English court theatre 1558-1642. Theatre Research International, 25 (1). pp. 87-88. ISSN 0307-8833. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16099)

Bauld, Linda, Chesterman, John, Judge, Ken F. (2000) Measuring satisfaction with social care amongst older service users: issues from the literature. Health & Social Care in the Community, 8 (5). pp. 316-324. ISSN 0966-0410. (doi:10.1046/j.1365-2524.2000.00256.x) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16100)

Bell, Paul C., Drameh, M., Hanly, N., Wallis, John D. (2000) Interaction between a dimethylamino group and an electron-deficient alkene in ethyl (E)-2-cyano-3-(8-dimethylamino-1-naphthyl)propenoate. Acta Crystallographica Section C-Crystal Structure Communications, 56 (6). pp. 670-671. ISSN 0108-2701. (doi:10.1107/S0108270100000512) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16119)

Benoy, Florence, King, Andy, Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1-2). pp. 259-271. ISSN 1471-0684. (doi:10.1017/S1471068404002261) (KAR id:37639)

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures (proof appendix for conference submission). Technical report. University of Kent, School of Computing (KAR id:37622)

Birmingham, David (1994) Angola to 2000 - Prospects for Recovery - Hoges,T. Journal of Southern African Studies, 20 (1). pp. 153-154. ISSN 0305-7070. (doi:10.1080/03057079408708391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20387)

Bond, C.S., Leonard, G.A., Regan, A.C., Hunter, W.N., Andrews, J.F.P. (1994) A Chiral Tetrahydro-Gamma-Pyrannonecarboxylate Ester for Asymmetric Nazarov Cyclization. Acta Crystallographica Section C-Crystal Structure Communications, 50 . pp. 133-136. ISSN 0108-2701. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20391)

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. In: Kowalewski, Stefan and Roveri, Marco, eds. Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 6371 . Springer, pp. 82-98. ISBN 978-3-642-15897-1. (doi:10.1007/978-3-642-15898-8_6) (KAR id:37590)

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. First edition. Lecture Notes in Computer Science, 6806 . Springer, Berlin, Germany, pp. 191-207. ISBN 978-3-642-22109-5. E-ISBN 978-3-642-22110-1. (doi:10.1007/978-3-642-22110-1_17) (KAR id:37589)

Burin, M.R.M.J., Cook, Christopher C. H. (2000) Alcohol withdrawal and hypokalaemia: A case report. Alcohol and Alcoholism, 35 (2). pp. 188-189. ISSN 0735-0414. (doi:10.1093/alcalc/35.2.188) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16186)

C

Cameron, Lindsey, Glick, Anne, Swift, Hannah J. (2017) Using technology to promote multicultural competence in Primary Schools: An evaluation of the One Globe Kids method. In: Royal Geographical Society with IBG International Conference, Sept 2017, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:78642)

Chakrabarti, Pratik (1999) Asiatic Society and its Vision of Science: Metropolitan Knowledge in a Colonial World. Calcutta Historical Journal, XXI-.X (1). (KAR id:24272)

Chakrabarti, Pratik (2010) Science and Swadeshi: The Establishment and Growth of the Bengal Chemical and Pharmaceutical Works. In: Gupta, Uma Das, ed. Science and Modern India: an Institutional History c.1784-1947. History of science, philosophy, and culture in Indian civilization . Pearson Education, New Delhi. ISBN 978-81-317-2818-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13078)

Chan, Stephen (1995) The changing of the guard: Armed forces and defence policy in a democratic South Africa - Nathan,L. Journal of Southern African Studies, 21 (4). pp. 685-686. ISSN 0305-7070. (doi:10.1080/03057079508708473) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19753)

Charles, Philip and King, Andy and Howe, Jacob M. (2009) Integer Polyhedra for Program Analysis: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings. In: Goldberg, Andrew and Zhou, Yunhong, eds. Algorithmic Aspects in Information and Management,. Lecture Notes in Computer Science, 5564 . Springer, pp. 85-99. ISBN 978-3-642-02157-2. (doi:10.1007/978-3-642-02158-9_9) (KAR id:37592)

Chawdhary, Aziem and Robbins, Ed and King, Andy (2014) Simple and Efficient Algorithms for Octagons. In: Garrigue, Jacques, ed. Twelfth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 8858 . Springer, pp. 296-313. ISBN 978-3-319-12735-4. E-ISBN 978-3-319-12736-1. (doi:10.1007/978-3-319-12736-1_16) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:42815)

D

Davies, Bleddyn P., Chesterman, John (1995) How does case management improve efficiency? Effects of case management inputs on the impacts of home care service inputs. In: Leung, E.M.F. and Chi, I. and Holder, Jane and Lee, J.J, eds. Hong Kong Journal of Gerontology, Vol 10, Supplement 1996 –Proceedings of 5th Asia/ Oceania Regional Congress of Gerontology-Total Care of the Elderly: A Multidisciplinary Approach. . pp. 255-259. Hong Kong Association Gerontology (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19805)

Di Falco, Salvatore Household characteristics and forest dependency: evidence from common property forest management in Nepal. Ecological Economics, . ISSN 0921-8009. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:11170)

Di Falco, Salvatore, Smlae, Melinda, Perrings, Charles (2008) The role of agricultural cooperatives in sustaining the wheat diversity and productivity: the case of southern Italy. Environmental and Resource Economics, 39 (2). pp. 161-174. ISSN 0924-6460. (doi:10.1007/s10640-007-9100-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:11158)

Duckworth, C. (1995) Measuring Disability - the Role of the ICIDH. Disability and Rehabilitation, 17 (7). pp. 338-343. ISSN 0963-8288. (doi:10.3109/09638289509166719) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19504)

E

Ellen, Roy F. (1992) Growing Up Agreeably - Bonerate Childhood Observed - Broch,HB. Journal of Southeast Asian Studies, 23 (1). pp. 173-174. ISSN 0022-4634. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22557)

G

Genaim, Samir and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. In: Degano, Pierpaolo, ed. European Symposium on Programming. 2618. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 978-3-540-00886-6. (doi:10.1007/3-540-36575-3_7) (KAR id:37612)

Genaim, Samir, King, Andy (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (doi:10.1145/1352582.1352585) (KAR id:15105)

Glass, R. (1995) The Broonie, Silkies and Fairies - Williamson,D. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19560)

Glass, R. (1995) Fireside Tales of the Trveler Children - Willamson,D. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19559)

Glass, R. (1995) Hausa Folktales from the Nigwer - Glew,RS, Bablae,C. Folklore, 106 . p. 118. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19557)

Glass, R. (1995) The Horssimen - Memories of a Traveler, 1928-58 - Willamson,D. Folklore, 106 . pp. 120-121. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19558)

Glass, R. (1995) The 'Maiden who Rose from the Sea' and Other Finish Foltales - Henderson,H. Folklore, 106 . pp. 117-118. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19556)

Glass, R. (1995) The Things that said of them - Shaman Stories and Oral Histories of the Tikigaq people - Lowenstein,T. Folklore, 106 . p. 124. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19562)

Glass, R. (1995) The Well at the Worlds end - Folk- Tales of Scotland - Montgomerie,N, Mongomerie,W. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19561)

Griffiths, Richard A. (1995) Tons of Tadpoles. New Scientist, 148 (2004). p. 76. ISSN 0262-4079. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19575)

Gritsonie, P., Pilkington, Melanie, Wallis, John D., Povey, David C. (1994) Methyl DL-3-3Benzl-2,2-Dioxo-1,2,3-Oxathiazolidine-4-Carboxylate an Intermediate for Amino-Acid Synthesis. Acta Crystallographica Section C-Crystal Structure Communications, 50 . pp. 763-765. ISSN 0108-2701. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20236)

Guerin, Frances (2013) En Grisaille nowadays. . Catalogue and exhibition blurb. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:45712)

Guerin, Frances (2012) Frances Guerin on her book Through Amateur Eyes: Film and Photography in Nazi Germany: An Interview. . online. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:45713)

Guerin, Frances (2008) www.artslant.com. . online. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:45711)

Guerin, Frances (2008) www.francesguerin.com. . website. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:45710)

Gurnah, Abdulrazak (1995) Killing Fields. Review of: The Book of Secrets by Vassanji, M.G.. Times Literary Supplement, (4819). p. 22. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19579)

Gurnah, Abdulrazak (1997) The Very Lucky Few. Review of: Shadrach Minkins: From Fugitive Slave to Citizen; and His Promised Land: The Autobiography of John P. Parker, former slave and conductor on the underground railroad by Collison, Gary and Parker, John P.. Times Literary Supplement, (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18086)

Gurnah, Abdulrazak S (1997) Shadrach Minkins, from fugitive slave to citizen - Collison,G. Review of: Shadrach Minkins: From Fugitive Slave to Citizen by Collison, Gary L.. Times Literary Supplement, (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18085)

H

Hales, Samuel and Burns, Derek William and Partridge, Benjamin (2019) Getting on to a PhD. In: Walton, Holly, ed. A guide for psychology postgraduates. Second edition. Leicester, UK: British Psychological Society (BPS), UK, pp. 12-18. (KAR id:74255)

Hann, Chris (1995) Subverting Strong States - the Dialectics of Social Engineering in Hungary and Turkey. Daedalus, 124 (2). pp. 133-153. ISSN 0011-5266. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19584)

Hann, Chris (1997) The nation-state, religion, and uncivil society: Two perspectives from the periphery. Daedalus, 126 (2). pp. 27-45. ISSN 0011-5266. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18094)

Hatton, Peter and Murray, Val and Pilling, Lynn (2009) Brown Fields Blue Skies. a) Brown Field Blue Skies - Residency & Performances b) Brown Field Blue Skies Exhibition, a) August 2007 - March 2008 b) March 4th to 12th June 2009, a) Widnes Waterfront Development Site, Widnes, Cheshire b) ICIA (Institute of Contemporary Interdisciplinary Arts), University of Bath. Performance, Video, Website Intervention and Exhibition. (KAR id:31685)

Heaton, Andrew, Abo-Zaed, Mohammad, King, Andy, Micheal, Codish (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066. (doi:10.1016/S0743-1066(00)00006-6) (KAR id:37583)

Heaton, Andrew and Hill, Pat and King, Andy (2000) Abstract Domains for Universal and Existential Properties:9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782 . Springer, pp. 150-164. ISBN 978-3-540-67262-3. (doi:10.1007/3-540-46425-5_10) (KAR id:37619)

Hiley, Nicholas (2000) Cartoons in Canterbury. Times Literary Supplement, (5096). p. 19. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16211)

Hill, Pat, King, Andy (1997) Determinacy and Determinacy Analysis. Journal of Programming Languages, 5 (1). pp. 135-171. ISSN 0963-9306. (KAR id:37586)

Hope, Julia, Quinlan, Kathleen M. (2020) Staying local: how mature, working-class students on a satellite campus leverage community cultural wealth. Studies in Higher Education, . ISSN 0307-5079. (doi:10.1080/03075079.2020.1725874) (KAR id:77754)

Howe, Jacob M., King, Andy (2003) Efficient Groundness Analysis in Prolog. Theory and Practice of Logic Programming, 3 (1). pp. 95-124. ISSN 1471-0684. (doi:10.1017/S1471068402001485) (KAR id:37536)

Howe, Jacob M. and King, Andy (2000) Implementing Groundness Analysis with Definite Boolean Functions: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. European Symposium on Programming. Lecture Notes in Computer Science, 1782 . Springer, pp. 200-214. ISBN 978-3-540-67262-3. (doi:10.1007/3-540-46425-5_13) (KAR id:37620)

Howe, Jacob M. and King, Andy (2009) Logahedra: a New Weakly Relational Domain: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. In: Zhiming, Lu and Anders, Ravn, eds. Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, 5799 . Springer, pp. 306-320. ISBN 978-3-642-04760-2. (doi:10.1007/978-3-642-04761-9_23) (KAR id:37591)

Howe, Jacob M., King, Andy (2003) Three Optimisations for Sharing. Theory and Practice of Logic Programming, 3 (2). pp. 243-257. ISSN 1471-0684. (doi:10.1017/S1471068402001497) (KAR id:37579)

Howe, Jacob M. and King, Andy and Lu, Lunjin (2004) Analysing Logic Programs by Reasoning Backwards: A Decade of Research Advances in Logic-Based Program Development. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic. Lecture Notes in Computer Science, 3049 . Springer, pp. 152-188. ISBN 978-3-540-22152-4. (doi:10.1007/978-3-540-25951-0_6) (KAR id:37608)

I

Innes, C. Lyn (1994) Virgin Territories and Motherlands - Colonial and Natioanlist Representations of Africa and Ireland. Feminist Review, (47). pp. 1-14. ISSN 0141-7789. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20265)

J

Jonathan, Martin, King, Andy (2006) Control Generation by Program Transformation. Fundamenta informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968. E-ISSN 1875-8681. (KAR id:37531)

K

Kanterian, Edward (2015) Satul f?r? nume [The village without a name; on the Armenian genocide]. Observator Cultural, . pp. 12-13. ISSN 1454-9883. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48136)

Kanterian, Edward, Ben-Yami, Hanoch (2014) We are witnessing a conflict between two peoples or societies on the same piece of land over which each of them thinks it has rights. Observator Cultural, 733 . pp. 10-11. ISSN 1454-9883. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48096)

Kettle, Neil, King, Andy (2008) An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (4). pp. 764-777. ISSN 0278-0070. (doi:10.1109/TCAD.2008.917592) (KAR id:37528)

Kettle, Neil and King, Andy and Strzemecki, Tadeusz (2006) Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. In: Hermanns, Holger and Palsberg, Jens, eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer, pp. 105-119. ISBN 978-3-540-33056-1. (doi:10.1007/11691372_7) (KAR id:37603)

Khan, F. (1997) A legacy of violence (Partition in the Indian subcontinent). Index on Censorship, 26 (6). pp. 80-83. ISSN 0306-4220. (doi:10.1080/03064229708536266) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18143)

King, Andy (1994) High Precision Sharing Analysis. Journal of Programming Languages, 2 (1). pp. 149-191. ISSN 0963-9306. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37587)

King, Andy (2000) Pair-sharing over rational trees. Journal of Logic Programming, 46 (1-2). pp. 139-155. ISSN 0743-1066. (doi:10.1016/S0743-1066(00)00009-1) (KAR id:37582)

King, Andy, Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (doi:10.1017/S1471068402001436) (KAR id:37580)

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings. In: Palamidessi, Catuscia, ed. Logic Programming. Lecture Notes in Computer Science, 2916 . Springer, pp. 315-330. ISBN 978-3-540-20642-2. (doi:10.1007/978-3-540-24599-5_22) (KAR id:37611)

King, Andy and Lu, Lunjin and Genaim, Samir (2006) Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 132-147. ISBN 978-3-540-36635-5. (doi:10.1007/11799573_12) (KAR id:37598)

King, Andy and Smaus, Jan-Georg and Hill, Pat (1999) Quotienting Share for Dependency Analysis: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. In: Swierstra, Doaitse, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1576 . Springer, pp. 59-73. ISBN 978-3-540-65699-9. (doi:10.1007/3-540-49099-X_5) (KAR id:37618)

King, Andy and Soper, Paul (1992) Ordering Optimizations for Concurrent Logic Programs. In: Nerode, Anil and Taitslin, Michael, eds. Logical Foundations of Computer Science. Lecture Notes in Computer Science, 620 . Springer, pp. 221-228. ISBN 978-3-540-55707-4. E-ISBN 978-3-540-47276-6. (doi:10.1007/BFb0023876) (KAR id:37629)

Krauthausen, Karin and Nasim, Omar W. (2010) Papiertechniken im Labor. Interview mit Hans-Jörg Rheinberger. In: Krauthausen, Karin and Nasim, Omar W., eds. Notieren, Skizzieren Schreiben und Zeichnen als Verfahren des Entwurfs. Diaphanes, Zurich and Berlin, pp. 139-158. ISBN 978-3-03734-053-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48638)

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 978-3-642-29821-9. (doi:10.1007/978-3-642-29822-6_16) (KAR id:37588)

Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (KAR id:37621)

Kriener, Jael and King, Andy (2014) Semantics for Prolog with Cut – Revisited. In: Sumii, Eijiro and Codish, Michael, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 8475 . Springer Verlag, pp. 270-284. ISBN 978-3-319-07151-0. (doi:10.1007/978-3-319-07151-0_17) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:38188)

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York, pp. 37-48. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505886) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37524)

L

Labadi, Sophia, Giliberto, Francesca, Rosetti, Ilaria, Shetabi, Linda, Yildirim, Ege (2021) Heritage and the Sustainable Development Goals: Policy Guidance for Heritage and Development Actors. ICOMOS (KAR id:89231)

Lam, Alice (2000) Tacit knowledge, organizational learning and societal institutions: An integrated framework. Organization Studies, 21 (3). pp. 487-513. ISSN 0170-8406. (doi:10.1177/0170840600213001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16292)

Laurence, Ray (2013) Four Sisters in Ancient Rome. TED Animated Film. (KAR id:37578)

Laurence, Ray (2012) A Glimpse of Teenage Life in Ancient Rome. TED Animated Film. (KAR id:37576)

Laurence, Ray (2014) Roman Nursing Goddess – The Dea Nutrix. TED Animated Film. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48534)

Lee, A. Robert (1998) Is there any there, there? Review of: Blank Fictions: Consumerism, Culture and the Contemporary American Novel; and Spectacular Allegories by Annesley, James and Cohen, Josh. Times Literary Supplement, (4992). p. 21. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17415)

Lee, A. Robert (1998) Spectacular allegories - Postmodern American writing and the politics of seeing. Review of: Spectacular Allegories: Postmodern American Writing and the Politics of Seeing by Cohen, Josh. Times Literary Supplement, (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17416)

Lee, Lois (2011) From “Neutrality” to Dialogue: Constructing the Religious Other in British Non-religious Discourses. Modernities Revisited, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65407)

Leigh, Jennifer S (2017) Being Hefty. . Leadership Foundation 4 HE, 1 pp. Online blog. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70567)

Leigh, Jennifer S (2023) Borders of Qualitative Research: Navigating the Spaces where Therapy, Education, Art and Science Connect. Bristol University Press, Bristol (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:101619)

Leigh, Jennifer S (2018) Concluding thoughts. In: Leigh, Jennifer S, ed. Conversations on embodiment across higher education: Teaching, practice and research. 1st Edition. Routledge Research in Higher Education . Routledge, Abingdon, UK, 227 -232. ISBN 978-1-138-29004-4. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69918)

Leigh, Jennifer S (2018) Embodied practice and embodied identity. In: Leigh, Jennifer S, ed. Conversations on embodiment across higher education: Teaching, practice and research. 1st Edition. Routledge Research in Higher Education . Routledge, Abingdon, UK, 151 -172. ISBN 978-1-138-29004-4. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69916)

Leigh, Jennifer S (2022) How science can do better for neurodivergent people: Disability can affect anyone. . Nature Webiste. ISSN 0028-0836. 10.1038/d41586-022-04248-5. (doi:10.1038/d41586-022-04248-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:99190)

Leigh, Jennifer S (2022) Jennifer Leigh. In: ResearcHER by the Women in Academia Support Network. Emerald. ISBN 978-1-80382-734-6. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:96772)

Leigh, Jennifer S (2023) Mobile Visual Bodies (Moving Seeing Bodies). In: Bloomsbury Encyclopedia of Visual Culture. Bloomsbury, London. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:101618)

Leigh, Jennifer S (2022) Voices: Increasing inclusivity and equity in research cultures. Cell Reports Physical Science, . E-ISSN 2666-3864. (doi:10.1016/j.xcrp.2022.101199) (KAR id:99189)

Leigh, Jennifer S, Hiscock, Jennifer R., Haynes, Cally J. E., McConnell, Anna J., von Krbrek, Larissa, Slater, Anna G., Kieffer, Marion, Hind, Charlotte, Caltagirone, Claudia, Draper, Emily R. and others. (hide) (2022) Women in Supramolecular Chemistry. Transforming Society, . (KAR id:93063)

Leigh, Jennifer S, Hiscock, Jennifer R., McConnell, Anna J., Haynes, Cally J. E., Caltagirone, Claudia, Draper, Emily R., Slater, Anna G., von Krbrek, Larissa, Hind, Charlotte, Kieffer, Marion and others. (hide) (2022) Pathways to inclusivity and diversity: building communities for women in science. SRHE News, . (KAR id:93062)

Lewis, Patricia (2018) Telling Neoliberal and Postfeminist Stories: What Gets Heard in Feminist Organization Studies. In: 10th Biennial International Interdisciplinary Gender, Work & Organization Conference, 14-16 June 2018, Sydney, Australia. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:71067)

Li, Xuan and King, Andy and Lu, Lunjin (2006) Collapsing Closures: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 148-162. ISBN 978-3-540-36635-5. (doi:10.1007/11799573_13) (KAR id:37601)

Li, Xuan and King, Andy and Lu, Lunjin (2006) Lazy Set-Sharing Analysis: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. In: Wadler, Philip and Hagiya, Masimi, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 3945 . Springer, pp. 177-191. ISBN 978-3-540-33438-5. (doi:10.1007/11737414_13) (KAR id:37602)

Loop, Jan (2013) Johann Heinrich Hottinger. Arabic and Islamic Studies in the Seventeenth Century. Oxford University Press ISBN 978-0-19-968214-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:47029)

Lough, Frank (2000) The art and life of the narrative of Benjamin Jarnes. Insula-Revista De Letras Y Ciencias Humanas, 55 (646). pp. 19-21. ISSN 0020-4536. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16341)

Lu, Lunjin and King, Andy (2004) Backward Pair Sharing Analysis: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings. In: Kameyama, Yukiyoshi and Stuckey, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer, pp. 132-146. ISBN 978-3-540-21402-1. (doi:10.1007/978-3-540-24754-8_11) (KAR id:37610)

Lu, Lunjin and King, Andy (2005) Determinacy Inference for Logic Programs: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. In: Sagiv, Shmuel, ed. European Symposium on Programming. Lecture Notes in Computer Science, 3444 . Springer, pp. 108-123. ISBN 978-3-540-25435-5. (doi:10.1007/978-3-540-31987-0_9) (KAR id:37607)

Luckhurst, Tim (2013) "Excellent but Gullible People": The press and the People's Convention. Journalism Studies, 14 (1). pp. 62-77. ISSN 1469-9699. (doi:10.1080/1461670X.2012.680810) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:34500)

M

Macola, Giacomo (2015) Luba-Lunda States. In: Mackenzie, John, ed. The Encyclopedia of Empire. Wiley. ISBN 978-1-118-44064-3. (doi:10.1002/9781118455074.wbeoe060) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44499)

Mahoney, Patrick, Smith, Tanya, Schwartz, Gary, Dean, Christopher, Kelley, Jay (2007) Molar crown formation in the Late Miocene Asian hominoids, Sivapithecus parvada and Sivapithecus indicus. Journal of Human Evolution, 53 (1). pp. 61-68. ISSN 0047-2484. (doi:10.1016/j.jhevol.2007.01.007) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:53215)

Marsden, Ben (1998) Blowing hot and cold: Reports and retorts on the status of the air-engine as success or failure, 1830-1855. History of Science, 36 . pp. 373-420. ISSN 0073-2753. (doi:10.1177/007327539803600401) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17438)

Martin, Jonthan C. and King, Andy (2004) On the Inference of Natural Level Mappings: A Decade of Research Advances in Logic-Based Program Development. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic,. Lecture Notes in Computer Science, 3049 . Springer, pp. 432-452. ISBN 978-3-540-22152-4. (doi:10.1007/978-3-540-25951-0_13) (KAR id:37609)

Massender, J. (1998) American literary realism and the failed promise of contract. Journal of American Studies, 32 . pp. 533-534. ISSN 0021-8758. (doi:10.2307/846027) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17439)

Massender, J. (1998) Ernest Hemingway: The Oak Park legacy. Review of: Ernest Hemingway: The Oak Park Legacy by Nagel, James. Journal of American Studies, 32 . pp. 161-162. ISSN 0021-8758. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17440)

McLellan, David (1998) Power and the sacred in revolutionary Russia. Religious activists in the village. Review of: Power and the Sacred in Revolutionary Russia: Religious Activists in the Village by Young, Glennys. Slavonic and East European Review, 76 (4). pp. 754-755. ISSN 0037-6795. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17448)

Montefiore, Janet E. (1998) Oxford's poetry list. Times Literary Supplement, (4991). p. 17. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17456)

N

Nasim, Omar W. (2008) Beobachtungen mit der Hand: Astronomische Nebelskizzen im 19. Jahrhundert. In: Hoffmann, Christoph, ed. Daten sichern Schreiben und Zeichnen als Verfahren der Aufzeichnung. Diaphanes, Zurich and Berlin, pp. 21-46. ISBN 978-3-03734-048-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48636)

Nasim, Omar W. (2009) Explaining G.F. Stout’s Reaction to Russell’s ‘On Denoting’. In: Griffin, Nicholas and Jacquette, Dale, eds. Russell vs. Meinong: the Legacy of "On Denoting". Routledge, pp. 101-112. ISBN 978-0-415-96364-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48637)

Nasim, Omar W. (2013) Extending the Gaze: The Temporality of Astronomical Paperwork. Science in Context, 26 (2). pp. 247-277. ISSN 0269-8897. (doi:10.1017/S0269889713000057) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48630)

Nasim, Omar W. (2014) Nebulae. In: Azzouni, Safia and Wittmann, Barbara and Schmidgen, Henning, eds. Eine Naturgeschichte für das 21. Jahrhundert. Alpheus Verlag. ISBN 978-3-9813184-5-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48640)

Nasim, Omar W. (2015) The Observatory. In: Sommer, M. and Müller-Wille, Steffan and Reinhardt, C., eds. Handbuch Wissenschaftsgeschichte. Metzler Verlag, Stuttgart. ISBN 978-3-476-02465-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48643)

Nasim, Omar W. (2012) On Scribbles in Space. In: Driesen, Christian and Koppel, Rea and Meyer-Krahmer, Benjamin and Wittrock, Eike, eds. Über Kritzeln Graphismen zwischen Schrift, Bild, Text und Zeichen. Diaphanes, Zurich and Berlin, pp. 71-90. ISBN 978-3-03734-258-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48642)

Nasim, Omar W. (2009) On Seeing an Image of a Spiral Nebula: From Whewell to Flammarion. Nuncius, 24 (2). pp. 393-414. ISSN 0394-7394. (doi:10.1163/182539109X00624) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48634)

Nasim, Omar W. (2013) “Was ist historische Epistemologie?“. In: Kilcher, Andreas and Gugerli, David and Hagner, Michael and Hirschi, Caspar and Purtschert, Patricia and Sarasin, Philipp and Tanner, Jakob, eds. Nach Feierabend 2013: Digital Humanities. Diaphanes, pp. 123-144. ISBN 978-3-03734-421-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48629)

Nasim, Omar W. (2010) Zeichnen als Mittel der ‘Familiarization’ zur Erkundung der Nebel im Lord Rosse-projekt. In: Krauthausen, Karin and Nasim, Omar W., eds. Notieren, Skizzieren: Schreiben und Zeichnen als Verfahren des Entwurfs. Diaphanes, Zurich and Berlin, pp. 159-188. ISBN 978-3-03734-053-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48639)

P

Pavis, Patrice (2012) Contemporary Mise en Scène: Staging Theatre Today. Routledge, 384 pp. ISBN 978-0-415-55344-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31724)

Pavis, Patrice (2012) L'Analyse Des Spectacles. Armand Colin, France, 384 pp. ISBN 978-2-200-25983-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31723)

Pavis, Patrice (2010) The director’s new tasks. In: Delgado, Maria M. and Rebellato, Dan, eds. Contemporary European Theatre Directors. Routledge, pp. 395-411. ISBN 978-0-415-46250-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31726)

Peluso, Daniela M. (2024) Aumento. In: The Global Encyclopaedia of Informality: A hitchhiker’s guide to informal problem-solving in human life. UCL Press, pp. 294-297. ISBN 978-1-80008-615-9. E-ISBN 978-1-80008-614-2. (doi:10.14324/111.9781800086142) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:103078)

Peluso, Daniela M. (2023) Chacruna Survey Results on the Awareness of Sexual Abuse in Ayahuasca Settings. . Chacruna website. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:99830)

Peluso, Daniela M. (2024) Parillada. In: Global Encyclopaedia of Informality: A hitchhiker’s guide to informal problem-solving in human life. UCL Press, London, UK, pp. 503-505. ISBN 978-1-80008-615-9. E-ISBN 978-1-80008-614-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:103079)

Peluso, Daniela M. (2023) The digital divide and futurist imaginings of Zelle-ous resistors. Social Inclusion, 11 (3). pp. 41-50. ISSN 2183-2803. E-ISSN 2183-2803. (doi:10.17645/si.v11i3.6867) (KAR id:101833)

Pendry, Richard (2018) How social media shot down wartime propaganda. . internet. (KAR id:103034)

R

Reed, Debbie (2021) The history of dental nursing. British Dental Journal Teams, 8 (21). pp. 48-51. ISSN 2054-7617. (doi:10.1038/ s41407-021-0782-x.) (KAR id:92015)

Reeves, Jane and Shemmings, David and Blake, Emily (2014) Looking out for Lottie: Child Sexual Exploitation. University of Kent HTML based game. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:47232)

Rieuwerts, S. (1994) The Genuine Ballads of the People - Child,F.J. and the Ballad Cause. Journal of Folklore Research, 31 (1-3). pp. 1-34. ISSN 0737-7037. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19993)

Robbins, Ed, Howe, Jacob M., King, Andy (2015) Theory Propagation and Reification. Science of Computer Programming, 111 (1). pp. 3-22. ISSN 0167-6423. (doi:10.1016/j.scico.2014.05.013) (KAR id:37600)

S

Sakwa, Richard (1996) The Gorbachev Encyclopedia - Gorbachev the Man and his Times - Wieczynski, JL. Slavonic and East European Review, 74 (2). pp. 366-368. ISSN 0037-6795. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18467)

Sakwa, Richard (1996) The Gorbachev Reader - Wieczynski, JL. Slavonic and East European Review, 74 (2). pp. 366-368. ISSN 0037-6795. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18466)

Sakwa, Richard (1996) Gorbachev's failure in Lithuania - Senn,AE. Slavic Review, 55 (2). pp. 474-475. ISSN 0037-6779. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18461)

Sayers, Janet V. (1994) Psychoanalysing Patriarchy Ills. European Journal of Women's Studies, 1 (2). pp. 227-239. ISSN 1350-5068. (doi:10.1177/135050689400100206) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20024)

Sayers, Sean (1994) Philosophy and the Information Superhighway. Radical Philosophy, (67). p. 63. ISSN 0300-211X. (KAR id:7874)

Seller, A.P (1996) Between friends: The correspondence of Hannah Arendt and Mary McCarthy 1949-1975 - Brightman,C. European Journal of Women's Studies, 3 (2). pp. 185-187. ISSN 1350-5068. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18486)

Shaw, David J. (1996) Poets With Profile. Review of: Poets, Patrons and Printers: Crisis Of Authority in Late Medieval France by Brown, Cynthia J.. Times Literary Supplement, (4861). p. 26. ISSN 0307-661X. (doi:10.2307/3733555) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18493)

Shen, Kish, Santos Costa, Vitor, King, Andy (1999) Distance: a New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming, 1999 . pp. 1-23. ISSN 1080-5230. (KAR id:37585)

Sheringham, Michael (1996) The Hateful Ego. Review of: Rousseau's Legacy: Emergence and Eclipse of the Writer in France by Porter, Dennis. Times Literary Supplement, (4847). p. 31. ISSN 0307-661X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18496)

Shilling, Chris (2006) Body. In: Scholte, Jan Aart and Robertson, Roland, eds. Encyclopedia of Globalization. Routledge, New York. ISBN 978-0-415-97314-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:4878)

Simon, Axel, King, Andy (2004) Convex Hull for Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (3). pp. 259-271. ISSN 0020-7160. (doi:10.1080/00207160310001650034) (KAR id:37534)

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 3672 . Springer, pp. 336-351. ISBN 978-3-540-28584-7. (doi:10.1007/11547662_23) (KAR id:37606)

Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 978-3-540-48937-5. (doi:10.1007/11924661_11) (KAR id:37597)

Singh, Ranjeet and King, Andy (2015) Partial Evaluation for Java Malware Detection. In: Proietti, Maurizio and Seki, Hirohisa, eds. Twenty fourth International Symposium on Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science, 8991 . Springer, pp. 133-147. ISBN 978-3-319-17821-9. E-ISBN 978-3-319-17822-6. (doi:10.1007/978-3-319-17822-6_8) (KAR id:42104)

Smaus, Jan-Georg, Hill, Pat, King, Andy (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (doi:10.1017/S1471068401001107) (KAR id:37581)

Smith, H. (1996) US-Sandinista diplomatic relations: Voice of intolerance - Ryan,D. Journal of Latin American Studies, 28 . pp. 720-721. ISSN 0022-216X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18506)

Song, Miri (1996) Changing conceptualizations of lone parenthood in Britain - Lone parents or single mums? European Journal of Women's Studies, 3 (4). 377-&. ISSN 1350-5068. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18519)

Stanfield, Peter (2015) The Cool and The Crazy : Pop Fifties Cinema. Rutgers University Press, New Brunswick, 236 pp. ISBN 978-0-8135-7298-7. E-ISBN 978-0-8135-7300-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50494)

Stevenson, Sian (2020) Moving Well: an on-line learning resource. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:84694)

Stirrup, David F. (2014) Bridging the Third Bank: Indigeneity and Installation Art at the Canada-US Border. In: Roberts, Gillian and Stirrup, David F., eds. Parallel Encounters: Culture at the Canada-US Border. Wilfrid Laurier University Press. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:41439)

T

Thomas, Dave (2019) Black Intellectual Capital: Towards a 'pedagogy of hope'. AdvanceHE, . (KAR id:81232)

Thomas, Dave (2015) Inequality in attainment. Times Higher Education Supplement, . ISSN 0049-3929. (KAR id:81237)

Todd, John F.J. (1991) Ion Trap Mass-Spectrometer - Past, Present, and Future. Mass Spectrometry Reviews, 10 (1). pp. 3-52. ISSN 0277-7037. (doi:10.1002/mas.1280100103) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22777)

Trimingham, M F (2017) Agency and Empathy: Artists Touch the Body. In: Barbieri, Donatella, ed. Costume in Performance: Materiality, Culture, and the Body. First Edition. Bloomsbury, London UK, pp. 137-165. ISBN 978-1-4742-3687-4. E-ISBN 978-1-4742-3688-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65306)