Poster Catalogue

On finite termination of quasi-Newton methods on quadratic problems

Exploiting Radiance Fields for Grasp Generation on Novel Synthetic Views

FedPALS: A method for mitigating label shift in federated learning

Online Mapping for Autonomous Driving

Communication and Control Co-Design for Risk-Aware Safety of Mobile Robots with Offloaded Localization

Neural Architecture Search for Telecoms

Neural Simulation for Autonomous Driving

Temporal Predictive Coding for Gradient Compression in Distributed Learning

Update at Your Own Risk: Analysis and Recommendations for Update-Related Vulnerabilities

On the Effects of Irrelevant Variables in Treatment Effect Estimation with Deep Disentanglement

Offloading of Time-Optimal Motion Planning with Jerk Constraints

Identifiable latent bandits: Combining observational data and exploration for personalized healthcare

Data-Efficient Representation Learning for Grasping and Manipulation

Syntax-Guided Program Synthesis for Class Activation Mapping

Phenotypes And Philosophy: Formalising Systems Biology Hypotheses for a Robot Scientist

LLM-Based Multi-Agent System to Accelerate DevSafeOps for Autonomous Driving

REvolve: Reward Evolution with Large Language Models using Human Feedback

expOSE: Accurate Initialization-Free Projective Factorization using Exponential Regularization

Improved Contrastive Predictive Coding for Time Series Out-Of-Distribution Detection with Human Activity Data

Prediction Via Shapley Value Regression

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair

End-to-End Verification for Subgraph Solving End-to-End Verification for Subgraph

Optimized Task and Motion Planning

A characterization of nonexpansive frugal splitting methods

Resolving Requirement Conflicts at Runtime

Enumeration Synthesis of Instruction Leakage Enhanced by Large-Language Models

Synthesizing multi-log grasp poses

Cut-and-Paste Synthetic Data Generation for Instance Segmentation

Data-Driven model for discovery of intracellular calcium oscillations behaviour

Towards Federated Learning with on-device Training and Communication in 8-bit Floating Point

Support for critical collaboration tasks through gaze guidance and visual augmentation

Probabilistic Bubble RoadMap

Large-Scale Topological Data Analysis

Neural Rendering for Autonomous Driving

ARGUS: Preventing Sybils for Mobile Crowdsensing User Registration

Scalable Unsupervised Feature Selection with Reconstruction Error Guarantees via QMR Decomposition

Classical Planning using Constraint Programming and Belief Propagation

Unconditional Equivalence in Causal Discovery

Automated Generative Experimental Design via Relational Learning-Guided Large Language Models

Optical Human 3D Motion Capture in Professional Football

Distributed Control of Underwater Robots

Micro-To-Macro Traffic Modelling with Machine Learning

Symmetries and Expressive Requirements for Learning General Policies

Federated Learning for Smart Radiotherapy Systems

Unlocking the Challenges in Emotion Recognition Systems through Artificial Intelligence

Distributed Control of Autonomous Space Vehicles

Nonlinear Equivariant Neural Networks on Homogeneous Spaces

Flexible Distribution Alignment: Towards Long-tailed Semi-supervised Learning with Proper Calibration

Control Offloading for UAVs

Autonomous 3D Exploration in Large-Scale Environments with Dynamic Obstacles

Exploring the Universality of Manifold Neural ODEs

Confidentiality in Networked Control Systems

Interactive Motion Planning with Learning-based Optimal Control

Safe and Efficient Collaborative Automation Systems

Generating Non-Stationary Gaussian Processes on Curved Domains

Searching for the unknown dynamics in continuous partially observable MDPs

ProHOC: Probabilistic Hierarchical Out-of-Distribution Classification via Multi-Depth Networks

Topological Data Analysis for Spatial Data

Combining Policies and Heuristics for Classical Planning

VAEs for Camera Relocalization

Unsupervised Ontology- and Taxonomy Construction through Hyperbolic Relational Domains and Ranges

Predicting yeast properties from knowledge graphs using GNNs and box embeddings

Asynchronous Decentralized Optimization with Constraints: Achievable Speeds of Convergence for Directed Graphs

Sensor-Based Human Activity Recognition Using Deep Learning

Explainable Reinforcement Learning via Temporal Policy Decomposition

In-Hand Slip-Aware Object Manipulation

Multi-Agent Coordination in Robotic Missions

Safety and performance of cooperative automated vehicles

Pace: Modelling time and timing in joint Human-AI collaboration​

Succinct Opacity Micromaps

Motion control for autonomous semi-trailer trucks on low-friction roads

Directional Sensitivity-Based DOA Estimation Using a Fourier Series Model

Confidence Calibration in Quantized Graph Neural Networks Using Temperature Scaling

Independence is not the issue: Exploring common assumptions in Neurosymbolic AI

Autonomous Learning with Goals

Diversity-Aware Reinforcement Learning for de novo Drug Design

Parameters can be identified under non-ideal constraints

On partial prototype collapse in the DINO family of self-supervised learning methods

Revisiting Frank-Wolfe for Nonconvex Optimization

Posterior Sampling of Word Embeddings

Bayesian Analysis Ofcombinatorial Gaussianprocess Bandits With Applications To Energy-Efficient Navigation

Monocular Human Motion Estimation

Automated N-Version Programming with LLMs

Certifying Robustness via Topological Representations

Alternative implementations of the Auxiliary Duplicating Permutation Invariant Training

Unsupervised Domain Adaptation for Pediatric Brain Tumor Segmentation

Random Token Fusion for Multi-View Medical Diagnosis

Are Natural Domain Foundation Models Useful For Medical Image Classification?

Rigidity and flexibility using graphs of groups

Probabilistic Weather Forecasting with Hierarchical Graph Neural Networks

RoMa: Robust Dense Feature Matching

Temporally-consistent 3D Reconstruction of Seabirds

Analysing TLS Implementations using Full-Message Symbolic Execution

Formal Reasoning about Input-Output Relations of Tree Ensembles

Graph Coloring Is Hard on Average for Polynomial Calculus

Transient Analysis and Control for Scalable Network Systems

Fault tolerant and long-term robot policies from natural language instructions

Robustness Metrics for Motion Planning and Control with STL Specifications

Going Beyond the Frontier in Autonomous Exploration

Geometric Consistency for View Conditioned DiffusionModels

Boltzmann priors for Implicit Transfer Operators (BoPITO)

A Model-driven and Formal Approach to Operationalizing Notions of Fairness

Communication-Efficient Federated Learning with Multiple Local Steps

Video Models for Sports Analytics

Strong convergence for a classical prediction-update scheme under a parabolic Hörmander condition based on the Fokker–Planck equation

Reinforcement Learning with Reward Machines for Energy Optimisation

Multi-molecular phenotyping in a self-sampling population

Correlation Clustering with Active Learning of Pairwise Similarities

What Questions do Developers Ask During Code Review?

From parametric memory to retrieved contexts. Studies of language models (LMs) and factual knowledge.

Asymmetric Image Matching

Solving the Vehicle Routing Problem for Heavy-Duty Electric Vehicles with Optimality Guarantees

Self-Supervised Learning for Autonomous Driving

A Methodology for Runtime Assessment of the Quantitative Risk Norm for ADSs

Reinforcement Learning for Electrical Power System Control

Compressing regularised dynamics improves link prediction in sparse networks

Evaluating and Enhancing Trustworthiness of LLMs in Perception Tasks

A Roomful of Distances

Cloth-Splatting: 3D Cloth State Estimation from RGB Supervision

On the Fly Adaptation of Behavior Tree-Based Policies

GNSS spoofing detection using carrier phase and consumer INS

Membership Inference Attacks on Graph Neural Networks

Hand-arm coordination control for robot interaction tasks

How to Train Neural Networks for Classical Planning

Uplink Symbol Detection in Dynamic TDD MIMO Systems with AP-AP Interference

Acting on Language Instructions

Architecture Synthesis and Dependability Evaluation of System Models

Recursive Learning of Asymptotic Variational Objectives

Neurosymbolic Rule Induction

AI Act High-Risk Requirements Readiness: Industrial Perspectives and Case Company Insights

Algorithm Design with Steering Vectors

Deciphering the Interplay of Parametric and Non-parametric Memory in Retrieval-augmented Language Models

Clustering Misaligned Functional Data: An Application to Lake Sediments

Cost Saturation forMultiple Sequence Alignment

Part-of-speech taggers’ performance reduces on novel data sets

TAPShield: Securing Trigger-Action Platforms against Strong Attackers

Enhancing robot autonomy: Introducing safety strategies for immediate recovery

Simultaneous Topology Identification and Control for Complex Networks

Fault Tolerance for Mission-Critical Edge Applications​

Batched fixed-confidence pure exploration for bandits with switching constraints

Parkinson’s Detection Using Voices on Mobile Devices

Quantum Computers Cannot Automate Theorem Proving (Unless Post-Quantum Cryptography Breaks)

Sparse Multiview Open-Vocabulary 3D Detection

Joint CPU-FPGA Hardware-Aware Quantized Training of Graph Convolutional Networks

A new perspective and contextualisation of the group equivariant CNN

Ensembles Learn Equivariance Through Data Augmentation

Learning incomplete factorization preconditioner for GMRES

Graph-based Orders for Saturated Cost Partitioning

LaTTE: Self-supervised Latent Feature Maps for Heterogeneous Pose Estimation

Intelligent Trajectory Predictions at Sea using Neural Ordinary Differential Equations

Equivariant Neural Tangent Kernels

Self-Supervised Understanding of Dynamic Scenes - Let Data Be the Teacher

Adaptive Distance Functions for Robotic Manipulation

Information-Theoretic Bounds for Reinforcement Learning based on Duality

Planning under Uncertain Failure Severity

Ready to Test Your (software’s) Boundaries? FiTBVE Uncovers What Others Miss

Generating virtual Magnetic Resonance Elastography

Haha! Caught you: Evaluating StyleID, a tool for anonymizing facial images using Record Linkage Attacks

Whole-Body Compliant Robotic Manipulation

Sepsis Treatment via Personalized Reinforcement Learning: A Multi-Head Dueling Double Deep Q-Network Approach

Complexity Certification of Branch-and-Bound Methods for MILP and MIQP

PACA: Perspective-Aware Cross-Attention Representation for Zero-shot Scene Rearrangement

Data abstractions for visual analysis of electronic structures

Two-state protein design using deep learning

Neuro-Symbolic Lemma Conjecturing

Privacy Preservation of High-dimensional Data using Manifold Learning

Toward Building Reliable Hybrid Neural Graph Databases

Reinforcement Learning with Low-rank Structure?

Stealthy Delay Attacks for Cyber-Physical Systems

Diffusion models for predicting cell morphology

Visualizing Overlapping Biclusterings and Boolean Matrix Factorizations

Share the Unseen

Curiosity Based Affordance Learning

Vehicular Antenna Deployments for Downlink Positioning

A variational approach to large deviations in Schrödinger bridges

Transport Accelerated Simulated Annealing

Improving the Energy Performance of Battery-Powered Mobile Networks via Reinforcement Learning

System 1 – System 2

Safe platoon and intersection coordination of connected and automated vehicles

Computer Vision for Manufacturing Quality Inspection with Synthetic Data

Energy-Guided Decoding for Object Hallucination Mitigation

Learning Group Invariant Ricci-flat Metrics

How do timing misalignments affect real-time control systems?

Challenges in Motion Prediction for Autonomous Driving

Do Diffusion Models Know What They Don’t Know in Representation Space?

Heuristic-Informed Neural Surrogate on Wireless Network Representations

Implicit Regularization in Matrix Factorization and Neural Networks with Diagonal Layers

A Study of Regret Minimization for Static Scalar Nonlinear Systems

Static BugDetection forML Programs

Fault Tolerance for Mission-Critical Edge Applications

Efficient Decentralized Training of DNNs

Convex polygonal formation of multi-vehicle systems

Optimization-Based Path-Velocity Control for Time-Optimal Path Tracking under Uncertainties

Uncertainty Quantification Metrics for Deep Regression