Browsing Computer Science (Scholarly Publications) by Sponsor "Science Foundation Ireland (SFI for RF)"
Now showing items 1-4 of 4
-
Demand-Responsive Zone Generation for Real-Time Vehicle Rebalancing in Ride-Sharing Fleets
(2020)Enabling Ride-sharing (RS) in existing Mobility-on demand (MoD) systems allows to reduce the operating vehicle fleet size while achieving a similar level of service. This however requires an efficient vehicle to multiple ... -
Electrically Small Multimodal 3D Beamforming MIMO Antenna for PHY-Layer Security
This work proposes an electrically small 3D beam- forming antenna for PHYsical Layer (PHY-layer) security. The antenna comprises two layers of stacked patch structures, and is a five-mode five-port MIMO system operating ... -
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
(Springer, 2022)We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to ... -
On the Efficiency of Miniaturized 360° Beam-Scanning Antenna
(IEEE, 2019)The efficiency and beam-scanning performance of a compact, beam reconfigurable antenna are presented. The proposed design provides a 360° reconfigurable bidirectional radiation pattern in the horizontal plane by using phase ...