The question of grammar coverage in a treebank is addressed from the perspective of language description, not corpus description. We argue that a treebanking methodology based on parsing a corpus does not necessarily imply worse coverage than grammar induction based on a manually annotated corpus.

We introduce the notion of a database system that is information theoretically secure in between accesses—a database system with the properties that 1) users can efficiently access their data, and 2) while a user is not accessing their data, the user’s information is information theoretically secure to malicious agents, provided that certain requirements on the maintenance of the database are r...

We present Information Theoretically secure Byzantine Paxos (IT ByzPaxos), the first deterministic asynchronous Byzantine consensus protocol that is provably secure despite a computationally unbounded adversary. Previous deterministic asynchronous algorithms for Byzantine consensus rely on unproven number theoretic assumptions (i.e., digital signatures) to maintain agreement. IT ByzPaxos instea...

The kinetics of the O + HCNO reaction were investigated by a relative rate technique using infrared diode laser absorption spectroscopy. Laser photolysis (355 nm) of NO2 was used to produce O atoms, followed by O atom reactions with CS2, NO2, and HCNO, and infrared detection of OCS product from the O + CS2 reaction. Analysis of the experiment data yields a rate constant of k1= (9.84 +/- 3.52) x...

This paper describes the intellectual framework and field of study of affective computing. This is a seminar paper written for course Tik-111.590 Digital media research seminar, spring 2001: “Space Odyssey 2001”. The paper is based on a literature study of affective computing.

Den här uppsatsen behandlar ett antal individer begravda mellan 800 e.Kr. och 1150 e.Kr i ett tidigt kristet gravfält kring ruinen av Varnhems gårdskyrka. Av speciellt intresse är den placeringen som gravarna har i förhållande till kyrkomurarna och vad dessa placeringar innebär statusmässigt. Analys av stabila isotoper har därför utförts på de manliga individerna så att deras diet kan faställas...