CSSE - PDFSEARCH.IO - Document Search Engine

CSSE
Results: 361

#	Item
101	March 2015 Volume 12, Issue 3 CSSE Newsletter Inside this issue: The President’s Remarks Add to Reading List Source URL: seniorengineers.ca Language: English - Date: 2015-03-27 13:34:38 Winnipeg Organization of Chinese Americans CSSE Engineering Institute of Canada HiC
102	A Logic of Belief and Omission Hans van Ditmarsch∗ Department of Logic University of Sevilla Sevilla, Spain Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:13:55 Logical syntax Modal logic Philosophical logic Epistemic modal logic Constructible universe Proposition Doxastic logic Vacuous truth Function Logic Mathematical logic Propositional calculus
103	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic
104	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic
105	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
106	CS4HSWorkshop An exploration of Computer Science for Primary/High (Secondary) school teachers Add to Reading List Source URL: cs4hs.csse.uwa.edu.au Language: English - Date: 2015-06-08 10:43:03 Information technology Technology Education Communication Educational technology Information and communication technologies in education
107	Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:58 Modal logic Philosophical logic Model theory Theoretical computer science Bisimulation Logic in computer science Kripke semantics Epistemic modal logic Common knowledge Logic Mathematical logic Mathematics
108	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2012-04-29 23:34:56 Data management Computing Two-phase commit protocol Model checking Three-phase commit protocol Uppaal Model Checker Formal verification Atomic commit Transmission Control Protocol Transaction processing Data Information
109	PDF Document Add to Reading List Source URL: munk.csse.unimelb.edu.au Language: English - Date: 2013-07-23 22:43:15 Estimation theory Psychometrics Parameter Goodness of fit Statistics Exponential random graph models Network theory
110	PDF Document Add to Reading List Source URL: www.csse.unimelb.edu.au Language: English - Date: 2010-02-09 21:54:04 Knowledge representation Technical communication Internet search engines OLAC Semantic Web NorduGrid BASE Grid computing Metadata Information science Information Science