<--- Back to Details
First PageDocument Content
Knowledge / Academia / Association of Public and Land-Grant Universities / Massachusetts Institute of Technology / New England Association of Schools and Colleges / Thesis / MIT Physics Department / Doctor of Engineering / Doctor of Philosophy / Education / Association of American Universities / Association of Independent Technological Universities
Date: 2011-10-07 11:09:49
Knowledge
Academia
Association of Public and Land-Grant Universities
Massachusetts Institute of Technology
New England Association of Schools and Colleges
Thesis
MIT Physics Department
Doctor of Engineering
Doctor of Philosophy
Education
Association of American Universities
Association of Independent Technological Universities

Add to Reading List

Source URL: web.mit.edu

Download Document from Source Website

File Size: 181,86 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