Recent advances in the analysis of behavioural organization and interpretation as indicators of animal welfare

While the incorporation of mathematical and engineering methods has greatly advanced in other areas of the life sciences, they have been under-utilized in the field of animal welfare. Exceptions are beginning to emerge and share a common motivation to quantify 'hidden' aspects in the structure of the behaviour of an individual, or group of animals. Such analyses have the potential to quantify behavioural markers of pain and stress and quantify abnormal behaviour objectively. This review seeks to explore the scope of such analytical methods as behavioural indicators of welfare. We outline four classes of analyses that can be used to quantify aspects of behavioural organization. The underlying principles, possible applications and limitations are described for: fractal analysis, temporal methods, social network analysis, and agent-based modelling and simulation. We hope to encourage further application of analyses of behavioural organization by highlighting potential applications in the assessment of animal welfare, and increasing awareness of the scope for the development of new mathematical methods in this area.

First records of oceanic dive profiles for leatherback turtles, Dermochelys coriacea, indicate behavioural plasticity associated with long-distance migration

We used Satellite Relay Data Loggers to obtain the first dive profiles for critically endangered leatherback turtles outside the nesting season. As individuals moved from the Caribbean out into the Atlantic, key aspects of their diving behaviour changed markedly, in line with theoretical predictions for how dive duration should vary with foraging success. In particular, in the Atlantic, where foraging success is expected to be higher, dives became much longer than in the Caribbean. The deepest-ever dive profile recorded for a reptile was obtained in the oceanic Atlantic, with a 54-min dive to 626 m on 26 August 2002. However, dives were typically much shallower (generally

Measuring inconsistency in network intrusion rules

In this preliminary case study, we investigate how inconsistency in a network intrusion detection rule set can be measured. To achieve this, we first examine the structure of these rules which incorporate regular expression (Regex) pattern matching. We then identify primitive elements in these rules in order to translate the rules into their (equivalent) logical forms and to establish connections between them. Additional rules from background knowledge are also introduced to make the correlations among rules more explicit. Finally, we measure the degree of inconsistency in formulae of such a rule set (using the Scoring function, Shapley inconsistency values and Blame measure for prioritized knowledge) and compare the informativeness of these measures. We conclude that such measures are useful for the network intrusion domain assuming that incorporating domain knowledge for correlation of rules is feasible.

A Syntax-based approach to measuring the degree of inconsistency for belief bases

Measuring the degree of inconsistency of a belief base is an important issue in many real world applications. It has been increasingly recognized that deriving syntax sensitive inconsistency measures for a belief base from its minimal inconsistent subsets is a natural way forward. Most of the current proposals along this line do not take the impact of the size of each minimal inconsistent subset into account. However, as illustrated by the well-known Lottery Paradox, as the size of a minimal inconsistent subset increases, the degree of its inconsistency decreases. Another lack in current studies in this area is about the role of free formulas of a belief base in measuring the degree of inconsistency. This has not yet been characterized well. Adding free formulas to a belief base can enlarge the set of consistent subsets of that base. However, consistent subsets of a belief base also have an impact on the syntax sensitive normalized measures of the degree of inconsistency, the reason for this is that each consistent subset can be considered as a distinctive plausible perspective reflected by that belief base,whilst eachminimal inconsistent subset projects a distinctive viewof the inconsistency. To address these two issues,we propose a normalized framework formeasuring the degree of inconsistency of a belief base which unifies the impact of both consistent subsets and minimal inconsistent subsets. We also show that this normalized framework satisfies all the properties deemed necessary by common consent to characterize an intuitively satisfactory measure of the degree of inconsistency for belief bases. Finally, we use a simple but explanatory example in equirements engineering to illustrate the application of the normalized framework.

Behavioural, physiological and morphological adaptations of the shanny (Blennius pholis) to the intertidal habitat

Immersed shannies (Blennius pholis) showed peak locomotory activity coincident with daylight high tides. Emersion caused cessation of breathing and bradycardia though Q02 was little affected. Q02 fell, however, when the abdomen was enclosed in an impermeable sheath to block cutaneous respiration. Gulping of air into the extensively vascular oesophagus probably also acts as a means of aerial respiration. Reimmersion of fish caused a transient bradycardia followed by a tachycardia and a fall in Q02 followed subsequently by a rise. The results are discussed in relation to the behavioural, circulatory, respiratory and morphological adaptations of the shanny to the intertidal habitat.

Bereavement: A behavioural process

Sixty-seven widows whose husbands had been killed in the context of sectarian violence in Northern Ireland were assessed in relation to the cause of death, the quality of their marital relationship and the level of worry prior to the loss. Results reported here show that the violent cause of death led to a greater level of long-term psychological distress than other causes of death. Furthermore, widows who reported happiness regarding their marital relationship showed more signs of distress after the loss than those who reported less happiness. Widows who had not worried about their husband showed less signs of psychological distress after the loss than those who had worried. The interpretation of the findings is based on recent thinking in behaviour analysis.

Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort

In this preliminary study, we investigate how inconsistency in a network intrusion detection rule set can be measured. To achieve this, we first examine the structure of these rules which are based on Snort and incorporate regular expression (Regex) pattern matching. We then identify primitive elements in these rules in order to translate the rules into their (equivalent) logical forms and to establish connections between them. Additional rules from background knowledge are also introduced to make the correlations among rules more explicit. We measure the degree of inconsistency in formulae of such a rule set (using the Scoring function, Shapley inconsistency values and Blame measure for prioritized knowledge) and compare the informativeness of these measures. Finally, we propose a new measure of inconsistency for prioritized knowledge which incorporates the normalized number of atoms in a language involved in inconsistency to provide a deeper inspection of inconsistent formulae. We conclude that such measures are useful for the network intrusion domain assuming that introducing expert knowledge for correlation of rules is feasible.

Novel anti-inflammatory compound SEN1176 alleviates behavioural deficits induced following bilateral intrahippocampal injection of aggregated amyloid-beta(1-42).

Behavioral effects of a novel anti-inflammatory SEN1176 were investigated. This pyrrolo[3,2-e][1,2,4]triazolo[1,5-a]pyrimidine suppresses amyloid-ß (Aß)1-42-induced macrophage production of nitric oxide, TNF-a, IL-1ß, and IL-6 in a dose-dependent fashion, an activity profile consistent with SEN1176 being a neuroinflammation inhibitor. Using male Sprague-Dawley rats, SEN1176 was examined relative to detrimental behavioral effects induced following bilateral intrahippocampal (IH) injections of aggregated Aß1-42. The rats were trained to respond under an alternating-lever cyclic-ratio (ALCR) schedule of food reinforcement, enabling measurement of parameters of operant performance that reflect aspects of learning and memory. Under the ALCR schedule, orally administered SEN1176 at 5, 20, or 30 mg/kg was effective in reducing the behavioral deficit caused by bilateral IH aggregated Aß1-42 injections in a dose-related manner over a 90-day treatment period. SEN1176 at 20 and 30 mg/kg significantly reduced lever switching errors and, at doses of 5, 10, and 30 mg/kg, significantly reduced incorrect lever perseverations, indicating a reduction of the behavioral deficit induced as a result of inflammation following IH Aß1-42 injections. When treatment with SEN1176 was instigated 30 days after IH Aß1-42 injections, it resulted in progressive protection, and withdrawal of SEN1176 treatment 60 days after IH Aß1-42 injections revealed partial retention of the protective effect. SEN1176 also significantly reduced numbers of activated astrocytes adjacent to the aggregated Aß1-42 injection sites. These results indicate the potential of SEN1176 for alleviating chronic neuroinflammatory processes related to brain Aß deposition that affect learning and memory in Alzheimer's disease.

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.