Minimal type inference for Linked Data consumers by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

“…We also prove subject reduction and type safety results, which justify our claim that our language is statically type checked and does not throw basic runtime type errors. …”
Get full text
Get full text

Prevalence of sleep disturbance in patients with ankylosing spondylitis: a systematic review and meta-analysis by Salari, Nader, Sadeghi, Narges, Hosseinian-Far, Amin, Hasheminezhad, Razie, Khazaie, Habibolah, Shohaimi, Shamarina, Mohammadi, Masoud

“…Heterogeneity among the identified studies was checked using the I2 index, and the Begg and Mazumdar correlation test examined the existence of published bias. …”
Get full text

A Multi-tier Model and Filtering Approach to Detect Fake News Using Machine Learning Algorithms by Yu, Chiung Chang, A Hamid, Isredza Rahmi, Abdullah, Zubaile, Kipli, Kuryati, Amnur, Hidra

“…The best performance of sequence for both datasets is LR_DT_RF which yields 0.9892 F1-Score, 0.9895 Accuracy, and 0.9790 Matthews Correlation Coefficient (MCC) for ISOT Fake News Dataset, and 0.9913 F1-Score, 0.9853 Accuracy, and 0.9455 MCC for CHECKED Dataset. This research could give researchers an approach for fake news detection on different social platforms and feature-based.…”
Get full text

A study on epidemic modelling using deterministic and stochastic SIR compartmental models by Lim, Lionel Rui Qi

“…Lastly, HOIs were integrated on the networks and a group transmissibility (psc) > pairwise (pT = 0.1) was shown to steer the course of an epidemic and change actual virus reproducibility for different networks, highlighting the need to reduce group interactions to curb epidemic spreading. …”
Get full text

Unveiling student perspectives on online presentations by Siti Ainun Jariyah, Hassan, Hamizah, Zahari, Ezihaslinda, Ngah

“…In a typical online presentation, students deliver information or projects through digital platforms, sharing their work in real time with instructors and peers. Various tools, such as Zoom, Microsoft Teams, and Google Meet, are frequently used to facilitate these presentations. …”
Get full text
Get full text

Cognitive aspects of generalised anxiety disorder in adolescents: exploring intolerance of uncertainty, cognitive avoidance, and positive beliefs about worry by Shipp, LR, Leigh, E, Laverton, A, Percy, R, Waite, P

“…Adolescents with GAD reported significantly higher intolerance of uncertainty and positive beliefs about worry relative to their peers with other anxiety diagnoses, whilst levels of cognitive avoidance did not differ significantly. …”

British Muslim youth and religious fundamentalism: a quantitative investigation by Kashyap, R, Lewis, VA

“…We use new survey data to empirically examine how Muslim youth differ from older Muslims and non-Muslim British peers on religiosity, Islam-specific and broader social attitudes. …”

Multiplicity dependence of σψ(2S)/σJ/ψ in pp collisions at √𝑠 = 13 TeV by Aaij, R., Abdelmotteleb, A. S. W., Abellan Beteta, C., Abudinén, F., Ackernley, T., Adeva, B., Adinolfi, M., Adlarson, P., Agapopoulou, C., Aidala, C. A., Ajaltouni, Z., Akar, S., Akiba, K., Albicocco, P., Albrecht, J., Alessio, F.

“…The ratio of production cross-sections of ψ(2S) over J/ψ mesons are cross-checked with other measurements in di-lepton channels and found to be compatible.…”
Get full text

Evaluating geospatial accuracy for equity analyses: a case study of the U.S. National Bridge Inventory by Gandy, CA, Kang, X, Ritsch, N, Armanios, DE

“…Phase 3 assesses the feasibility of enhancing location granularity through a hand-checked case study. We find that for coarser geospatial levels (state and county), equity-based analyses may be possible, but for more granular geospatial levels (place and census tract), which is where equity-based analyses are often conducted, the data may need greater buffering and hand checks to ensure accuracy. …”

Integration of genetic data and genomic annotation in the analysis of genome wide association studies by Ng, E

“…To fine map these loci and assign functional annotation, I created Bayesian credible sets and checked for overlap between SNPs in these credible sets and regulatory marks in the Encyclopaedia of DNA Elements (ENCODE) database. …”

Design and implementation of a web based platform for EEE students internship/job experience sharing by Fang, Meiheng

“…The three main focuses of this application are providing space for sharing latest reviews, exploring different interest fields with peers, and presenting helpful resources from both the campus and external sources in an organized and user-friendly manner.…”
Get full text

Mobile app for virtual study room by Ng, Yu Zhe

“…The hope is that students who are from less well-off families, who only have access to a smart phone in Singapore today, would not be disadvantaged as compared to their peers due to how online education systems are being built around computers rather than mobile devices.…”
Get full text

StudentGO web application by Xie, Zijian

“…StudentGo web application will provide a platform for students to communicate with their peers, find new friends and cultivate a community of like-minded students striving for excellence. …”
Get full text

Comparative analysis of undergraduate life science education at NTU, Singapore and Kyutech, Japan : commonalities and differences in preparing students for employment or graduate s... by Lee, Kok Sang.

“…Students in Singapore were found to spend more time to study and less time for entertainment compared to their peers in Japan. Differences in government policies of Japan and Singapore are believed to cause most of the differences observed. …”
Get full text

The leap of faith : lived experiences of madrasah students negotiating the transition from a religiously-homogeneous environment to a secular environment by Shaik Muhammad Khairun Nabil, Nur Syahirah Mohamed Salim

“…The findings point to four main transition outcomes which is shaped by (i) their motivations to align their habitus with that of their new peers and (ii) their commitment to maintain their previously-conditioned habitus and ties with the Madrasah community. …”
Get full text

Student poster conferences as a formative, authentic, inclusive and sustainable assessment practice by Sims, D, Aitken, D, Swales, C

“…Of primary importance, the poster conference is a safe-to-fail formative experiential learning opportunity, with opportunities for feedback from peers and key stakeholders. It is a form of authentic assessment that replicates a ‘real world’ conference experience and aspects of public scholarship and peer review. …”

Exploring career realities: elevating graduate employability through job shadowing by Hanaliza Kamis, Phan, Jasmine Ah Kiaw, Sheela Karunaharan Thanaraj, Jen, Ling Gan

“…Overall, the performance of program participants surpassed that of their non-participating peers, underscoring the program’s impact on bridging the gap between academic theory and practical application.…”
Get full text

TDSF: Two-phase tamper detection in semi-fragile watermarking using two-level integer wavelet transform by Amrullah, Agit, Ernawan, Ferda, Anis Farihan, Mat Raffei, Liew, Siau-Chuin

“…The initial phase will check four segments to determine the tampered bit or not. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

Telerobotic neurovascular interventions with magnetic manipulation by Kim, Yoonho, Genevriere, Emily, Harker, Pablo, Choe, Jaehun, Balicki, Marcin, Regenhardt, Robert W, Vranic, Justin E, Dmytriw, Adam A, Patel, Aman B, Zhao, Xuanhe

“…Our system consists of a magnetically controlled guidewire, a robot arm with an actuating magnet to steer the guidewire, a set of motorized linear drives to advance or retract the guidewire and a microcatheter, and a remote-control console to operate the system under real-time fluoroscopy. …”
Get full text