LOBOS (Linux Os Boots OS) is a system call that allows a running Linux kernel to boot a new kernel, without leaving 32-bit protected mode and, in particular, without using the BIOS in any way. This capability in turn allows Linux to be used as a network bootstrap program and even as a BIOS, both of which we are working on now. In this paper we discuss how LOBOS works, how we use it, and how LOB...

What a user does in an app (e.g., viewing the menu of a restaurant or listening to the same song several times) is key to understanding user interests and preferences, and ultimately to enabling personalised experiences. This kind of behavioural analytics information, as we call it, is rarely used today (and if it is used, it remains siloed in one app). This paper makes a case for the OS to pro...

We give a categorical perspective on various product rules, including Brzozowski’s product rule ((st)a = sat + o(s)ta) and the familiar rule of calculus ((st)a = sat+ sta). It is already known that these product rules can be represented using distributive laws, e.g. via a suitable quotient of a GSOS law. In this paper, we cast these product rules into a general setting where we have two monads ...

The superplastic behavior of fine-grained metals is well described by the deformation model in which grain boundary sliding (GBS) is accommodated by slip. This slip accommodation process involves the sequential steps of glide and climb, with climb assumed to be the ratecontrolling process. The climb distance during GBS is often considered to be on the order of grain size in the conventional the...

Deformation mechanisms of a fully lamellar TiAl (γ lamellae: 100 ~ 300Ênm thick, α2 lamellae: 10 ~ 50 nm thick) crept at 760¡C have been investigated. It was found that, as a result of a fine structure, the motion and multiplication of dislocations within both γ and α2 lamellae are limited at low creep stresses (< 400 MPa). Thus, the glide and climb of lattice dislocations have insignificant co...

We present an algorithm which creates a German CCGbank by translating the syntax graphs in the German Tiger corpus into CCG derivation trees. The resulting corpus contains 46,628 derivations, covering 95% of all complete sentences in Tiger. Lexicons extracted from this corpus contain correct lexical entries for 94% of all known tokens in unseen text.

In this paper, we analyse the pitch trajectories of vocal imitations by non-poor singers. A group of 43 selected singers was asked to vocally imitate a set of stimuli. Five stimulus types were used: a constant pitch (stable), a constant pitch preceded by a pitch glide (head), a constant pitch followed by a pitch glide (tail), a pitch ramp and a pitch with vibrato; with parameters for main pitch...

A design for a tomb does not ordinarily interest anyone but the designer and his client. There is, however, in the Museum Print Department a sixteenth-century tomb drawing of more than ordinary interest, since it presents a puzzle as rich in clues as a detective story. Once folded in half and bound in a scrapbook with the shop drawings of an unidentified atelier, this drawing shows an elaborate...

This paper describes the SALSA corpus, a large German corpus manually annotated with role-semantic information, based on the syntactically annotated TIGER newspaper corpus (Brants et al., 2002). The first release, comprising about 20,000 annotated predicate instances (about half the TIGER corpus), is scheduled for mid-2006. In this paper we discuss the frame-semantic annotation framework and it...