Abstract-In this paper, a Q-learning-based hybrid automatic repeat request (Q-HARQ) scheme is proposed to achieve efficient resource utilization for high speed downlink packet acc...
This paper describes the design and development of an application used to determine the most suitable way in which to pack a large quantity of small manufactured product items ont...
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
— Cooperative systems in transportation can bring new intelligence for vehicles, roadside systems, operators and individuals by creating a communications platform allowing vehicl...
Olivia Brickley, Chong Shen, Martin Klepal, Amir T...