Empirical studies on director shareholdings of SGX-listed companies. by Chew, Kim Cheer., Tan, Chiu Yun., Teo, Chuan Ming.

Get full text

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

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

EV charging/discharging coordination in LV distribution grid by Toh, Wei Le.

“…The proposed algorithm should be tested using the Microgrid Energy Management System (MG-EMS) setup in LaCER laboratory. The effectiveness of the proposed algorithm should be assessed in terms of operating cost, cable power losses and voltage deviations of the distribution grid which is a 13-node test feeder. …”
Get full text

Remote monitoring and control of wind turbine simulator (a1026-131) by Yin, Min Htet

“…In Laboratory for Clean Energy Research (LaCER), a wind turbine simulator is set up with a 7.5 kW induction generator operated as wind turbine generator; a 11 kW induction motor which acts as a wind turbine to convert the wind energy into the mechanical power. …”
Get full text

Solving nondeterministic polynomial complete problems optically and the design of its light source by Zheng, Mengying.

“…Compare with the conventional computer calculation method, the problem solving time is reduced. This result is cheerful since all the NP-complete problems are inter convertible. …”
Get full text

On the corrosion resistance of some selective laser melted alloys by Suryawanshi, Jyoti, Baskaran, T., Prakash, Om, Arya, S. B., Ramamurty, Upadrasta

“…The effects of laser scanning strategy (single melt vs. checker board styles), post-SLM heat treatment, and corroding surface orientation (with respect to the scan and build directions) on the corrosion behavior were examined. …”
Get full text

GPU-accelerated real-time motion planning for safe human-robot collaboration by Fujii, Shohei

“…We experimentally demonstrate that our method can navigate a 6-DoF robot earlier than a geometric-primitives-based distance checker in a dynamic, collaborative environment. …”
Get full text

Evaluation of the music collection at the National Institute of Education Library by Yu, Bee Lian.

“…However, the Library fared relatively better, with 71.5% holdings, when a list of "Recommended Readings/References" drawn up by the Institute's academic staff was list-checked.…”
Get full text

Effective and efficient topic mining and exploration from geo-textual data by Zhao, Kaiqi

“…However, most of the existing methods mine topics from check-in datasets from Foursquare. Because each check-in often consists of limited textual information, and most of the users only shared few check-ins, it is difficult to discover meaningful topics of individuals from the check-in data. …”
Get full text

NTU Q-Count: smart spaces, informed choices by Sri Ganesh Babu Sri Vaishnavi

“…The app aims to encourage the disciplined check-in and check-out of study space users through the concept of crowd density reporting, so that students can be aware of real-time crowd data present in study spaces at all times, allowing them to choose the best study spaces according to their needs. …”
Get full text

Waste water for non-portable use : Singapore experience by Phua, Lee Kiang.

“…Singapore has implemented effective conservation policies to check rising demand and foster a culture of prudence in how people use scarce water supplies. …”
Get full text

HXE 308 - English For Specific Purposes January 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please Check That This Examination Paper Consists Of TWO Printed Pages Before You Begin The Examination. …”
Get full text

HXE 317 - Literature And Film June 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please check that this examination paper consists of TWO pages of printed material before you begin the examination. …”
Get full text

HXE 321 - Contemporary Drama January 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please check that this examination paper consists of TWO printed pages before you begin the examination. …”
Get full text

HXE 420 - Literature In The Renaissance Period January 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please check that this examination paper consists of TWO printed pages before you begin the examination. …”
Get full text

Python for Security and Networking : Leverage Python modules and tools in securing your network and applications / by Ortega, José Manuel, author 656338, Packt Publishing (Online service) 656336

“…Next, you’ll dive deep into the core networking tasks where you will learn how to check a network’s vulnerability using Python security scripting and understand how to check for vulnerabilities in your network – including tasks related to packet sniffing. …”
Get full text
Get full text

ChatGPT robotic process automation and AI chatbots for education by Chua, Jeremy Wen Yang

“…Multiple techniques, including introspection and fact-checking, were implemented to ensure response precision. …”
Get full text

The 1 → 3 massive splitting functions from QCD factorization and SCET by Craft, Evan, Gonzalez, Mark, Lee, Kyle, Meçaj, Bianka, Moult, Ian

“…We find agreement between these two approaches, providing a strong check of our results. Additionally, we also check all iterated and soft limits of our results, finding agreement with predictions from factorization. …”
Get full text

HXE 228 - English Poetry June 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please check that this examination paper consists of THREE pages of printed material before you begin the examination. …”
Get full text

HXE 316 - The English Novel June 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please check that this examination paper consists THREE pages of printed material before you begin the examination. …”
Get full text