MULLA LANGY VERIFICATION

MULLA LANGY VERIFICATION

Matthew Yeo, Verification of neural-symbolic agent-based systemsįor the annual award to the final year students with the best overall performance on the BEng Mathematics and Computer Science/MEng Mathematics and Computer Science. Miruna Rusu, Identification learning: User identification in smart-meter dataĪrthur Drozdov, OLAPH: Online Learning of Anomaly Policies from Historical data Meenatchi Muthu Selva Annamalai, Studying information leakage in differentially private mechanisms Martin Piala, Ray Intersection Prediction for Efficient Rendering of Neural Radiance Fieldsĭavid Davies, Theorem proving with classical logic Penelope Tay Li-Ane, Automatic Repair of High-Resolution Meshes James Langley, Structured Uncertainty in the Observation Space of Variational Autoencoders Rajat Rasal, Deep Structural Causal Models for Counterfactual Mesh Generation Judicael Clair, CORE Haptic Object Reconstruction Hannah Schlueter, Spotting the Unexpected - Self-Supervised Anomaly Detection and Localisation in Images William Burr, Transformer-Based Correction & Selection of ASR Hypotheses For Open-Domain‌īrandon Forbes, Unsupervised Knowledge Graph Construction for Interpretable Question Answering ‌ India Marsden, Symbolic and Numerical Representation of Dual Spaces in the Unified Form ‌ Zak Cutner, Safe Session-Based Asynchronous Coordination in Rust‌Įsther Wong, State-space decomposition in Reinforcement Learning

Pablo Gamito, Pinkman - A Robust Decentralized Leveraged Yield Farming Platform‌ Gauthier Bonvarlet, Option Pricing Calibration with Neural SDEs‌ Ivan Kapelyukh, My House, My Rules - Learning Tidying Preferences with Graph Neural Networks‌ Haazim Tungekar, Multimodal Emotion Recognition from Visual and Textual Data‌ Victor-Gabriel Apostol, Multi-Stage Differential Privacy for Federated Learning‌ Jasmine Quah, Model Compression and Error Correction for the DNA Storage Channel‌ Julie Emile, MarioQASP - Symbolic Learning for Video Question and Answering‌‌Īlvin Lee, Mitigating IoT Environment Mistrust Attacks on Voice Assistants‌ Kelvin Zhang, Kubedim Self-Adaptive Service Degradation of Microservices-Based Systems‌‌ Jamal Mulla, High Performance Simulation of Focal-Plane Sensor-Processor Architectures‌‌ Kexin Gu, HACR - Hybrid Architecture for Concept Reasoning‌‌ Peter He, Do Androids Dream of Electric Fences‌‌ Gregory Filbrandt, Deep Learning for Automatic Contouring of Tumours and Structures at Risk‌‌ Momo Langenstein, Communication-free and Parallel Simulation of Neutral Biodiversity Models‌‌ Radhika Patel, Automatic Classification of Illustrative Sentences using Computational Literary‌‌ Projects that are outstanding in terms of technical achievement and presentation are awarded 'Distinguished' status. Facewall PhD 1st Year - Cohort 2020 / 2021.Postgraduate degrees and course information.Undergraduate JMC: degree and course information.Undergraduate Computing: degree and course information.MRes Artificial Intelligence and Machine Learning.MSc in Computing (Specialisms) regulations.MSc in Computing (Visual Computing and Robotics).MSc in Computing (Software Engineering).MSc in Computing (Security and Reliability).MSc in Computing (Management and Finance).MSc in Computing (Artificial Intelligence and Machine Learning).MSc Artificial Intelligence regulations.BEng/MEng Joint Mathematics and Computer Science.Equality, Diversity and Culture Committee.Search Imperial Search Department of Computing Section Navigation

Mulla langy