Yong Kiam Tan

Learn More
Recurrent neural networks (RNNs) were recently proposed for the session-based recommendation task. The models showed promising improvements over traditional recommendation approaches. In this work, we further study RNN-based models for session-based recommendations. We propose the application of two techniques to improve model performance, namely, data(More)
Personalized location-based service recommendation is an important trend in the development of online ecommerce applications. In this work, we integrate the application of location-based service with recommendation technologies to present a hybrid recommendation model and a prototype system (HiPerData) to evaluate and measure the validity based on the Yelp(More)
A class 1 non-symbiotic hemoglobin family gene, SoHb, was isolated from spinach. qRT-PCR showed that SoHb was induced by excess nitrate, polyethylene glycol, NaCl, H2O2, and salicylic acid. Besides, SoHb was strongly induced by application of nitric oxide (NO) donor, while was suppressed by NO scavenger, nitrate reductase inhibitor, and nitric oxide(More)
We have developed and mechanically verified a new compiler backend for CakeML. Our new compiler features a sequence of intermediate languages that allows it to incrementally compile away high-level features and enables verification at the right levels of semantic detail. In this way, it resembles mainstream (unverified) compilers for strict functional(More)
CakeML is a dialect of the (strongly typed) ML family of programming languages, designed to play a central role in high-assurance software systems. To date, the main artefact supporting this is a verified compiler from CakeML source code to x86-64 machine code. The verification effort addresses each phase of compilation from parsing through to code(More)
Deep Neural Networks (DNN) have been successful in enhancing noisy speech signals. Enhancement is achieved by learning a nonlinear mapping function from the features of the corrupted speech signal to that of the reference clean speech signal. The quality of predicted features can be improved by providing additional side channel information that is robust to(More)
Most of the conventional electric powered wheelchairs are using joystick as a used input mode of control to maneuver the powered wheelchairs. The drawback of joystick control is that it is not suitable for physical disabled person who cannot control their movements especially the hands. The proposed voice-activated powered wheelchair supplementary with(More)
This paper describes how the latest CakeML compiler supports verified compilation down to multiple realistically modelled target architectures. In particular, we describe how the compiler definition, the various language semantics, and the correctness proofs were organised to minimize target-specific overhead. With our setup we have incorporated compilation(More)
Formally verifying the correctness of programs in a program logic provides strong static guarantees about the program’s runtime behaviour. Unlike static analysis techniques, proving such correctness properties typically requires some form of user interaction, e.g. the user might need to manually state appropriate loop invariants. In the context of dL, this(More)