This paper presents an illustrative demonstration of the qualitative data analysis tool NVivo (version 2.0), as employed across a multi-method research design as a comprehensive tool in support of overall research management. The paper will be of interest to (a) novice researchers, as a reference in their research design efforts; (b) academics, involved in research training, where this narrativ...

PVS is now 15 years old, and has been extensively used in research, industry, and teaching. The system is very expressive, with unique features such as predicate subtypes, recursive and corecursive datatypes, inductive and coinductive definitions, judgements, conversions, tables, and theory interpretations. The prover supports a combination of decision procedures, automatic simplification, rewr...

In this paper we present illustrative visualization techniques for PET/CT datasets. PET/CT scanners acquire both PET and CT image data in order to combine functional metabolic information with structural anatomical information. Current visualization techniques mainly rely on 2D image fusion techniques to convey this combined information to physicians. We introduce an illustrative 3D visualizati...

The article describes the content and teaching methodology of information systems development and processing of information sources. The authors present the structure of courses, motivational aspects applied and the approaches leading to the development of creative abilities of students. The illustrative example of student’s work is shown. As a theoretical approach, the structured methodology f...

Modular SOS is a recently-developed variant of Plotkin’s Structural Operational Semantics (SOS) framework. It has several pragmatic advantages over the original framework—the most significant being that rules specifying the semantics of individual language constructs can be given definitively, once and for all. Modular SOS is being used for teaching operational semantics at the undergraduate le...