Now showing items 1-10 of 134
A framework towards computational discovery of disease sub-types and associated (sub-)biomarkers.
Biomarker related patient data is generally assessed in order to determine relevant but generalized subset of the biomarkers. However, it fails to identify specific sub-groups of the patients or their corresponding (subset ...
Supporting Test Code Generation with an Easy to Understand Business Rule Language
(International Academy, Research and Industry Association (IARIA), 2013-07)
The paper addresses two fundamental problems in requirements engineering: The first one is the conflict between understandability for non-programmers and a semantically well-founded representation of business rules. The ...
Modeling ontology evolution with SetPi
Performing Locomotion Tasks in Immersive Computer Games with an Adapted Eye-Tracking Interface
Young people with severe physical disabilities may benefit greatly from participating in immersive computer games. In-game tasks can be fun, engaging, educational, and socially interactive. But for those who are unable to ...
A new immersed boundary method for compressible Navier-Stokes equations.
(Taylor and Francis, 2013)
Compositional reasoning using intervals and time reversal
Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We investigate some simple kinds of ITL formulas which have application to compositional reasoning and furthermore are closed under ...