Seminar | Page 15 | Computer Science Blog

SACHI Seminar: Dr. Christopher Collins – Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation

June 16, 2017

Title: Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation Abstract: Text is one of the most prominent forms of open data available, from social media to legal cases. Text visualizations are often critiqued for not being useful, for being unstructured and presenting data out of context (think: word clouds). I … SACHI Seminar: Dr. Christopher Collins – Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation

DHSI Seminar Series (Digital Health Science Initiative)

June 5, 2017

“Addiction” Seminar Room 1 School of Medicine 12:00: Alex Baldacchino- Introduction 12:15: Ognjen Arandjelović & Aniqa Aslam- Understanding Fatal and Non-Fatal Drug Overdose Risk Factors in Fife: Overdose Risk (OdRi) tool 12:45: Damien Williams & Fergus Neville- Transdermal alcohol monitoring 13:15: David Harris-Birtill & David Morrison- Narco Cat – waste water analysis in substance misuse … DHSI Seminar Series (Digital Health Science Initiative)

Dr. Ornela Dardha’ talk: Session Types Revisited

June 5, 2017

Event Location: School of Medicine, Seminar room 1 Abstract: Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. We show that session types are encodable in more primitive and foundational pi-calculus types. Besides providing an expressivity result, … Dr. Ornela Dardha’ talk: Session Types Revisited

SACHI Seminar: Daniel Vogel, University of Waterloo

May 31, 2017

Title: New Approaches to Mode-Switching Abstract: The fundamental unit of all interaction is issuing commands, and the trickiest types of commands are those that control “modes” — different ways to map the same input to different application actions. For example, the current mode in a tablet drawing app could determine if the exact same sequence … SACHI Seminar: Daniel Vogel, University of Waterloo

Simon Fowler Seminar: First-Class Distributed Session Types

May 30, 2017

Session types codify communication patterns, giving developers guarantees that applications satisfy predefined protocols. Session types have come a long way from their theoretical roots: recent work has seen the implementation of static analysis tools; embeddings into a multitude of programming languages; and the integration of session types into languages as a first-class language construct. Work … Simon Fowler Seminar: First-Class Distributed Session Types

Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)

May 30, 2017

Jacob Howe, City University, London Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the … Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)

SRG Seminar: Evaluation Techniques for Detection Model Performance in Anomaly Network Intrusion Detection System by Amjad Al Tobi

May 25, 2017

Everyday advancements in technology brings with it novel challenges and threats. Such advancement imposes greater risks than ever on systems and services, including individual privacy information. Relying on intrusion specialists to come up with new signatures to detect different types of new attacks, does not seem to scale with excessive traffic growth. Therefore, anomaly-based detection … SRG Seminar: Evaluation Techniques for Detection Model Performance in Anomaly Network Intrusion Detection System by Amjad Al Tobi

SACHI Seminar: Mike Hazas, Lancaster University

May 23, 2017

Title: Internet services, energy demand and everyday life Abstract: Over the last decade, the growth in data traffic across the Internet has been dramatic, and forecasts predict a similar ongoing pattern. Since this is associated with remarkable electricity consumption (about 10% globally, and rising), such a trend is significant to efforts to reduce carbon … SACHI Seminar: Mike Hazas, Lancaster University

SRG Seminar: New Network Functionality using ILNPv6 and DNS by Khawar Shehzad

May 15, 2017

This research deals with the introduction of a new network functionality based on Identifier-Locator Network Protocol version 6 (ILNPv6), and Domain Name System (DNS). The chosen area of concern is security and specifically mitigation of Distributed Denial of Service (DDoS). The functionality proposed and tested deals with the issues of vulnerability testing, probing, and scanning which … SRG Seminar: New Network Functionality using ILNPv6 and DNS by Khawar Shehzad

Translational Research into Common Psychiatric Disorders, Professor Douglas Steele, Professor of Neuroimaging / Consultant Psychiatrist, University of Dundee

April 18, 2017

Translational Neuroimaging Based Psychiatric Research Computational methods are having a considerable influence on contemporary neuroscience research: in data collection (non-invasive functional brain imaging), data analysis and computational modelling of healthy and abnormal brain and behaviour. The presentation is in two parts. Part 1 is an overview of the current main computational-neuroscience areas in research. Part … Translational Research into Common Psychiatric Disorders, Professor Douglas Steele, Professor of Neuroimaging / Consultant Psychiatrist, University of Dundee