A proposed framework of job resources influencing work engagement towards academics of public universities in Beijing and Shanghai in China by Sun, Mengmeng, Kanjanapathy, Malini, Mohamed Saat, Maisarah

“…Over the past, work engagement underwent a rigorous verification process in different occupational background. …”
Get full text

Secure and secret cooperation in robotic swarms by Castelló Ferrer, Eduardo, Hardjono, Thomas, Pentland, Alex 'Sandy', Dorigo, Marco

“…In other words, data verification can be separated from data itself. We propose a system where robots in a swarm, to cooperate towards mission completion, have to "prove" their integrity to their peers by exchanging cryptographic proofs. …”
Get full text
Get full text

Secure and secret cooperation in robot swarms by Castelló Ferrer, Eduardo, Hardjono, Thomas, Pentland, Alex, Dorigo, Marco

“…In other words, data verification can be separated from data itself. We propose a system where robots in a swarm, to cooperate toward mission completion, have to “prove” their integrity to their peers by exchanging cryptographic proofs. …”
Get full text

A generalized solution to verify authorship and detect style change in multi-authored documents by Leekha, Rohan, Vandam, Courtland

Get full text

Influence of no-core fiber on the focusing performance of an ultra-small gradient-index fiber probe by Bi, Shubo, Wang, Chi, Zhu, Jun, Yuan, Zhiwen, Yu, Yingjie, Valyukh, Sergiy, Asundi, Anand

“…By taking the variable relationship between the focusing performance (including the working distance and the focusing spot size) of the probe and the length of the no-core fiber as the criterion, the effective beam expansion length of the no-core fiber in the ultra-small gradient-index fiber probe is calculated based on the basic properties of the Gaussian beam. Verification and analysis are done by numerical calculations and experimental measurements, respectively. …”
Get full text

Electrochemical impedance analysis of thermogalvanic cells by Yang, Peihua, Fan, Hong Jin

“…We first propose the detailed impedance model followed experimental verification on three types of electrode materials. Parameters including kinetic rate constants and ion diffusion coefficients for the electrodes are obtained by fitting the impedance data. …”
Get full text

Forgery localization in images by Nur Dilah Binte Zaini

“…Due to the increase in popularity for forgeries in images, verification of authenticity in images techniques are required. …”
Get full text

Design and analysis of multiple degree-of-freedom electrical machines with helical motion by He, Yaojie

“…Finally, a prototype has been manufactured for verification in practical scenario.…”
Get full text

Simulation and visualisation of perching manoeuvres by Goo, Yik Wen.

“…Visualisation of the manoeuvre provided visual verification of a successful perching manoeuvre, while at the same time allowing the user to see any problems in the manoeuvre that may not be evident from the plotted results.…”
Get full text

Discovery of stabilized functional mutants of human aquaporin 1 by Soh, Miao Yi

“…. ~ 5% of mutants from a total of 2816 screened from thirty-three 96-well plates were identified after a series of initial and verification screens. In future, we hope to characterize these mutants for increased stability as they may be useful in structural studies, drug discovery in human cancers related to AQP1 overexpression as well as in biotechnological applications, such as water purification, in particular.…”
Get full text

Automatic program repair and synthesis using genetic programming by Lee, Yue Yu

“…When bugs in a program are identified by a debugger or a program verifier, the developer of the program would have to manually interpret the bugs, refine the program, and perform verification for the fix until the program is bug free. …”
Get full text

Identification of alternative-splicing events in human monocyte differentiation by Sim, Donald Yuhui

“…The data obtained from RNA-seq still required verification through traditional methods, such as RT-PCR. …”
Get full text

Analysis and mitigation of voltage measurement errors for three-phase parallel voltage source inverters by Qi, Yang, Liu, Jiazhe, Tang, Yi, Kaushik, Rajashekara

“…Finally, Hardware-in-loop (HIL) simulation results are provided for verification.…”
Get full text
Get full text

Structural case on adjuncts by Jou, Eunsun

“…I derive these patterns from a specific model of Voice, and a model of successive-cyclic Dependent Case. …”
Get full text
Get full text

Post-fire cross-sectional behaviour of hot-rolled austenitic stainless steel channel section stub columns under combined compression and minor-axis bending by Li, Shuai, Zhao, Ou

“…The evaluation results revealed that the design interaction curves given in the European code and American specification led to rather conservative and scattered resistance predictions, which were attributed to the conservative end points and inefficient shapes. …”
Get full text

Generation mechanism and suppression measure of electromagnetic vibration in permanent magnet synchronous machine: a review by Zhu, Shengdao, Zhao, Wenxiang, Ji, Jinghua, Liu, Guohai, Lee, Christopher Ho Tin

“…The electromagnetic (EM) vibration performance is an important specification for the PMSM, as it affects the passenger’s riding comfort and the noise grade of electrified transportation. …”
Get full text

Modeling and optimization of building HVAC systems by Jin, Guang Yu

“…All the model parameters can be derived from manufacturers’ specification data or on-site testing and measurement data. …”
Get full text

Impact of peer review on reports of randomised trials published in open peer review journals : retrospective before and after study by Hopewell, S, Collins, G, Boutron, I, Yu, L, Cook, J, Shanyinde, M, Wharton, R, Shamseer, L, Altman, D

“…<br/><strong>Results:</strong> Of the 93 trial reports, 38% (n=35) did not describe the method of random sequence generation, 54% (n=50) concealment of allocation sequence, 50% (n=46) whether the study was blinded, 34% (n=32) the sample size calculation, 35% (n=33) specification of primary and secondary outcomes, 55% (n=51) results for the primary outcome, and 90% (n=84) details of the trial protocol. …”

Production protocols in the current practice of instilling traditional values in Malay kuih by Kamaruzaman, Mohd Yusof, Ab. Karim, Shahrim, Che Ishak, Farah Adibah, Arshad, Mohd Mursyid

“…With the findings of this study, the specification of the traditional Malay kuih can further be rekindled and expand on possibilities for its resurgence.…”
Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…In this work, we observe that specifications for structured data manipulations can be phrased as hypersafety properties, i.e., predicates that relate traces of k programs. …”
Get full text