Items where Subject is "A General Works"

Library of Congress Subject Areas (52659)
- A General Works (265)
  - AC Collections. Series. Collected works (12)
  - AI Indexes (General) (1)
  - AM Museums. Collectors and collecting (14)
  - AS Academies and learned societies (3)
  - AZ History of Scholarship. The Humanities (111)

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | B | C | D | E | G | H | I | J | K | L | M | N | P | R | S | T

Number of items at this level: 147.

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)

[thumbnail of Plain text conversion conversion from application/vnd.openxmlformats-officedocument.wordprocessingml.document to text/plain]

[thumbnail of Foreword to Post-Millennial Palestine, KAR PDF.pdf]

Preview

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)

[thumbnail of Azmanova The_Crisis_of_the_Crisis_of_Capitalism.pdf]

Preview

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)

[thumbnail of Range Analysis of Binaries with Minimal E?ffort]

Preview

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)

Preview

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)

Preview

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)

Preview

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. Lecture Notes in Computer Science, 6806 . Springer, pp. 191-207. ISBN 978-3-642-22109-5. (doi:10.1007/978-3-642-22110-1_17) (KAR id:37589)

Preview

Brown, Nicole and Leigh, Jennifer (2020) Preface. In: Ableism in academia: Theorising experinces of disabilities and chronic illnesses in higher education. UCL Press, London, UK, xiv-xvi. ISBN 978-1-78735-497-5. (doi:10.2307/j.ctv13xprjr.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:83478)

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)

Preview

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)

Preview

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)

[thumbnail of Simple and Efficient Algorithms for Octagons]

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. (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. 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)

Preview

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)

Preview

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. Leicester, UK: British Psychological Society (BPS), UK, pp. 12-18. (KAR id:74255)

[thumbnail of Hales, Burns, and Partridge (2019) - Preprint copy.pdf]

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

Hope, Julia and Colaiacomo, Silvia (2020) Educational leaders: the Value of professional development schemes for recognizing influence in learning and teaching. In: Sengupta, Enakshi and Blessinger, Patrick and Subhi Yamin, Taisir, eds. Introduction to sustainable Development Leadership and strategies in Higher Education Innovations in Higher Education teaching and Learning. Emerald, pp. 161-175. ISBN 978-1-78973-648-9. E-ISBN 978-1-78973-647-2. (doi:10.1108/S2055-364120200000022015) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:80537)

[thumbnail of BK-EMP-IHETL_V22-200019-Chp10.pdf]

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) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77754)

[thumbnail of CSHE-2019-0274authors.pdf]

[thumbnail of Staying local how mature working class students on a satellite campus leverage community cultural wealth.pdf]

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

Preview

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. (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

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)

[thumbnail of Four Sisters in Ancient Rome]

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

[thumbnail of A Glimpse of Teenage Life in Ancient Rome]

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 (2018) Concluding thoughts. In: Leigh, Jennifer S, ed. Conversations on embodiment across higher education: Teaching, practice and research. 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)

[thumbnail of 30 Concluding thoughts.pdf]

[thumbnail of 30 Concluding thoughts.docx]

Leigh, Jennifer S (2018) Embodied practice and embodied identity. In: Leigh, Jennifer S, ed. Conversations on embodiment across higher education: Teaching, practice and research. 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)

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)

Preview

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)

Preview

Longman, A. (1997) Holy Microsoft. New Scientist, 154 (2081). p. 59. 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:18166)

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)

Preview

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)

Preview

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)

[thumbnail of Journal article (restricted due to copyright)]

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. (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)

Preview

Massender, J. (1998) American literary realism and the failed promise of contract. Journal of American Studies, 32 . pp. 533-534. 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: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)

R

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)

Preview

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)

[thumbnail of Philosophy_and_the_Information_Superhighway.pdf]

Preview

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. (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)

Preview

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)

Preview

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)

Preview

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)

Preview

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)

[thumbnail of Partial Evaluation for Java Malware Detection]

Preview

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)

Preview

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)

[thumbnail of A video that is one of many contained within the Moving Well digital on line learning resource available at:https://movingwell.movingmemorydance.com]

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)

[thumbnail of Black Intellectual Capital_ Towards a 'pedagogy of hope' _ Advance HE.pdf]

Preview

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

[thumbnail of Inequality in attainment.pdf]

Preview

Todd, John F.J. (1991) Ion Trap Mass-Spectrometer - Past, Present, and Future. Mass Spectrometry Reviews, 10 (1). pp. 3-52. ISSN 0277-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:22777)

Trimingham, M F (2017) Agency and Empathy: Artists Touch the Body. In: Barbieri, Donatella, ed. Costume in Performance: Materiality, Culture, and the Body. 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)

This list was generated on Mon Jun 21 23:17:51 2021 BST.