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

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

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

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

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

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

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