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

“…The resulting extracted command-line compiler is about 1000× faster while featuring simpler compiler-specific proofs. This work lays some foundation for scaling verification efforts and contributes to the broader goal of developing a proof engine with good asymptotic performance, ultimately aimed at enabling the verification of larger and more complex systems.…”
Get full text

Agent-Based Model of Virtual Community Cohesion (S/O: 13443) by Yusop, Nor Iadah, Mat Aji, Zahurin, Ab. Aziz, Azizi, Md Dahalin, Zulkhairi

“…Moreover, this model has been evaluated using mathematical analysis (whereby theoretical analysis and value substitution analysis are performed) and automated logical verification (internal validation based on selected previous empirical study. …”
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

Development and evaluation of network utilities using Python for efficient management by Sharma, Richa, Salekzamankhani, Shahram, Virdee, Bal Singh, Awan, Muhammad Umair

“…To this end, automated tools have been developed to handle various networking tasks such as port scanning, WHOIS retrieval, traceroute operations, subnet calculations, speed evaluations, router configurations, DNS resolutions, and IP verifications. This paper presents a new set of utilities created using Python and integrated seamlessly into the PyQt5 framework. …”
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

Reactive synthesis of dominant strategies by Aminof, B, De Giacomo, G, Rubin, S

“…We study the synthesis under environment specifications problem for LTL/LTLf which, in particular, generalizes FOND (strong) planning with these temporal goals. …”

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

Higher-order Dirac semimetal in a photonic crystal by Wang, Zihao, Liu, Dongjue, Teo, Hau Tian, Wang, Qiang, Xue, Haoran, Zhang, Baile

“…Thus far, realistic models and experimental verifications on higher-order topological semimetals are still very limited. …”
Get full text

Design of a low-voltage low-power WiMAX low noise amplifier by Zeng, Wei

“…CMOS 0.18m CSM technology was used for the proposed design and WiMAX specifications are met satisfactorily.…”
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

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

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

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

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

High power amplifier for S-band downlink system of LEO satellites by Tan, Tee Keng.

“…This procedure was followed to determine the specifications for the individual amplifier modules of the HPA. …”
Get full text

Current status and recent advances in magnesium-matrix syntactic foams: preparation, mechanical properties, and corrosion behavior by Motaharinia, A., Drelich, J. W., Goldman, J., Bakhsheshi Rad, H. R., Sharif, Safian, Ismail, A. F., Razzaghi, M.

“…The review comprehensively analyzes microstructure specifications, mechanical properties, and corrosion behavior exhibited by Mg-MSFs fabricated to date. …”
Get full text