Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Companies are developing a growing interest in aligning their information systems in a process-oriented way. However, current processaware information systems (PAIS) fail to meet p...
Stefanie Rinderle, Barbara Weber, Manfred Reichert...
This paper presents a new construction management cooperated with clients using a parametric information design method for road construction. This management has been found to be e...
In this paper, a novel one-element voxel attribute, namely distance-intensity (DI), is defined for associating spatial information with image intensity for registration tasks. For...
Abstract. The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: ...
Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz ...