• 

  The Proof Is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes 

  Vogel, Carl (2023)

  This paper presents FASTFOOD, a rule-based natural language generation (NLG) program for cooking recipes. We consider the representation of cooking recipes as discourse representation, because the meaning of each sentence ...
• 

  Performance Analysis of RSMA-aided UAV-to-Ground Communications 

  Pham, Viet (2023)

  This paper investigates the performance of downlink rate-splitting multiple access (RSMA)-aided unmanned aerial vehicle (UAV) communication systems, wherein a multi-antenna UAV exploits RSMA to serve multiple ground ...
• 

  A Block-structured Optimization Approach for Data Sensing and Computing in Vehicle-assisted Edge Computing Networks 

  Pham, Viet (2023)

  With the rapid development of IoT applications and multi-access edge computing (MEC) technology, massive amounts of sensing data can be collected and transmitted to MEC servers for rapid processing. On the other hand, ...
• 

  VT-MCNet: High-Accuracy Automatic Modulation Classification Model based on Vision Transformer 

  Pham, Viet (2023)

  Cognitive radio networks’ evolution hinges significantly on the use of automatic modulation classification (AMC). However, existing research reveals limitations in attaining high AMC accuracy due to ineffective feature ...
• 

  A Mobile Health Design Process to Improve User Engagement with Mobile Health 

  Ikwunne, Tochukwu Arinze (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2023)

  It has been shown that less than 25 percent of people continue to use health and wellness apps after the first time they use them. Despite the importance of user engagement for the efficacy of such apps and mobile health ...

View more