Title: “Shared-Memory Concurrency in the Real World: Working with Relaxed Memory Consistency” Abstract: Shared-memory concurrency is now mainstream, from phones to servers. However, real-world implementations do not validate the basic assumption of Sequential Consistency traditionally made in work on concurrent programming and verification. Instead, we get subtle relaxed consistency models. Furthermore, the consistency models of … Talk by Susmit Sarkar
Thursday 14th March, the regular meeting of the Functional Programming group will give the floor to our guest Dr. Jost Berthold for a public talk called “High-Level Parallel Computing in Finance — Haskell Case Studies within HIPERFIT –” . The presentation will take place from 12.00 to 13.00, in the Jack Cole building, room 1.04 … Talk by Dr Jost Berthold Thursday 14th March
Tuesday 27 November, 1400-1500, 1.33a Jack Cole building (Computer Science) Aardvark Swift, recruitment agents for the gaming industry, will be talking about how to break into the sector. Get advice from those in the know on the key skills you will need, the common pitfalls, and how to maximise your chances. Ideal for programming enthusiasts … Computer Gaming Industry careers: Aardvark Swift presentation – Get in the Game
Room 1.33a at 2:00 pm on Friday 7th September 2012 Introduction to Grammatical Formalisms for Natural Language Parsing Giorgio Satta, Department of Information Engineering, University of Padua, Italy Abstract: In the field of natural language parsing, the syntax of natural languages is modeled by means of formal grammars and automata. Sometimes these formalisms are borrowed … Forthcoming talk by SICSA Distinguished Visitor
Talks: Information Visualization Research in the SACHI group Speaker: Aaron Quigley Abstract: Aaron will provide a quick overview of the incipient InfoViz research and prospects of the SACHI group. A few examples of visualisation in computational systems biology of anti-inflammatory and anticancer drug actions Speaker: Alexey Goltsov Abstract: Visualization is a key aspect in computational … TayViz – The bi-monthly meeting of the Tayside and Fife network for data visualisation
Mobile computing and sensing technologies present exciting opportunities for healthcare. Wireless sensors worn by patients can automatically deliver medical sensor data to care providers, family members, or other caregivers, providing new opportunities to diagnose, monitor, and manage a wide range of medical conditions. Using the mobile phones that patients already carry to provide connectivity between … Security and Privacy in mHealth systems
Dr Steve Marsh. Regret, the emotion arising from counterfactual reasoning about action and inaction, is a powerful tool in the arsenal of trust-reasoning and enabling technologies. One aspect of the tool, Regret Management, is the enforcement of a view of System Trust in technological approaches in order to preserve and encourage respect for concerns such … The use of regret and forgiveness