An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Effectiveness of combined sharing and freeness analysis using abstract interpretation

This paper presents improved unification algorithms, an implementation, and an analysis of the effectiveness of an abstract interpreter based on the sharing + freeness domain presented in a previous paper, which was designed to accurately and concisely represent combined freeness and sharing information for program variables. We first briefly review this domain and the unification algorithms previously proposed. We then improve these algorithms and correct them to deal with some cases which were not well analyzed previously, illustrating the improvement with an example. We then present the implementation of the improved algorithm and evaluate its performance by comparing the effectiveness of the information inferred to that of other interpreters available to us for an application (program parallelization) that is common to all these interpreters. All these systems have been embedded in a real parallelizing compiler. Effectiveness of the analysis is measured in terms of actual final performance of the system: i.e. in terms of the actual speedups obtained. The results show good performance for the combined domain in that it improves the accuracy of both types of information and also in that the analyzer using the combined domain is more effective in the application than any of the other analyzers it is compared to.

A RECEPÇÃO DA TEOLOGIA DE DIETRICH BONHOEFFER NA AMÉRICA LATINA

Ao escolher o tema A recepção da teologia de Bonhoeffer na América Latina, a intenção é problematizar a influência exercida pelo teólogo alemão Dietrich Bonhoeffer na teologia latino-americana, tratando-se do aporte de seus textos em solo latinoamericano, mas também de sua leitura, seleção e re-escritura crítica até nossos dias, quando completamos um século de seu nascimento. A investigação propõe-se a visibilizar o que em sua mensagem e/ou biografia, e de que forma, entusiasmou uma geração de jovens teólogos(as) protestantes e católicos latino-americanos(as), a partir de meados do século XX. Tomou-se por lócus fundamental à Escola Superior de Teologia (EST), da IECLB, ao ecumênico Instituto Superior Evangélico de Estudos Teológicos (ISEDET), de Buenos Aires, Argentina, também a um organismo para-eclesiástico, a Igreja e Sociedade na América Latina (ISAL). A base material privilegiada foi a produção teológica registrada em suas coleções de revistas periódicas, respectivamente, Estudos Teológicos, Cuadernos de Teología e Cristianismo y Sociedad. No entanto, também são analisadas algumas obras de teólogos católicos, dentre eles, Gustavo Gutiérrez, Jon Sobrino, Juan Luis Segundo e Frei Betto; textos referenciais que trazem à luz sua influência sobre a teologia caribenha; além de outros materiais que evidenciam os antigos e novos intérpretes. Os conceitos mobilizadores desta pesquisa são: discurso, conforme o expressam Michel Foucault e Eni Orlandi; memória, a partir de Maurice Halbwacks e Jacques Le Goff; dialética, Leandro Konder; fenomenologia, Husserl, Heidegger; marcas, Carlo Ginzburg e imagem/imaginário, Castoriadis.(AU)

A RECEPÇÃO DA TEOLOGIA DE DIETRICH BONHOEFFER NA AMÉRICA LATINA

Ao escolher o tema A recepção da teologia de Bonhoeffer na América Latina, a intenção é problematizar a influência exercida pelo teólogo alemão Dietrich Bonhoeffer na teologia latino-americana, tratando-se do aporte de seus textos em solo latinoamericano, mas também de sua leitura, seleção e re-escritura crítica até nossos dias, quando completamos um século de seu nascimento. A investigação propõe-se a visibilizar o que em sua mensagem e/ou biografia, e de que forma, entusiasmou uma geração de jovens teólogos(as) protestantes e católicos latino-americanos(as), a partir de meados do século XX. Tomou-se por lócus fundamental à Escola Superior de Teologia (EST), da IECLB, ao ecumênico Instituto Superior Evangélico de Estudos Teológicos (ISEDET), de Buenos Aires, Argentina, também a um organismo para-eclesiástico, a Igreja e Sociedade na América Latina (ISAL). A base material privilegiada foi a produção teológica registrada em suas coleções de revistas periódicas, respectivamente, Estudos Teológicos, Cuadernos de Teología e Cristianismo y Sociedad. No entanto, também são analisadas algumas obras de teólogos católicos, dentre eles, Gustavo Gutiérrez, Jon Sobrino, Juan Luis Segundo e Frei Betto; textos referenciais que trazem à luz sua influência sobre a teologia caribenha; além de outros materiais que evidenciam os antigos e novos intérpretes. Os conceitos mobilizadores desta pesquisa são: discurso, conforme o expressam Michel Foucault e Eni Orlandi; memória, a partir de Maurice Halbwacks e Jacques Le Goff; dialética, Leandro Konder; fenomenologia, Husserl, Heidegger; marcas, Carlo Ginzburg e imagem/imaginário, Castoriadis.(AU)

BALAÃO – O QUE OUVE AS PALAVRAS DE EL, TEM O CONHECIMENTO DE ELYON E VÊ A VISÃO DE SHADDAI: UM ESTUDO DE NÚMEROS 22-24

A presente pesquisa busca avaliar exegeticamente o texto que se encontra na Bíblia, especificamente no livro de Números capítulos 22-24 que relata sobre um personagem conhecido como Balaão. A pesquisa tem também como objeto o estudo sobre o panteão de divindades relatado no mesmo texto, assim como também o estudo dos textos descobertos em Deir Alla, na Jordânia, que apresentam um personagem designado como Balaão, possivelmente o mesmo personagem de Nm 22-24. A motivação que levou ao desenvolvimento dessa pesquisa foi o fato de se ter deparado com os conceitos dos diversos nomes divinos exibidos no texto, além da questão do profetismo fora de Israel, assim como as possibilidades hermenêuticas que se abrem para a leitura desse texto bíblico. O conceito geral sempre foi o de que Israel era a única nação onde existiam “verdadeiros” profetas e uma adoração a um único Deus, o “monoteísmo”. O que despertou interesse foi perceber, especialmente por meio da leitura dos livros bíblicos, que o profetismo não se restringiu somente a Israel. Ele antecede à formação do antigo Israel e já existia no âmbito das terras do antigo Oriente Médio, e que Israel ainda demorou muito tempo para ser monoteísta. Quem é esse Balaão, filho de Beor? Estudaremos sobre sua pessoa e sua missão. Examinaremos os textos de Deir Alla sobre Balaão e sua natureza de personagem mediador entre o divino e o humano. Esse personagem é apresentado como um grande profeta e que era famoso como intérprete de presságios divinos. Analisaremos a importante questão sobre o panteão de deuses que são apresentados na narrativa de Balaão nomeados como: El, Elyon Elohim e Shaddai, além de Yahweh. Entendemos, a princípio, que o texto possui uma conexão com a sociedade na qual foi criado e usando da metodologia exegética, faremos uma análise da narrativa em questão, buscando compreender o sentido do texto, dentro de seu cenário histórico e social. Cenário este, que nos apresentou esse profeta, não israelita, que profere bênçãos dos deuses sobre Israel e que, além disso, pronuncia maldições sobre os inimigos desse mesmo Israel. Percebemos que, parte do texto pesquisado é apresentado sob a ótica de Israel sobre as outras nações. A pesquisa defende, portanto, que o texto de Nm 22-24, além de nos apresentar um profeta fora de Israel igual aos profetas da Bíblia, defende que, o panteão de divindades também era adorado por Israel e que tais nomes são epítetos de uma mesma divindade, no caso YHWH. Defende, também, um delineamento de um projeto de domínio político e militar de Israel sobre as nações circunvizinhas.

A “REVOLTA” DE JEÚ E A ESTELA DE DÃ: Um Estudo Em 2 Reis 10,28-36

A pesquisa tem por objetivo trabalhar o evento da Revolta de Jeú, em conjunto com a Estela de Dã, tendo como ponto de partida para tal, a exegese da perícope de 2 Reis 10-28,36. A história Deuteronomista apresenta o ato da Revolta de Jeú como sendo um feito demasiadamente importante, na restauração do culto a Javé em Israel, a partir de um contexto onde o culto a outras divindades, em Israel Norte, estava em pleno curso. No entanto, a partir da análise conjunta da Estela de Dã, que tem como provável autor o rei Hazael de Damasco, somos desafiados a ler esta história pelas entrelinhas não contempladas pelo texto, que apontam para uma participação ativa de Hazael, nos desfechos referentes a Revolta de Jeú, como sendo o responsável direto que proporcionou a subida de Jeú ao trono em Israel, clarificando desta forma este importante período na história Bíblica. Para tal análise, observar-se-á três distintos tópicos, ligados diretamente ao tema proposto: (1) A Revolta de Jeú e a Redação Deuteronomista, a partir do estudo exegético da perícope de 2 Reis 10,28-36, onde estão descritas informações pontuais sobre período em que Jeú reinou em Israel; (2) Jeú e a Estela de Dã, a partir da apresentação e análise do conteúdo da Estela de Dã, tratando diretamente dos desdobramentos da guerra em Ramote de Gileade, de onde se dá o ponto de partida à Revolta de Jeú; e por fim (3) O Império da Síria, onde a partir da continuidade da análise do conteúdo da Estela de Dã, demonstraremos a significância deste reino, além de apontamentos diretamente ligados ao reinado de Hazael, personagem mui relevante no evento da Revolta de Jeú.

Uma revista da ditadura à democracia: cultura e política em Punto de Vista (1978-2008)

Recorrentemente apresentada como uma das mais importantes revistas culturais da Argentina no século XX e como uma das mais significativas publicações latino-americanas desse tipo na segunda metade do século passado, Punto de Vista, publicada entre 1978 e 2008, ainda não teve, não obstante a sua relevância, a devida atenção dos historiadores (e mesmo de especialistas de outras áreas). Nos estudos produzidos a seu respeito, os intérpretes se dedicaram predominantemente a analisar a revista durante a ditadura militar de 1976 a 1983, o chamado Proceso de Reorganización Nacional, e/ou se ocuparam, no máximo, de sua inserção na sociedade argentina nos primeiros momentos da redemocratização, após o término da ditadura. Caracterizada por desenvolver, durante os seus trinta anos de circulação, um projeto de crítica política da cultura atento à crítica cultural e literária, à produção ensaística e em periódicos, aos saberes e aos debates específicos como os da Psicologia/Psicanálise e da Arquitetura e aos outros objetos da cultura como as artes plásticas, o cinema, a fotografia, a música, os meios de comunicação (sobretudo a televisão) e a indústria cultural, a revista também problematizou a atuação dos intelectuais enquanto intérpretes da cultura e da política diante dos desafios e das transformações locais e internacionais dos anos 1970 em diante, ofereceu uma crítica da esquerda e do peronismo e se posicionou nos debates a respeito da democracia configurados na Argentina a partir da década de 1980. Punto de Vista foi tomada, neste estudo, como fonte e objeto e foi interpretada entre 1978 e 2008 a partir dos pressupostos da História Intelectual de inspiração francesa. Procurou-se evidenciar algumas das linhas de força da publicação, explicitando como a revista propôs certas políticas da cultura, constituiu uma perspectiva de análise da cultura intelectual e organizou uma avaliação das culturas políticas, além de estruturar um lugar social, político e cultural específico na Argentina, ao mesmo tempo próximo e distante das tradições e dos grupos da esquerda a partir dos quais o periódico se originou.

The Need for Professional Translation and Interpretation in School Districts

The language barrier prevents Latino students from experiencing academic success, and prevents Latino parents from participating in their children's education. Through a review of journal articles, research projects, doctoral dissertations, legislation, and books, this project studies the benefits and dangers of various methods of translating and interpreting in the education system, including issues created by language barriers in schools, common methods of translating and interpreting, and legislation addressing language barriers and education. The project reveals that schools use various methods to translate and interpret, including relying on children, school staff and machine translation, although such methods are often problematic and inaccurate. The project also reveals that professional translation and interpretation are superior to the various non-professional methods.

Terminología bilingüe y documentación ad hoc para intérpretes de conferencias. Una aproximación metodológica basada en corpus

El intérprete de conferencias debe llevar a cabo un trabajo documental antes, durante y después de los eventos en los que presta sus servicios, independientemente de su subcompetencia extralingüística. Desafortunadamente, pocas son las propuestas metodológicas que se hayan planteado para que este profesional pueda realizar esta tarea de manera sistemática. En el presente artículo, repasamos algunos de los trabajos que se han referido a las posibilidades que tiene el intérprete de satisfacer sus necesidades informativas. Una vez reseñada la mencionada escasez de propuestas, presentamos, en un estudio de caso, una aproximación metodológica a este trabajo de documentación, fundamentada en la compilación de corpus paralelos ad hoc y la extracción terminológica en forma de glosarios.

Los intérpretes en la corte de Al-Ḥakam II de Córdoba

Este artículo ofrece un análisis de datos históricos sobre los intérpretes de embajadas en la corte del califa de Córdoba Al-Ḥakam II (961-976). El objetivo principal es caracterizar, en la medida de lo posible, las funciones de los intérpretes en esa época. Entre los temas tratados en este estudio se destacan la relación entre los intérpretes y el monarca, las lenguas traducidas en una sociedad plurilingüe y diglósica, las modalidades de interpretación utilizadas, el perfil de los intérpretes –no solo como mediadores orales sino también como traductores de documentos oficiales–, y, por fin, su procedencia social y cultural, lo que nos daría una idea de su competencia traductora.

The design and implementation of a multi-task batch operating system and paging interpreter for the PDP-II /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

A BASIC language interpreter for the Intel 8008 microprocessor /

Mode of access: Internet.

The poet's poet, and other essays.

5th edition.

Science and Hebrew tradition.

On verso of t.-p.: Authorized edition.

Staffing level of bi-lingual employees /

Latest issue consulted: 2008.