Pushing the limits of generic side-channel attacks on LWE-based KEMs - parallel PC oracle attacks on Kyber KEM and beyond by Rajendran, Gokulnath, Ravi, Prasanna, D’anvers, Jan-Pieter, Bhasin, Shivam, Chattopadhyay, Anupam

Subjects: Get full text

Empirical studies on director shareholdings of SGX-listed companies. by Chew, Kim Cheer., Tan, Chiu Yun., Teo, Chuan Ming.

Get full text

The utilization of chitin and chitosan as green modifiers in nanocomposite membrane for water treatment by Mamah, Stanley Chinedu, Goh, Pei Sean, Ng, Be Cheer, Abdullah, Mohamad Sohaimi, Ismail, Ahmad Fauzi, Samavati, Zahra, Ahmad, Nor Akalili, Raji, Yusuf Olabode

Encapsulation of probiotics for food and beverage applications by Ang, Kai Lin

“…Up to date, no studies have been done to examine the viability of probiotics in popular, well-liked, commercialized carbonated sodas/beers, but it is known that certain components in these matrices (e.g. phosphoric acid in soda, hops and ethanol in beers) can reduce the viability of probiotics. …”
Get full text

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

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

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