Proceedings of the 2021 Australasian Computer Science Week Multiconference最新文献

A Framework for Determining Robust Context-Aware Attack-Detection Thresholds for Cyber-Physical Systems 确定网络物理系统鲁棒上下文感知攻击检测阈值的框架

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437393

Wissam Aoudi, M. Almgren

引用次数: 8

A Survey on Formal Verification for Solidity Smart Contracts 可靠智能合约的形式化验证研究

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437879

Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet

引用次数: 26

Tour de Tune 2 - Auditory-Game-Motor Synchronisation with Music Tempo in an Immersive Virtual Reality Exergame Tour de Tune 2 -在沉浸式虚拟现实游戏中与音乐节奏的听觉-游戏-运动同步

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437379

B. Yin, Samuel Bailey, Emma Hu, Milinda Jayarekera, Alex Shaw, B. Wünsche

{"title":"Tour de Tune 2 - Auditory-Game-Motor Synchronisation with Music Tempo in an Immersive Virtual Reality Exergame","authors":"B. Yin, Samuel Bailey, Emma Hu, Milinda Jayarekera, Alex Shaw, B. Wünsche","doi":"10.1145/3437378.3437379","DOIUrl":"https://doi.org/10.1145/3437378.3437379","url":null,"abstract":"Physical activity has numerous benefits, but a large proportion of the population do not exercise enough. Exergaming, the combination of exercises and gaming, has been suggested as a means to increase physical activity for people not intrinsically motivated to exercise. Despite promising results, usage of exergames outside research projects is limited and commercial exercise games usually do not promote a sufficient exercise intensity. Music has been shown to be able to increase motivation and performance, and reduce the perceived level of exertion during exercises. In this research we investigate whether users’ perception of exercises can be improved by synchronising music and gameplay. We evaluate the subjective experience of our system using a within-subject comparison between four different conditions: i) control condition with no music or gameplay, ii) gameplay-only condition with no music, iii) music-gameplay condition with asynchronous music, and iv) music-gameplay condition with synchronous music. Our results show that both of the music-gameplay conditions resulted in a significant increase in motivation and perceived value of activity, and a significant decrease in distress, when compared with the gameplay-only and control conditions. We discuss the results and their practical implications, and make suggestions for future research.","PeriodicalId":146881,"journal":{"name":"Proceedings of the 2021 Australasian Computer Science Week Multiconference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127773139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Who am I? - Development and Analysis of an Interactive 3D Game for Psychometric Testing 我是谁?-开发和分析用于心理测试的交互式3D游戏

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3442688

Aorthi Afroza, Kelsey Murray, B. Wünsche, Paul Denny

引用次数: 3

Targeted Health Information Delivery Framework: Evaluation and Feedback from Potential Client End-users 目标卫生信息提供框架:来自潜在客户终端用户的评估和反馈

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437383

Heidi Bjering, J. A. Ginige

{"title":"Targeted Health Information Delivery Framework: Evaluation and Feedback from Potential Client End-users","authors":"Heidi Bjering, J. A. Ginige","doi":"10.1145/3437378.3437383","DOIUrl":"https://doi.org/10.1145/3437378.3437383","url":null,"abstract":"This paper describes the evaluation completed on a targeted health information delivery system from the perspective of potential client-type end-users. The system was created as a tool for Healthcare Practitioners (HCPs) to evaluate their clients and deliver relevant information, resources and interventions for the issue or behaviour change needed. The system provides the HCPs with the ability to create questionnaires on health behaviours, automatic staging of clients, and creation of stage relevant resources and interventions to be delivered to their clients. The clients complete the short questionnaire on a particular topic such as a health behaviour, is automatically staged by the system based on their answers, and given access to information, resources and interventions relevant for the particular stage they are currently at. The correctness of the staging engine within the system has previously been validated by HCPs, and this paper describes the evaluation and feedback from potential client type end-users. The purpose of the evaluation was to investigate if the participants found that using a tool like this system could help with previously identified issues in regards to health behaviours and accessing online health information - such as lack of awareness, information overload and not knowing which online health resources to trust. In addition, it was of interest to get the participants overall impression of this system. 27 participants were recruited to help give feedback and subjective evaluation of the perceived utility and usefulness of the system. Overall, the participants found the system very useful and rated the system highly.","PeriodicalId":146881,"journal":{"name":"Proceedings of the 2021 Australasian Computer Science Week Multiconference","volume":"200 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133322671","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Barriers and Incentives to Cybersecurity Threat Information Sharing in Developing Countries: A Case Study of Saudi Arabia 发展中国家网络安全威胁信息共享的障碍与激励:以沙特阿拉伯为例

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437391

Waleed Alkalabi, L. Simpson, Hasmukh Morarji

引用次数: 4

Evaluation of Channel Performance in Seizure Prediction 癫痫发作预测中通道性能的评估

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437399

H. Nguyen, Z. R. Hesabi, L. Kuhlmann

{"title":"Evaluation of Channel Performance in Seizure Prediction","authors":"H. Nguyen, Z. R. Hesabi, L. Kuhlmann","doi":"10.1145/3437378.3437399","DOIUrl":"https://doi.org/10.1145/3437378.3437399","url":null,"abstract":"Since unprovoked seizures are identified as the biggest concern of epileptic patients, an effective seizure prediction device is definitely a game changer in epilepsy management. In order to apply seizure prediction in practical settings, seizure prediction algorithms are mandated to be optimized prior to installation into implantable devices which often come with low computational resources. To achieve this goal, past literature has demonstrated various machine learning approaches to reduce the number of channels or features needed in seizure prediction. However, the resultant channel or feature set generated by machine learning models can change over time, thus making the device configuration unfeasible once the device is implanted. Therefore, we evaluated the seizure prediction performance of each channel in a set of intracranial electrode-based electroencephalography (iEEG) recordings to uncover if electrode placement impacts on the predictive accuracy. The study was conducted on a dataset of three patients from the first-in-man seizure warning device trial and a state-of-the-art seizure prediction algorithm based on Extra Trees classification was applied. In three patients, the best channels achieved the area under the receiver-operating curve (AUC) scores of 0.77, 0.70, and 0.76, respectively. The result also indicated superior seizure prediction of some channels across all patients. Regarding AUC comparison between the best performing channel and all channels, in patient 1, using one channel as a single predictor surpassed the multiple channel model. While statistically significant differences were not obtained in patient 2, the one channel model offered practical benefits by preventing data overfitting and reducing computational complexity. In patient 3, the general model performed better than individual channels. These findings demonstrate the feasibility of selecting electrodes to build models in some patients and also emphasize the importance of patient-specific methods for seizure prediction.","PeriodicalId":146881,"journal":{"name":"Proceedings of the 2021 Australasian Computer Science Week Multiconference","volume":"261 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114589678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

SIMDify: Framework for SIMD-Processing with RISC-V Scalar Instruction Set SIMDify:基于RISC-V标量指令集的simd处理框架

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3444364

M. A. Sarkisla, A. Yurdakul

{"title":"SIMDify: Framework for SIMD-Processing with RISC-V Scalar Instruction Set","authors":"M. A. Sarkisla, A. Yurdakul","doi":"10.1145/3437378.3444364","DOIUrl":"https://doi.org/10.1145/3437378.3444364","url":null,"abstract":"In this work, we propose a parallel programming framework, SIMDify, which generates single-instruction-multiple-data (SIMD) processors that can achieve SIMD processing without using SIMD instructions. SIMDify takes an application machine code compiled for scalar RISC-V ISA and simulates it to determine the SIMD processing regions. Then, SIMDify configures and generates the application-specific SIMD processor that executes scalar RISC-V instructions concurrently on the SIMD datapath. SIMD processor consists of a single master and multiple slave processing elements (PE). Slaves focus on SIMD level tasks, whereas the master is responsible for the central control. Proposed architecture is the first SIMD capable RISC-V processor designed in HLS and can operate with a faster clock frequency than the existing SISD RISC-V HLS cores. SIMDify relieves the user from using custom instructions with rigid programming models and offers a flexible solution. The processor is designed and tested in Vivado High Level Synthesis 19.2. It operates at 78 MHz on Zynq Zedboard FPGA. Master PE uses 5% and each slave uses 3.5% of FPGA resources. Test results show that execution time can be improved by 8.5x with 9 slaves and 19x with 29 slaves.","PeriodicalId":146881,"journal":{"name":"Proceedings of the 2021 Australasian Computer Science Week Multiconference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131455087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

The implementation of public health and economic measures during the first wave of COVID-19 by different countries with respect to time, infection rate and death rate 第一波疫情期间各国在时间、感染率和死亡率方面采取的公共卫生和经济措施

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3437384

M. S. Uddin, Tasadduq Imam, M. Moni

{"title":"The implementation of public health and economic measures during the first wave of COVID-19 by different countries with respect to time, infection rate and death rate","authors":"M. S. Uddin, Tasadduq Imam, M. Moni","doi":"10.1145/3437378.3437384","DOIUrl":"https://doi.org/10.1145/3437378.3437384","url":null,"abstract":"Since its first confirmed case in December 2019, the COVID-19 outbreak has continued to spread across countries at an alarming rate and resulted in governments worldwide implementing various public health and economic measures to contain the spread This research studies the context of 227 countries concerning their implementation of ten public health and seven economic measures during the first wave of COVID-19 and reflects on the discrepancy in adopting these measures with respect to time, infection rate, death rate, and test rate The results reveal that public health measures have been adopted more often and earlier than economic measures The implementation of measures was mostly influenced by the infection rate The analysis also finds considerable variances in adopting the measures across countries Potentially such variances explain the large difference in COVID-19 related causalities across nations worldwide This is further reflected in this article by considering the top ten countries that experienced a higher death toll The article also explores Australia s notable success in controlling the spread and fatalities of COVID-19 during the first wave, and how it fared against the world regarding its implementation of various measures Overall, this research highlights the high uncertainties governments encounter when facing a new pandemic and the need for global cooperation during such uncertainties © 2021 ACM","PeriodicalId":146881,"journal":{"name":"Proceedings of the 2021 Australasian Computer Science Week Multiconference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129804146","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Gender Differences when Adopting Avatars for Educational Games 在教育游戏中使用角色时的性别差异

Proceedings of the 2021 Australasian Computer Science Week Multiconference Pub Date : 2021-02-01 DOI: 10.1145/3437378.3442691

A. Brown, Jacqueline D. Bailey, K. Blackmore, Sherin Boogaard, K. Nesbitt

{"title":"Gender Differences when Adopting Avatars for Educational Games","authors":"A. Brown, Jacqueline D. Bailey, K. Blackmore, Sherin Boogaard, K. Nesbitt","doi":"10.1145/3437378.3442691","DOIUrl":"https://doi.org/10.1145/3437378.3442691","url":null,"abstract":"Avatars act as digital representations of players or non-playing characters in games and other online environments, and also play a key role key in educational games. This study looks at gender differences that may impact on human avatar interactions, exploring the impact of player gender differences and avatar gender differences that might impact on acceptance of game technology for education. We also consider gender preferences for avatars across a range of subject areas. We survey 332 participants and examine general acceptance of educational games using the UTAUT framework. We find both males (n=202) and females (n=131) rank performance expectancy, effort expectancy, social influence, facilitating conditions and hedonic motivation, along with their behavioural intention to use the technology favourably, although female rankings on all scales are significantly lower than male ratings. This suggests less confidence in females for adopting game technology for use in education. Participants also ranked a series of 5 male and 5 female avatars on how well they might be applied to various educational domains. In most cases, the male and female participants rank avatars consistently, although there are a few exceptions. Most evident is the way the female avatars and male avatars are ranked for use in educational games, indicating clear preferences by users for how avatar gender should be selected.","PeriodicalId":146881,"journal":{"name":"Proceedings of the 2021 Australasian Computer Science Week Multiconference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132731227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2