Distributed Computing Prof. R. Wattenhofer Automatic Music Generation with Deep Learning In this thesis we want to come up with new methods for automatic music generation based

Source URL: www.tik.ee.ethz.ch

• Education
• Technology
• Online education
• Open educational resources
• Cybernetics
• Learning
• Computational neuroscience
• Machine learning
• Andrew Ng
• Coursera
• Udacity
• Artificial intelligence

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

From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Theoretical computer science
• Mathematical logic
• Graph
• Rewriting
• Kruskal's tree theorem

Bachelor Thesis Termgraph Rewriting Maria Anna Schett 14 November 2011

Source URL: www.maria-a-schett.net

• Formal languages
• Theoretical computer science
• Graph rewriting
• Mathematics
• Rewrite
• Rewriting
• Abstract semantic graph

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

PDF Document

Source URL: thesis.library.caltech.edu

Microsoft Word - Bowie_Thesis_Final.docx

Source URL: www.kasiisiproject.org

UPT PERPUSTAKAAN UNIVERSITAS SYIAH KUALA INSTRUKSI KERJA PENYELESAIAN PERMASALAHAN LOGIN PENGGUNA WEBSITE ELECTRONIC THESIS AND DISSERTATION (ETD)

Source URL: uilis.unsyiah.ac.id