<--- Back to Details
First PageDocument Content
Research / Social Sciences and Humanities Research Council / Natural Sciences and Engineering Research Council / Vanier Canada Graduate Scholarships / Canada Research Chair / Canadian Institutes of Health Research / Doctor of Philosophy / University of Alberta / National Research Council / Industry Canada / Government of Canada / Government
Date: 2013-05-05 20:25:01
Research
Social Sciences and Humanities Research Council
Natural Sciences and Engineering Research Council
Vanier Canada Graduate Scholarships
Canada Research Chair
Canadian Institutes of Health Research
Doctor of Philosophy
University of Alberta
National Research Council
Industry Canada
Government of Canada
Government

Understanding Canada: Canadian Studies

Add to Reading List

Source URL: web.science.mq.edu.au

Download Document from Source Website

File Size: 166,58 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Software review / Program analysis / Software testing / Object-oriented programming languages / Static program analysis / Java / Android / Software quality / Computer programming / Memory leak

Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

DocID: 1xVqM - View Document

Cryptography / Cryptocurrencies / Alternative currencies / Bitcoin / Digital currencies / Public-key cryptography / Mihir Bellare / SUF / RSA

UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in

DocID: 1xUd9 - View Document

Complexity classes / Mathematics / Theoretical computer science / Discrete mathematics / EXPTIME / P / Reachability problem / Matrix / Controllability / Decidability / Reachability / Word problem

Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

DocID: 1xU0K - View Document

Finite automata / Model checking / -automaton / Bchi automaton / Deterministic automaton / Muller automaton / Weak Bchi automaton

Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy

DocID: 1xTrB - View Document

Game theory / Non-cooperative games / Evolutionary game theory / Nash equilibrium / Strategy / Solution concept / Evolutionarily stable strategy / Zero-sum game / Normal-form game / Folk theorem / Epsilon-equilibrium

Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta

DocID: 1xTmP - View Document