This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, T...
Learning dynamic Bayesian network structures provides a principled mechanism for identifying conditional dependencies in time-series data. An important assumption of traditional D...