81. Equality between programs with effectsNiels Frits Willem Voorneveld, 2020, doctoral dissertation Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices Full text (file, 2,42 MB) |
|
83. Evolutionary dynamics on evolving graphsBarbara Ikica, 2019, doctoral dissertation Keywords: evolutionary game theory, evolutionary dynamics, dynamical processes on graphs, mean-field approximation, clustering algorithms, complex networks, contagion processes, threshold models, evolutionary graph theory, multilayer graphs, co-evolving graphs Full text (file, 7,78 MB) |
|
85. Liquid drop model of polymer micellesAndreas Kyriakos Doukas, 2019, doctoral dissertation Keywords: soft polymeric nanoparticles, liquid-drop model, deformation free energy, phase diagram, particles at interface, isostructural phase transitions, quasicrystals Full text (file, 53,77 MB) |
|
|
88. Nonequilibrium dynamics of quantum many-body systems: from lattice to quantum field theoriesIvan Kukuljan, 2019, doctoral dissertation Keywords: Nonequilibrium many-body quantum physics, quantum chaos, Out-of-time-ordered correlations, kicked quantum Ising model, quantum sine-Gordon model, ultra-cold atoms in the atom chip, correlation functions, TCSA, bosonisation, horizon, transport Full text (file, 13,74 MB) |
89. Nonequilibrium integrable quantum dynamical systemsLenart Zadnik, 2019, doctoral dissertation Keywords: Integrable quantum cellular automata, Trotterisation of the Heisenberg magnet, quantum Hirota model, quasilocal charges, Drude weight, Mazur bound, inhomogeneous Lax operators Full text (file, 7,59 MB) |
|