L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

Disorderly categories in picture postcards from colonial Papua and New Guinea

At the turn of the century in Melbourne, a notice typed on the verso of a postcard stated that the South Yarra Baptist Young Men's class was meeting on the following Sunday at 2.45 p.m. The card, published in the United Kingdom, was numbered 51828 in the Valentine series of Papuan postcards.1 The image, a photograph of Hanuabada village taken in the early 1880s, and the text, written early in 1900, are contradictory and constitute separate realms of evidence that invite a renegotiation of meaning, analysis, and interpretation of the relationships between images, tourism, colonial rule, and ethnographic knowing. The visual evidence suggests the postcard may have played an ethnographic, educative role in the public understanding of Papua, which had just become an Australian Territory and was not yet well known. It is also suggestive of educative roles related to mission endeavours, subimperialist ambitions and the new tourist traffic through the ports of Port Moresby, Samarai, and Rabaul.

Definition of airworthiness categories for civil Unmanned Aircraft Systems (UAS)

This paper introduces a novel strategy for the specification of airworthiness certification categories for civil unmanned aircraft systems (UAS). The risk-based approach acknowledges the fundamental differences between the risk paradigms of manned and unmanned aviation. The proposed airworthiness certification matrix provides a systematic and objective structure for regulating the airworthiness of a diverse range of UAS types and operations. An approach for specifying UAS type categories is then discussed. An example of the approach, which includes the novel application of data-clustering algorithms, is presented to illustrate the discussion.

Assessing the relationship between global warming and mortality : lag effects of temperature fluctuations by age and mortality categories

Although interests in assessing the relationship between temperature and mortality have arisen due to climate change, relatively few data are available on lag structure of temperature-mortality relationship, particularly in the Southern Hemisphere. This study identified the lag effects of mean temperature on mortality among age groups and death categories using polynomial distributed lag models in Brisbane, Australia, a subtropical city, 1996-2004. For a 1 °C increase above the threshold, the highest percent increase in mortality on the current day occurred among people over 85 years (7.2% (95% CI: 4.3%, 10.2%)). The effect estimates among cardiovascular deaths were higher than those among all-cause mortality. For a 1 °C decrease below the threshold, the percent increases in mortality at 21 lag days were 3.9% (95% CI: 1.9%, 6.0%) and 3.4% (95% CI: 0.9%, 6.0%) for people aged over 85 years and with cardiovascular diseases, respectively. These findings may have implications for developing intervention strategies to reduce and prevent temperature-related mortality.

The effect of various temperature indicators on different mortality categories in a subtropical city of Brisbane, Australia.

BACKGROUND: The relationship between temperature and mortality has been explored for decades and many temperature indicators have been applied separately. However, few data are available to show how the effects of different temperature indicators on different mortality categories, particularly in a typical subtropical climate. OBJECTIVE: To assess the associations between various temperature indicators and different mortality categories in Brisbane, Australia during 1996-2004. METHODS: We applied two methods to assess the threshold and temperature indicator for each age and death groups: mean temperature and the threshold assessed from all cause mortality was used for all mortality categories; the specific temperature indicator and the threshold for each mortality category were identified separately according to the minimisation of AIC. We conducted polynomial distributed lag non-linear model to identify effect estimates in mortality with one degree of temperature increase (or decrease) above (or below) the threshold on current days and lagged effects using both methods. RESULTS: Akaike's Information Criterion was minimized when mean temperature was used for all non-external deaths and deaths from 75 to 84 years; when minimum temperature was used for deaths from 0 to 64 years, 65-74 years, ≥ 85 years, and from the respiratory diseases; when maximum temperature was used for deaths from cardiovascular diseases. The effect estimates using certain temperature indicators were similar as mean temperature both for current day and lag effects. CONCLUSION: Different age groups and death categories were sensitive to different temperature indicators. However, the effect estimates from certain temperature indicators did not significantly differ from those of mean temperature.

The perceived importance of mall retail categories and its effect on likelihood of purchase during a recession

Recessions impact the retail sector and as such research into consumer decision making during such times is imperative. In response to this, our study takes an innovative approach to examining how the perceived importance of retail store categories in a shopping mall influences the relationship between consumers' shopping attitudes and likelihood of purchasing in those categories during a recession. The overall findings show the importance of a product category to a consumer, which is often overlooked, has a strong explanatory influence on consumer purchase intentions for that specific retail store categories in a shopping mall under recession conditions. Findings also show that for consumers’ who have altered their shopping behaviour the perceived importance of a retail store category fully mediates the relationship for: Majors, Leisure, Food Catered and Mini Majors categories, and partial mediation for Apparel. Importance has no mediating effect for: Food Retail, General Retail, Mobile Phone Services, Home wares, and Retail Services. Our study makes a key contribution to the retail management literature with the findings suggesting that redefining and articulating the importance of the value offering for specific retail store categories can help reduce the impact of changes in consumers' recessionary shopping intentions across the mall tenant mix. Such actions can then help preserve the image of the shopping mall in the minds of the consumers when the economic recovery begins.

Cyclone intensity categories

The weather forecast centers in Australia and many other countries use a scale of cyclone intensity categories (categories 1-5) in their cyclone advisories, which are considered to be indicative of the cyclone damage potential. However, this scale is mainly based on maximum gust wind speeds. In a recent research project involving computer modeling of cyclonic wind forces on roof claddings and fatigue damage to claddings, it was found that cyclone damage not only depends on the maximum gust wind speed, but also on two other cyclone parameters, namely, the forward speed and radius to maximum winds. This paper describes the computer model used in predicting the cyclone damage to claddings and investigates the damage potential of a cyclone as a function of all the relevant cyclone parameters, based on which it attempts to refine the current scale of cyclone intensity categories.

Analysing governance categories used on project alliances in the construction industry

In Australia, collaborative contracts, and in particular, project alliances, have been increasingly used to govern infrastructure projects. These contracts use formal and informal governance mechanisms to manage the delivery of infrastructure projects. Formal mechanisms such as financial risk sharing are specified in the contract, while informal mechanisms such as integrated teams are not. Given that the literature contains a multiplicity of often untestable definitions, this paper reports on a review of the literature to operationalize the concepts of formal and informal governance. This work is the first phase of a study that will examine the optimal balance of formal and informal governance structures. Desk-top review of leading journals in the areas of construction management and business management, as well as recent government documents and industry guidelines, was undertaken to to conceptualise and operationalize formal and informal governance mechanisms. The study primarily draws on transaction-cost economics (e.g. Williamson 1979; Williamson 1991), relational contract theory (Feinman 2000; Macneil 2000) and social psychology theory (e.g. Gulati 1995). Content analysis of the literature was undertaken to identify key governance mechanisms. Content analysis is a commonly used methodology in the social sciences area. It provides rich data through the systematic and objective review of literature (Krippendorff 2004). NVivo 9, a qualitative data analysis software package, was used to assist in this process. A previous study by the authors identified that formal governance mechanisms can be classified into seven measurable categories: (1) negotiated cost, (2) competitive cost, (3) commercial framework, (4) risk and reward sharing, (5) qualitative performance, (6) collaborative multi-party agreement, and (7) early contractor involvement. Similarly, informal governance mechanisms can be classified into four measureable categories: (1) leadership structure, (2) integrated team, (3) team workshops, and (4) joint management system. This paper explores and further defines the key operational characteristics of each mechanism category, highlighting its impact on value for money in alliance project delivery. The paper’s contribution is that it provides the basis for future research to compare the impact of a range of individual mechanisms within each category, as a means of improving the performance of construction projects.

The importance of importance : its impact on decision-making in mall retail categories during an economic downturn

The study examines how, during an economic downturn, the perceived importance of the value offering of retail store categories, as identified by a major international mall operator based in Australia, influences the relationship between consumers’ shopping attitudes and likelihood of purchasing in those categories. The findings show variance in the importance pertaining to retail store categories between those that have and those that have not altered their shopping behaviour. Different mediating effects were found in the major, mini-major, leisure, apparel, and mobile phone categories, suggestive of each group having differing levels of self-interest in the value offerings of each category, thus, symptomatic of dissimilar decision-making strategies for each group. Contributions to theory and practice are discussed.

Electrophysiological responses to violations of expectation from eye gaze and arrow cues

Isolating processes within the brain that are specific to human behavior is a key goal for social neuroscience. The current research was an attempt to test whether recent findings of enhanced negative ERPs in response to unexpected human gaze are unique to eye gaze stimuli by comparing the effects of gaze cues with the effects of an arrow cue. ERPs were recorded while participants (N¼30) observed a virtual actor or an arrow that gazed (or pointed) either toward (object congruent) or away from (object incongruent) a flashing checkerboard. An enhanced negative ERP (N300) in response to object incongruent compared to object congruent trials was recorded for both eye gaze and arrow stimuli. The findings are interpreted as reflecting a domain general mechanism for detecting unexpected events.

Representation of facial expression categories in continuous arousal-valence space: Feature and correlation

Representation of facial expressions using continuous dimensions has shown to be inherently more expressive and psychologically meaningful than using categorized emotions, and thus has gained increasing attention over recent years. Many sub-problems have arisen in this new field that remain only partially understood. A comparison of the regression performance of different texture and geometric features and investigation of the correlations between continuous dimensional axes and basic categorized emotions are two of these. This paper presents empirical studies addressing these problems, and it reports results from an evaluation of different methods for detecting spontaneous facial expressions within the arousal-valence dimensional space (AV). The evaluation compares the performance of texture features (SIFT, Gabor, LBP) against geometric features (FAP-based distances), and the fusion of the two. It also compares the prediction of arousal and valence, obtained using the best fusion method, to the corresponding ground truths. Spatial distribution, shift, similarity, and correlation are considered for the six basic categorized emotions (i.e. anger, disgust, fear, happiness, sadness, surprise). Using the NVIE database, results show that the fusion of LBP and FAP features performs the best. The results from the NVIE and FEEDTUM databases reveal novel findings about the correlations of arousal and valence dimensions to each of six basic emotion categories.

Dismantling worker categories: the primary duty of care, and worker consultation, participation and representation, in the model Work Health and Safety Bill 2009

Late in 2009, the Australian Workplace Relations Ministers' Council endorsed the model Work Health and Safety Bill 2009, which is to be adopted by all Australian governments (federal, state and territory) from 01 January 2012. This paper describes and analyses two key sets of provisions in this model legislation. The first establishes a 'primary' duty of care imposed not on 'employers' but on persons conducting a business or undertaking, and owed to all kinds of workers engaged, directed or influenced by the person conducting the business or undertaking. The second encompasses broad duties on all persons conducting a business or undertaking to consult with workers who carry out work for the business or undertaking and who are directly affected by a work health and safety issue, and to facilitate the election of health and safety representatives representing all workers who carry out work for the business or undertaking. These provisions arguably make a significant contribution to solving a problem faced by occupational safety and health regulators around the world – modifying regulation to accommodate all forms of precarious work.