Acreditação de ensaios do Laboratório de Análise de Sementes da Embrapa Milho e Sorgo pela ISO/IEC 17025:2005 e obtenção do Renasem.

2009

Reasoning from Incomplete Knowledge in a Procedural Deduction System

One very useful idea in AI research has been the notion of an explicit model of a problem situation. Procedural deduction languages, such as PLANNER, have been valuable tools for building these models. But PLANNER and its relatives are very limited in their ability to describe situations which are only partially specified. This thesis explores methods of increasing the ability of procedural deduction systems to deal with incomplete knowledge. The thesis examines in detail, problems involving negation, implication, disjunction, quantification, and equality. Control structure issues and the problem of modelling change under incomplete knowledge are also considered. Extensive comparisons are also made with systems for mechanica theorem proving.

Rethinking the digital divide: from philanthropy to isonomia..

The digital divide has been, at least until very recently, a major theme in policy as well as interdisciplinary academic circles across the world, as well as at a collective global level, as attested by the World Summit on the Information Society. Numerous research papers and volumes have attempted to conceptualise the digital divide and to offer reasoned prescriptive and normative responses. What has been lacking in many of these studies, it is submitted, is a rigorous negotiation of moral and political philosophy, the result being a failure to situate the digital divide - or rather, more widely, information imbalances - in a holistic understanding of social structures of power and wealth. In practice, prescriptive offerings have been little more than philanthropic in tendency, whether private or corporate philanthropy. Instead, a theory of distributive justice is required, one that recovers the tradition of emancipatory, democratic struggle. This much has been said before. What is new here, however, is that the paper suggests a specific formula, the Rawls-Tawney theorem, as a solution at the level of analytical moral-political philosophy. Building on the work of John Rawls and R. H. Tawney, this avoids both the Charybdis of Marxism and the Scylla of liberalism. It delineates some of the details of the meaning of social justice in the information age. Promulgating a conception of isonomia, which while egalitarian eschews arithmetic equality (the equality of misery), the paper hopes to contribute to the emerging ideal of communicative justice in the media-saturated, post-industrial epoch.

Asymptotics of Perturbations to the Wave Equation

M. Hieber, I. Wood: Asymptotics of perturbations to the wave equation. In: Evolution Equations, Lecture Notes in Pure and Appl. Math., 234, Marcel Dekker, (2003), 243-252.

Getting Constitutional Theory into Proportion: A Matter of Interpretation?

Gibbs, N., Getting Constitutional Theory into Proportion: A Matter of Interpretation?, Oxford Journal of Legal Studies, 27 (1), 175-191. RAE2008

Intention and Causation in Medical Non-Killing: The impact of criminal law concepts on euthanasia and assisted suicide

null RAE2008

The Geometry of Frequency Squares

Mavron, Vassili; Jungnickel, D.; McDonough, T.P., (2001) 'The Geometry of Frequency Squares', Journal of Combinatorial Theory, Series A 96, pp.376-387 RAE2008

Demokratyzacja kultury współczesnej

Wydział Historyczny: Instytut Etnologii i Antropologii Kulturowej

Comparação quantitativa dos andares médio e inferiores da face na AGIHF

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Medicina Dentária

Efficient Hash-Consing of Recursive Types

Efficient storage of types within a compiler is necessary to avoid large blowups in space during compilation. Recursive types in particular are important to consider, as naive representations of recursive types may be arbitrarily larger than necessary through unfolding. Hash-consing has been used to efficiently store non-recursive types. Deterministic finite automata techniques have been used to efficiently perform various operations on recursive types. We present a new system for storing recursive types combining hash-consing and deterministic finite automata techniques. The space requirements are linear in the number of distinct types. Both update and lookup operations take polynomial time and linear space and type equality can be checked in constant time once both types are in the system.

Eliminating Redundant Training Data Using Unsupervised Clustering Techniques

Training data for supervised learning neural networks can be clustered such that the input/output pairs in each cluster are redundant. Redundant training data can adversely affect training time. In this paper we apply two clustering algorithms, ART2 -A and the Generalized Equality Classifier, to identify training data clusters and thus reduce the training data and training time. The approach is demonstrated for a high dimensional nonlinear continuous time mapping. The demonstration shows six-fold decrease in training time at little or no loss of accuracy in the handling of evaluation data.

Genteel revolutionaries: the lives of Anna and Thomas Haslam

The lives of Thomas and Anna Haslam were dedicated to the attainment of women's equality. They were feminists before the word was coined. In an era when respectable women were not supposed to know of the existence of prostitutes, Anna became empowered to do the unthinkable, not only to speak in public but to discuss openly matters sexual and to attack the double standard of sexuality which was enshrined in the official treatment of prostitutes. Their life-long commitment to the cause of women's suffrage never faltered, despite the repeated discouragement of the fate of bills defeated in the House of Commons. The Haslams represented an Ireland which did not survive them. While they were dedicated to the union with Westminster, they worked happily with those who applied themselves to its destruction. Although in many ways they exemplified the virtues of their Quaker backgrounds, they did not subscribe to any organised religion. Despite living in straitened circumstances, they were part of an urban intellectual elite and participated in the social and cultural life of Dublin for over fifty years. It is tempting to speculate how the Haslams would have fared in post independence Ireland. Hanna Sheehy Skeffington who had impeccable nationalist credentials, was effectively marginalised. It is likely that they would have protested against discriminatory legislation in their usual law abiding manner but, in a country which quickly developed an overwhelmingly Roman Catholic ethos, would they have had a voice or a constituency? Ironically, Thomas's teaching on chastity would have found favour with the hierarchy; his message was disseminated in a simple and more pious manner in numerous Catholic Truth Society pamphlets. The Protestant minority never sought to subvert the institutions of the state, was careful not to criticise and kept its collective head down. Dáil Éireann was not bombarded with petitions for the restoration of divorce facilities or the unbanning of birth control. Those who sought such amenities obtained them quietly 'in another jurisdiction.' Fifty years were to pass before the condom wielding 'comely maidens' erupted on to the front pages of the Sunday papers. They were, one imagines, the spiritual descendants of the militant rather than the constitutional suffrage movement. "Once and for all we need to commit ourselves to the concept that women's rights are not factional or sectional privileges, bestowed on the few at the whim of the many. They are human rights. In a society in which the rights and potential of women are constrained no man can be truly free." These words spoken by Mary Robinson as President of Ireland are an echo of the principles to which the Haslams dedicated their lives and are, perhaps, a tribute to their efforts.

Not thinking straight? A critical discourse analysis of the 2006 Irish High Court ruling in Zappone and Gilligan v. Revenue Commissioners and Attorney General

The recognition and protection of constitutional rights is a fundamental precept. In Ireland, the right to marry is provided for in the equality provisions of Article 40 of the Irish Constitution (1937). However, lesbians and gay men are denied the right to marry in Ireland. The ‘last word’ on this issue came into being in the High Court in 2006, when Katherine Zappone and Ann Louise Gilligan sought, but failed, to have their Canadian marriage recognised in Ireland. My thesis centres on this constitutional court ruling. So as to contextualise the pursuit of marriage equality in Ireland, I provide details of the Irish trajectory vis-à-vis relationship and family recognition for same-sex couples. In Chapter One, I discuss the methodological orientation of my research, which derives from a critical perspective. Chapter Two denotes my theorisation of the principle of equality and the concept of difference. In Chapter Three, I discuss the history of the institution of marriage in the West with its legislative underpinning. Marriage also has a constitutional underpinning in Ireland, which derives from Article 41 of our Constitution. In Chapter Four, I discuss ways in which marriage and family were conceptualised in Ireland, by looking at historical controversies surrounding the legalisation of contraception and divorce. Chapter Five denotes a Critical Discourse Analysis of the High Court ruling in Zappone and Gilligan. In Chapter Six, I critique text from three genres of discourse, i.e. ‘Letters to the Editor’ regarding same-sex marriage in Ireland, communication from legislators vis-à-vis the 2004 legislative impediment to same-sex marriage in Ireland, and parliamentary debates surrounding the 2010 enactment of civil partnership legislation in Ireland. I conclude my research by reflecting on my methodological and theoretical considerations with a view to answering my research questions. Author’s Update: Following the outcome of the 2015 constitutional referendum vis-à-vis Article 41, marriage equality has been realised in Ireland.

The intra-Traveller debate on ‘Traveller ethnicity’ in the Republic of Ireland. A critical discourse analysis

This dissertation assesses from an under-explored angle the enduring contention over Travellers’ ethnic recognition in the Republic of Ireland, particularly over the last decade. The novelty of this study concerns not only its specific focus on and engagement with the debate on ‘Traveller ethnicity’ among Traveller activists. It also pertains to the examination of Travellers’ arguments for and against ethnicity in light of critical theorisations as well as insights from identity politics. Furthermore, the adoption of a Critical Discourse Analytical framework offers new perspectives to this controversy and its potential implications. Finally, this thesis’ relevance extends beyond the contention on ‘Traveller ethnicity’ in itself. It also draws attention to the complex dynamics of colonisation and appropriation between the global and the local. Particularly, it points to the interplay between international human rights discourses and the local ones, formulated by NGOs struggling for equality. In this way it sheds light on more general issues such as the dialectical potential of human rights discourses: the benefits and pitfalls of framing recognition claims in the legalistic terms of human rights. In this study it is argued that the contention on ‘Traveller ethnicity’ defies a simplistic polarisation between Irish Travellers and the Irish State since it has been simultaneously played out within the Travelling community. Specifically, this study explores how ‘Traveller ethnicity’ has been introduced, embraced, promoted and contested within Traveller politics to the point of becoming a hotly debated and divisive issue among Traveller activists and at the heart of the community itself. Putting Traveller activists centre-stage, their discourses for and against ‘Traveller ethnicity’ are examined and assessed against one another and their potential implications for Traveller politics, policies and identities are pointed out. Contending discourses are historically contextualised as the product of specific structural, material and discursive configurations of power and socio-economic relations within Irish society. Discourses for and against ‘Traveller ethnicity’ are assessed as being significant beyond the representational level. They are regarded as contributing to dialectically constitute Travellers’ ways of being, representing and acting. Furthermore these discourses are considered as sites and means of power struggles, whose stakes are not only words, but relate to issues of power and leadership within the Travelling community; adjudications over material resources; the adoption of certain policy approaches over others; and, finally, the consolidation of certain subject positions over others for Travellers to draw upon and relate to mainstream society. This study highlights an ongoing ideological struggle for the naturalisation of ‘Traveller ethnicity’ as a self-evident ‘fact’, which involves no active choice by Travellers themselves. Overall, ‘Traveller ethnicity’ appears to constitute an enduring source of dilemmas for the Travelling community. These revolve around the contradictory potential of ethnicity claims-making —both its perils and advantages— and its status as a potent political strategic resource that can both challenge and reinforce existing power relations, policies and identities.

The brand-orientated play-community: toxic play in the marketplace

This ethnographic study makes a number of original contributions to the consumer identity projects and the marketplace cultures dimensions of consumer culture theory research. This study introduces the notion of the brand-orientated play-community, a novel consumption community form, which displays, as locus, a desire to play. This contributes to our understanding of the fluid relationship between subcultures of consumption, consumer tribes, and brand community. It was found that the brand-orientated play-community’s prime celebration, conceptualised as the ‘branded carnival’, displays characteristics of the archetypal carnival. The community access carnivalistic life and a world-upside-down ethos via the use and misuse of marketplace resources. The branded carnival is further supported by the community’s enactment of ‘toxic play’, which entails abnormal alcohol consumption, black market illegal resources, edgework activities, hegemonic masculinity and upsetting the public. This play-community is discussed in terms of a hyper-masculine playpen, as the play enacted has a direct relationship with the enactment of strong masculine roles. It was found that male play-ground members enact the extremes of contrasting masculine roles as a means to subvert the calculated and sedate ‘man-of-action-hero’ synthesis. Carnivals are unisex, and hence, women have begun entering the play-ground. Female members have successfully renegotiated their role within the community, from playthings to players – they have achieved player equality, which within the liminoid zone is more powerful than gender equality. However, while toxic play is essential to the maintenance of collective identity within the culture so too is the more serious form of play: the toxic sport of professional beer pong. The author conceptualises beer pong as a ‘toxic sport’, as it displays the contradictory play foundations of agon and corrupt ilinx: this is understood as a milestone step in the emergence of the postmodern sport era, in which spontaneity and the carnivalesque will dominate.