On Modular Pluggable Analyses Using Set Interfaces by Lam, Patrick, Kuncak, Viktor, Rinard, Martin

“…Each analysis verifies that the implementation of themodule 1) preserves important internal data structure representationinvariants and 2) conforms to a specification that uses formulas in a setalgebra to characterize the effects of operations on the data structure.The analyses use the common set abstraction to 1) characterize howobjects participate in multiple data structures and to 2) enable the interanalysiscommunication required to verify properties that depend onmultiple modules analyzed by different analyses.We characterize the key soundness property that an analysis plugin mustsatisfy to successfully participate in our system and present several analysisplugins that satisfy this property: a flag plugin that analyzes modulesin which abstract set membership is determined by a flag field in eachobject, and a graph types plugin that analyzes modules in which abstractset membership is determined by reachability properties of objects storedin tree-like data structures.…”
Get full text

Synthesis and Properties of Flexible Polyurethane Using Ferric Catalyst for Hypopharyngeal Tissue Engineering by Shen, Zhisen, Wang, Jian, Lu, Dakai, Li, Qun, Zhou, Chongchang, Zhu, Yabin, Hu, Xiao

“…The product possessed a fast degradability due to its good wettability and good mechanical parameters with the elongations at break (137 ± 10%) and tensile strength (4.73 ± 0.46 MPa), which will make it a good matrix material for soft tissue like hypopharynx. Its biological properties were evaluated via in vitro and in vivo tests. …”
Get full text
Get full text

Metafluidic metamaterial : a review by Zhang, Wu, Song, Qinghua, Zhu, Weiming, Shen, Zhongxiang, Chong, Peter, Tsai, Din Ping, Qiu, Chengwei, Liu, Ai Qun

“…Sophisticated technologies like electric bias and microfluidic system have been used for active control of metafluidic metamaterials which provide a new platform for electromagnetic wave manipulation and metadevice realization. …”
Get full text

Optimal design of filters and filter banks using a symbolic approach by Luo, Ziwang

“…The theories and applications of the discrete wavelet transform (DWT) have developed greatly over the last twenty years and the discrete wavelet transform (DWT) itself has also been recognized as a useful signal analyzing tool in areas like mul-tiresolution signal and image processing. …”
Get full text

Social gating of statistical learning in infants through interpersonal neural synchrony by Teo, Kai Xin

“…Social interaction is important for infants’ learning as it provides various ostensive cues like infant-directed speech, eye-contact, and pointing, which guides infants’ attention resulting in learning. …”
Get full text

Beyond interactive and immersive media arts : a case study of teamLab in the construction of artificial nature by Li, Yihan

“…The result is the creation of highly immersive and interactive nature-like environments for visitors to experience, rather than appreciating them from a distance. …”
Get full text

Fracture crack study in offshore pipeline by Muhammad Zaheer Syafiq Abdul Latif

“…There several methods like NDT, that have already been used or introduced to assess cracks. …”
Get full text

Improving depth sensitive fluorescence spectroscopy with wavefront shaping by Hsieh, Chao-Mao, Liu, Quan

“…In this study, we demonstrate that by using feedback based wavefront shaping, we can increase the signal contribution from the target and suppress that from the background region in tissue-like scattering phantoms. After wavefront optimization, the signal from the target can increase by quite a few times. …”
Get full text

Integrated relative localization and leader–follower formation control by Han, Zhimin, Guo, Kexin, Xie, Lihua, Lin, Zhiyun

“…First, we develop a consensus-like relative localization scheme for each agent to estimate the real-time relative positions of its neighbors by merely using velocity as well as distance-related measurements and local communications under the assumption that the local frames of all agents share a common orientation. …”
Get full text

Building SenticNet 7 by Perh, Zhi Hao

“…One of the examples that use AI in our daily lives is smart assistants like Google Assistant or Siri. This evolution has also brought new possibilities in natural language processing (NLP). …”
Get full text

High cycle fatigue behavior of 316L stainless steel manufactured via directed energy deposition with varying laser energy by Boey, Kai Jun

“…One major concern associated with directed energy deposition (DED) process is the mechanical response of DED parts when subjected to cyclic loading with the appearance of defects like porosity. In this project, 316L stainless steel (SS) blocks was manufactured through DED using varying laser energies. …”
Get full text

Image-based social relation recognition using graph neural network by Gao, Jianjun

“…With the boom of social media, data like pictures, videos, and texts, become available and can be used for social relation recognition (SRR). …”
Get full text

Develop and test a micropump based on acoustic impedance mismatch by Muhammad Syafiq Sedek

“…By carrying out experiments using two-closed loop system models and introducing parameters for comparison, this project will analyse the changes in fluid flow rate and the direction of flow of the fluid observed within the system because of factors like actuator position, frequency, current output, and size of indicator used to track the flow rate and its direction. …”
Get full text

Insight into the dynamics of fluid conveying tiny particles over a rotating surface subject to Cattaneo–Christov heat transfer, Coriolis force, and Arrhenius activation energy by Ali, Bagh, Nie, Yufeng, Hussain, Sajjad, Habib, Danial, Abdal, Sohaib

“…Tiny particles are considered due to their unusual characteristics like extraordinary thermal conductivity, which are significant in advanced nanotechnology, heat exchangers, material sciences, and electronics. …”
Get full text

The growing pains of e-commerce business in Africa by Gopaldas, Ronak

“…The burgeoning industry has seen the birth of homegrown e-commerce platforms such as Jumia (Nigeria), Takealot (South Africa) and Kilimall (Kenya), and the market’s potential has not gone unnoticed by bigger international players like Amazon, Alibaba, Shein and even Facebook, all of whom are positioning themselves for a piece of the e-commerce pie. …”
Get full text
Get full text

Exploring sequential VAE to handle time-series data by Tan, Colin G-Hao

“…This means that we want the VAE to not only learn the important features present in the data, but also to capture the temporal differences between consecutive data points in the latent space, which could be useful for tasks like out-of-distribution (OOD) detection. Ultimately, the results of this project hope to be able to improve the task of OOD detection, by proposing architectures that are able to perform well at the task.…”
Get full text

Machine learning for 3D reconstruction of tree roots by Lim, Nikki Zhi Li

“…In this project, a novel deep learning framework to extract the features and 3D reconstruct root architectures from GPR data is proposed. Techniques like domain adaptation are also implemented to aid in the process. …”
Get full text

Multimodal deception detection in videos by Syazwan Bin Jainal

“…Deception detection has been successful in high-stakes situations, like courtrooms, where subjects are put under a stressful situation and experiments have yielded an accuracy of over 90%. …”
Get full text

Design and development of a web-based platform for EEE MSc student orientation by Soo, Serena Keng Shuang

“…The main aim of the web application is for students to have cultural exchanges, to explore Singapore, and to engage in school life by forming interest groups with like-minded peers.…”
Get full text

Sketch animation based on sketch-annotated key-frame in normal video by Lee, Tian Hui.

“…In order to develop the program, intensive research has been done on various motion estimation techniques like optical flow, box matching and pel-recursion algorithm. …”
Get full text