The Future of the Past Digitisation of Rare and Special Materials

Source URL: www.cilip.org.uk

• Kent
• Counties of England
• Anglicanism
• Russell Group
• University College London
• University of London
• Canterbury
• British Cartoon Archive
• UCL Centre for Digital Humanities
• Digital library

Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3

Source URL: www0.cs.ucl.ac.uk

• Memory
• Neuropsychological assessment
• Cognitive science
• Epistemology
• Microcontrollers
• Computer display standards
• Integrated circuits

Understanding POWER Multiprocessors Susmit Sarkar1 1 Peter Sewell1

Source URL: www0.cs.ucl.ac.uk

• Computing
• Computer architecture
• Computer memory
• Concurrency
• Parallel computing
• Concurrent computing
• Memory barrier
• Synchronization
• Data dependency
• Microarchitecture
• Register renaming
• Memory model

PDF Document

Source URL: geometry.cs.ucl.ac.uk

• Sample
• Sampling

DOC Document

Source URL: www.mssl.ucl.ac.uk

• Astronomy
• Outer space
• Planetary science
• Astrology
• Solar System
• Planet
• Neptune
• Book:Overview of the Solar System
• Book:The Sun
• planets
• and dwarf planets

LONDON’S GLOBAL UNIVERSITY UCL Migration Research Unit This paper may be downloaded for personal research purposes. However any additional reproduction for other purposes, in hard copy or electronically,

Source URL: www.geog.ucl.ac.uk

• Criminal justice
• Crime
• Criminal law
• International law
• Punishments
• Justice
• Immigration to Australia
• Immigration law
• Immigration detention
• Detention
• Administrative detention
• Morton Hall Immigration Removal Centre

UCL INTERACTION CENTRE UCLICNews 2012 DIVISION OF PSYCHOLOGY AND LANGUAGE SCIENCES AND DEPARTMENT OF COMPUTER SCIENCE

Source URL: uclic.ucl.ac.uk

• Humancomputer interaction
• Human communication
• Interpersonal communication
• Information science
• Ubiquitous computing
• Interaction design
• Human-Computer Interaction Institute
• Roel Vertegaal

Ana Maria DE LA PARRA Ana Maria is writing her dissertation to obtain her MSC in Social Development Practice at the UCL Development Planning Unit. Her research topic is on the redefinition of Social Justice in Cuba using

Source URL: www.irfnet.ch

Microsoft Word - sigcom1_final3VW

Source URL: edusigcomm.info.ucl.ac.be

• Computing
• Network architecture
• Internet
• Routing protocols
• Computer networking
• Internet Standards
• Internet protocols
• Juniper Networks
• Open Shortest Path First
• Junos OS
• XORP
• IS-IS

Mathematical and Numerical Methods in Image Processing Speakers: Hans-Christian Hege (ZIB) Michael Hintermüller (HU Berlin) Bangti Jin (UCL)

Source URL: www.math-berlin.de