Automated layout of small lattices using layer diagrams

Good quality concept lattice drawings are required to effectively communicate logical structure in Formal Concept Analysis. Data analysis frameworks such as the Toscana System use manually arranged concept lattices to avoid the problem of automatically producing high quality lattices. This limits Toscana systems to a finite number of concept lattices that have been prepared a priori. To extend the use of formal concept analysis, automated techniques are required that can produce high quality concept lattice drawings on demand. This paper proposes and evaluates an adaption of layer diagrams to improve automated lattice drawing. © Springer-Verlag Berlin Heidelberg 2006.

Expression and role of complex carbohydrates in axon guidance in the olfactory system

Primary sensory neurons in the vertebrate olfactory systems are characterised by the differential expression of distinct cell surface carbohydrates. We show here that the histo-blood groups Sda (or CT1 antigen) and H are expressed by primary sensory neurons in the olfactory system, while the blood group A carbohydrate is expressed by a subset of vomeronasal neurons only in the developing accessory olfactory system. We have used both loss-of-function and gain-of-function approaches to manipulate expression of these carbohydrates in the olfactory system. In null mutant mice lacking the alpha(1,2)fucosyltransferase FUT1, the blood group H and A carbohydrates were not expressed in the olfactory systems which caused delayed development of the nerve fibre and glomerular layers in the main olfactory bulb. In contrast, ubiquitous expression of blood group A on olfactory axons in gain-of-function transgenic mice perturbed the ability of vomeronasal axons to terminate in the accessory olfactory bulb and affected the selective targeting of axons in the main olfactory bulb. During regeneration following bulbectomy, vomeronasal axons were unable to effectively sort out from the main olfactory axons when blood group A was misexpressed. These results provide in vivo evidence for a role of specific cell surface carbohydrates during development and regeneration of the olfactory nerve pathways.

Genetic manipulation of blood group carbohydrates alters development and pathfinding of primary sensory axons of the olfactory systems

Primary sensory neurons in the vertebrate olfactory systems are characterised by the differential expression of distinct cell surface carbohydrates. We show here that the histo-blood group H carbohydrate is expressed by primary sensory neurons in both the main and accessory olfactory systems while the blood group A carbohydrate is expressed by a subset of vomeronasal neurons in the developing accessory olfactory system. We have used both loss-of-function and gain-of-function approaches to manipulate expression of these carbohydrates in the olfactory system. In null mutant mice lacking the alpha(1,2)fucosyltransferase FUT1, the absence of blood group H carbohydrate resulted in the delayed maturation of the glomerular layer of the main olfactory bulb. In addition, ubiquitous expression of blood group A on olfactory axons in gain-of-function transgenic mice caused mis-routing of axons in the glomerular layer of the main olfactory bulb and led to exuberant growth of vomeronasal axons in the accessory olfactory bulb. These results provide in vivo evidence for a role of specific cell surface carbohydrates during development of the olfactory nerve pathways. (c) 2006 Elsevier Inc. All rights reserved.

Learnability and discriminability of melodic medical equipment alarms

Melodic alarms proposed in the IEC 60601-1-8 standard for medical electrical equipment were tested for learnability and discriminability. Thirty-three non-anaesthetist participants learned the alarms over two sessions of practice, with or without mnemonics suggested in the standard. Fewer than 30% of participants could identify the alarms with 100% accuracy at the end of practice. Confusions persisted between pairs of alarms, especially if mnemonics were used during learning (p = 0.011). Participants responded faster (p < 0.00001) and more accurately (p = 0.002) to medium priority alarms than to high priority alarms, even though they rated the high priority alarms as sounding more urgent (p < 0.00001). Participants with at least 1 year of formal musical training identified the alarms more accurately (p = 0.0002) than musically untrained participants, and found the task easier overall (p < 0.00001). More intensive studies of the IEC 60601-1-8 alarms are needed for their effectiveness to be determined.

Transdermal drug delivery: Basic principles for the veterinarian

The use of topical pharmaceutical formulations is increasingly popular in veterinary medicine. A potential concern is that not all formulations are registered for the intended species, yet current knowledge strongly suggests that simple extrapolation of transdermal drug pharmacokinetics and pharmacodynamics between species, including humans, cannot be done. In this review, an overview is provided of the underlying basic principles determining the movement of topically applied molecules into and through the skin. Various factors that may affect transdermal drug penetration between species, between individuals of a particular species and regional differences in an individual are also discussed. A good understanding of the basic principles of transdermal drug delivery is critical to avoid adverse effects or lack of efficacy when applying topical formulations in veterinary medicine. (c) 2005 Elsevier Ltd. All rights reserved.

Community broadcasting and the enclosure of the public sphere

One of the normative tenets of the Habermasian public sphere is that it should be an open and universally accessible forum. In Australia, one way of achieving this is the provision for community broadcasting in the Broadcasting Services Act. A closer examination of community broadcasting, however, suggests practices that contradict the idea of an open and accessible public sphere. Community broadcasting organizations regulate access to their media assets through a combination of formal and informal structures. This suggests that the public sphere can be understood as a resource, and that community broadcasting organizations can be analysed as ‘commons regimes’. This approach reveals a fundamental paradox inherent in the public sphere: access, participation and the quality of discourse in the public sphere are connected to its enclosure, which limits membership and participation through a system of rules and norms that govern the conduct of a group. By accepting the view that a public sphere is governed by property rights, it follows that an open and universally accessible public sphere is neither possible nor desirable.

Integrating formal specification and software verification and validation

It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification.

Emerging Structures of Farmer Cooperatives in Vietnam: Case studies from the Mekong Delta

Four farmer groups for mango production and marketing were formed in 2002 in southern Vietnam in response to government support for the creation of market oriented farmer cooperatives. The role and structure of these groups is considered in terms of the degree to which they conform to internationally recognised principles for cooperative formation. Each of the farmer groups studied has evolved in different ways and their degree of compliance with the principles of cooperation varies widely. It is evident that state intervention and market forces may give rise to cooperative structures that differ from that intended under the principles surrounding cooperative law.

A formal metamodeling approach to a transformation between the UML state machine and object-z

A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.

Farming under constrained budgets: Practices of agricultural credit users in central Lombok, Indonesia

There has been a long dependency on credit by Indonesian farmers as a result of the lack of capital to apply proper farming practices. This paper describes the farming activities applied by agricultural credit users in Central Lombok, Indonesia. A survey was conducted during July 2001- March 2002 of 65 farmers making use of government or private credit in three villages within the Regency. Data from the farmers were collected using face-to-face, semi-structured interviews. Survey results indicated that on average, farmers had some 20 years experience of farming, were aged 40 years, but lacked of formal education. Their main asset was cropping land with average landholding of 0.69 ha. As a consequence of their capital constraints, farmers were commonly making use of credit to finance their farming activities, including both production of rice as the main crop and secondary crops. Farmers generally applied less than recommended amount of inputs in their farming practices, since the amount of credit they obtained was limited. As a result, their farms become less productive and their repayment capability of loans diminished. Of 65 farmers interviewed, 54 could earn extra income by engaging in a variety of non-farm activities, which contributed on average some 36% to family incomes of over Rp 5 million (A$ 1 thousand). The average credit repayment rate made by agricultural producers was 60%. The repayment made did not always reflect farm production capacity, being sometimes supported by other borrowings. The greater role of credit is not in increasing agricultural production or improving farmers’ income, but in helping them to sustain farm production and their living. Farmers need a bigger amount of credit to make an impact on their livelihood. This should be accompanied by extension services for farmers to enable better use of credit and to change their attitude towards it. As well, farmers require to be equipped with technical and market skills to run a business. Interdisciplinarity, holistic analysis, and an expansion of traditional ‘agricultural’ interests to embrace the span of interests included in rural livelihood, are each critical features of revision of the existing system.