School of Computing Science

Perturbing graphs by a random regular graph: Hamiltonicity and pancyclicity

Group: e-Postgraduate Combinatorial Conference
Speaker: Alberto Espuny Díaz, Technische Universität Ilmenau
Date: 25 November, 2020
Time: 15:30 - 16:00
Location: https://uofglasgow.zoom.us/s/98659323517

The study of randomly perturbed graphs has received a lot of attention in recent years. In this area, we consider the union of a dense deterministic graph $H$ (usually with some minimum degree condition) and a random graph $G$, and the main goal is to improve threshold results for random graphs by considering the union with $H$: there are many results showing that, in order for $H\cup G_{n,p}$ to satisfy a given property $\mathcal{P}$, the minimum $p$ which is required is substantially smaller than that required for $G_{n,p}$ itself.

In this talk, I will introduce the model of randomly perturbed graphs and some of the results that have been obtained so far, and then I will present some new results about Hamiltonicity and pancyclicity when we let $G$ be a random regular graph. This is joint work with António Girão.

ESCAPE THE BREAKOUT ROOM WITH GOLDMANS SACHS ENGINEERING

Group: Glasgow Women in Computing Science (GWiCS)
Speaker: Goldman Sachs Engineering
Date: 25 November, 2020
Time: 17:00 - 18:00
Location: Zoom

ESCAPE THE BREAKOUT ROOM WITH GOLDMANS SACHS ENGINEERING

Goldman Sachs Engineering invites students who are interested in careers in Software Engineering, Cyber Security, Quantitative Strategists and Systems Engineering to a bespoke virtual event hosted in collaboration with the University of Glasgow School of Computing Science and Glasgow Women in Computing Society (GWiCS).

In this interactive event, participants will work together in groups to solve a series of challenges in the shortest time possible and Escape the Breakout Room. This event is followed by a Q&A, where students will be given the opportunity to learn about career opportunities in our Engineering organisation and how to succeed in the recruitment process.

This event is especially designed for the community to connect virtually via an online platform from the comfort of your home.

Date & Location: Wednesday 25 November - 17:00 - 18:00 (GMT)This event will be hosted virtually via Zoom. Register online by Monday 23 November

How to Apply: Visit www.gs.com/careers/events to register your interest. Search for "2020 Goldman Sachs x Glasgow Escape the Breakout Room"

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 26 November, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

Perturbing graphs by a random regular graph: Hamiltonicity and pancyclicity

Group: e-Postgraduate Combinatorial Conference
Speaker: Alberto Espuny Díaz, Technische Universität Ilmenau
Date: 25 November, 2020
Time: 15:30 - 16:00
Location: https://uofglasgow.zoom.us/s/98659323517

The study of randomly perturbed graphs has received a lot of attention in recent years. In this area, we consider the union of a dense deterministic graph $H$ (usually with some minimum degree condition) and a random graph $G$, and the main goal is to improve threshold results for random graphs by considering the union with $H$: there are many results showing that, in order for $H\cup G_{n,p}$ to satisfy a given property $\mathcal{P}$, the minimum $p$ which is required is substantially smaller than that required for $G_{n,p}$ itself.

In this talk, I will introduce the model of randomly perturbed graphs and some of the results that have been obtained so far, and then I will present some new results about Hamiltonicity and pancyclicity when we let $G$ be a random regular graph. This is joint work with António Girão.

ESCAPE THE BREAKOUT ROOM WITH GOLDMANS SACHS ENGINEERING

Group: Glasgow Women in Computing Science (GWiCS)
Speaker: Goldman Sachs Engineering
Date: 25 November, 2020
Time: 17:00 - 18:00
Location: Zoom

ESCAPE THE BREAKOUT ROOM WITH GOLDMANS SACHS ENGINEERING

Goldman Sachs Engineering invites students who are interested in careers in Software Engineering, Cyber Security, Quantitative Strategists and Systems Engineering to a bespoke virtual event hosted in collaboration with the University of Glasgow School of Computing Science and Glasgow Women in Computing Society (GWiCS).

In this interactive event, participants will work together in groups to solve a series of challenges in the shortest time possible and Escape the Breakout Room. This event is followed by a Q&A, where students will be given the opportunity to learn about career opportunities in our Engineering organisation and how to succeed in the recruitment process.

This event is especially designed for the community to connect virtually via an online platform from the comfort of your home.

Date & Location: Wednesday 25 November - 17:00 - 18:00 (GMT)This event will be hosted virtually via Zoom. Register online by Monday 23 November

How to Apply: Visit www.gs.com/careers/events to register your interest. Search for "2020 Goldman Sachs x Glasgow Escape the Breakout Room"

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 26 November, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 01 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA Seminar: Kidney Exchange Programmes

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: William Pettersson
Date: 01 December, 2020
Time: 13:00 - 14:00
Location: Online

In this talk, I will explain what Kidney Exchange Programmes (KEPs) are, how they operate, and why computing scientists are involved. This will include discussion of the Schools existing work with NHS Blood and Transplant over the past 10 years, as well as advancements made in the past year, and future work including a soon-to-be submitted paper as well as more in-development activities involving potential transnational KEPs that span many European countries.

This talk is open to members of the wider public. Please email Blair.Archibald@glasgow.ac.uk for zoom details

Using geometry to form identifiable latent variable models and Isometric Gaussian Process Latent Variable Model

Group: Inference, Dynamics and Interaction (IDI)
Speaker: Prof Søren Hauberg & Martin Jørgensen, Technical University of Denmark
Date: 03 December, 2020
Time: 11:30 - 13:00
Location: Zoom

There will be two talks in this session:

-----------------------------------------------------------

11:30-12:00: Isometric Gaussian Process Latent Variable Model - Martin Jørgensen 

I present generative unsupervised model where the latent variable respects both the distances and the topology of the modeled data. The model leverages the Riemannian geometry of the generated manifold to endow the latent space with a well-defined stochastic distance measure, which is modeled as Nakagami distributions. These stochastic distances are sought to be as similar as possible to observed distances along a neighborhood graph through a censoring process. The model is inferred by variational inference. I demonstrate how the model can encode invariances in the learned manifolds.

------------------------------------------------------------

12:00-13:00 Using geometry to form identifiable latent variable models - Prof Søren Hauberg

Generative models learn a compressed representation of data that is often used for downstream tasks such as interpretation, visualization and prediction via transfer learning. Unfortunately, the learned representations are generally not statistically identifiable, leading to a high risk of arbitrariness in the downstream tasks. We propose to use differential geometry to construct representations that are invariant to reparametrizations, thereby solving the bulk of the identifiability problem. We demonstrate that the approach is deeply tied to the uncertainty of the representation and that practical applications require high-quality uncertainty quantification. With the identifiability problem solved, we show how to construct better priors for generative models, and that the identifiable representations reveal signals in the data that were otherwise hidden.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 08 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Peter Nightingale
Date: 08 December, 2020
Time: 13:00 - 14:00
Location: Online

TBC

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Peter Nightingale, University of York
Date: 08 December, 2020
Time: 13:00 - 14:00
Location: Online

TBC

A Shameless (Wireless) PLUG: Title TBC

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Daniel HIllerström, University of Edinburgh
Date: 08 December, 2020
Time: 15:00 - 16:00
Location: Online

I am pleased to announce that Daniel HIllerström of the University of Edinburgh shall be giving a talk.

Details to be confirmed.

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

More information about PLUGs mailing list can be found here: http://www.dcs.gla.ac.uk/plug/

As with previous Wireless PLUGs I ask that everyone:

1. join promptly at the advertised start of the session, and we will begin on the academic hour;
2. start with their camera's turned-off and microphone's muted; and
3. in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

Should one wish to ask question's during the talk then please use the chat or 'raise a hand' feature. Should the speaker not see these interrupts, I will actively interrupt. I will confirm on the day if the speaker is okay with audio interrupts by attendees.

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

A Pósa-type degree sequence result for perfect matchings in 3-graphs.

Group: e-Postgraduate Combinatorial Conference
Speaker: Joseph Hyde, University of Birmingham
Date: 09 December, 2020
Time: 15:30 - 16:00
Location: https://uofglasgow.zoom.us/s/98659323517

The study of asymptotic minimum degree thresholds that force matchings and tilings in hypergraphs is a lively area of research in combinatorics. A key breakthrough in this area was a result of H\'{a}n, Person and Schacht who proved that the asymptotic minimum vertex degree threshold for a perfect matching in an $n$-vertex $3$-graph is $\left(\frac{5}{9}+o(1)\right)\binom{n}{2}$. In this talk we present an improvement of this result, giving a family of degree sequence results, all of which imply the result of H\'{a}n, Person and Schacht, and additionally allow one third of the vertices to have degree $\frac{1}{9}\binom{n}{2}$ below this threshold. Furthermore, we show that this result is, in some sense, tight. Joint work with Candida Bowtell.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 15 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 22 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 29 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 05 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 12 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 19 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 26 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 02 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 09 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 16 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

Generating music in the raw audio domain

Group: Inference, Dynamics and Interaction (IDI)
Speaker: Sander Dielman, Deep Mind
Date: 18 February, 2021
Time: 12:00 - 13:00
Location: Zoom

Realistic music generation is a challenging task. When machine learning is used to build generative models of music, typically high-level representations such as scores, piano rolls or MIDI sequences are used that abstract away the idiosyncrasies of a particular performance. But these nuances are very important for our perception of musicality and realism, so we embark on modelling music in the raw audio domain. I will discuss some of the advantages and disadvantages of this approach, and the challenges it entails.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 23 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 02 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 09 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 16 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 23 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 30 March, 2021
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!