914 resultados para Formal concept analysis
Resumo:
In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.
Resumo:
The requirement to prove a society united by a body of law and customs to establish native title rights has been identified as a major hurdle to achieving native title recognition. The recent appeal decision of the Federal Court in Sampi on behalf of the Bardi and Jawi People v Western Australia [2010] opens the potential for a new judicial interpretation of society based on the internal view of native title claimants. The decision draws on defining features of legal positivism to inform the court’s findings as to the existence of a single Bardi Jawi society of ‘one people’ living under ‘one law’. The case of Bodney v Bennell [2008] is analysed through comparitive study of how the application of the received positivist framework may limit native title recognition. This paper argues that the framing of Indigenous law by reference to Western legal norms is problematic due to the assumptions of legal positivism and that an internal view based on Indigenous worldviews, which see law as intrinsically linked to the spiritual and ancestral connection to country, is more appropriate to determine proof in native title claims.
Resumo:
Universities in Australia and elsewhere have changed considerably in recent years. Inevitably, this has meant that the work of academics has also changed. Academics’ work is of importance because they are key players in universities and universities matter to the nation economically and intellectually in advancing knowledge and its practical application. Through the changes and challenges that have characterised academia in recent years, there is an assumption that academics’ work is representative of a profession. This research study investigates how academics construct their own perspectives regarding the academic "profession". The study is theoretically informed by Freidson’s theory that conceptualises professions as occupations if they are in control of their work rather than it being under the control of either the market or of their employing institutions. Two research questions guide this study. The first question investigates how academics might construct their work in ideal terms and the second one investigates the extent to which such constructions might constitute a "profession". A qualitative case study was conducted within two Australian universities. In all, twenty academics from ten disciplines took part in the study that consisted of a focus group and fifteen individual interviews. The study was conducted in three phases during which a conceptual framework of academics’ work was developed across three versions. This framework acted both a prompt to discussion and as a potential expression of academics’ work. The first version of the framework was developed from the literature during the first phase of the study. This early framework was used during the second phase of the study when five academics took part in a focus group. After the focus group, the second version of the framework was developed and used with fifteen academics in individual interviews during phase three of the study. The third version of the framework was the outcome of a synthesis of the themes that were identified in the data. The discussion data from the focus group and the individual interviews were analysed through a content analysis approach that identified four major themes. The first theme was that academics reported that their work would ideally be located within universities committed to using their expert knowledge to serve the world. The second theme was that academics reported that they wanted sufficient thinking time and reasonable workloads to undertake the intellectual work that they regard as their core responsibility, particularly in relation to undertaking research. They argued against heavy routine administrative workloads and sought a continuation of current flexible working arrangements. The third theme was that teaching qualifications should not be mandated but that there should be a continuation of the present practice of universities offering academics the opportunity to undertake formal teaching qualifications if they wish to. Finally, academics reported that they wanted values that have traditionally mattered to academia to continue to be respected and practised: autonomy, collegiality and collaborative relationships, altruism and service, and intellectual integrity. These themes are sympathetic to Freidson’s theory of professions in all but one matter: the non-mandatory nature of formal qualifications which he regards as absolutely essential for the performance of the complex intellectual work that characterises occupations that are professions. The study places the issue of academic professionalism on the policy agenda for universities wishing to identify academics’ work as a profession. The study contributes a theory-based and data-informed conceptual framework for academics’ work that can be considered in negotiating the nature and extent of their work. The framework provides a means of analysing what "academic professionalism" might mean; it adds specificity to such discussions by exploring a particular definition of profession, namely Freidson’s theory of professions as occupations that are in control of their own work. The study contributes to the development of theories around higher education concepts of academic professionalism and, in so doing, links that theoretical contribution to the wider professions field.
Resumo:
This research introduces a general methodology in order to create a Coloured Petri Net (CPN) model of a security protocol. Then standard or user-defined security properties of the created CPN model are identified. After adding an attacker model to the protocol model, the security property is verified using state space method. This approach is applied to analyse a number of trusted computing protocols. The results show the applicability of proposed method to analyse both standard and user-defined properties.
Resumo:
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment protocols: Visa 3D Secure and MasterCard Secure Code. The protocols use pre-registered passwords to provide card holder authentication and Secure Socket Layer/ Transport Layer Security (SSL/TLS) for data confidentiality over wired networks and Wireless Transport Layer Security (WTLS) between a wireless device and a Wireless Application Protocol (WAP) gateway. The paper presents our analysis of security properties in the proposed protocols using formal method tools: Casper and FDR2. We also highlight issues concerning payment security in the proposed protocols.
Resumo:
Engineers must have deep and accurate conceptual understanding of their field and Concept inventories (CIs) are one method of assessing conceptual understanding and providing formative feedback. Current CI tests use Multiple Choice Questions (MCQ) to identify misconceptions and have undergone reliability and validity testing to assess conceptual understanding. However, they do not readily provide the diagnostic information about students’ reasoning and therefore do not effectively point to specific actions that can be taken to improve student learning. We piloted the textual component of our diagnostic CI on electrical engineering students using items from the signals and systems CI. We then analysed the textual responses using automated lexical analysis software to test the effectiveness of these types of software and interviewed the students regarding their experience using the textual component. Results from the automated text analysis revealed that students held both incorrect and correct ideas for certain conceptual areas and provided indications of student misconceptions. User feedback also revealed that the inclusion of the textual component is helpful to students in assessing and reflecting on their own understanding.
Resumo:
Patents provide monopoly rights to patent holders. There are safeguards in patent regime to ensure that exclusive right of the patent holder is not misused. Compulsory licensing is one of the safeguards provided under TRIPS using which patent granting state may allow a third party to exploit the invention without patent holder’s consent upon terms and conditions decided by the government. This concept existed since 1623 and was not introduced by TRIPS for the first time. But this mechanism has undergone significant changes especially in post-TRIPS era. History of evolution of compulsory licensing is one of the least explored areas of intellectual property law. This paper undertakes an analysis of different phases in the evolution of the compulsory licensing mechanism and sheds light on reasons behind developments especially after TRIPS.
Resumo:
In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.
Resumo:
The thesis aims at analyzing concept of citizenship in political philosophy. The concept of citizenship is a complex one: it does not have a definitive explication, but it nevertheless is a very important category in contemporary world. Citizenship is a powerful ideal, and often the way a person is treated depends on whether he or she has the status of a citizen. Citizenship includes protection of a person’s rights both at home and abroad. It entails legal, political and social dimension: the legal status as a full member of society, the recognition of that status by fellow citizens and acting as a member of society. The thesis discusses these three dimensions. Its objective is to show how all of them, despite being insufficient in some aspects, reach something important about the concept. The main sources of the thesis are Civic Republicanism by Iseult Honohan (Routledge 2002), Republicanism by Philip Pettit (Clarendon Press 1997), and Taking Rights Seriously by Ronald Dworkin (1997). In addition, the historical part of the thesis relies mainly on the works of Aristotle, Immanuel Kant, Adam Smith, Quentin Skinner, James Pocock and James Tully. The writings of Will Kymlicka, John Rawls, Chantal Mouffe, and Shane Phelan are referred to in the presentation and critique of the liberal tradition of thought. Hannah Arendt and Seyla Benhabib’s analysis of Arendt’s philosophy both address the problematic relations between human rights and nation-states as the main guarantors of rights. The chapter on group rights relies on Peter Jones’ account of corporate and collective rights, after which I continue to Seumas Miller’s essay on the (liberal) account of group rights and their relation to the concept of citizenship. Republicanism and Political Theory (2002) edited by Cécile Laborde and John Maynor is also references. David Miller and Maurizio Viroli represent the more “rooted” version of republicanism. The thesis argues that the full concept of citizenship should be seen as containing legal, political and social dimensions. The concept can be viewed from all of these three angles. The first means that citizenship is connected with certain rights, like the right to vote or stand for election, the right to property and so on. In most societies, the law guarantees these rights to every citizen. Then there is also the social dimension, which can be said to be as important as the legal one: the recognition of equality and identities of others. Finally, there is the political dimension, meaning the importance of citizens’ participation in the society, which is discussed in connection with the contemporary account of republicanism. All these issues are discussed from the point of view of groups demanding for group-specific rights and equal recognition. The challenge with these three aspects of citizenship is, however, that they are difficult to discuss under one heading. Different theories or discourses of citizenship each approach the subject from different starting points, which make reconciling them sometimes hard. The fundamental questions theories try to answer may differ radically depending on the theory. Nevertheless, in order to get the whole image of what the citizenship discourses are about all the aspects deserve to be taken into account.
Resumo:
Published as article in: Journal of Economic Methodology, 2010, vol. 17, issue 3, pages 261-275.