Loading… Loading…
8 09, 2017

Ian Hayes (University of Queensland) – Synchronous Concurrent Refinement Algebra and Fairness

In order to support reasoning about concurrent programs in a rely/guarantee style, we have developed a synchronous refinement algebra similar to Milner's SCCS. [...]

29 08, 2017

Alan Mishchenko (UC Berkeley) – Enhancing PDR/IC3 with Localization Abstraction

Property Directed Reachability (aka PDR/IC3) is the strongest engine presently used in formal verification tools. [...]

15 08, 2017

Duy Tin Vo – Sentiment Analysis for Short Texts

Sentiment analysis has significantly attracted research attention both in academia and industry due to the exponential growth of sentimentally big data on the Internet, especially for short text such as product reviews and micro-blogging sites. [...]

5 08, 2017

Champion in Hood Disrupt Proptech Hackathon 2017

Congratulations for being the champion in the Hood Disrupt Proptech Hackathon 2017 [...]

25 07, 2017

Srini Devadas (Massachusetts Institute of Technology) – Cybersecurity Challenges for 2020 and Beyond

With the advent of the Internet of Things and ubiquitous computing, our lives are increasingly dependent on computer software and hardware. We depend on computer systems of various types for financial services, [...]

14 07, 2017

Finalist and Security by Design Prize in IMDA code::XtremeApps:2017

Congratulations for being the finalist and winning the Security by Design Prize in IMDA code::XtremeApps:2017 [...]

11 07, 2017

Hao Yang – Massive MIMO and HetNet: Random Matrix Theory meets Stochastic Geometry

Nowadays, the demand for wireless mobile services is copious, and will continue increasing in the near future. As the spectrum resource is generally limited, a common consensus to attain higher capacity is through spatial densification [...]

10 07, 2017

Tian Feng – Urban Modeling and Understanding by Data-driven Optimization

Thanks to the rapid development of simulation techniques and the popularization of publicly accessible geo-tagged imagery data, it has been increasingly convenient to utilize data that were created and shared by non-expert users for solving problems in computer graphics and vision. [...]

10 07, 2017

Raffles Girls School – Sphero the Hero Workshop

Raffles Girls School - Sphero the Hero Workshop [...]

7 07, 2017

First Prize in Singapore VR Hackathon

Congratulations on winning the 1st prize in the Singapore VR Hackathon. [...]