18 Sep 2020 |
Marco Michele Mosca
|
A discussion of distance-based invariants of crystals.
|
DSTA
|
29 Sep 2020 |
Yury Elkin
|
The mergegram of a clustering dendrogram for point clouds.
|
DSTA
|
02 Oct 2020 |
Cameron Hargreaves
|
Computation of the Wasserstein metric (Earth Mover's Distance).
|
DSTA
|
09 Oct 2020 |
Katerina Vriza
|
One class classification as a practical approach for accelerating co-crystal discovery
|
DSTA
|
14 Oct 2020 |
Guanqun Cao and Daniel Fernandes Gomes
|
|
robotics
|
14 Oct 2020 |
Paul Spirakis
|
Computing second Hamiltonian cycles
|
EcCo
|
14 Oct 2020 |
Elena Zamaraeva
Leverhulme Research Centre for Functional Materials Design |
|
acto
|
16 Oct 2020 |
Vitaliy Kurlin
|
An introduction to research problems on crystals for new final year project students
|
DSTA
|
23 Oct 2020 |
{senior PhD students}
|
Informal discussions of potential final year projects
|
DSTA
|
28 Oct 2020 |
Dario Paccagnan
Imperial College London |
Optimal Taxes in Atomic Congestion Games
|
EcCo
|
28 Oct 2020 |
Dr Jahna Otterbacher
Open University of Cyprus (OUC) |
Bias in Data and Algorithmic Systems: Problems, Solutions and Stakeholders
|
WiT
|
30 Oct 2020 |
Matt Bright
|
SOAP (Smooth Overlap of Atomic Positions) and other local descriptors of crystals
|
DSTA
|
04 Nov 2020 |
Rasmus Ibsen-Jensen
|
One-clock priced time games
|
EcCo
|
09 Nov 2020 |
Dr. Vangelis Markakis
Department of Informatics, Athens University of Economics and Business |
Approximation Guarantees for Fairness Notions under Indivisible Resources
|
dept
|
11 Nov 2020 |
Estelle Varloot
|
Strategy-proof voting rules
|
EcCo
|
13 Nov 2020 |
Muizdeen Raji
|
Machine learning for mass cytometry data of chronic lymphocytic leukemia
|
DSTA
|
18 Nov 2020 |
David Hughes
|
Fast approximate inference for multivariate longitudinal data
|
DMML
|
20 Nov 2020 |
Matt Bright
|
The invariant-based formula for the linking number of line segments
|
DSTA
|
20 Nov 2020 |
Bryce Sandlund
Cheriton School of Computer Science, University of Waterloo |
Lazy Search Trees
|
dept
|
25 Nov 2020 |
Simon Maskell and Lyudmil Vladimirov
|
Stone Soup: a Route to Impact for Surveillance-relevant Computer Science
|
DMML
|
25 Nov 2020 |
Philip Lazos
Sapienza Universita di Roma |
Truthful mechanisms for two-sided markets
|
EcCo
|
02 Dec 2020 |
Julian Nickerl
Ulm University |
Congestion Games: The Minimum Tollbooth Problem and Games with Uncertainty
|
EcCo
|
03 Dec 2020 |
Alexei Lisitsa
|
Recent Developments in Applied Advanced Cryptography
|
AAC
|
04 Dec 2020 |
Aidan Watmuff
|
Using k-modes clustering to identify different types of cyclists
|
DSTA
|
08 Dec 2020 |
Martin Zimmermann
University of Liverpool |
Logics for Hyperproperties (Part 1)
|
verification
|
09 Dec 2020 |
Nikos Protopapas
University of Liverpool |
Truthful aggregation of budget proposals with proportionality guarantees
|
EcCo
|
09 Dec 2020 |
John Sylvester
University of Cambridge |
Choice and Bias in Random Walks
|
ACTO/Networks
|
10 Dec 2020 |
George Mertzios
Durham University |
Temporal vertex covers and sliding time windows
|
networks
|
11 Dec 2020 |
Giorgios Christodoulou
University of Liverpool |
On the Nisan-Ronen conjecture
|
EcCo
|
11 Dec 2020 |
Dan Widdowson
|
Asymptotic behaviour of the Average Minimum Distances
|
DSTA
|
15 Dec 2020 |
Martin Zimmermann
University of Liverpool |
Logics for Hyperproperties (Part 2)
|
verification
|
16 Dec 2020 |
John Fearnley
University of Liverpool |
A faster algorithm for finding Tarski fixed points
|
EcCo
|
17 Dec 2020 |
Alexander Koch
Karlsruhe Institute for Technology |
Cryptographic Protocols from Physical Assumptions
|
AAC
|
08 Jan 2021 |
Grzegorz Muszynski
|
PhD viva practice 1: Pattern Recognition for Weather Phenomena in Climate Data
|
DSTA
|
14 Jan 2021 |
Maryam Almarwani
University of Liverpool |
Release-Aware In-Out Encryption Adjustment Policy
|
AAC
|
14 Jan 2021 |
Nathan Harms
University of Waterloo |
Universal Communication, Universal Graphs, and Graph Labeling
|
networks
|
15 Jan 2021 |
Grzegorz Muszynski
|
PhD viva practice 2: Pattern Recognition for Weather Phenomena in Climate Data
|
DSTA
|
22 Jan 2021 |
Milo Torda
|
Densest plane group packings of regular polygons
|
DSTA
|
22 Jan 2021 |
Emanuele Rossi
Twitter and Imperial College |
Machine Learning on Dynamic Graphs: Temporal Graph Networks
|
networks
|
27 Jan 2021 |
Andreas Alpers
University of Liverpool |
On the computational complexity of super-resolution imaging in discrete tomography
|
ACTO
|
29 Jan 2021 |
Marjan Safi-Samghabadi
|
How to automate systems [in industry]
|
DSTA
|
02 Feb 2021 |
Emma Moreton
|
New methods, old data: exploring historical migrant letter corpora
|
DMML
|
03 Feb 2021 |
Alkmini Sgouritsa
University of Liverpool |
A Little Charity Guarantees Almost Envy-Freeness
|
EcCo
|
05 Feb 2021 |
Vikto Zamaraev
|
On forbidden induced subgraphs for unit disk graphs
|
DSTA
|
10 Feb 2021 |
Ninad Rajgopal
University of Oxford |
Hardness Magnification and the Locality Barrier
|
ACTO
|
11 Feb 2021 |
Jeffrey Ray
University of Liverpool |
Introduction to Secure Quick Reliable Login (SQRL)
|
AAC
|
12 Feb 2021 |
Phil Smith
|
Density functions of periodic point sets
|
DSTA
|
19 Feb 2021 |
Fraser Holloway
|
The Development of Novel Pulse Shape Analysis Algorithms for AGATA
|
DSTA
|
24 Feb 2021 |
Aris Filos-Ratsikas
University of Liverpool |
On the Complexity of Equilibrium Computation in First-Price Auctions
|
EcCo
|
25 Feb 2021 |
Alexei Lisitsa
University of Liverpool |
Introduction to verifiable computing, part 1
|
AAC
|
26 Feb 2021 |
Matt Bright
|
The Metric Quotient Graph - A Graph Invariant for Periodic Point Clouds
|
DSTA
|
03 Mar 2021 |
Yi Zhou
|
Learning Sense-Specific Static Word Embeddings using Contextualised Word Embeddings as a Proxy
|
DMML
|
03 Mar 2021 |
Guanqun Cao
|
"Touching to See" and "Seeing to Feel": Robotic Cross-modal Sensory Data Generation
|
DMML
|
03 Mar 2021 |
Martin Gairing
University of Liverpool |
In Congestion Games, Taxes Achieve Optimal Approximation
|
EcCo
|
05 Mar 2021 |
Dan Widdowson
|
TMap: visualising big, high-dimensional data with minimum spanning trees
|
DSTA
|
10 Mar 2021 |
Prof. Mohammad Mousavi
Department of Informatics, University of Leicester |
Is Your Car Cheating on You? Doping Detection in Cyber-Physical Systems
|
dept
|
11 Mar 2021 |
Alexei Lisitsa
University of Liverpool |
Introduction to verifiable computing, part 2
|
AAC
|
12 Mar 2021 |
Marco Mosca
|
Voronoi-based invariants for clustering datasets of periodic crystal structures
|
DSTA
|
17 Mar 2021 |
Themistoklis Melissourgos
Technical University of Munich |
Walrasian Equilibria in Markets with Small Demands
|
EcCo
|
18 Mar 2021 |
Dr. Rotem Oshman
Department of Computer Science, Tel-Aviv University |
Interactive Distributed Proofs
|
dept
|
24 Mar 2021 |
Andrea Lincoln
UC Berkeley |
New Techniques for Proving Fine-Grained Average-Case Hardness
|
ACTO
|
25 Mar 2021 |
Nouf Aljuaid
University of Liverpool |
Privacy-preserving data processing
|
AAC
|
31 Mar 2021 |
Milo Torda
|
Geometry of the n-torus stochastic trust region method for materials discovery
|
DSTA
|
07 Apr 2021 |
Philip Smith
|
The Density Fingerprint of a Periodic Point Set
|
DMML
|
07 Apr 2021 |
Jing Qi
|
Data Prioritisation in the Absence of a Ground Truth
|
DMML
|
07 Apr 2021 |
Matt Bright
|
Introduction to Periodic Topology for textiles and crystal structures
|
DSTA
|
16 Apr 2021 |
Jonathan McManus
|
Introduction to invariant isosets and Minimum Quotient Graphs
|
DSTA
|
21 Apr 2021 |
Estelle Varloot
University of Liverpool |
Level-strategyproof belief aggregation mechanisms
|
EcCo
|
22 Apr 2021 |
Prof. Damien Woods
Computer Science, Hamilton Institute, Maynooth University |
Molecular Algorithms Using Reprogrammable DNA Self-Assembly
|
dept
|
22 Apr 2021 |
Alexei Lisitsa
University of Liverpool |
Formal modelling of smart contract languages and introduction to BitML
|
AAC
|
23 Apr 2021 |
Jonathan McManus
|
Implementing isosets for a comparison of periodic point sets
|
DSTA
|
28 Apr 2021 |
Piotr Krysta
|
Efficient Truthful Scheduling and Resource Allocation through Monitoring
|
EcCo
|
28 Apr 2021 |
Professor Rita Orji
Dalhousie University, Canada |
Persuasive Technology for Health and Wellness
|
wit
|
30 Apr 2021 |
Krasen Samardzhiev
|
Dynamics and emergence of megaregional structures in US employment data
|
DSTA
|
06 May 2021 |
Bartek Dudek
Wroclaw University, Poland |
Population protocols for rumour spreading and forgetting
|
networks
|
07 May 2021 |
Gan Fang & Jakob Roberts
|
Predicting the energy of a solid crystal from its isometry invariants
|
DSTA
|
12 May 2021 |
Rida Laraki
University of Liverpool |
On Sustainable Equilibria
|
EcCo
|
14 May 2021 |
Matt Bright
|
Conway's approach to classify lattices in dimensions two and three
|
DSTA
|
21 May 2021 |
Dan Widdowson
|
Pointwise Distance Distributions of periodic point sets
|
DSTA
|
24 May 2021 |
Louwe Kuijer
|
Being hyper: the complexity of temporal hyper-logics
|
ARK
|
26 May 2021 |
Maurice Chandoo
FernUniversitat in Hagen |
Descriptive Complexity of Graph Classes via Labeling Schemes
|
ACTO
|
27 May 2021 |
P. Uznanski
|
Comparison Dynamics in Population Protocols
|
networks
|
02 Jun 2021 |
Jack Mumford
|
Crafting neural argumentation networks - learning argument defeat relations from acceptability data
|
ARK
|
02 Jun 2021 |
Hanadi Aldosari
|
12-lead ECG Classification Using Time Series Motifs
|
dmml
|
02 Jun 2021 |
Rahul Savani
University of Liverpool |
The Complexity of Gradient Descent
|
EcCo
|
03 Jun 2021 |
Alexei Lisitsa
University of Liverpool |
Introduction to Yao's Garbled Circuits Protocol
|
AAC
|
04 Jun 2021 |
Vitaly Kurlin
|
Introducton to the group research for new MSc students
|
DSTA
|
07 Jun 2021 |
Fabio Papacchini
|
Finite Models for a Spatial Logic with Discrete and Topological Path Operators
|
ARK
|
11 Jun 2021 |
Dan Widdowson
|
Tutorial on how to read crystal data with Python libraries
|
DSTA
|
14 Jun 2021 |
Katie Atkinson and Trevor Bench-Capon
|
Knowledge Representation for Reasoning with Legal Cases
|
ARK
|
17 Jun 2021 |
Sebastian Wild
|
Hypersuccinct Trees
|
networks
|
18 Jun 2021 |
Hugh Morton
|
An introduction to the Alexander Data to classify textiles up to periodic isotopy
|
DSTA
|
18 Jun 2021 |
Matt Bright
|
Isometry invariant-based formula for the linking number
|
DSTA
|
21 Jun 2021 |
Elena Musi
|
Staying alone together: developing fake news immunity - from fallacies to fake news
|
ARK
|
24 Jun 2021 |
Malin Rau
Hamburg University |
A Tight (3/2 + epsilon)-Approximation for Skewed Strip Packing
|
networks
|
25 Jun 2021 |
Jonathan McManus
|
Periodic Minimum Spanning Graphs of periodic point sets
|
DSTA
|
30 Jun 2021 |
Argyrios Deligkas
Royal Holloway University of London |
Square-Cut Pizza Sharing is PPA-complete
|
EcCo
|
02 Jul 2021 |
Jonathan McManus
|
An algorithm to compute a Periodic Minimum Spanning Graph
|
DSTA
|
09 Jul 2021 |
Dan Widdowson
|
Invariant-based visualisation of large crystal datasets
|
DSTA
|
15 Jul 2021 |
Conrado Martinez
Universitat Politecnica de Catalunya |
Some Probabilistic and Combinatorial Techniques in Data Stream Analysis
|
networks
|
22 Jul 2021 |
Petra Berenbrink
Hamburg University |
Self-Stabilizing Phase Clocks and the Adaptive Majority Problem
|
networks
|