-
What is conveyed often goes beyond what is said. Rather than avoiding it, natural communication seems to thrive in the implicit; in the unsaid; in the contextually determined. This investigation centers around this issue by asking why and under which conditions language (use) may come to leverage...
-
This thesis discusses the interplay between the speech acts of assertion and
rejection. First, it defends that it is even sensible to distinguish these two
speech acts, against an old consensus---going back to Frege---that rejection is
merely negative assertion. To this end, I introduce the speec...
-
In this thesis, we present results in two directions of research. In the first part we study query and gate complexity of quantum algorithms for certain problems and in the second part we study sample and query complexity of quantum machine learning algorithms.
Part I: Quantum algorithms
In th...
-
Game characterizations of classes of functions in descriptive set theory have their origins in the seminal work of Wadge, with further developments by Van Wesep, Andretta, Duparc, Motto Ros, and Semmes, among others. In this thesis we study such characterizations from several perspectives.
We de...
-
We are confronted with new information all the time. The information
we face and on which our beliefs are based, is often chaotic,
disordered, and even contradictory. Yet at the same time, our belief
is expected to be consistent. At least, we strive for consistent
beliefs. Is it possible for us t...
-
Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, its existing implementations are based on explicit model checking which can only deal with small models, so we do not know how DEL performs for larger and real-world problems.
For t...
-
The topics covered in the thesis are about intuitionistic and modal logics but also touch the area of dynamic epistemic logic.
There are two standard methods to prove the finite model property (fmp) in modal and intuitionisitic logics: one of them is filtration and another one is selective filtra...
-
Matrix rank is well-known to be multiplicative under the Kronecker product, additive under the direct sum, normalised on identity matrices and non-increasing under multiplying from the left and from the right by any matrices. In fact, matrix rank is the only real matrix parameter with these four ...
-
What Makes A Performer Unique? Idiosyncrasies and commonalities in expressive music performance
Carlos Vaquero
Abstract;
This thesis investigates the production and perception of idiosyncratic expressiveness in music performance. In particular, it studies how performers’ expressive use of tempo ...
-
In the first half of the twentieth century physicists discovered that elementary particles do not obey the classical Newtonian laws, instead obeying different laws. These laws are now known as the laws of quantum mechanics. Quantum mechanics has a tremendous influence on information theory and ...
-
In this dissertation we study how efficiently quantum computers can solve various problems, and how large speedups can be achieved compared to classical computers. In particular we develop a generic quantum algorithmic framework that we call "quantum singular value transformation", and show how i...