System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities

In this paper a state of the art of a system of automated deduction called SAD is described . An architecture of SAD corresponds well to a modern vision of the Evidence Algorithm programme, initiated by Academician V.Glushkov.

O efeito de mecanismos de sistema de apoio a decisão pela web (sad-web) nas decisões de compra online

A crescente adoção da WEB para a realização de transações entre organizações e indivíduos aumenta consideravelmente a quantidade de informações disponíveis para tomada de decisão nas mais variadas circunstâncias. É de se esperar que o uso das tecnologias de auxílio à decisão possam contribuir para facilitar o processo de escolha, particularmente no que diz respeito às escolhas por produtos para consumo. Na busca para usufruir do maior número possível de elementos no processo decisório, indivíduos delegam parte da tarefa de organizar os dados dispersos na WEB a agregadores de informação que estabelecem com eles uma relação de confiança e possibilitam que seja considerada uma quantidade de variáveis muito superior à que eles seriam capazes de fazer isoladamente. Juntado a este fenômeno o conhecimento prévio dos indivíduos com relação a produtos e seus fornecedores, este trabalho propõe, por meio da combinação de dados de registros de navegação e percepção de consumidores, um modelo de explicação dos diversos elementos envolvidos no processo de confiança na decisão de compra com uso de interface interativa disponível pela WEB (SAD-WEB) representada por website de comparação de preços.

Modelagem de distorções entre sad 69 e sirgas 2000 pelo método de shepard e grades regulares

Brazil follows the tendency of some countries to update and/or review their fundamental geodetic network. The adoption of geocentric referentials like SIRGAS 2000, the new official reference system of the Geodetic Brazilian System has been an advance. Changes in referential implies in coordinates changes on the network stations as well as the network geometry. To make use of analogical and digital products which are already known in the old referentials are necessary approaches to the coordinate conversion, which minimize the distortions between the used reference frames. This paper presents a distortion modeling approach between reference frames, based on distortion grid generation by using the Shepard's method. To analyze the approach some experiments were performed with the generation of a 1 degrees x1 degrees distortion grid to model the distortions between SAD 69 (1996) and SIRGAS (2000) frames. The results in the test stations were promising, with an average reduction of 50% in the RMS coordinates after the distortions modeling.

O zoológico existencialista de Edward Albee

Pós-graduação em Estudos Literários - FCLAR

Genealogia de uma operação historiográfica: as apropriações dos pensamentos de Edward Palmer Thompson e de Michel Foucault pelos historiadores brasileiros na década de 1980

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Genealogia de uma operação historiográfica: Edward Palmer Thompson, Michel Foucault e os historiadores brasileiros da década de 1980

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Dr. Edward (Ted) Elliot Eulogy

Kathy and Susie, members of the faculty, and staff of the School of Natural Resource Sciences, ladies and gentlemen. There are some things in this world that, try as we may, just cannot be adequately accomplished. One of those things, for me at least, is to express adequately what I feel about the passing of Dr. Edward (Ted) Elliot. Ted came to this University of Nebraska a few months before I arrived, and it was my distinct honor to count him among my friends at this great University. Ted was a man of exceptional scientific standing and wisdom, and his loss leaves a void in all of our lives that will not be readily filled.

Review of: Solving the Mysteries of the Dead Sea Scrolls: New Light on the Bible, by Edward M. Cook

Edward M. Cook's new book makes an excellent addition to the growing list of "introductions" to the Dead Sea Scrolls. Aimed primarily at a Christian lay and clerical audience, it succeeds admirably in leading its readers through the labyrinthine world of Scroll scholarship and controversy. The book divides itself into two uneven parts. In the first part, chapters 1-4, Cook deals with the discovery of the Scrolls in 1947 and the subsequent history of their decipherment and (often delayed) publication. Cook's treatment of this controversial topic is the most fair and evenhanded I have ever read; he has done meticulous research, reading many accounts of the Scrolls, from Edmund Wilson's in the 1950's to the latest journal articles from 1993. The result is a highly readable account of the finding and purchase of the Scrolls, the appointment of an international team of scholars to decipher and publish them, the delays in publication (including the results of the Six Day War in 1967, when most of the Scroll fragments fell into Israeli hands), and the controversy surrounding then editor-in-chief John Strugnell and the release of the photographs in the late 1980's and early 1990's. Cook is objective and fair throughout, but particularly striking is his sympathetic portrayal of the original seven member editorial team.

El pensamiento literario de Edward W. Said y su fundamento intercultural

Programa de doctorado: Literatura y teoría de la literatura