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

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

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

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

Highlights from Faraday Discussion 172: Carbon in electrochemistry, Sheffield, UK, July 2014 by Dyatkin, B, Ash, PA, Sharma, S

“…Traditionally, Faraday Discussions have been very true to their name, focussing genuinely on healthy, in-depth, and fruitful discussions rather than just serving as a platform for one to one researcher interaction and collaboration. …”

Interval elimination method for stochastic spanning tree problem by Mohd, Ismail

“…The optimum spanning tree problem has been well considered and until now several powerful algorithms have been proposed. …”
Get full text

Transverse momentum-dependent heavy-quark fragmentation at next-to-leading order by von Kuk, Rebecca, Michel, Johannes K. L., Sun, Zhiquan

“…Our final results in position space agree with those of a recent calculation by another group that used a highly orthogonal organization of singularities in the intermediate momentum-space steps, providing a strong independent cross check. As an immediate application, we present the complete quark mass dependence of the energy-energy correlator (EEC) in the back-to-back limit at (𝛼𝑠).…”
Get full text

Social tags as news event detectors by Chua, Alton Yeow Kuan, Razikin, Khasfariyati, Goh, Dion Hoe-Lian

“…Relative frequencies of the top 200 most frequently-used tags were analysed to check for spikes and bursts. Based on the results, four main findings emerged. …”
Get full text
Get full text

Road-network-based rapid geolocalization by Li, Yongfei, Yang, Dongfang, Wang, Shicheng, He, Hao, Hu, Jiaxing, Liu, Huaping

“…These matching candidates are first “filtered” with the model consistency check in parameter space and then tested with similarity metrics to identify the correct transformation. …”
Get full text

A fuzzy rough number extended AHP and VIKOR for failure mode and effects analysis under uncertainty by Zhu, Guoniu, Ma, Jin, Hu, Jie

“…A practical case study of the check valve is provided to validate the applicability of the proposed FMEA. …”
Get full text

CT sigma delta ADC for audio applications by Hnin, Hnin Soe.

“…The non-idealities simulation was extensively run to check how much the overall system can take non-idealities behaviors of gain, gain bandwidth, slew-rate and linearity while meeting performance requirements. …”
Get full text

Ten quick tips for ensuring machine learning model validity by Goh, Wilson Wen Bin, Kabir, Mohammad Neamul, Yoo, Sehwan, Wong, Limsoon

“…The 10 quick tips described here discuss useful practices on how to check AI/ ML models from 2 perspectives—the user and the developer.…”
Get full text

An ultra low-power precision sample-and-hold circuit for biomedical application by Mah, Sai Lei

“…The parameters that were used to check the precision of the S/H circuit are hold pedestal and total harmonic distortion. …”
Get full text

Eye movement feature extraction for driver vigilance classification by Fu, Zhuxuan

“…Analysis of variance (ANOVA) test was employed to check if there exist significant differences among three stages within one driving period. …”
Get full text

Petri net-based efficient determination of optimal schedules for transport-dominant single-arm multi-cluster tools by Yang, Fajun, Wu, Naiqi, Qiao, Yan, Zhou, Mengchu, Su, Rong., Qu, Ting

“…Thereafter, an efficient algorithm is developed to check the given conditions and find such a schedule efficiently if existing. …”
Get full text
Get full text

PEIGEN – a platform for evaluation, implementation, and generation of S-boxes by Sasaki, Yu, Ling, San, Guo, Jian, Bao, Zhenzhen

“…PEIGEN is aimed to be a platform covering a comprehensive check-list of design criteria of S-boxes appearing in the literature. …”
Get full text
Get full text

A signal through the noise: accurate determination of hydrogen atom positions in crystal structures and optimisation of Laue neutron diffraction methods by Sackman, GA

“…This focuses on:</p> <p>Recommendations for the efficient collection of Laue neutron data, in order to optimise the data set completeness and awarded beam-time; strategic considerations for how to best answer the scientific question(s) at hand in a Laue neutron experiment, whilst planning against future contingencies; improving methods for crystal packing and shipping, particularly for air and moisture sensitive materials; discussing issues arising from ice forming on the crystal during a Laue neutron diffraction experiment, and methods for minimising this problem; more effectively modelling disorder using ring shapes, in the crystallographic refinement package CRYSTALS; providing rationale for Laue neutron specific checkCIF comments.</p> <p>Alongside the aforementioned research projects, the relevant history and theory contextualising the crystallographic methods used is presented.…”

Effect of consumers' awareness about country of origin on purchasing decision in Klang Valley, Malaysia by Taheri, Nasim

“…The accumulated information was examined with care to double check the accuracy using SPSS. The data collected was analysed using descriptive analysis, cross-tabulation analysis, factor analysis and multiple regression analysis. …”
Get full text