Modelo para programação visual de matrizes (MVM): uma nova abordagem para visualização, manipulação e programação de algoritmos matriciais.

Para muitos usuários, a programação visual é uma alternativa atrativa às linguagens de programação textuais. Uma das razões para esta atração é que a representação visual de um problema está muito mais próxima com a forma pela qual a solução é obtida ou entendida se comparada à representação textual. Este trabalho apresenta um modelo para a programação visual de matrizes baseado nos paradigmas de fluxo de dados e planilhas eletrônicas. O fluxo de dados e a planilha forma a base semântica da linguagem, enquanto as representações gráficas do grafo direcionado e de uma planilha fundamentam sua base sintática. Este modelo consiste em um conjunto de diagramas bidimensionais e de regras de transformação. Os processos são implementados como redes de fluxo de dados e os dados são representados por planilhas. As planilhas podem ser vistas como variáveis do tipo matriz que armazenam dados bidimensionais, ou como funções, que recebem e produzem valores utilizados por outros processos. Neste caso, as planilhas são programadas seguindo o paradigma de programação por demonstrações que incorporam um poderoso construtor de interação, reduzindo significativamente a utilização de recursos e repetições. O modelo proposto pode ser utilizado em diversos domínios de aplicação, principalmente para simplificar a construção de modelos matemáticos de simulação e análise estatística.

AINFO - versão 5.0: manual on-line.

O AINFO é um sistema para automação de bibliotecas e recuperação de informação, desenvolvimento em padrão Windows, com arquitetura cliente/servidor baseada no sistema gerenciador de banco de dados relacional Firebird. Pemite o gerenciamento de informação técnico-científica, integrando bases de dados documentais, cadastrais e processos bibliográficos através do armazenamento, atualização, indexação e recuperação de informação de forma simples e rápida, utilizando não apenas recursos de um istema gerenciador de banco de dados, como controle de concorrência e manutenção de integridade das bases de dados, mas também oferecendo facilidades de recuperação de informação textual não disponíveis nesses sistemas.

An integrated firewall policy validation tool.

Security policies are increasingly being implemented by organisations. Policies are mapped to device configurations to enforce the policies. This is typically performed manually by network administrators. The development and management of these enforcement policies is a difficult and error prone task. This thesis describes the development and evaluation of an off-line firewall policy parser and validation tool. This provides the system administrator with a textual interface and the vendor specific low level languages they trust and are familiar with, but the support of an off-line compiler tool. The tool was created using the Microsoft C#.NET language, and the Microsoft Visual Studio Integrated Development Environment (IDE). This provided an object environment to create a flexible and extensible system, as well as simple Web and Windows prototyping facilities to create GUI front-end applications for testing and evaluation. A CLI was provided with the tool, for more experienced users, but it was also designed to be easily integrated into GUI based applications for non-expert users. The evaluation of the system was performed from a custom built GUI application, which can create test firewall rule sets containing synthetic rules, to supply a variety of experimental conditions, as well as record various performance metrics. The validation tool was created, based around a pragmatic outlook, with regard to the needs of the network administrator. The modularity of the design was important, due to the fast changing nature of the network device languages being processed. An object oriented approach was taken, for maximum changeability and extensibility, and a flexible tool was developed, due to the possible needs of different types users. System administrators desire, low level, CLI-based tools that they can trust, and use easily from scripting languages. Inexperienced users may prefer a more abstract, high level, GUI or Wizard that has an easier to learn process. Built around these ideas, the tool was implemented, and proved to be a usable, and complimentary addition to the many network policy-based systems currently available. The tool has a flexible design and contains comprehensive functionality. As opposed to some of the other tools which perform across multiple vendor languages, but do not implement a deep range of options for any of the languages. It compliments existing systems, such as policy compliance tools, and abstract policy analysis systems. Its validation algorithms were evaluated for both completeness, and performance. The tool was found to correctly process large firewall policies in just a few seconds. A framework for a policy-based management system, with which the tool would integrate, is also proposed. This is based around a vendor independent XML-based repository of device configurations, which could be used to bring together existing policy management and analysis systems.

Amoral Gower: Language, Sex and Politics

Watt, D. (2003). Amoral Gower: Language, Sex and Politics. Medievil Cultures Series, volume 38. Minneapolis: University of Minnesota Press. RAE2008

Medieval Women's Writing

Watt, P., Medieval Women's Writing (Cambridge: Polity Press, 2007) RAE2008

?This is not for you?: Nihilism and the House that Jacques Built

Slocombe, William, '?This is not for you?: Nihilism and the House that Jacques Built', Modern Fiction Studies (2005) 51 (1) pp.88-109 RAE2008

Littered with meaning: The problem of sign pollution in postmodern, post-structuralist, and ecocritical thought

Slocombe, W. (2005). Littered with meaning: The problem of sign pollution in postmodern, post-structuralist, and ecocritical thought. Textual Practice. 19 (4), 493-508. RAE2008

A Cult Film by Proxy: Space is the Place and the Sun Ra Mythos

Sexton, J. (2006). A Cult Film by Proxy: Space is the Place and the Sun Ra Mythos. New Review of Film and Television Studies. 4(3), pp.197-215. RAE2008

Constructing Visual Taxonomies by Shape

Cook, Anthony; Gibbens, M.J., (2006) 'Constructing Visual Taxonomies by Shape', 18th International Conference on Pattern Recognition (ICPR'06) Volume 2, pp. 732 - 735 RAE2008

An ambiguity-based theory of the linguistic verbal joke in English

Instytut Filologii Angielskiej

Antyk w prozie J. R. R. Tolkiena

Tolkien’s oeuvre and its problematic relationships with classical tradition serve in my paper as an illustration of the diverse approaches, methods, and styles of lecture concerning the nature of literary allusivity. As a point of departure in the paper has been taken the reflection on the common phrase about “antiquity in something” deployed broadly in the reception studies. T he questions raised here are as follows: what does precisely “in” mean in that metaphor? O r, to put it in more general terms, when an allusion to another text can be treated as an inherent part of interpretation? Answer to these questions was possible due to U mberto E co’s statements in the well-known dispute relating to the interpretation and overinterpretation; in conclusion I was trying to show that his criterion of textual economy in interpretation justifies somehow (as I believe) the new look on the essential T olkien’s symbol, i.e. the ring of power, as a symbol of the R oman imperial rule. This means (in the context of the translatio imperii and cultural change from pagan to Christian empire) that The Lord of the Rings can be seen in a way as a novelistic version of Augustine’s The City of God.

Wergiliusz jako twórca labiryntu

Romani antiqui putabant litteras aedificiis similes esse. Nonnulli scriptores Latini tali modo metaphoras suas composuerunt, ut descriptio aedificii una cum descriptione operis poetici esset. Aeneis etiam effigiem suam continet, quae est ecphrasis portae templi Apollinis. In fabulam Aeneae Vergilius fabulam Daedali introduxit, quae diu doctis ad nihil pertinere videbatur. Falsissime quidem, quia non solum coniunctio fabularum exsistit, sed etiam multae sunt causae fabulae Daedali hoc loco imponendae. Imprimis caelamen monstrat multos casus ex vita Daedali et Aeneae similes fuisse, deinde ostendere Daedalum creatorem hibridarum esse videtur. Aeneis etiam hibrida est, quia constat ex duabus partibus, quae sunt, ut ita dicam, „pars Odysseica” et „pars Iliadica”. Utri (Daedalus Vergiliusque scilicet) sunt ergo creatores hibridarum. Maximi momenti est quaestio: quis dicit “miserum!” in hac parte poematis? Auctrix commentationis censet illum clamantem Vergilium esse, quia poeta constructorem „alter ego” suum esse credebat. Auctrix scripsit etiam imaginem illam, in qua caelata est fabula de Minotauro sine Theseo, viam esse pietatis Aeneae minuendae. Scripsit verba illa quoque opinionem Vergilii de natura poesis et vocem Augusti absconditam esse.

O Estágio como cenário de prospecção, desenvolvimento e concepção de um Manual de Procedimentos da Rede Concelhia de Bibliotecas Escolares

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências da Informação e da Documentação.

The Practice and Understanding of the Eucharist in the United Church of Christ: A Practical Theological Study

This dissertation explores the complexity of the understanding and practice of the Eucharist in the United Church of Christ as revealed in a textual analysis of the UCC Book of Worship (1986) and a qualitative study of five representative UCC congregations. Little has been written on this topic, save for several brief articles on the history of the theology of the sacrament in the two bodies that merged to form the UCC in 1957: the Congregational Christian Churches (CC) and the Evangelical and Reformed Church (E&R). This dissertation advances the topic through a practical-theological study that brings into critical conversation contemporary eucharistic practices in five congregations and a historical theological analysis of liturgical traditions in the UCC and antecedent denominations. Through this conversation, the study articulates common themes of a UCC eucharistic theology and explores implications for ongoing theology and practice in the denomination. The introduction explicates the methodology employed in this study, guided by Don Browning's work. The first two chapters present the findings of the focus group interviews and an interpretation of those results respectively. Chapter three analyzes the eucharistic liturgies in three historic books of worship used in the E&R heritage. In chapter four, two of the antecedent resources utilized in the CC tradition are analyzed. The short-lived Hymnal of the United Church of Christ, published in 1974, includes liturgies that would find fuller expression in the 1986 Book of Worship. That hymnal is examined in chapter five. Chapter six interprets the two services of "Word and Sacrament" found in the Book of Worship. Chapter seven offers a comparative analysis of the focus group findings and the theology inherent in the Book of Worship. The final chapter offers strategic recommendations for revised theory and practice. The conclusion points toward areas for further research: it propels a critical conversation around the notion of covenant, Christ's presence in the meal, and who can receive and officiate at the Eucharist. This dissertation concludes that the UCC lives within a balance of multiple, complementary theologies and challenges the denomination to make stronger connections between the meal and mission, reconciliation, and tradition.

Godwin, Fénelon, and the disappearing teacher

The connection between Godwin and Fénelon has traditionally been restricted to the famous and controversial moment in the first edition of Political Justice (1793) in which Godwin presents an example of the interdependence of rationality and ethical action. This paper argues, however, that Fénelon, and particularly his political and educational treatise Telemachus (1699), plays a significant role in a number of Godwin's subsequent fictional works. Employing Telemachus to explore the theories of education presented by Godwin in the various editions of Political Justice and The Enquirer (1797), this paper explores the manner in which Godwin's version of the Enlightenment transcendence of pedagogical power comes up against its limits. Reading this issue in relation to Godwin's argument, in ‘Of Choice in Reading’, that literature remains outside of socio-ethical corruption, three of Godwin's major novels are shown to demonstrate that Telemachus provides the chance for meta-textual moments in which the appeal to reason (the reader's rational capacity or ‘private judgement’) is at once reflected upon and produced. Reading educational theories and problems into Godwin's major fiction in this fashion helps to clarify aspects of the Godwinian (or ‘Jacobin’) novel.