16.842 Fundamentals of Systems Engineering, Fall 2009 by de Weck, Olivier

Subjects: Get full text

16.885J / ESD.35J Aircraft Systems Engineering, Fall 2003 by Hansman, Robert John, Liebeck, Robert H, Murman, Earll M., 1942-, Haggerty, Allen C

Subjects: Get full text

Improving the productivity of high-level synthesis by advancing reuseability and verifiability by Yang, Liwei

“…Even in RTL design flows, functional verification consumes over 50% of overall design flow time, but HLS-based design verification is especially challenging. …”
Get full text

Facial spoofing indicator using deep learning by Lim, Eugen Wei Jie

“…Out of all the biometric verification, facial biometric verification is the most common. …”
Get full text

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

“…We address the challenges of scaling verification efforts to match the increasing complexity and size of systems. …”
Get full text

Age group classification via face images by Lee, Lai Soon.

“…The comparison was based on the accuracy of verifications and the time taken for each simulation. …”
Get full text

Fisher vector faces in the wild by Simonyan, K, Parkhi, O, Vedaldi, A, Zisserman, A

“…Several recent papers on automatic face verification have significantly raised the performance bar by developing novel, specialised representations that outperform standard features such as SIFT for this problem. …”

Enhancing local binary patterns distinctiveness for face representation by Ghahramani, Mohammad, Yau, Wei-Yun, Teoh, Eam Khwang

“…Moreover, we collected a database of 25 families to verify the superiority of the proposed feature in the family verification. Results show that using the UTLBP, the total error in face recognition and family verification is reduced up to 8% and 3% respectively comparing to the state of the art LBP. …”
Get full text
Get full text

Three dimensional numerical manifold method and rock engineering applications by He, Lei

“…A total of ten numerical examples are analyzed in the present thesis, including verification of the 3-D NMM formula, analysis of a discrete blocky system, verification of the contact algorithm, and two scenarios in rock engineering, i.e., stability analysis of rock slopes and tunnels. …”
Get full text

Extreme learning machine based speaker recognition by Hu, Zongjiang.

“…Speaker Recognition is basically classified into speaker identification and speaker verification. It can be used in many fields such as banking by telephone, voice dialling, voice mail, and security control for secret information areas. …”
Get full text

Press ECCS to Doubt (Your Causal Graph) by Markakis, Markos, Zhang, Ziyu, Shahout, Rana, Gao, Trinity, Liu, Chunwei, Sabek, Ibrahim, Cafarella, Michael

Get full text

Dosimetric study of fletcher’s applicator in high-dose-rate (HDR) brachytherapy for cervical cancer: TLD measurements in pelvic water phantom by Sallehudin,, Muhammad Nursyabil

“…To ensure the accurate treatment of brachytherapy, the dose verification of the treatment must be done before the treatment delivery. …”
Get full text

Design of test setup for asynchronous digital signal processor by Chua, Qijing.

“…This poses special challenges in testing and verification. In this report, a test setup was designed on Altera DE2 FPGA board to allow for testing and verification of an asynchronous chip. …”
Get full text

Mobile visual product search services by Winata, Kaisarudin

“…Solution for the issue mentioned above is to introduce a technique called Geometric Verification (GV) in the image processing. This method advantage is it able to increased images recognition accuracy rate up to 10%. …”
Get full text

Analysis & design of intelligent automation systems (II) by Sundararajan, Narasimhan.

“…The principle objective of this project is to develop the theory, experimental verification and applications in the area of intelligent automation systems.…”
Get full text

QR code security authentication attendance system (part I) by Chew, Amanda Li Xin

“…It will be updated and reflected on the platform, which will be accessible to professor for verification purposes and tracking of attendance records. …”
Get full text

Fast timing analysis of clock networks considering environmental uncertainty by Wang, Hai, Yu, Hao, Tan, Sheldon X. D.

“…This can bring many challenges for the system-level timing verification such as for global clock networks. This paper presents a fast verification of clock-skew by an incremental-SVD-based compact modeling assisted with adaptive sampling. …”
Get full text
Get full text

Fingerprint recognition with line segment Hausdorff distance by Liu, Chuan.

“…Personal identification and verification are playing more and more important role in the society. …”
Get full text

IDE: A System for Iterative Mislabel Detection by Deng, Yuhao, Deng, Qiyan, Chai, Chengliang, Cao, Lei, Tang, Nan, Fan, Ju, Wang, Jiayi, Yuan, Ye, Wang, Guoren

Get full text

Automatic generation of optimal reductions of distributions by Masopust, Tomáš, Su, Rong, Lin, Liyong, Wonham, W. Murray

“…The notion of reduction of distributions has previously been proposed to improve the complexity of decomposability verification. In this work, we address the problem of generating (optimal) reductions of distributions automatically. …”
Get full text
Get full text
Get full text