Bumper Sticker Computer Science

A few of my favorites, not found in the linked article: "There are two ways of constructing software. One way is to make it so simple that there are obviously no deficiencies. The other is to make it so complex that there are no obvious deficiencies." C.A.R. Hoare "The purpose of software engineering is to control complexity, not to create it." Dr. Pamela Zave "The most important single aspect of software development is to be clear about what you are trying to build." Bjarne Stroustrup "T...

 Failure to Produce Fake Results Confirms a Model

One of the most striking evidences of the reliability of the organic chemist's methods of determining molecular structure is the fact that he has never been able to derive satisfactory structures for supposed molecules which are in fact nonexistent.

 Assessing Trust, Subjective Logic, Real-Valued Triple

Another key factor in assessing the trustworthiness of a document is the reliability or otherwise of the claims expressed within it; metadata about provenance will no doubt help in such judgements but need not necessarily resolve them. Representing confidence in reliability has always been difficult in epistemic logics. In the context of knowledge representation approaches include: subjective logic, which represents an opinion as a real-valued triple (belief, disbelief, uncertainty) where the...