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

15.075 Applied Statistics, Spring 2003 by Newton, Elizabeth

“…Prerequisites are calculus, probability, and linear algebra. We would like to acknowledge the contributions that Prof. …”
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

Flexible single-mode delivery of a high-power 2  μm pulsed laser using an antiresonant hollow-core fiber by Lee, Elizabeth, Luo, Jiaqi, Sun, Biao, Ramalingam, Vincent, Zhang, Ying, Wang, Qijie, Yu, Fei, Yu, Xia

“…The effect of bending on the fiber output power and beam profile is also investigated. The Gaussian-like output beam profile is maintained up to a 7.5 cm bending radius. …”
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

The effect of solvent quality on pathway-dependent solution-state self-assembly of an amphiphilic diblock copolymer by Venkataraman, Shrinivas, Wei, Guangmin, Mineart, Kenneth P., Hedrick, James L., Prabhu, Vivek M., Yang, Yi Yan

“…Depending upon the initial solvent, nanostructures of disk-like micelles, exhibiting asymmetric growth and hierarchical features, are accessible from a single amphiphilic precursor. …”
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

Vehicular localization using 5G V2X by Pan, Yongqi

“…Besides, the accurate and real-time localization of vehicles is a necessary requirement for various vehicle-related services like accident prevention and routing services. Using cellular radio signals transmitted by the devices mounted on the car is a possible method to estimate the position of the vehicle. …”
Get full text

Blockchain and federated learning for data sharing in vehicular network by Qiu, Stanley

“…The blockchain primarily utilizes the principle of distributed consensus in its core, making it robustly reliable even in network systems with multi-millions of users with competing self-interests like in Ethereum or Bitcoin. This report endeavors to simulate a federated machine learning framework implemented in an internet of vehicles (IoV), with 2 classes of participating nodes: vehicles, and road side units (RSU). …”
Get full text

Transfer learning-based approach for detecting COVID-19 ailment in lung CT scan by Arora, Vinay, Ng, Eddie Yin Kwee, Leekha, Rohan Singh, Darshan, Medhavi, Singh, Arshdeep

“…The experimentation has been carried out using benchmark datasets like SARS-COV-2 CT-Scan and Covid-CT Scan. To mark COVID-19 as positive or negative for the improved CT scan, existing pre-trained models such as XceptionNet, MobileNet, InceptionV3, DenseNet, ResNet50, and VGG (Visual Geometry Group)16 have been used. …”
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