Certifiers make neural networks vulnerable to availability attacks by Lorenz, T, Kwiatkowska, M, Fritz, M

“…Certifiers for neural networks are a reliable way to check the robustness of these predictions. They guarantee for some predictions that a certain class of manipulations or attacks could not have changed the outcome. …”

Fintech renaissance: powering efficiency in Asian banking through country competitiveness by Chowdhury, Mozaffar Alam, Ni, Soh Wei, Abdul Rahim, Norhuda, Johari, Jalila

“…The panel data regression utilized a fixed-effect model, which was run after a diagnostic check. The validated data satisfied the criteria for stationary, serial autocorrelation, heteroscedasticity, homogeneity, and multicollinearity. …”
Get full text

Deep learning based solder joint defect detection on industrial printed circuit board X-ray images by Zhang, Qianru, Zhang, Meng, Gamanayake, Chinthaka, Yuen, Chau, Geng, Zehao, Jayasekara, Hirunima, Woo, Chia-wei, Low, Jenny, Liu, Xiang, Guan, Yong Liang

“…Many techniques have been incorporated to check for failed solder joints, such as X-ray imaging, optical imaging and thermal imaging, among which X-ray imaging can inspect external and internal defects. …”
Get full text

No One Wants To Be A Parasitologist: The Shrinking Field of America's Least Favorite Animals by Richter, Hannah

“…An increasing volume of research shows that parasites play important ecological functions, from keeping animal populations in check to stabilizing food chains to driving evolution and biodiversity. …”
Get full text

Blockchain for RegTech: streamlining know your customer (KYC) pipelines by Tan, Valerie Huiying

“…With Decentralised Finance being developed to replace traditional financial services and transactions of virtual land being conducted on the Metaverse, these ecosystems often involve large amounts of money and require regulatory compliance checks. This calls for a solution that can interoperate effectively with these emerging technologies. …”
Get full text

Development of interfacing programs for low cost inertial navigation systems by Huang, Dongyu.

“…Programs are developed to configure the serial ports, read data continuously, check data packet validity, calculate and display inertial measurement results. …”
Get full text

Development of high performance Medium Access Control (MAC) protocol for wireless ad-hoc network by Phang, Jian Kai.

“…In order to reduce the collision of data packets within a concurrent transmission, control packets are implanted with collision avoidance information for neighbours’ usage so as to check the availability of transmission. A new-ACK (acknowledgment) sequence-mechanism is also introduced to eliminate the possibility of0collision between0data and ACK-packets. …”
Get full text

Development of solar power systems for solar UAV : evaluation of nomura MPPTs at sub-zero temperatures & solar modules encapsulation by Teo, Boon Rong

“…In addition, the energy generated by the solar cells at the time of Flight Test at India, Kanpur was calculated to check if the number of solar cells to be placed on the wing is sufficient. …”
Get full text

Animation in powerpoint for presentation of digital logic circuits by Myo Mon Mon Thet

“…The animation tool is versatile- a user can include images and colours that align with the topic of discussion These animation features are comprehensive, with different fonts available to choose from, Clipart with a myriad of cartoons and images, and even a spelling check to correct one’s grammatical errors. However, there is an absence of a specific element that can cater to the presentation of logic circuits. …”
Get full text

Hybrid energy harvesting from wind and vibration by Gan, Kenneth Jing-Han

“…Just as one would go for regular check-ups, structural health monitoring is essential for any structure to determine its structural health. …”
Get full text

Impact of implicit feedback channel in cooperative relay networks by Madhukumar, A. S., James, Ashish, Tio, Surya Dharma, Kurniawan, Ernest

“…This paper studies the impact of such an implicit feedback channel by employing powerful codes which exhibit inherent incremental redundancy features, such as rate-compatible codes (rate-compatible punctured convolutional (RCPC) codes and punctured low-density parity-check (LDPC) codes) and rateless codes (Luby Transform (LT) codes). …”
Get full text
Get full text

An intrinsic algorithm for parallel Poisson disk sampling on arbitrary surfaces by Ying, Xiang, He, Ying, Xin, Shi-Qing, Sun, Qian

“…Hence, multiple threads can process the candidates simultaneously and resolve conflicts by checking the given priority values. Our algorithm guarantees that the generated Poisson disks are uniformly and randomly distributed without bias. …”
Get full text
Get full text

Perennial semantic data terms of use for decentralized web by Zhao, R, Zhao, J

“…This constitutes a “perennial” DToU language, where the policy authoring only occurs once, and we can conduct ongoing automated checks across users, applications and activity cycles. …”

An exploratory study on the development of a sensory wheel affiliated with the emotional lexicon for chrysanthemum infusion by Xia, Y, Hou, J, Chen, J, Spence, C, Qian, J, Zhao, F, Dong, G, Zhong, F

“…Additionally, consumer emotional responses to chrysanthemum infusion were assessed using the Check-All-That-Apply (CATA) method. By mapping the descriptive sensory data with emotional response data through Partial Least Squares Regression (PLSR), we identified sensory drivers that elicit specific emotional responses. …”

Ergativity in Tongan by Otsuka, Y

“…Following Chomsky (1993), I assume that a structural case is assigned by feature checking in a Spec-head configuration. I also assume that only one Agr can be active in intransitive constructions: Agrs in accusative languages and Agro in ergative languages (Bobaljik 1993). …”

Effect of Dactylaria higginsii on interference of Cyperus rotundus with L. esculentum by Kadir, J.B., Charudattan, R., Stall, W.M., Bewick, T.A.

“…At 106 conidia ml-1, D. higginsii reduced the interference from C. rotundus, controlled C. rotundus better, and increased L. esculentum yield compared to the weedy checks.…”

Mitigate the effect of distributed generators connected to distribution system. by Oraibi, Saleh Khairullah, Mohamad Idris, Rasyidah

“…ETAP program is used for analyzing and checking the results obtained, where the operating time and TMS value of all relays in the system are calculated in case the distribution generators are not connected, and to ensure the quality of coordination by Etap software, then the distributive generators are connected, their effects are studied, and the relays are coordinated again by the two previous methods. …”
Get full text

Effective 5D BIM requirements for risk mitigation during pre-contract stage. by Nazirul Fariq, Nazirul Fariq, Ismail, Syuhaida, Ab. Rani, Nur Izzati

“…Risk mitigation strategies are proposed to make a positive impact on the 5D BIM implementation, which consist of regular checks and balances, improve skills and knowledge through training and acquire suitable 5D BIM applications. …”
Get full text

Electroweak three-body decays in the presence of two- and three-body bound states by Briceño, Raul A., Jackura, Andrew W., Pefkou, Dimitra A., Romero-López, Fernando

“…For kinematics below the three-body threshold, we demonstrate that the scattering amplitudes satisfy unitarity. We also check that for these kinematics the finite-volume matrix elements are accurately described by the formalism for two-body systems up to exponentially suppressed corrections. …”
Get full text

Practical relay code design based on protograph codes by Noor-A-Rahim, Md., Ali, G.G.Md. Nawaz, Guan, Yong Liang

“…The low-density parity-check (LDPC) code design for three-terminal (namely, source, relay, and destination) relay network while considering decode-and-forward protocol is studied. …”
Get full text
Get full text