Performance modeling of 2D cellular automata on FPGA by Murtaza, S., Hoekstra, Alfons G., Sloot, Peter M. A.

“…This will help to determine the optimal values for the various parameters that control the application and the given FPGA hardware specifications. The model will be validated for a specific two-dimensional CA.…”
Get full text
Get full text

A statistical characteristics preserving watermarking scheme for time series databases by Yu, Yelu, Ma, Zehua, Zhang, Jie, Fang, Han, Zhang, Weiming, Yu, Nenghai

“…Then, the verification mechanism is performed to validate the generated data until it conveys the target watermark message. …”
Get full text

Optical triangular profilometry : studies of calibration and fringe pattern processing by Zhou, Wensen.

“…Both an analytical analysis followed by experimental verification are provided. Further two optical systems are developed for novel 3-D measurement.…”
Get full text

Design and implementation of a synthesizable test-bench for testing the LDPC decoder IP by Yang, Shi

“…The simulation environment is mainly used for preliminary and functional checks, and the emulation environment is chosen for further verification due to its much higher run speed compared to simulation.…”
Get full text

A new model of stacked transformers considering skin and substrate effects by Zhao, Qian, Liu, Jun, Yu, Zhiping, Sun, Lingling, Yu, Hao

“…The model parameters are extracted from the layout and the process technology specifications. The proposed model is verified by measured S-parameters up to 40 GHz. …”
Get full text
Get full text

Adaptive motion video coding for low bit rate video conferencing by Das Sanjib Kumar

Get full text

An automated flight control system for quadrotor flying vehicle using embedded microcontroller by Yeo, Ivan.

“…Hardware Electrical Specifications and Considerations: An in depth documentation of the electrical hardware used and an implementation of the hardware sensor board that has been designed and built…”
Get full text

Development and design optimisation of digital intensity measurement system for shot peening by Tarani, Dinesh Kumar

“…In this study, the exploration of intensity verification using a force sensor aims to identify a process that is not only convenient but also affordable to acquire and applicable within a production line. …”
Get full text

Counter-checking uncertainty calculations in Bayesian operational modal analysis with EM techniques by Ma, Xinda, Au, Siu-Kui

“…In the absence of analytical or numerically ‘exact’ result for benchmarking, computer code verification during development stage is also non-trivial. …”
Get full text

Computation fluid dynamics on drag reduction II by Zang, Bin

“…In this project, a number of Reynolds-Average Navier-Stokes (RANS) models are verified with benchmark values of Direct Numerical Solutions (DNS) provided by the past research to identify appropriate RANS models which allow the simulation of dimpled flow with specific Reynolds number and initial conditions in a 3D channel. …”
Get full text

Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

“…Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. …”
Get full text

The intersection of emergent technologies and geopolitics : implications for Singapore by Muhammad Faizal Abdul Rahman

“…Even as Singapore embarks on numerous programmes to invest in and adopt 4IR technologies, it has to consider geopolitics besides technical specifications and budgetary issues. A small state will have to face trade-offs when it engages the competing big powers to preserve its neutrality and balance relations. …”
Get full text

K-means clustering for feature extraction from wavelet-based flute signals by Ang, Yew Yee

“…The quality of cutting highly depends on cutter specifications, type of work piece and cutting conditions. …”
Get full text

Design and experimental investigation of a variable stiffness device by Nor Muhammad Mohammad S Man.

“…In addition, it is also found that with smaller specifications of the springs, better results for the stiffness could be obtained but it also comes with some limitations.…”
Get full text

Networked autonomous robot : design and implementation by Ong, Xing Hao

“…Commercial robots that met the project specifications were ranged from seven thousand to fifteen thousand dollars. …”
Get full text

Cost-benefit analysis of renewable energy sources for smart grids by Htun Htun, Aung

“…The basic task of EMS is to allow users to enter the corresponding technical specifications and costs of clean energy systems, as well as financial parameters such as debt interest rate, debt term, and inflation rate and so on, and then compute the benefit-cost ratio, NPV and simple payback year. …”
Get full text

Automated scripts for testing verilog designs with iVerilog by Ng, Gary Jia Hao

“…The user is required to first have a very clear understanding of the design specifications. After which, a test plan can then be devised to document the test bench architecture and scenarios in detail. …”
Get full text

Protection from misleading advertisement under the Jordan Civil Law 1976 and the draft Law of Consumer Protection 2013 by Mohammad Alsharu, Ahmad Ibrahim, Mohd Noor, Fauziah, Abdul Rahman, Rohana

“…Commercial advertisements play a crucial role in identifying features and specifications of goods and products. However, misleading advertising has become one of main forms unfair practise customers/ consumers. …”
Get full text

Tooling cost estimation model for injection molding by Tran, Duc Vi, Wang, Lan, Zhu, ZhiQiang, Padmanaban Ranganathan

“…In addition, two case studies in which data come from the current injection molding toolmaker in Singapore have been applied as model verification.…”
Get full text