The 18th SCONE (SCOttish Networking Event) meeting will be held in St Andrews on 26th April. These are informal gatherings of networks and systems researchers and have taken place in a number of Scottish institutions since 2008. The meeting will comprise a small number of talks, including one invited speaker (Mirco Musolesi from UCL), followed … SCONE (SCOttish Networking Event)
Congratulations to Hui-Shyong Yeo, who has been selected as both an ACM SIGCHI communication ambassador and to represent SIGCHI at the ACM 50 Years of the A.M. Turing Award Celebration. Yeo is a 2nd year PhD student and is particularly interested in exploring and developing novel interaction techniques. Since joining us in SACHI, he has … ACM SIGCHI: Communication Ambassador & Turing Award Celebration News
A new book, Type-Driven Development with Idris has just been published by Manning Publications. Written by Dr Edwin Brady, the creator of Idris, Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. Type-driven development is an approach to programming that … Hot off the press: Type-Driven Development with Idris
Alex Bain will be running the London Marathon again this year, raising funds for Guide Dogs. He is holding a fundraising bake sale in the department today. There are still plenty delicious cakes and home baking on offer. Support all his effort and training by buying a cake or two. You can also donate through … Alex runs London Marathon 2017 for Guide Dogs
On March 31st, Dr David Manlove from the University of Glasgow, delivered the semester two distinguished lectures in Lower and Upper College Hall. The overall title was, “Algorithms for healthcare-related matching problems”. David started with an overview of complexity theory and solving hard problems. He gave examples of this in practice, for example how researchers … Distinguished Lecture Series 2017: Dr David Manlove
Title: Co-Designed, Collocated & Playful Mobile Interactions Abstract: Mobile devices such as smartphones and tablets were originally conceived and have traditionally been utilized for individual use. Research on mobile collocated interactions has explored situations in which collocated users engage in collaborative activities using their mobile devices, thus going from personal/individual toward shared/multiuser experiences and interactions. … SACHI Seminar: Andrés Lucero – Co-Designed, Collocated & Playful Mobile Interactions
Problem structure, or linkage, refers to the interaction between variables in a black-box fitness function. Discovering structure is a feature of a range of search algorithms that use structural models at each iteration to determine the trajectory of the search. Examples include Information Geometry Optimisation (IGO), Covariance Matrix Adaptation Evolution Strategy (CMA-ES), Bayesian Evolutionary Learning … Seeing the Wood for the Trees – Essential Structure in Model-based Search by Prof. John McCall