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
The aim of this talk is to introduce the nMANET, the Name-based Data Network (NDN) for Mobile Ad-hoc Networks (MANETs) approach. nMANET is an alternative perspective on utilising the characteristics of NDN to solve the limitations of MANETs, such as mobility and energy consumption. NDN, which is an instance of Information Centric Networking (ICN), provides an alternative … SRG Seminar: nMANET, the Name-based Data Network (NDN) for Mobile Ad-hoc Networks (MANETs) by Percy Perez Aruni
Congratulations to PhD students Shyam Reyal and Simone Conte , from Computer Science and Senior Scientific Officer Tomas Lebl, from Chemistry who presented NOMAD (NMR Online Management and Datastore) at IDEA Explosion 2017 and emerged victorious. Shyam delivered a five-minute elevator pitch, whilst Simone and Tomas responded to questions. Judges acknowledged that NOMAD has huge … Team NOMAD win IDEA Explosion 2017
The Scottish Programming Languages Seminar (SPLS) is a forum for discussion of all aspects of programming languages. The meeting is open, and all are welcome to attend. The programme is available here. Previous SPLS meetings
Algorithms for healthcare-related matching problems Distinguished Lecture Series, Semester 2, 2016-7 David Manlove School of Computing Science, University of Glasgow Lower College Hall (with overflow simulcast in Upper College Hall) Abstract: Algorithms arise in numerous everyday applications – in this series of lectures I will describe how algorithms can be used to solve matching problems having applications … DLS: Algorithms for healthcare-related matching problems
Title: Managing Shared Mutable Data in a Distributed Environment Abstract: Managing data is central to our digital lives. The average user owns multiple devices and uses a large variety of applications, services and tools. In an ideal world storage is infinite, data is easy to share and version, and available irrespective of where it is stored, and … SRG Seminar: Managing Shared Mutable Data in a Distributed Environment (Simone Conte)