ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
A method is presented for generalising cartographic lines using an approach based on determination of their structure. Constrained Delaunay triangulation is used to construct a ske...
A non-uniform equivalent cable model of membrane voltage changes in branching neuronal trees with active ion channels has been developed. A general branching condition is formulate...