100 UMPSA athletes to compete in 10 events at the 2024 SUKUM Championship by Siti Nur Azwin, Zulkapri

“…PEKAN, 6 August 2024 – The enthusiastic cheers of “UMPSA! Minda Juara!” echoed as 100 athletes, comprising 65 men and 35 women from Universiti Malaysia Pahang Al-Sultan Abdullah (UMPSA), prepared to represent their university in the upcoming 2024 SUKUM Championship.…”
Get full text

Evaluation of the music collection at the National Institute of Education Library by Yu, Bee Lian.

“…However, the Library fared relatively better, with 71.5% holdings, when a list of "Recommended Readings/References" drawn up by the Institute's academic staff was list-checked.…”
Get full text

Finite element analysis on post-buckling of thin-walled structures using ANSYS by Theint, Yi Mon

“…The results obtained were checked against experimental data and led to the development and the revision of design procedures for the pin-ended lipped column and hollow box section.…”
Get full text

Average velocity of grains moving over a channel bed by Song, Chengwei

“…Therefore, the results in today’s experiment are going to be checked against the results in the past paper. In order to obtain better analytical results, the idea of dimensional analysis is applied in the discussion. …”
Get full text

Design and development of small scale index matching tunnel by Tan, Yu Tiong

“…Then, the results of the experiment are cross-checked with the theoretical equations, an analysis is being accounted for the difference in result. …”
Get full text

Human factors evaluation of conflict resolution aid in future air traffic control by Pereira, Theresse Vanessa

“…In 1929, the airport operator employed him to prevent collisions between aircrafts and his tools of communication were simply a red flag to indicate “hold” and a checked one for “go”. With the advancement of technology over the next few decades, high tech equipment were integrated into air traffic control, such as the radar, to meet the growing number of flights as more people turned to aeroplanes as a means of commercial transport. …”
Get full text

Impact of innovation on performance of shipping companies in Singapore by Nah, Laura Yan Ling

“…A survey with 17 Singapore-registered ship-owning companies was conducted and results were checked for validity using the Spearman’s rho and Cronbach’s alpha tests. …”
Get full text

Forecasting air passenger volume in Singapore: Determining the explanatory variables for econometric models by Guo, Rui, Zhong, Zhao Wei

“…Before applying for model simulation, correlations among variables were checked. Various combinations of the variables were implemented to establish the models. …”
Get full text
Get full text

Density, laying date, breeding success and diet of Black Kites Milvus migrans govinda in the city of Delhi (India) by Kumar, N, Mohan, D, Jhala, YV, Qureshi, Q, Sergio, F

“…A sample of 151 nests was checked regularly to record laying date, breeding success and diet.…”

Numerical simulation of oxygen delivery in presence of hemoglobin hydrogel based oxygen carriers by Tan, Kai Ying

“…Red blood cells have standard shelf life of only 42 days and unable to be checked and sterilized for infective agents like HIV. …”
Get full text

Safety assessment of autonomous vehicles using simulations by Ketki, Chaudhary

“…For different configurations of the afore-mentioned, the simulation data is analysed using MATLAB and checked whether or not it meets safety constraints. …”
Get full text

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

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

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. …”

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

Furniture form innovation and human–machine comfort evaluation model based on genetic algorithm by Yifan, Bai, Kamarudin, Khairul Manami, Alli, Hassan

“…In the give-up, the advised model’s viability is checked by means of looking at how fixtures from the product’s layout picks had been carried out to assist designers give us fresh thoughts.…”
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

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

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