FAQ by WuJiewen.com

A C D E F H I J P T W

• What is this website about?
  This FAQ contains short questions that interests the website owner. The wiki pages instead collects long articles on various topics. ...
• Who is the owner of this website?
  The website is owned by Jiewen (吴杰文), a PhD student living in Canada. His email is webmaster <AT> wujiewen.com, and you can get more information ...
• Where to find information, e.g., tutorials, for Latin?
  The most well-known book and exercises for Latin beginner is the Wheelock's Latin. Additional Latin exercises are also available online, for instance, UVic provides the ...
• What are the ACID properties that distinguish transactions from other programs?
  ACID is the acronym for transaction features, which defines the following four aspects. Atomic: a transaction is executed completely or not at all. Consistent: a transaction keeps ...
• Who is Hai Zi (Pinyin: Hai3 zi)?
  Hai Zi is a famous and controversial Chinese poet, who committed suicide on 1989.3.26 (lying on the railway). He is my favorite Chinese male poet. ...
• What is the distinction between belief and knowledge?
  Wikipedia gives an introduction about belief, which states that a true belief is considered knowledge. Both knowledge and beliefs can be conisdered as a ...
• Why reasoning on the Semantic Web must be monotonic?
  There are intriguing discussions on this question by various computer scientists. A knowledge about the closed world assumption and epistemic operator may be helpful. ...
• What does Rice's Theorem state exactly?
  Formally, Rice's Theorem can be stated as follows. Let C be a set of languages. Let the language L defined as L = {⟨M⟩ | L(M) ...
• What are the commonly seen Latin words/phrases etc. in technical papers?
  It is unnecessary to know many of such expressions that are typically used in English technical papers, but a few of them may be useful... A ...
• Why latexrender based on LaTeX does not work in my WordPress/blog?
  Latexrender has a plugin for WordPress, which can be donwloaded here. However, this plugin has a butch of problems, so to use it properly really ...
• Why LaTeX cannot find my own style/class file, e.g., llncs.cls?
  To resolve this problem, it is recommened to do the following operations. Find the location: $HOME/texmf/tex/latex/ Place document class files (extension .cls), packages and any other custom ...
• Why wget on Linux cannot download a file that can be downloaded by firefox, etc.?
  WGET supports prtocols like HTTP/S and FTP. Normally it works fine with any plain html links. However, if the link contains some special characters like ...
• What if I forgot the username and password for logging Ubuntu....
  Don't panic.. It is easy to resolve this as I had this experience recently. Press ESC when booting Ubuntu, select the recovery mode, and then select ...
• What is the interaction among universal and existential quantification, disjunction and conjunction?
  Universal quantification (ALL) is conjunctive and the existential quantifier (SOME) is disjunctive in the sense that ALL/Some can be replaced by a conjunction/disjunction of propositions ...
• When using standard Murphi for verification, the g++ does not work properly for the generated .c file, with the following error: include/mu_system.C: In constructor ‘AlgorithmManager::AlgorithmManager()’: include/mu_system.C:803: error: invalid conversion from ‘void (*)(...)’ to ‘void (*)(int)’ include/mu_system.C:803: error: initializing argument 2 of ‘void (* signal(int, void (*)(int)))(int)’ .....
  The error is: include/mu_system.C: In constructor ‘AlgorithmManager:: AlgorithmManager()’: include/mu_system.C:803: error: invalid conversion from ‘void (*)(...)’ to ‘void (*)(int)’ include/mu_system.C:803: error:   initializing argument 2 of ‘void (* signal(int, void (*)(int)))(int)’ Thanks to ...