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

Source URL: dacongy.github.io

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

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

Source URL: smeiklej.com

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

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

Source URL: cgi.csc.liv.ac.uk

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

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

Source URL: cgi.csc.liv.ac.uk

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

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

Source URL: cgi.csc.liv.ac.uk

• 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

Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien

Source URL: cgi.csc.liv.ac.uk

• Music
• Applied mathematics
• Cybernetics
• Theoretical computer science
• Mathematics
• Genetic algorithms
• Model checking
• Simulated annealing
• Control theory
• Synthesizer
• Crossover
• Algorithm

Dual JD-MA (Philosophy) Program The College of Law and the Department of Philosophy in the College of Arts and Sciences offer a coordinated dual degree program leading to the conferral of both the Doctor of Jurisprudence

Source URL: philosophy.utk.edu

CHANGE IN COMMITTEE Doctor of Philosophy Ph.D. Office, 5057 Woodward, Room, Detroit, MI 48202 | Phone: | Student Name PID

Source URL: cancerbiologyprogram.med.wayne.edu

Decline and the City: the Urban Crisis in Liverpool, cThesis submitted for the degree of Doctor of Philosophy

Source URL: lra.le.ac.uk

Abigail Marsh Education Carnegie Mellon University, Pittsburgh, PA • Doctor of Philosophy in Computer Science August 2013 – Present

Source URL: abbymarsh.com