The Lobster and Shrimp Fisheries in Hawaii

A description of the lobster and deepwater shrimp fisheries in Hawaii, addressing harvest levels, biology, and research, is presented. Both fisheries are trap fisheries. The lobster fishery is a limited entry fishery with 1991 landings of 200 metric tons. The shrimp fishery is unregulated, with very sporadic effort, and annual landings below 200 metric tons

A mapping from conceptual graphs to formal concept analysis

A straightforward mapping from Conceptual Graphs (CGs) to Formal Concept Analysis (FCA) is presented. It is shown that the benefits of FCA can be added to those of CGs, in, for example, formally reasoning about a system design. In the mapping, a formal attribute in FCA is formed by combining a CG source concept with its relation. The corresponding formal object in FCA is the corresponding CG target concept. It is described how a CG, represented by triples of the form source-concept, relation, target-concept, can be transformed into a set of binary relations of the form (target-concept, source-concept a relation) creating a formal context in FCA. An algorithm for the transformation is presented and for which there is a software implementation. The approach is compared to that of Wille. An example is given of a simple University Transaction Model (TM) scenario that demonstrates how FCA can be applied to CGs, combining the power of each in an integrated and intuitive way

Operational specification for FCA using Z

We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification as a useful application of conceptual structures.</p

Intensive Rehabilitation in Children with Cerebral Palsy: Our View on the Neuronal Group Selection Theory

Cerebral palsy (CP) is one of the major forms of developmental disorders. There are different approaches and controversies in rehabilitation treatment. The Neuronal Group Selection theory could provide theoretical explanation for Stoj~evi} Polovina rehabilitation method. The aim of the study was to evaluate long-term impact of intensive and continuously performed rehabilitation on the motor autonomy level children with CP. Motor autonomy levels, defined according to the Gross Motor Function Classification System (GMFCS) and Gross Motor Function Measure (GMFM), were analyzed in 24 children with CP at the beginning of the study and at the last visit. During rehabilitation, GMFM scores increased above the expected value of initial GMFCS level in the majority of patients. Intensive rehabilitation had significant influence on motor improvement in children with CP

Managing healthcare workflows in a multi-agent system environment

Whilst Multi-Agent System (MAS) architectures appear to offer a more flexible model for designers and developers of complex, collaborative information systems, implementing real-world business processes that can be delegated to autonomous agents is still a relatively difficult task. Although a range of agent tools and toolkits exist, there still remains the need to move the creation of models nearer to code generation, in order that the development path be more rigorous and repeatable. In particular, it is essential that complex organisational process workflows are captured and expressed in a way that MAS can successfully interpret. Using a complex social care system as an exemplar, we describe a technique whereby a business process is captured, expressed, verified and specified in a suitable format for a healthcare MAS.</p

Standard CGIF interoperability in Amine

The adoption of standard CGIF by CG tools will enable interoperability between them to be achieved, and in turn lead to the interoperability between CG tools and other tools. The integration of ISO Common Logic’s standard CGIF notation in the Amine platform is presented. It also describes the first steps towards full interoperability between the Amine CG tool (through its Synergy component) and CharGer, a representative CG tool that supports similar interoperability and for process (or ‘active’) knowledge as well as declarative knowledge. N-adic relations are addressed as well as semantic compatibility across the two tools. The work remarks on the successes achieved, highlighting certain issues along the way, and offering a real impetus to achieve interoperability.</p

The transaction pattern through automating TrAM

Transaction Agent Modelling (TrAM) has demonstrated how the early requirements of complex enterprise systems can be captured and described in a lucid yet rigorous way. Using Geerts and McCarthy’s REA (Resource-Events-Agents) model as its basis, the TrAM process manages to capture the ‘qualitative’ dimensions of business transactions and business processes. A key part of the process is automated model-checking, which CG has revealed to be beneficial in this regard. It enables models to retain the high-level business concepts yet providing a formal structure at that high-level that is lacking in Use Cases. Using a conceptual catalogue informed by transactions, we illustrate the automation of a transaction pattern from which further specialisations impart a tested specification for system implementation, which we envisage as a multi-agent system in order to reflect the dynamic world of business activity. It would furthermore be able to interoperate across business domains as they would share the generalised TM as a pattern.</p

Traditional Accounting with Decentralised Ledger Technology

Distributed ledger technology is by some believe to be the accounting system of the future, replacing the centuries-old double-entry accounting paradigm, as it has desirable characteristics such as tamper-resistance. However, it might suffer from technology lock-in as double-entry bookkeeping, due to its long-standing history, has offered the conceptual foundations for many laws, regulations and business practices. While some of these laws, regulations and practices might become obsolete as a result of distributed ledger technology, some might still prove to be valuable in a new technological context. While aiming at unlocking the potential of distributed ledger technology in an accounting context, we also want to preserve the wisdom of accounting craftsman. For this reason, it is the aim of this paper to offer a bi-directional mapping between traditional double-entry bookkeeping and innovative paradigms that have proven their value in decentralised systems, of which distributed ledger technology is an exponent. This paper offers such a mapping for the Resource-Event-Agent paradigm