Time-certified Input-constrained NMPC via Koopman Operator by Wu, Liang, Ganko, Krystian, Braatz, Ricahrd D

Get full text

3D object detection for autonomous vehicle by Wang, Yihan

“…3D object detection plays an important role in autonomous driving, while most state-of-the-art researches are developed based on 64-line LiDARs. However, the cost of high-resolution LiDARs are several magnitude higher than the low- resolution applied LiDARs on the makes the current research majority of low-cost robotics hard to be widely platforms. …”
Get full text

Design of a mechatronic system using Arduino Uno by Chong, Kok Leong

“…Therefore, this Final Year Project (FYP) aims to create a Line-Following robot using Arduino Uno that can autonomously pick up boxes autonomously in a warehouse. …”
Get full text

Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

“…The design is then tested for DC analysis, stability analysis, load transient response, line transient response, load and line regulation and power supply ripple rejection. …”
Get full text

Experimental and numerical studies of S960 ultra-high strength steel welded I-section columns by Su, Andi, Liang, Yating, Zhao, Ou

“…A testing programme, including initial geometric imperfection measurements and ten pin-ended column tests, was conducted. The testing programme was accompanied by a numerical modelling programme, where finite element models were firstly developed and validated against the test results, and then employed to perform parametric studies to generate further numerical data. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We present a prototype for a tool that enables programmers to verify their code as they write it in real-time. After each line of code that the programmer writes, the tool tells the programmer whether it was able to prove absence of undefined behavior so far, and displays a concise representation of the symbolic state of the program right after the added line. …”
Get full text

Signs of criticality in social explosions by Beiró, Mariano G., Chung, Ning Ning, Chew, Lock Yue, Gandica, Yérali

“…The success of an on-line movement could be defined in terms of the shift to large-scale and the later off-line massive street actions of protests. …”
Get full text

ALMA spectral survey of Supernova 1987A – molecular inventory, chemistry, dynamics and explosive nucleosynthesis by Matsuura, M, Indebetouw, R, Woosley, S, Bujarrabal, V, Abellán, F, McCray, R, Kamenetzky, J, Fransson, C, Barlow, M, Gomez, H, Cigan, P, De Looze, I, Spyromilio, J, Stavely-Smith, L, Zanardo, G, Roche, P, Larsson, J, Viti, S, Van Loon, J, Wheeler, J, Baes, M, Chevalier, R, Lundqvist, P, Marcaide, J, Dwek, E, Meixner, M, Ng, C, Sonneborn, G, Yates, J

“…We report the first molecular line survey of Supernova 1987A in the millimetre wavelength range. …”

Mechanics of fracture and flexure in Antarctic ice sheets and ice shelves by Zhang, H

“…In grounding zones and floating ice shelves, ice fracturing is often associated with flexure modulated by ocean tides and subglacial water flow, as well as stresses created by shearing, such as pinning points. Fracture and flexure significantly affect the vulnerability of Antarctic ice shelves to hydrofracturing and, by altering buttressing effects, the mass balance of the entire Antarctic Ice Sheet. …”

Geometric hashing for camera based localization by Tan, Wei Chian

“…A VCLH is characterized by position of the vertical line or building corner in the image, and orientations of the neighbouring plane normal. …”
Get full text

HGM 345 - Globalisasi, Bandaraya Dan Sektor Perkhidmatan Termaju Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HGM 511 - Bandar Dan Komuniti Lestari Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HGT 513 - Kaedah Penyelidikan Dan Pengurusan Pangkalan Data Geografi Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HIT 513 - Metodologi Sarjana Hadith Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HKB 206 - Kesusasteraan Popular Dan Industri Buku Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HKB 503- Seminar Silang Buday A Kesusasteraan Asia Tenggara Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HKB 507 - Karya Terpilih Pemenang Hadiah Nobel Dalam Kesusasteraan Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HSM 419 - Seminar Sejarah Sosio-Ekonomi Malaysia Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HSM 502 - Sejarah Politik Malaysia Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HST 504 - Sejarah Asia Tenggara Abad Ke-20 Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text