University of Cambridge > Talks.cam > Inference Group > Uncertainty Logic

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Uncertainty Logic

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Phil Cowans.

This talk introduces ways of using and extending propositional logic to deal with uncertainty. Uncertain logic states can serve as a powerful tool to reason about gate-level digital circuit designs, without resorting to differential equations or probabilities.

Plenty of examples and colourful diagrams are included.

This talk is part of the Inference Group series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

St. John's College Medical Society MEMS seminar Invitation

Other talks

EU LIFE Lecture - "Histone Chaperones Maintain Cell Fates and Antagonize Reprogramming in C. elegans and Human Cells" MicroRNAs as circulating biomarkers in cancer Virtual bargaining as a micro-foundation for communication St Catharine’s Political Economy Seminar - ‘Bank Credit Rating Changes, Capital Structure Adjustments and Lending’ by Claudia Girardone The Design of Resilient Engineering Infrastructure Systems with Bayesian Networks On the climate change conversation Discovering regulators of insulin output with flies and human islets: implications for diabetes and pancreas cancer A new proposal for the mechanism of protein translocation Computing High Resolution Health(care) The frequency of ‘America’ in America Picturing the Heart in 2020 Paracelsus' Chickens - Strange Tales from the History of Chemistry
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity