A Fast and Effective Graph-Based Resource Allocation and Power Control Scheme in Vehicular Network Slicing

Fast and Efficient Scene Categorization for Autonomous Driving using VAEs

FisheyePixPro: Self-supervised Pretraining using Fisheye Images for Semantic Segmentation

The Forgotten Margins of AI Ethics

How has recent AI Ethics literature addressed topics such as fairness and justice in the context of continued social and structural power asymmetries? We trace both the historical roots and current landmark work that have been shaping the field and categorize these works under three broad umbrellas: (i) those grounded in Western canonical philosophy, (ii)...

From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

From CCS to CSP: the m-among-n Synchronisation Approach

Examining the Adoption of Artificial Intelligence for Digital Transformation

Excommunication: Transforming Calculus Specifications to~Remove Internal Communication

In this paper, we present a new automatic transformation algorithm called excommunication that transforms $$backslashpi $$π-calculus processes to remove parallelism, and hence internal communication. We prove that the transformation is correct and that it always terminates for any specification in which the named processes are in a particular syntactic form we call serial form. We...

Executable Documentation: Test-First in~Action

Explainable Artificial Intelligence (XAI) in Insurance

Explainable Artificial Intelligence (XAI) models allow for a more transparent and understandable relationship between humans and machines. The insurance industry represents a fundamental opportunity to demonstrate the potential of XAI, with the industry’s vast stores of sensitive data on policyholders and centrality in societal progress and innovation. This paper analyses current Artificial Intelligence (AI) applications...