The goal of my PhD thesis is to develop an evolutionary tool, the evolutionary requirements analyser (ERA), for searching an optimal set of component combinations in the use of requirements engineering. The evolutionary tool is demonstrated in evolving system requirements, which are symbolised by the component-based approach. The chanlleges of this research are fourfold: the transformation of t...

Flow-through respirometry systems provide accurate measurement of gas exchange over long periods of time. However, these systems have limitations in tracking rapid changes. When an animal infuses a metabolic gas into the respirometry chamber in a short burst, diffusion and airflow in the chamber gradually alter the original signal before it arrives at the gas analyzer. For single or multiple bu...

Execution of a Procedure Let p c1; : : : ; cr be a procedure. The result Bout of the execution of p with in (where in is the input substitution of some abstract sequence B with hB; sei 2 Behp) is obtained by \concatenating" the results B1; : : : ; Br of the abstract execution of each clause. More precisely, Bout = CONC(B1; : : : ; Br), the last being a shortcut for CONC(: : :CONC(Br 1; Br) : : ...

A 29-year-old male presented at the emergency department of our hospital in a confused state. He had a history of psychoses and substance abuse. Physical examination revealed hyperventilation and abdominal tenderness. Blood gas analysis in the emergency department using an ABL 725 Radiometer analyser showed a severe metabolic acidosis with massive lactate elevation. Lactate acidosis due to mese...

Even though their architecture relies on robust security principles, it is well-known that poor programming practices may expose browser extensions to serious security flaws, leading to privilege escalations by untrusted web pages or compromised extension components. We propose a formal security analysis of browser extensions in terms of a finegrained characterization of the privileges that an ...

Over the past thirty years, there has been considerable progress in the design of natural language interfaces to databases. Most of this work has concerned snapshot databases, in which there are only limited facilities for manipulating time-varying information. The database community is becoming increasingly interested in temporal databases, databases with special support for time-dependent ent...

In this paper we present a dependency analyser able to compute syntax recognition and analysis according to dependency grammars. Analyser is able to deal with nonprojective constructions, it has means to express the level of word-order freedom and its limitations. Level of word-order freedom and level of robustness (correctness) of sentences can be given as parameters of the analysis. Data and ...

The ENGTWOL morphological analyser is a 55,000 entry Koskenniemi-style morphological description of English that assigns all recognised input word forms with all possible morphological readings as a disjunctive list. Those words not recognised by the ENGTWOL analyser are analysed by a heuristic module; part-ofspeech readings are assigned on the basis of the form of the word (endings etc.). The ...