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

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

Hyperfast water transport through biomimetic nanochannels from peptide-attached (pR)-pillar[5]arene by Li, Qing, Li, Xuesong, Ning, Lulu, Tan, Choon-Hong, Mu, Yuguang, Wang, Rong

“…The results establish a tangible foundation for developing highly efficient artificial water channel‐based biomimetic membrane for water purification applications.…”
Get full text

Inertial-based filtration method for removal of microcarriers from mesenchymal stem cell suspensions by Moloudi, Reza, Oh, Steve, Yang, Chun, Teo, Kim Leng, Lam, Alan Tin-Lun, Warkiani, Majid Ebrahimi, Naing, May Win

“…However, downstream purification of the harvested cell product needs to be addressed carefully due to distinctive features and fragility of these cell products. …”
Get full text
Get full text

A facile alternative strategy of upcycling mixed plastic waste into vitrimers by Ng, Joseph Kok Wei, Lim, Jacob Song Kiat, Gupta, Nupur, Dong, Bing Xue, Hu, Chun Po, Hu, Jingdan, Hu, Xiao

“…However, complete depolymerization may be energy intensive with complications in purification. In this work, we have demonstrated upcycling of mixed plastic waste comprising a mixture of polyester, polyamide, and polyurethane through a reprocessable vitrimer of the depolymerized oligomers. …”
Get full text

3D printing of mixed matrix films based on metal-organic frameworks and thermoplastic polyamide 12 by selective laser sintering for water applications by Li, Rui, Yuan, Shangqin, Zhang, Wang, Zheng, Han, Zhu, Wei, Li, Boyuan, Zhou, Meixin, Law, Adrian Wing-Keung, Zhou, Kun

“…The methylene blue (MB) adsorption tests are conducted using the NH2-MIL-101(Al)-PA12 MMFs with different grid patterns to exemplify the applications of the MMFs for water purification. It is confirmed that the MOF components retain their high maximum adsorption capacity, and the printed MMFs can be conveniently regenerated for cyclic utilization. …”
Get full text

16.358J / 16.863J System Safety, Spring 2005 by Leveson, Nancy

“…Topics covered include: the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human-machine interaction, verification of safety, creating a safety culture, and management of safety-critical projects. …”
Get full text

Game theoretical security detection strategy for networked systems by Wu, Hao, Wang, Wei, Wen, Changyun, Li, Zhengguo

“…Finally, a sampling based Nash equilibrium verification and calculation approach is proposed for the game model with continuous kernels. …”
Get full text

DDA based grouting prediction and linkage between fracture aperture distribution and grouting characteristics by Xiao, Fei, Shang, Junlong, Zhao, Zhiye

“…The observed agreement can be treated as an indirect verification of the robustness of our proposed grouting module. …”
Get full text

Protecting FPGA design with elliptic curve cryptography by Wei, Wei

“…This report discusses the complete FPGA design process, including architectural design, scheduling, Verilog coding, simulation and on-board verification.…”
Get full text

Investigation and enhancement of viola jones face detection algorithm performance using contrast-limited adaptive histogram equalization by Mulyadi, Erina

“…Face detection is the first and the most important steps to the entire face analysis algorithms, including face alignment, face relighting, face modeling, face recognition, head pose tracking, face verification/authentication, facial expression tracking/recognition, gender or age recognition, and many more. [1] While this sound like a simple task for humans, it is still an extremely challenging task for computers. …”
Get full text

Determining the impact of unexpected disruptions to a complex supply chain by Aw, Waldron Jun Jie

“…A FlexSim model was created to study the propagation of disruptions in a supply chain. Verification was done by checking the structure, code and animated flow of the entities. …”
Get full text

Heterologous expression of cannabidiolic acid synthase in a microbial host for cannabinoid production by Toh, Wing Loon

“…DsbA CBDAS appears to have yielded some success in obtaining a soluble protein but further verification is required. Fusion with expression reporter mCherry produced a soluble, and correctly folded mCherry protein but appeared to show degradation of CBDAS despite a correctly constructed plasmid. …”
Get full text