Maygen: A Symbolic Debugger Generation System

With the development of high-level languages for new computer architectures comes the need for appropriate debugging tools as well. One method for meeting this need would be to develop, from scratch, a symbolic debugger with the introduction of each new language implementation for any given architecture. This, however, seems to require unnecessary duplication of effort among developers. This paper describes Maygen, a "debugger generation system," designed to efficiently provide the desired language-dependent and architecture-dependent debuggers. A prototype of the Maygen system has been implemented and is able to handle the semantically different languages of C and OPAL.

The experience of China-educated nurses working in Australia : a symbolic interactionist perspective

Transnational nurse migration is a growing phenomenon. However, relatively little is known about the experiences of immigrant nurses and particularly about non-English speaking background nurses who work in more economically developed countries. Informed by a symbolic interactionist framework, this research explored the experience of China-educated nurses working in the Australian health care system. Using a modified constructivist grounded theory method, the main source of data were 46 face to face in-depth interviews with 28 China-educated nurses in two major cities in Australia. The key findings of this research are fourfold. First, the core category developed in this study is reconciling different realities, which inserts a theoretical understanding beyond the concepts of acculturation, assimilation, and integration. Second, in contrast to the dominant discourse which reduces the experience of immigrant nurses to language and culture, this research concludes that it was not just about language and nor was it simply about culture. Third, rather than focus on the negative aspects of difference as in the immigration literature and in the practice of nursing, this research points to the importance of recognising the social value of difference. Finally, the prevailing view that the experience of immigrant nurses is largely negative belies its complexities. This research concludes that it is naïve to define the experience as either good or bad. Rather, ambivalence was the essential feature of the experience and a more appropriate theoretical concept. This research produced a theoretical understanding of the experience of China-educated nurses working in Australia. The findings may not only inform Chinese nurses who wish to immigrate but also contribute to the implementation of more effective support services for immigrant nurses in Australian health care organisations.

Foreign-currency and monetary geopolitics of United States and its effects on the future of the international system

The US dollar is still considered as the main strategic deposit among the currencies of different countries of the world and the policies of the World Bank and the International Financial Organizations have been and will always be influenced by the US economy. Despite the economic crises and commercial balance deficits in the United States, dollar has maintained its high position in and its domination over foreign exchanges and foreign-currency deposits of the countries. The novelty of the present research relies on its consideration of the political properties of the governments and the geopolitical effects of these countries on the position of their monetary and foreign-currency policies and consequently, on the international financial organizations such as the International Monetary Fund and the World Bank, which can determine the future of international economy and the political relations among countries. Our research proves that the political development of the United States and its geopolitical situation have been of the effective factors on dollar growth; and unless the competitors acquire such a relative advantage, they will not be able to seriously challenge the currency of dollar and the monetary policies of the United States, at least in a short time

Music and symbolic dynamics: the science behind an art

Music signals comprise of atomic notes drawn from a musical scale. The creation of musical sequences often involves splicing the notes in a constrained way resulting in aesthetically appealing patterns. We develop an approach for music signal representation based on symbolic dynamics by translating the lexicographic rules over a musical scale to constraints on a Markov chain. This source representation is useful for machine based music synthesis, in a way, similar to a musician producing original music. In order to mathematically quantify user listening experience, we study the correlation between the max-entropic rate of a musical scale and the subjective aesthetic component. We present our analysis with examples from the south Indian classical music system.

A representação dos atores sociais e a imagem da mulher no contexto do discurso feminista em contos de Marina Colasanti

O livro Contos de amor rasgados, de Marina Colasanti, foi publicado em 1986, década de consolidação das conquistas do movimento feminista (Pinto, 2003). O feminismo almejava uma mudança de mentalidade, mudança nas práticas sociais e nos discursos sobre a mulher (ibid.). Entretanto, a mulher nos contos é representada de forma peculiar, frustrando as expectativas de uma imagem positiva esperada de uma literatura produzida por uma autora feminista. Este estudo propõe a análise dos contos de Marina Colasanti, destacando algumas questões acerca da representação dos atores sociais em textos-contos que pretendem veicular um discurso de liberação da mulher. Para tanto, dez contos representativos do todo foram selecionados para compor o corpus e utilizou-se o sistema sociossemântico para a representação dos atores sociais proposto por van Leeuwen (1997) e a Linguística Sistêmico Funcional de Halliday (2004) como ferramentas de análise. Nosso enfoque é o da Análise Crítica do Discurso de Fairclough (1995), que tem dedicado seus estudos às mudanças sociais através dos discursos. Consideramos que o movimento feminista se inscreve em algumas mudanças. Nessa perspectiva, Bourdieu (2005) afirma que, apesar do movimento feminista, muito pouco mudou, prevalecendo, ainda, a dominação masculina e a violência simbólica. As categorias de van Leeuwen (op. cit.) da exclusão e inclusão dos atores sociais no discurso servem de instrumental para uma análise mais detalhada das relações homem-mulher, permitindo desvelar algumas questões feministas tematizadas nos contos, questões descritas por Pinto (op. cit.) e apontadas por Bourdieu (op. cit.). Os resultados da análise dos contos demonstram que a mulher ora está totalmente excluída, ora é representada como um pano de fundo (encobrimento), ora é enfraquecida (apassivada) em favor de seu marido/amante. Assim, os conflitos gerados a partir das ações do homem sobre a mulher nos contos confirmam certas preocupações do discurso feminista

Computer System for Visual Recognition Using Active Knowledge

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives an array of light intensities from a device like a television camera. It is to locate and identify the hammer if one is present. The computer must produce from the numerical "sensory data" a symbolic description that constitutes its perception of the scene. Of primary concern is the control of the recognition process. Control decisions should be guided by the partial results obtained on the scene. If a hammer handle is observed this should suggest that the handle is part of a hammer and advise where to look for the hammer head. The particular knowledge that a handle has been found combines with general knowledge about hammers to influence the recognition process. This use of knowledge to direct control is denoted here by the term "active knowledge". A descriptive formalism is presented for visual knowledge which identifies the relationships relevant to the active use of the knowledge. A control structure is provided which can apply knowledge organized in this fashion actively to the processing of a given scene.

Symbolic Mathematical Laboratory

A large computer program has been developed to aid applied mathematicians in the solution of problems in non-numerical analysis which involve tedious manipulations of mathematical expressions. The mathematician uses typed commands and a light pen to direct the computer in the application of mathematical transformations; the intermediate results are displayed in standard text-book format so that the system user can decide the next step in the problem solution. Three problems selected from the literature have been solved to illustrate the use of the system. A detailed analysis of the problems of input, transformation, and display of mathematical expressions is also presented.

Fault identification through the combination of symbolic conflict recognition and Markov Chain-aided belief revision

F. Smith and Q. Shen. Fault identification through the combination of symbolic conflict recognition and Markov Chain-aided belief revision. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 34(5):649-663, 2004.

Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

Upgrading automation for nuclear fuel in-core management: from the symbolic generation of configurations to the neural adaptation of heuristics

FUELCON is an expert system in nuclear engineering. Its task is optimized refueling-design, which is crucial to keep down operation costs at a plant. FUELCON proposes sets of alternative configurations of fuel-allocation; the fuel is positioned in a grid representing the core of a reactor. The practitioner of in-core fuel management uses FUELCON to generate a reasonably good configuration for the situation at hand. The domain expert, on the other hand, resorts to the system to test heuristics and discover new ones, for the task described above. Expert use involves a manual phase of revising the ruleset, based on performance during previous iterations in the same session. This paper is concerned with a new phase: the design of a neural component to carry out the revision automatically. Such an automated revision considers previous performance of the system and uses it for adaptation and learning better rules. The neural component is based on a particular schema for a symbolic to recurrent-analogue bridge, called NIPPL, and on the reinforcement learning of neural networks for the adaptation.

A novel neural/symbolic hybrid approach to heuristically optimized fuel allocation and automated revision of heuristics in nuclear engineering

FUELCON is an expert system for optimized refueling design in nuclear engineering. This task is crucial for keeping down operating costs at a plant without compromising safety. FUELCON proposes sets of alternative configurations of allocation of fuel assemblies that are each positioned in the planar grid of a horizontal section of a reactor core. Results are simulated, and an expert user can also use FUELCON to revise rulesets and improve on his or her heuristics. The successful completion of FUELCON led this research team into undertaking a panoply of sequel projects, of which we provide a meta-architectural comparative formal discussion. In this paper, we demonstrate a novel adaptive technique that learns the optimal allocation heuristic for the various cores. The algorithm is a hybrid of a fine-grained neural network and symbolic computation components. This hybrid architecture is sensitive enough to learn the particular characteristics of the ‘in-core fuel management problem’ at hand, and is powerful enough to use this information fully to automatically revise heuristics, thus improving upon those provided by a human expert.

Using Graphs to Visualise and Detect Anomalies in Access Control System Transactions

Physical Access Control Systems are commonly used to secure doors in buildings such as airports, hospitals, government buildings and offices. These systems are designed primarily to provide an authentication mechanism, but they also log each door access as a transaction in a database. Unsupervised learning techniques can be used to detect inconsistencies or anomalies in the mobility data, such as a cloned or forged Access Badge, or unusual behaviour by staff members. In this paper, we present an overview of our method of inferring directed graphs to represent a physical building network and the flows of mobility within it. We demonstrate how the graphs can be used for Visual Data Exploration, and outline how to apply algorithms based on Information Theory to the graph data in order to detect inconsistent or abnormal behaviour.

Instrumental Fado: a generative interactive system

Fado was listed as UNESCO Intangible Cultural Heritage in 2011. This dissertation describes a theoretical model, as well as an automatic system, able to generate instrumental music based on the musics and vocal sounds typically associated with fado’s practice. A description of the phenomenon of fado, its musics and vocal sounds, based on ethnographic, historical sources and empirical data is presented. The data includes the creation of a digital corpus, of musical transcriptions, identified as fado, and statistical analysis via music information retrieval techniques. The second part consists in the formulation of a theory and the coding of a symbolic model, as a proof of concept, for the automatic generation of instrumental music based on the one in the corpus.

Laver la patrie de la tache de l’ignorance L’État, les mineurs et les enfants de l’Équateur (1760-1845)

La métaphore de la famille a été utilisée, aussi bien à l’époque coloniale qu’à l’époque républicaine, pour illustrer le système politique idéal, la domination d’un groupe privilégié, les parents, sur une population obéissante, les enfants. Cette thèse survole les multiples facettes de la minorité en Équateur à l’époque coloniale et au début de l’époque républicaine (1760-1845), en se penchant sur les stratégies mises en place par l’État pour reléguer à un rang subalterne des individus n’appartenant pas à la catégorie raciale blanche métisse, c’est-à-dire les Indiens, les Noirs, les sang-mêlés, à travers un discours infantilisant. Elle s’intéresse aussi à la résistance d’individus refusant de se percevoir comme des mineurs et qui n’acceptaient pas l’ordre établi, les lois ou les décisions gouvernementales. En se présentant comme des parents compétents et en réclamant la patria potestad, l’autorité légale sur leurs enfants, des adultes considérés comme des enfants métaphoriques dans la grande famille patriarcale, par exemple des femmes, des pères indiens ou même des esclaves d’origine africaine, ont revendiqué plus d’autonomie pour eux, pour leurs familles, ou pour leurs communautés. Les guerres d’indépendance ont donné naissance à une république, la Grande-Colombie, et plus tard à un pays, l’Équateur. La figure symbolique du « parent » n’était plus incarnée par le roi d’Espagne et son appareil bureaucratique. Le système politique avait maintenant plusieurs « pères », membres d’un groupe restreint de Créoles qui, hier encore, se plaignaient d’être infantilisés par les Espagnols tyranniques. Les gens du peuple, en grande partie composé d’Indiens, étaient toujours considérés comme des « enfants » dans la nouvelle république. Comment expliquer que, dans une Nation désormais libre, des pans entiers de la population demeurent sous la tutelle d’hommes blancs? Une justification sera utilisée à répétition pour expliquer ce phénomène : l’ignorance du peuple et le besoin d’encadrement temporaire de celui-ci. Ainsi, s’est construit sur plus d’un siècle un véritable « mythe », celui d’une Nation en émergence où tous les citoyens seraient enfin placés sur un pied d’égalité, d’une Nation propre qu’on aurait nettoyée à l’aide d’écoles et de campagnes d’éducation populaire d’une tache tenace : celle de la Barbarie.