Faculty of Computer Science and Technology
About this community
Current research areas include bioinformatics, computer architecture, computer vision, distributed systems, graphics and human-computer interaction, logic and semantics, machine learning, natural language processing, networking and wireless communication, operating systems and virtualization, programming, security, and sustainable computing
The Computer Laboratory undertakes research in a broad range of subjects within the disciplines of Computer Science, Engineering, Technology, and Mathematics. Current research areas include bioinformatics, computer architecture, computer vision, distributed systems, graphics and human-computer interaction, logic and semantics, machine learning, natural language processing, networking and wireless communication, operating systems and virtualization, programming, security, and sustainable computing.
Collections in this community
Recent Submissions
-
You Are Sensing, but Are You Biased?: A User Unaided Sensor Calibration Approach for Mobile Sensing.
(Association for Computing Machinery, 2018)Mobile devices are becoming pervasive to our daily lives: they follow us everywhere and we use them for much more than just communication. These devices are also equipped with a myriad of different sensors that have the ... -
The usability canary in the security coal mine: A cognitive framework for evaluation and design of usable authentication solutions
Over the past 15 years, researchers have identified an increasing number of security mechanisms that are so unus- able that the intended users either circumvent them or give up on a service rather than suffer the security. ... -
Semantic text classification for cancer text mining
(2018-07-20)Cancer researchers and oncologists benefit greatly from text mining major knowledge sources in biomedicine such as PubMed. Fundamentally, text mining depends on accurate text classification. In conventional natural language ... -
Program Synthesis for Program Analysis
In this paper, we propose a unified framework for designing static analysers based on program synthesis. For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive ...
