In addition to the steep voltage-dependent K 1 currents that play a role in repolarization of the heart, two major K conductances control the resting potential. The classical strong inward rectifier (IK1) is constitutively active and acts to stabilize the resting potential. During depolarization, the strong rectification of IK1 significantly reduces conductance, permitting a long action-potenti...

Quality database schemata must capture both the structure and semantics of the domain of interest. Classes of data dependencies have been studied extensively to model domain semantics. Traditionally, the theory of data dependencies has been limited to relations. In practice, duplicate and partial information are permitted to occur in database instances. These features are supported to make data...

It is often argued that while state rhetoric may be inclusionary, policies and practices may be exclusionary. This can imply that the power to include rests only with the state. In some ways, the implication is valid in respect of Aboriginal Australians. For instance, the Australian state has gained control of Aboriginal inclusion via a singular, bounded category and Aboriginal ideal type. Howe...

A semi-empirical equation of state has been studied for modelling vapour-liquid data of pure substances. The specific molecular based equation of state is employed here as basis because of its mathematical simplicity. The semi-empirical extension has been accomplished to real fluids by correlating the density dependence of the attraction term to vapour liquid data of a reference fluid. The resu...

The problem with the standard means by which Prolog programs are extended — assert — is that the construct is not semantically well-behaved. A more elegant alternative (adopted, for example, in λProlog) is implication with its intuitionistic meaning, but the assumptions so added to a logic program are of limited applicability. We propose a new construct rule, which combines the declarative sema...

In this paper the problems of state estimation, tracking control and shape control in a micro-cantilever beam with nonlinear electrostatic actuation are investigated. The system’s partial differential equation of motion is converted into a set of ordinary differential equations by projection method. Observabillity of the system is proven and a state estimation system is designed using extended ...