24 resultados para formal analysis

em Deakin Research Online - Australia


Relevância:

60.00% 60.00%

Publicador:

Resumo:

Apart from a few disparaging remarks about offensive stereotypes by Anglo-Indian writers and politicians such as Gloria Jean Moore, Frank Anthony and Gillian Hart, critics have paid very little attention to the representation of “mixed-race” Anglo-Indians in the cinema. Drawing on screen theory and recent theories of cinema spectatorship, this essay provides a comparative analysis of how Hollywood, Bollywood and arthouse films represent Anglo-Indians. More specifically, it analyses three paradigmatic films: Bhowani Junction (1956), Julie (1975), and 36 Chowringhee Lane (1981). Combining formal analysis of narrative structure, mise-en-scegravene and genre with historical analysis, the paper examines the ideological work performed by these texts, which use Anglo-Indians to dramatise specific political conflicts in India such as those generated by the British partition of India in 1947 and the more recent issue of globalisation.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

During knowledge acquisition multiple alternative potential rules all appear equally credible. This paper addresses the dearth of formal analysis about how to select between such alternatives. It presents two hypotheses about the expected impact of selecting between classification rules of differing levels of generality in the absence of other evidence about their likely relative performance on unseen data. It is argued that the accuracy on unseen data of the more general rule will tend to be closer to that of a default rule for the class than will that of the more specific rule. It is also argued that in comparison to the more general rule, the accuracy of the more specific rule on unseen cases will tend to be closer to the accuracy obtained on training data. Experimental evidence is provided in support of these hypotheses. We argue that these hypotheses can be of use in selecting between rules in order to achieve specific knowledge acquisition objectives.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Network coding has shown the promise of significant throughput improvement. In this paper, we study the throughput of two-hop wireless network coding and explore how the maximum throughput can be achieved under a random medium access scheme. Unlike previous studies, we consider a more practical network where the structure of overhearing status between the intended receivers and the transmitters is arbitrary. We make a formal analysis on the network throughput using network coding upon the concept of network coding cliques (NCCs). The analysis shows that the maximum normalized throughput, subject to fairness requirement, is n/n+m, where n is the number of transmitters and m is the number of NCCs in a 2-hop wireless network. We have also found that this maximum throughput can be achieved under a random medium access scheme when the medium access priority of the relay node is equal to the number of NCCs in the network. Our theoretical findings have been validated by simulation as well.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

 Network coding has shown the promise of significant throughput improvement. In this paper, we study the network throughput using network coding and explore how the maximum throughput can be achieved in a two-way relay wireless network. Unlike previous studies, we consider a more general network with arbitrary structure of overhearing status between receivers and transmitters. To efficiently utilize the coding opportunities, we invent the concept of network coding cliques (NCCs), upon which a formal analysis on the network throughput using network coding is elaborated. In particular, we derive the closed-form expression of the network throughput under certain traffic load in a slotted ALOHA network with basic medium access control. Furthermore, the maximum throughput as well as optimal medium access probability at each node is studied under various network settings. Our theoretical findings have been validated by simulation as well.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has practical benefit in analysing the structure and semantics of malware, or for identifying software defects in closed source software. In this paper we describe how an executable program is disassembled and translated to the Wire intermediate language. We define the formal syntax and operational semantics of Wire and discuss our justifications for its language features. We use Wire in our previous work Malwise, a malware variant detection system. We also examine applications for when a formally defined intermediate language is given. Our results include showing the semantic equivalence between obfuscated and non obfuscated code samples. These examples stem from the obfuscations commonly used by malware.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The assessment of children in their years before school and their first years of school has been, traditionally, informal. Further, assessment of children's mathematical skills at this level has been infrequent compared to social, emotional and physical assessments. However, there are contexts where reliable, valid, standardised data from assessment in mathematics are required. This paper outlines the development of two assessment tools for mathematics that were originally developed for such contexts. Item Response Theory (IRT) analyses enabled the construction of assessment forms that address the range of abilities of 4- to 8-year-old children, and provided the scales used for constructing formative and summative reports of achievement. A description of the development of the assessment tools and the IRT analysis that provides the reporting formats are presented together with some research uses of the tools.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper provides a fonnal ranking of the popularity of financial ratios in modeling corporate collapse. The analysis identified 48 financial ratios and ranked them according to their usefulness as portrayed in 53 studies that have utilized such ratios in modeling corporate collapse. The methodologies adopted in those studies are predominantly of the "multivariate" type. The 53 studies extend from 1966 to 2002, inclusive.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Attempts to increase public participation in heritage related activities have had mixed success. Tourism to heritage sites remains an overt activity that many engage in, but other heritage related activities, such as nominating objects for formal heritage listing, are much rarer. Through a series of qualitative research activities, we examine the public perceptions of what constitutes "heritage" and "heritage - related" behaviours, in order to examine barriers to greater involvement. The findings are that heritage is important to many people, particularly on a personal level. Although initially uncertain about the validity of their views, our respondents defined heritage broadly, believing it to encompass a wide range of objects, places and experiences. Most respondents were undertaking the type of heritage-related behaviours that heritage managers would encourage, however the respondents did not recognise them as being heritage-related. Barriers to greater involvement include this uncertainty over the definition of heritage and a lack of confidence in their ability to effectively recognise and protect heritage. In addition to feeling uncertain about the heritage significance of their own actions and beliefs, the respondents felt even more uncertain about prescribing things of "national heritage value". This uncertainty stifles discussion and action. The solution appears to lay in celebrations of both individual and national heritage, to foster discussions and understanding of communalities across different cultural groups within the nation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Security protocols have been recently found with subtle flaws due to incomplete or ambiguous specification. Although formal methods have remarkably assisted in protocol analysis, they ignores the effect of hostile/uncertain environment, which might lead to inconsistent belief that can be held by principals in delivered messages. This discrepant belief may prevent us from representing the insecurity and uncertainty in a real trading situation. Unfortunately, the current approaches lack the ability to handle the inconsistent belief. This article presents a probabilistic method, which intuitively measures the belief from different principals that can be put on the goal of the protocol. The experiments demonstrate our method is useful to enhance the protocol analysis.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objective To describe the diagnostic performance of SolarScan (Polartechnics Ltd, Sydney, Australia), an automated instrument for the diagnosis of primary melanoma.

Design Images from a data set of 2430 lesions (382 were melanomas; median Breslow thickness, 0.36 mm) were divided into a training set and an independent test set at a ratio of approximately 2:1. A diagnostic algorithm (absolute diagnosis of melanoma vs benign lesion and estimated probability of melanoma) was developed and its performance described on the test set. High-quality clinical and dermoscopy images with a detailed patient history for 78 lesions (13 of which were melanomas) from the test set were given to various clinicians to compare their diagnostic accuracy with that of SolarScan.

Setting Seven specialist referral centers and 2 general practice skin cancer clinics from 3 continents. Comparison between clinician diagnosis and SolarScan diagnosis was by 3 dermoscopy experts, 4 dermatologists, 3 trainee dermatologists, and 3 general practitioners.

Patients Images of the melanocytic lesions were obtained from patients who required either excision or digital monitoring to exclude malignancy.

Main Outcome Measures Sensitivity, specificity, the area under the receiver operator characteristic curve, median probability for the diagnosis of melanoma, a direct comparison of SolarScan with diagnoses performed by humans, and interinstrument and intrainstrument reproducibility.

Results The melanocytic-only diagnostic model was highly reproducible in the test set and gave a sensitivity of 91% (95% confidence interval [CI], 86%-96%) and specificity of 68% (95% CI, 64%-72%) for melanoma. SolarScan had comparable or superior sensitivity and specificity (85% vs 65%) compared with those of experts (90% vs 59%), dermatologists (81% vs 60%), trainees (85% vs 36%; P =.06), and general practitioners (62% vs 63%). The intraclass correlation coefficient of intrainstrument repeatability was 0.86 (95% CI, 0.83-0.88), indicating an excellent repeatability. There was no significant interinstrument variation (P = .80).

Conclusions SolarScan is a robust diagnostic instrument for pigmented or partially pigmented melanocytic lesions of the skin. Preliminary data suggest that its performance is comparable or superior to that of a range of clinician groups. However, these findings should be confirmed in a formal clinical trial.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper examines the literature relevant to an analysis of gender and discourse in police organisations with a view to testing it through research. Much of the literature on policing can be divided into four key topic areas: the features and construction of police culture; women’s integration into policing; organisational structures and styles of police leadership; and debates about the nature of police work. An examination of the literature has revealed a deficiency of research in discourses within policing and in particular, the impact of discourses on gender and police training. Assumptions underpinning the research project and supported by literature include: formal and informal structures and practices within organisations produce and reproduce gender relations; power, gender relations and masculinity are characteristics of police culture; discourses are products and resources of interactions which establish particular truths; and police organisations have been slow to respond to anti-discrimination legislation and to integrate women into police services. Critical to any analysis of culture, power, gender, discourses, difference, and subjectification is the dynamic and complex nature of culture. Applying Shearing’s and Ericson’s definition of culture as ‘figurative logic’ has resonance in police organisations where symbols, rhetoric and metaphors function as vehicles for discourses.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Security protocol analysis has been discussed for quite some time in the past few years. Although formal methods have been widely used to identify various vulnerabilities, mainly susceptibility to freshness attacks and impersonation, the arisen inconsistent data between principals and collusion attacks held by a group of dishonest principals have been largely ignored. Moreover, the previous methods focus on reasoning about certain security-related properties and detecting known attacks against secure message, whereas there have been insufficient efforts to handle the above hidden but powerful attacks. In this paper, we address these critical issues and prove the efficiency and intuitiveness of rule-based dependency models in defending a protocol against the attacks. This is able to provide a numerical estimation to measure he occurrence of these attacks. It will be useful in enhancing the current protocol analysis.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Requirements engineering is a commencing phase in the development of either software applications or information systems. It is concerned with understanding and specifying the customer's requirements of the system to be delivered. Throughout the literature, this is agreed to be one of the most crucial and, unfortunately, problematic phases in development. Despite the diversity of research directions, approaches and methods, the question of process understanding and management is still limited. Among contemporary approaches to the improvement of the current practice of Requirements Engineering, Formal Object-Oriented Method (FOOM) has been introduced as a new promising solution. The FOOM approach to requirements engineering is based on a synthesis of socio-organisational theory, the object-oriented approach, and mathematical formal specification. The entire FOOM specification process is evolutionary and involves a large volume of changes in requirements. During this process, requirements evolve through various forms of informal, semi-formal, and formal while maintaining a semantic link between these forms and, most importantly, conforming to the customer's requirements. A deep understanding of the complexity of the requirements model and its dynamics is critical in improving requirements engineering process management. This thesis investigates the benefits of documenting both the evolution of the requirements model and the rationale for that evolution. Design explanation explains and justifies the deliberations of, and decisions made during, the design activity. In this thesis, design explanation is used to describe the requirements engineering process in order to improve understandability of, and traceability within, the evolving requirements specification. The design explanation recorded during this research project is also useful in assisting the researcher in gaining insights into the creativity and opportunistic characteristics of the requirements engineering process. This thesis offers an interpretive investigation into incorporating design explanation within FOOM in order to extend and advantage the method. The researcher's interpretation and analysis of collected data highlight an insight-driven and opportunistic process rather than a strictly and systematically predefined one. In fact, the process was not smoothly evolutionary, but involved occasional 'crisis' points at which the model was reconceptualised, simplified and restructured. Therefore, contributions of the thesis lie not only in an effective incorporation of design explanation within FOOM, but also a deep understanding of the dynamic process of requirements engineering. The new understanding of the complexity of the requirements model and its dynamics suggests new directions for future research and forms a basis for a new approach to process management.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

An efficient formal synthesis of hyphodermin B 1, a metabolite of Hyphoderma radula, has been completed in 15% overall yield. The tricyclic carbon skeleton 3 was rapidly assembled from a novel vinyl enone via a Diels−Alder reaction, followed by dehydrogenation and anhydride formation. Selective reduction of anhydride 3 with LiAlH(t-BuO)3 gave hyphodermin B 1 in 99% yield. The structure of hyphodermin B 1 was confirmed by X-ray crystallographic analysis. The anhydride 3, bearing a γ-carbonyl group, displayed unexpected reactivity with the anhydride carbonyl closest to the γ-ketone being the most electrophilic site. This was confirmed by HF/6-31G* calculations. In the presence of base, 3 underwent a rearrangement to the novel lactone 16.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper commences with an overview of the Vietnamese financial sector and a survey of the main reforms to this sector implemented since the late 1980s. A descriptive analysis is then provided, which compares some key characteristics of pre- and post-financial reform borrowing and savings activities using the Vietnam Living Standard Surveys of 1992/93 and 1997/98.