-
How do archives provide access to their records and let users search?
The answer is archival description. Encoded Archival Description (EAD)
in Extensible Markup Language (XML) is the de facto technical standard
for 'electronic' archival descriptions. It is now used to bridge the
gulf between ta...
-
Fix a cardinal kappa. We can ask the question what kind of a logic L is
needed to characterize all models of cardinality kappa (in a finite
vocabulary) up to isomorphism by their L-theories. In other words: for
which logics L it is true that if any models A and B satisfy the same
L-theory then th...
-
The classic IR (Information Retrieval) model of the search process
consists of three elements: query, documents and search results. A
user looking to full an information need formulates a query usually
consisting of a small set of keywords summarising the information
need. The goal of an IR syste...
-
Motivated by applications in quantum information theory and
optimization we introduce new variants of a celebrated inequality
known as Grothendieck's Inequality. In quantum information theory we
apply these mathematical tools to study of one of the most surprising
and counter-intuitive prediction...
-
-
This thesis hovers over the interaction of coalgebras and modal
logics.
Intuitively, coalgebras are machines from the point of view of the
user. They arise from computer science as a promising mathematical
foundation for computer systems. Colagebras study different
state-based systems, where th...
-
This dissertation presents a formal analysis of the computational complexity aspects of interaction of agents.
As many interactive scenarios can be represented as relational structures, we use modal logic for formalizing them. This leads us to an investigation of the complexity of modal logics f...
-
-
The thesis focuses on learning syntactic tree structures by
generalizing over annotated treebanks. It investigates several
probabilistic models for three different syntactic representations.
Standard phrase-structure and dependency-structure treebanks are used
to train and test the models. A thi...
-
This dissertation discusses methods to learn the latent structural
patterns that underlie translation data. It explores different
approaches to modelling bilingual structure and presents novel
frameworks and algorithms, such as Cross-Validated
Expectation-Maximization (CV-EM), to learn phrase-ba...
-
This thesis is concerned with two models of linguistic information. It
does not deal with a development of the formal (or technical)
characteristics of these models, but rather it inquires into their
philosophical presuppositions. One such model is the one provided by
the discipline known as form...