15 Sep 2022 dept
|
Dr. Sadegh Soudjani
School of Computing, Newcastle University |
Formal Abstractions for Safe Integration of Responsive Loads in Smart Grids
|
31 Jan 2023 dept
|
Dr. Tony Tan
Department of Computer Science and Information Engineering, National Taiwan University |
DQBF is a CNF formula in succinct representation
|
17 Feb 2023 dept
|
Dr. Qiyi Tang
Department of Computer Science, University of Liverpool |
Comparison and analysis of probabilistic systems
|
03 Mar 2023 dept
|
Dr. Procheta Sen
Department of Computer Science, University of Liverpool |
Building Trustworthy Intelligent Information Access Systems
|
17 Mar 2023 dept
|
Dr. David Purser
Department of Computer Science, University of Liverpool |
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
04 Apr 2023 dept
|
Prof. Theodore Turocy
School of Economics, University of East Anglia |
Computation in game theory: A view from economics
|
21 Apr 2023 dept
|
Dr. Nikhil Mande
Department of Computer Science, University of Liverpool |
Understanding the power and limitations of randomness and quantumness
|
27 Apr 2023 |
Meng Fang
Department of Computer Science, University of Liverpool |
Building human-like intelligence that can understand and interact with humans
|
04 May 2023 |
Chao Huang
University of Liverpool |
Verification-Guided Safe Reinforcement Learning
|
05 May 2023 dept
|
Dr. John Sylvester
Department of Computer Science, University of Liverpool |
Choice and Bias in Random Walks
|
11 May 2023 |
Hatem Fakhruldeen
Department of Chemistry, University of Liverpool |
Towards Autonomous Robotic Workflows for Material Discovery: Lab ROSification and ARChemist System Architecture
|
18 May 2023 |
Yi Dong
Department of Computer Science, University of Liverpool |
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation
|
25 May 2023 |
Guangliang Cheng
Department of Computer Science, University of Liverpool |
From Scene Understanding to Vision-Language Joint Understanding
|
13 Jun 2023 dept
|
Dr. Zhanxing Zhu
Changping National Lab, China |
Theoretical understanding of learning dynamics in modern deep learning
|
15 Jun 2023 |
Bei Peng
CS, University of LIverpool |
Overcoming Relative Overgeneralisation for Cooperative Multi-Agent Reinforcement Learning
|