DHSI Seminar Series

Event details

  • When: 17th August 2018 12:00 - 14:00
  • Where: Physics Bldg
  • Format: Seminar

The school of Physics & Astronomy (Room 222) are hosting our next Digital Health Seminar

12.00pm – Lunch
12.20pm – Isla Rose & Mary Barnard Ultraviolet Radiation, DNA damage, and sunscreen
12.50pm – Lewis McMillan Monte Carlo radiation transfer model of laser tissue ablation
1.20pm –   Nicole Schanche Planet candidate detection and ranking using MachineLearning
1.50pm –   General discussions

All welcome!

DHSI Flyer – Physics & Astronomy 17.8

SACHI research group in Canada for the annual CHI conference

  

This week members of the SACHI research group are in Canada for the annual CHI conference where they are presenting 8 papers and other research work.

Their research papers have been attracting media interest this week. The Times has covered their paper on Change blindness in proximity-aware mobile interfaces quoting Professor Quigley. 

         

 

App developers urged to cure phone ‘blindness

While the verge and Engadget has covered the best paper Project Zanzibar: A Portable and Flexible Tangible Interaction Platform.

Hui-Shyong Yeo contributed to this research while he was a research intern at Microsoft Research last summer in Cambridge.

 

The research group has put together a page which describes all the efforts at CHI 2018 here

Next year CHI 2019 will be in Scotland while CHI 2020 will be in Hawaii on its way to Asia in 2021.

Members of SACHI are already involved in the planning for 2019 as associate chairs for the program and are looking forward to CHI here in Scotland next year

SACHI at CHI 2018 in Montreal next week

 

 

 

The ACM Conference on Human Factors in Computing Systems (CHI) series of academic conferences is generally considered the most prestigious in the field of human-computer interaction. It is hosted by ACM SIGCHI, the Special Interest Group on Computer-Human Interaction. CHI has been held annually since 1982 and attracts thousands of international attendees. Next week members of SACHI will be at the CHI 2018 conference in Montreal where they will be presenting 6 full papers (1 best paper), 1 demonstration, 1 late-breaking work and other activities.

This work includes pointing all around you, the design of visualization tools,  physicalization, change blindness, multi-user interfaces, tangible interaction and augmented reality.

You can find the research papers, videos and more details on SACHI @ CHI2018 here.

Montreal, Canada

War Stories: Building new tech products in an uncertain world

Event details

  • Where: Cole 1.33a
  • Format: Seminar

Steven Drost (CodeBase Chief Strategy Officer) and Jamie Coleman (CodeBase CoFounder and Chair) will talk about the topics that are rarely discussed in an academic environment around startups, product management, jobs to be done and disruption. Discussing aspects of UX, HCI, AI and systems development this is the stuff that they wish every computer scientist and startup founder knew before trying to create an innovative new business.

What is CodeBase?

CodeBase is the UK’s largest startup incubator, home to around 100 technology companies in Edinburgh and Stirling. It brings together ambitious entrepreneurs, world-class technological talent and top investors, in a creative, collaborative environment designed for the new digital economy. We host a vibrant, open community of experts in a diverse range of fields, with hands-on mentorship, networking and world-class business support. http://www.thisiscodebase.com

Jamie and Steven are quite inspiring speakers and if you are looking for project partners, collaborators or just to learn how to develop your ideas commercially, this could be a good talk for you.

 

DHSI Seminar Series

Event details

  • When: 25th August 2017 12:00 - 14:00
  • Where: Physics Bldg
  • Format: Seminar

Room 222 – Physics and Astronomy

“Cross cutting technological theme imaging and sensing”

12:05 Michael Mazilu: Introduction              

12:15  Malte Gather and Nils  Kronenberg: Developing cell forces mapping for clinical diagnosis

12:45 Vivienne Wild and  Milena Pawlik: Analysing images of galaxies     

13:15  Coffee Break      

13:25 David Harris-Birtill : Automated Remote Pulse Oximetry     

 

 

DHSI Seminar Series (Digital Health Science Initiative)

Event details

  • When: 14th June 2017 12:00 - 14:00
  • Where: N Haugh, St Andrews
  • Format: Seminar

“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 – a novel epidemiological tool

13:15 – 14.00: All Questions & Opportunities

Dr. Ornela Dardha’ talk: Session Types Revisited

Event details

  • When: 4th July 2017 14:00 - 15:00
  • Where: N Haugh, St Andrews
  • Format: Seminar

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, the encoding: (i) removes redundancies in the syntax of session types, and (ii) yields standard properties of session types as straightforward corollaries, exploiting the corresponding properties of standard typed pi-calculus. The robustness of the encoding is tested on a few extensions of session types, including subtyping, polymorphism, and higher-order communications. In this talk we present the encoding, some of its applications and recent developments.

 

Simon Fowler Seminar: First-Class Distributed Session Types

Event details

  • When: 5th June 2017 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

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 at Edinburgh has concentrated on the latter. Lindley and Morris have extended the experimental functional programmming language Links with session-typed hannels in a multithreaded setting.

Distribution, however, brings challenges such as failure and the need for distributed channel delegation algorithms. In this talk, I will demonstrate and discuss the design and implementation of session types in Links. I will describe my recent work on adding support for distribution to Links, allowing the creation of session-typed, multi-user web applications.

Finally, I will describe recent, in-progress, work on a static type system and semantics allowing the controlled relaxation of the requirement of *linearity* (that
every endpoint must be used exactly once) to that of affinity (that every endpoint must be used at most once) in order to account for the question of users leaving a session midway through, and describe how the system still retains core metatheoretic pro