Trajectory Mapping ("TM''): A New Non-Metric Scaling Technique

Trajectory Mapping "TM'' is a new scaling technique designed to recover the parameterizations, axes, and paths used to traverse a feature space. Unlike Multidimensional Scaling (MDS), there is no assumption that the space is homogenous or metric. Although some metric ordering information is obtained with TM, the main output is the feature parameterizations that partition the given domain of object samples into different categories. Following an introductory example, the technique is further illustrated using first a set of colors and then a collection of textures taken from Brodatz (1966).

Dependency-Directed Localization of Software Bugs

Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest region of the program that manifests the bug is found. The Debugging Assistant (DEBUSSI) localizes bugs by reasoning about logical dependencies. DEBUSSI manipulates the assumptions that underlie a bug manifestation, eventually localizing the bug to one particular assumption. At the same time, DEBUSSI acquires specification information, thereby extending its understanding of the buggy program. The techniques used for debugging fully implemented code are also appropriate for validating partial designs.

Dependency Directed Reasoning for Complex Program Understanding

Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information from its experience. [Sussman, 1975] produced such a system for a 'mini-world'; but truly intelligent programs must be considerably more complex. A crucial stepping stone in AI research is the development of a system which can understand complex programs well enough to modify them. There is also a complexity barrier in the world of commercial software which is making the cost of software production and maintenance prohibitive. Here too a system which is capable of understanding complex programs is a necessary step. The Programmer's Apprentice Project [Rich and Shrobe, 76] is attempting to develop an interactive programming tool which will help expert programmers deal with the complexity involved in engineering a large software system. This report describes REASON, the deductive component of the programmer's apprentice. REASON is intended to help expert programmers in the process of evolutionary program design. REASON utilizes the engineering techniques of modelling, decomposition, and analysis by inspection to determine how modules interact to achieve the desired overall behavior of a program. REASON coordinates its various sources of knowledge by using a dependency-directed structure which records the justification for each deduction it makes. Once a program has been analyzed these justifications can be summarized into a teleological structure called a plan which helps the system understand the impact of a proposed program modification.

Redox cycling of Ni-YSZ anode investigated by TPR technique

Effect of redox cycling on a Ni-YSZ anode prepared from 50 wt.% NiO and 50 wt.% YSZ was investigated by using temperature-programmed reduction (TPR), XRD and SEM techniques. XRD results showed that NiO was formed during re-oxidation. Both the XRD and TPR results depicted that the conversion of nickel to NiO depended on the re-oxidation temperature. The oxidation of Ni to NiO occurred quickly in the initial several minutes and then reached a quasi equilibrium. The TPR profiles tracing the redox cycling showed that it brought continuous changes in the NiO micro-structure at 800 degrees C, whereas at 600 degrees C it had only little effects on the reduction of NiO. Re-oxidation resulted in the formation of spongy aggregates of NiO crystallites. Redox cycling at 800 degrees C led to a continuous decrease in the primary crystallite size of NiO and a high dispersion of the Ni particles. A continuous expansion of the slice sample was observed in both of the oxidized and reduced states during the redox cycling at 800 degrees C, whereas this process did not occur during the redox cycling at 600 degrees C. (c) 2005 Elsevier B.V All rights reserved.

Critical incident technique and explicitation interviewing in studies of information behavior

Urquhart, C., Light, A., Thomas, R., Barker, A., Yeoman, A., Cooper, J., Armstrong, C., Fenton, R., Lonsdale, R. & Spink, S. (2003). Critical incident technique and explicitation interviewing in studies of information behavior. Library and Information Science Research, 25(1), 63-88. Sponsorship: JISC (for JUSTEIS element)

Imaging as a technique for assessment and control in the field

C.R. Bull, R. Zwiggelaar and J.V. Stafford, 'Imaging as a technique for assessment and control in the field', Aspects of Applied Biology 43, 197-204 (1995)

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

Radio tomography: A new experimental technique

Pryse, Sian, 'Radio tomography: A new experimental technique', Surveys in Geophysics (2003) 24 pp.1-38 RAE2008

Molecular analysis of the anaerobic rumen fungus Orpinomyces - insights into an AT-rich genome

Matthew J. Nicholson, Michael K. Theodorou and Jayne L. Brookman. (2005). Molecular analysis of the anaerobic rumen fungus Orpinomyces - insights into an AT-rich genome. Microbiology, 151 (1), 121-133. Sponsorship: BBSRC RAE2008

Constructivist Character of the Technique of Role-Playing Games and its Autonomizing Values in the Glottodidactic Process

To Augustyn Surdyk numerous assumptions of constructivism and constructionism in the educational context seem to correspond with the idea of autonomisation in foreign language didactics. He presents a comparison of selected aspects of the three theories in question on the example of an innovative communicative technique of Role-Playing Games applied in the process of teaching foreign languages at an advanced level. The conventions of the technique with its simplified rules have been borrowed from popular parlour games and adapted by the author to the conditions of language didactics. The elements of play and simulation incorporated in the technique allow it to be rated among techniques of ludic strategy. (from Preface to the book)

Rorty's Elective Affinities. The New Pragmatism and Postmodern Thought

The present book is devoted to "European connections of Richard Rorty's neopragmatism". The theme, chosen carefully and intentionally, is supposed to show the motivation behind the writing of the present work, as well as to show its intended extent. Let us consider briefly the first three parts of the theme, to enlighten a little our intentions. "European" is perhaps the most important description for it was precisely that thread that was most important to me, being the only context seriously taken into account, as I assumed right from the start that I would not be writing about rather more widely unknown to me - and much less fascinating (even to Rorty, the hero of the story) from my own, traditional, Continental philosophical perspective - American analytic philosophy. So accordingly I have almost totally skipped "American" connections (to use the distinction I need here) of Rorty's philosophy, that is to say, firstly, a years-long work within analytic philosophy, secondly struggles with it on its own grounds, and finally attempts to use classical American, mainly Deweyan, pragmatism for his own needs and numerous polemics associated with it - the questions that are far away from my interests and that arise limited interest among reading and writing philosophical audience in Poland, and perhaps also among Continental philosophers. It did not seem possible to me to write a book on Rorty in his American connections for they are insufficiently known to me, demanding knowledge of both post-war American analytic philosophy as well as pragmatism of its father-founders. I could see, setting to work on Richard Rorty, that a book on his American connections (leaving aside the issue that it would not be a philosophical problem but rather, let us say, the one of writing a monograph) written by a Polish philosopher in Poland and then in the USA was not a stimulating intellectual challenge but rather a thankless working task. Besides, having spent much time on Rorty's philosophy, writing extensively about him and translating his works, I already knew that the "Continental" context was extremely important to his neopragmatism, and that thinking about it could be relatively prolific (as opposed to the context potentially given by American philosophy).

Antropologia e psicoterapia

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Sociais, especialidade em Antropologia

Towards Eco-Dharma: The Contribution of Gandhian Thought to Ecological Ethics in India

Ecological concern prompts poor and indigenous people of India to consider how a society can ensure both protection of nature and their rightful claim for a just and sustainable future. Previous discussions defended the environment while ignoring the struggles of the poor for sustenance and their religious traditions and ethical values. Mohandas Karamchand Gandhi addressed similar socio-ecological concerns by adopting and adapting traditional religious and ethical notions to develop strategies for constructive, engaged resistance. The dissertation research and analysis verifies the continued relevance of the Gandhian understanding of dharma (ethics) in contemporary India as a basis for developing eco-dharma (eco-ethics) to link closely development, ecology, and religious values. The method of this study is interpretive, analytical, and critical. Françoise Houtart’s social analytical method is used to make visible and to suggest how to overcome social tensions from the perspective of marginalized and exploited peoples in India. The Indian government's development initiatives create a nexus between the eco-crisis and economic injustice, and communities’ responses. The Chipko movement seeks to protect the Himalayan forests from commercial logging. The Narmada Bachao Andolan strives to preserve the Narmada River and its forests and communities, where dam construction causes displacement. The use of Gandhian approaches by these movements provides a framework for integrating ecological concerns with people's struggles for survival. For Gandhi, dharma is a harmony of satya (truth), ahimsa (nonviolence), and sarvodaya (welfare of all). Eco-dharma is an integral, communitarian, and ecologically sensitive ethical paradigm. The study demonstrates that the Gandhian notion of dharma, implemented through nonviolent satyagraha (firmness in promoting truth), can direct community action that promotes responsible economic structures and the well-being of the biotic community and the environment. Eco-dharma calls for solidarity, constructive resistance, and ecologically and economically viable communities. The dissertation recommends that for a sustainable future, India must combine indigenous, appropriate, and small- or medium-scale industries as an alternative model of development in order to help reduce systemic poverty while enhancing ecological well-being.

A New Lower Bound Technique for Quantum Circuits without Ancillae

We present a technique to derive depth lower bounds for quantum circuits. The technique is based on the observation that in circuits without ancillae, only a few input states can set all the control qubits of a Toffoli gate to 1. This can be used to selectively remove large Toffoli gates from a quantum circuit while keeping the cumulative error low. We use the technique to give another proof that parity cannot be computed by constant depth quantum circuits without ancillæ.