<--- Back to Details
First PageDocument Content
California Institute of Technology faculty / Chiara Mingarelli / University of Birmingham / Birmingham / Supervisor / Doctor of Philosophy / Science and technology in Canada / Science and technology in Italy / Science
Date: 2015-05-06 01:44:17
California Institute of Technology faculty
Chiara Mingarelli
University of Birmingham
Birmingham
Supervisor
Doctor of Philosophy
Science and technology in Canada
Science and technology in Italy
Science

University of Birmingham Chiara Mingarelli Posted on Tuesday 14th April 2015 Marie Curie Postdoctoral Fellow, California Institute of Technology PhD Astrophysics (2014)

Add to Reading List

Source URL: www.chiaramingarelli.com

Download Document from Source Website

File Size: 114,03 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