-
-
-
-
-
-
This dissertation investigates learnability of various classes of
classical categorial grammars within the Gold paradigm of identification
in the limit from positive data. Both learning from functor-argument
structures and learning from flat strings are considered.
The class of rigid grammar...
-
%Nr: DS-1999-01
%Author: Jelle Gerbrandy
%Title: Bisimulations on Planet Kripke
Summarized in four words, the topic of this dissertation is
Multi-Agent Dynamic Epistemic Semantics. The words `semantics' implies
that model theory plays a central role...
-
In this dissertation we discuss three subjects: canonical extensions
of lattice-based algebras, Stone duality for distrbutive lattices with
operators, and a generalization of the point-free Vietoris powerlocale
construction.
In Chapters 2 and 3, we study canonical extensions of lattice-based
alg...
-
Why should we praise someone for performing so well, even though we usually
reserve praise for consciously deliberated and chosen actions and less so for actions
that appear to be produced automatically and effortless? Observing such action
performance by an expert singer performing an opera role...
-
Computational methods offer a powerful way to investigate difficult problems in evolutionary biochemistry. A clear example how computational methods can provide new and thorough knowledge in this area, is the history of the investigation of regularities in the structure of the genetic code. Upon ...
-
With the advent of scalable quantum information technology, accurate control of quantum systems is becoming increasingly important. We study theoretical control protocols tailored for near-term experiments. The main results can be grouped in two categories. Part II deals with the construction of...