Learn More
Little is known about how neurons in the different layers of the mammalian cerebral cortex are specified at the molecular level. Expression of two homologues of the Drosophila homeobox Cut gene, Cux-1 and Cux-2, is strikingly specific to the pyramidal neurons of the upper layers (II-IV) of the murine cortex, suggesting that they may define the molecular(More)
An access control policy writing tool for the PERMIS role-based privileges management infrastructure was iteratively developed employing usability principles and techniques. Expert and intermediate users' efficiency in policy creation was improved. Three novice users took part in a usability trial with the first prototype, attempting to recreate a simple(More)
Although interaction protocols are often part of multi-agent infrastructures, many of the published protocols are semi-formal, vague or contain errors. Formal presentations can counter such disadvantages since they are amenable to verification of correctness. On the other hand, a diagrammatic representation of system structure is easier to comprehend. To(More)
Agent interaction in realistic applications is subject to many forms of uncertainty -- including <i>information and network uncertainty, trust of and conflicts with other participants, lack of stability in a deal and risks about agreements and commitments.</i> However, one of the most common forms of uncertainty occurs when a group has divergent beliefs(More)
A Prolog implementation of a new theorem-prover for rst-order classical logic is described. The prover is based on the calculus KE and the rules used for analysing quantiiers in free variable semantic tableaux. A formal speciication of the rules used in the implementation is described, for which soundness and completeness is straightforwardly veriied. The(More)
Current representations of interaction protocols either concentrate on ease of understanding and neglect the need to specify protocols unambiguously (e.g. [2]), or concentrate on formal rigour and neglect usability issues (e.g. [21,10]). The ongoing development of propositional statecharts has been motivated by the need to provide a notation which satisfies(More)