HKUST CSE PG Intranet and Facilities

PG intranet
Facilities
Facilities user guides:

The Ph.D. grind by Philip Guo
A survival guide to a PhD by Andrej Karpathy
The Incomplete Guide to the Art of Discovery by Jack Oliver
Essential PhD tips by Times Higher Education
Grad school advice by Jason I. Hong

Writing

How to write a technical paper by Michael Ernst
Things that I keep repeating about writing by Claire Le Goues
Writing Resources (at HKUST library)
Purdue Online Writing Lab
Elements of Style
The American Heritage Book of English Usage
Verbals: Gerunds, Participles, and Infinitives
Gerund or Infinitive as Object of Verb?
Guide to Grammar & Writing
Computer Science Writing

Plagiarism

Tools, Technology, & Solutions to Stop Plagiarism by Plagiarism.Org
Plagiarism: What It is and How to Recognize and Avoid It by Indiana University Writing Tutorial Services
What is Plagiarism? by The University of Hong Kong
Plagiarism and How to Avoid It by David Gardner (The University of Hong Kong)
Plagiarism: Strategies & Resources for Students and Teachers by Accredited Schools Online

Special Interest Groups

ACM SIGSOFT (Special Interest Group on Software Engineering)
IEEE Computer Society TCSE (Technical Council on Software Engineering)

Conferences

International Conference on Software Engineering (ICSE)
Foundations of Software Engineering (ESEC/FSE)
Programming Language Design and Implementation (PLDI)
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA)
International Symposium on Software Testing and Analysis (ISSTA)
Automated Software Engineering (ASE)
Software Engineering Conferences maintained by Tao Xie

Search Engine for Papers

HKUST Electronic Journals
Google Scholar
ACM Portal
IEEE Xplore (1988-)
INSPEC
ACM Digital Library
DBLP
BibFinder A Computer Science Bibliograhpy Mediator
NEC Research Institute CiteSeer
Computer Science Technical Report

Resources

Journals

E-Journals from HKUST Library

Mathematics

MathWorld
Introduction to Logic
Statistics Glossary
What statistical analysis should I use?
When to use a particular statistical test?
Concepts and Applications of Inferential Statistics
VassarStats: Web Site for Statistical Computation
Free Statistics Calculators
Statistical Power Analysis G*Power3
Engineering Statistics Handbook
Introduction to Complexity Theory
Discrete Mathematics
Denotational Semantics: A Methodology for Language Development by David Schmidt

Dictionary

Cambridge Dictionaries Online
Merriam-Webster Online (with sound clips)
Webster's Dictionary and Thesaurus
Yahoo Online Dictionary
中大粵語音韻集成 (with sound clips)
English to Chinese Translation
Chinese to English Translation

Others