In the not-so-distant future, cars won’t require a human driver anymore. They will drive autonomously, and you will be their passenger. However, these vehicles will also need to know your location, and, in some cases (e.g. for taxis and car rentals), your identity. Consequently, your movements might be tracked. How do you feel about your car collecting … Could your car be used to spy on you?
Tell us what you think of our videos and you could win a £20 Netflix or Amazon voucher! You will be asked to watch and assess the video quality of four 1-minute online video clips, as well as complete a short questionnaire related to your regular video usage and your energy-saving awareness and preferences. Your participation should take around … Watch some video, win a Netflix or Amazon voucher
Who do you trust online? Come and help us to work out how you decide to trust web sites! You will need to complete a computer-based survey (in the Physics Library or in the School of Computer Science) in which you will rate how you perceive the trustworthiness of several websites. Total participation time is less … WWWho do you trust?
Do you have a discerning eye for video? If so, we need your help as a volunteer in our study! Volunteers will be asked to watch 7 video clips of 10 seconds each. Each clip will be viewed 3 times, and then again at a different distance. After each video clip, you will choose which clip (if any) you perceived … Spot the difference?
Speaker: Edwin Brady Abstract: Idris (http://idris-lang.org/) is a general-purpose programming language with an expressive type system which allows a programmer to state properties of a program precisely in its type. Type checking is equivalent to formally and mechanically checking a program’s correctness. Introductory examples of programs verified in this way typically involve length preserving operations … Type-driven Verification of Communicating Systems in Idris
Hear why MarkLogic was chosen as the 2012 Olympic website content store to ingest, store and deliver the data and content assets to the BBC¹s mobile app and thousands of web pages.Speaker: Paul Preuveneers, Director, Sales Engineering, MarkLogicPaul Preuveneers has more than 9 years of development experience with MarkLogic, with expertise in running software teams as well as spearheading the European office … Enterprise NoSQL in the BBC