1 code implementation • 26 Apr 2024 • Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable proofs of (un)satisfiability to certify correctness.
no code implementations • 2 Nov 2021 • Yong Kiam Tan, Stefan Mitsch, André Platzer
Switched systems are known to exhibit subtle (in)stability behaviors requiring system designers to carefully analyze the stability of closed-loop systems that arise from their proposed switching control laws.
no code implementations • 27 Jun 2016 • Yong Kiam Tan, Xinxing Xu, Yong liu
Recurrent neural networks (RNNs) were recently proposed for the session-based recommendation task.
no code implementations • 15 Jun 2016 • Zhenzhou Wu, Sunil Sivadas, Yong Kiam Tan, Ma Bin, Rick Siow Mong Goh
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.