Abstract. Structural health management (SHM) of safety-critical structures requires multiple capabilities: sensing, assessment, diagnostics, prognostics, repair, etc. This paper pr...
Mikhail Prokopenko, Peter Wang, Andrew Scott, Vadi...
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
Abstract. The haplotype inference (HI) problem is the problem of inferring 2n haplotype pairs from n observed genotype vectors. This is a key problem that arises in studying geneti...
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...