Pertsonaia protagonista femeninoen ezaugarriak eta bilakaera euskal narratiba garaikidean

361 p.

Alegia klasikoak euskaraz: Isopeteko, La Fontaineren eta Samaniegoren alegien berridazketen azterketa

521 p.

Dramatické texty přeložené a cenzurované ve frankistickém Španělsku (šedesátá léta): divadlo a film jako kontrolovaná představení

Texto en checo. Editora de la obra Petra Vavroušová.

On demand translation for querying incompletely aligned datasets

More and more users aim at taking advantage of the existing Linked Open Data environment to formulate a query over a dataset and to then try to process the same query over different datasets, one after another, in order to obtain a broader set of answers. However, the heterogeneity of vocabularies used in the datasets on the one side, and the fact that the number of alignments among those datasets is scarce on the other, makes that querying task difficult for them. Considering this scenario we present in this paper a proposal that allows on demand translations of queries formulated over an original dataset, into queries expressed using the vocabulary of a targeted dataset. Our approach relieves users from knowing the vocabulary used in the targeted datasets and even more it considers situations where alignments do not exist or they are not suitable for the formulated query. Therefore, in order to favour the possibility of getting answers, sometimes there is no guarantee of obtaining a semantically equivalent translation. The core component of our proposal is a query rewriting model that considers a set of transformation rules devised from a pragmatic point of view. The feasibility of our scheme has been validated with queries defined in well known benchmarks and SPARQL endpoint logs, as the obtained results confirm.

Obasan, by Joy Kogawa, and Alias Grace, by Margaret Atwood: fictional representations of Canadian identity and History

Esta dissertação investiga de que maneiras a representação do sujeito canadense pode ser encontrada em dois romances representativos da literatura canadense contemporânea: Obasan, de Joy Kogawa, e Alias Grace, de Margaret Atwood. Esta investigação também demonstra que a busca pela definição da identidade canadense tem sido tema constante e relevante da cultura deste país. A indefinição quanto ao que significa ser canadense também tem permeado a literatura canadense ao longo dos séculos, notadamente desde o século XIX. A fim de observar a representação literária da busca pela definição da identidade canadense, esta investigação aborda os conceitos relativos à representação de grupos subalternos tradicionalmente silenciados. A análise comparativa dos romances citados contempla a relação entre memória e trauma autobiográficos, assim como as semelhanças narrativas entre ficção e história. Esta investigação também verifica de que maneiras a literatura pós-moderna emprega documentação oficial, relatos históricos e dados (auto) biográficos a serviço da reescrita da história através da metaficção historiográfica

A influência das histórias em quadrinhos no ensino da matemática: um saberfazer que permite a comunhão do paradidático com o didático numa busca insólita pela mudança da relação tecida entre a criança e esta ciência exata

Esta dissertação é o resultado do meu verouvirsentir e busca evidenciar que, nas relações desenvolvidas no processo do ensino da matemática, as histórias em quadrinhos podem-se revelar um instrumento eficaz para a aplicação de uma metodologia alternativa dotada de uma potência extraordinária na interlocução entre a criança e o conteúdo matemático. Nesse contexto, um dos maiores argumentos que encontro, ao final desta jornada, é que fica a percepção de que o livro didático adotado (referência para o conteúdo teoricoprático), em quase sua totalidade, não favorece que os alunos estabeleçam uma relação com a matemática pautada na atenção, curiosidade, alegria e outros fatores/elementos que permitam o crescimento cognitivo desses alunos na referida disciplina. A pesquisa é realizadasentida em uma escola particular de ensino fundamental e médio situada em Realengo em três turmas de 6 ano. Esses alunos variam entre 10 e 13 anos de idade e aproximadamente 90% deles são oriundos de famílias de classe média. Para realizarsentir esta pesquisa, percebo que, fundamentalmente, faço uso de duas metodologias que se revelam a priori: pesquisa-ação e o mergulho (ALVES, 2008). Realizo alguns diálogos que se consolidam como aporte teórico e que norteiam toda a minha escrita. Esses diálogos podem ou não aparecer nas citações que faço. Os diálogos invisibilizados pela minha escrita de modo algum foram menos importantes e tampouco são considerados menos relevantes, na verdade, conduzem minha escrita, misturando-se em minhas próprias palavras a ponto de se tornarem indissociáveis. Nesses diálogos, encontro-me com Michel de Certeau, Paulo Sgarbi, Nilda Alves, Humberto Maturana, Inês Barbosa, Von Foerster, Michel Focault, Edgard Morin, Will Eisner, Ginsburg, entre outros. Como resultados, ficou evidenciado que, ao oferecer a possibilidade de reescrita da teoria matemática através das histórias em quadrinhos, os alunos (na sua maioria) desenvolveram uma capacidade maior de concentração, atenção aos detalhes da própria teoria e a diminuição significativa da resistência ao conteúdo matemático. Uma velhanova linguagem? Em um velhonovo meio? Seja qual for a conclusão, a aventura do desafio na busca da construção de uma nova relação entre a criança e a matemática, por si só, permite a exposição de tensões e oportuniza o crescimento de todos. Nessa jornada, de ação em ação, busco fazer algo significativo.

Um estudo sobre a teoria de campos no espaço-tempo não comutativo

Os aspectos quânticos de teorias de campo formuladas no espaço-tempo não comutativo têm sido amplamente estudados ao longo dos anos. Um dos principais aspectos é o que na literatura ficou conhecido como mixing IR/UV. Trata-se de uma mistura das divergências, que foi vista pela primeira vez no trabalho de Minwalla et al [28], onde num estudo do campo escalar não comutativo com interação quártica vemos já a 1 loop que o tadpole tem uma divergência UV associada a sua parte planar e, junto com ela, temos uma divergência IR associada com um gráfico não planar. Essa mistura torna a teoria não renormalizável. Dado tal problema, houve então uma busca por mecanismos que separassem essas divergências a fim de termos teorias renormalizáveis. Um mecanismo proposto foi a adição de um termo não local na ação U*(1) para que esta seja estável.Neste trabalho, estudamos através da renormalização algébrica a estabilidade deste modelo. Para tal, precisamos localizar o operador não local através de campos auxiliares e seus respectivos ghosts (metodo de Zwanziger) na intenção de retirar os graus de liberdade indesejados que surgem. Usamos o approachda quebra soft de BRST para analisar o termo que quebra BRST, que consiste em reescrevermos tal termo com o auxílio de fontes externas que num determinado limite físico voltam ao termo original.Como resultado, vimos que a teoria com a adição deste termo na ação só é renormalizável se tivermos que introduzir novos termos, sendo alguns deles quárticos. Porém, estes termos mudam a forma do propagador, que não desacopla as divergências. Um outro aspecto que podemos salientar é que, dependendo da escolha de alguns parâmetros, o propagador dá indícios de termos um fótonconfinante, seguindo o critério de Wilson e o critério da perda da positividade do propagador.

Divining for meaning and searching for a female literary identity in Alice Munros Lives of girls and women and Margaret Laurences The diviners

Esta dissertação tem por objetivo investigar como Alice Munro e Margaret Laurence se apropriam de gêneros canônicos, especificamente do Bildungsroman e do Künstlerroman, para subvertê-los e representar versões diferentes do sujeito feminino através de romances de cunho autobiográfico escritos por mulheres. A investigação é focada em dois romances: Lives of Girls and Women (1971), escrito por Alice Munro, e The Diviners (1974), escrito por Margaret Laurence. No romance de Alice Munro, as estratégias de apagamento das fronteiras entre gêneros, a ideia de que perspectivas de realidade mudam de acordo com a experiência e a memória de cada indivíduo, como também a ênfase no desenvolvimento da protagonista enquanto pessoa e escritora, são assuntos amplamente discutidos. No romance de Margaret Laurence, a ênfase no aspecto subjetivo da memória, a desconstrução de estereótipos de gênero e a renegociação da representação do sujeito feminino para o alcance de uma identidade feminina autônoma na vida e na arte são os principais assuntos investigados. Em vista disso, esta dissertação visa mostrar como a representação da identidade feminina é redefinida por duas escritoras canadenses que se apropriaram de discursos dominantes para subvertê-los e, então, reescreverem suas histórias

Leitura e produção de textos no ensino médio: da estaticidade conservadora ao dinamismo de uma proposta dialógica

Considerando-se a linguagem um elemento de interação social, concebe-se o texto, em todas as suas manifestações, como objeto norteador do ensino da Língua Materna, cujo objetivo, segundo orientações dos PCN de Língua Portuguesa, é formar cidadãos reflexivos e críticos, proficientes na prática da leitura e da escrita. Entretanto, face a um currículo extenso e limitada carga horária, as aulas de produção textual, não raras vezes, deixam de propiciar uma formação autônoma e reproduzem práticas que visam apenas à apropriação da norma padrão e à apreensão de modelos de escrita, gerando um aprendizado desvinculado da realidade do educando. Dessa forma, a presente dissertação pretende mostrar os desafios enfrentados por professores do Ensino Médio para desconstruir a passividade que se instaura no educando, ao longo do Ensino Fundamental II, perante seu próprio texto, seja no ato de exposição do tema proposto para a redação, seja na etapa destinada à avaliação da mesma, na qual pouco se estimula sua participação. Com base na perspectiva sociointeracionista de Bakhtin (2009), este trabalho defende a ideia de que o envolvimento do educando com seu texto deve se iniciar na fase de elaboração do tema, de modo que este possa ser integrado à vivência do aluno, até a fase de revisão e correção, em que o acompanhamento do processo visa a garantir ao autor o direito à analise e à reescritura de sua produção, momentos imprescindíveis ao desenvolvimento da competência leitora e escritora. O corpus desta pesquisa é formado por produções textuais de estudantes do primeiro e do segundo anos do Ensino Médio de uma escola da rede particular do município do Rio de Janeiro. Foram analisadas 64 redações, sendo 28 produzidas a partir de temas determinados pelo professor, focando procedimentos relativos à análise do tema e à reescrita, e 36 relacionadas à construção de temas a partir de textos não verbais, buscando-se maior amplitude interpretativa. Além disso, também foram aplicados questionários, nos quais os alunos expuseram seus pontos de vista sobre as aulas de redação na escola. A análise do corpus demonstrou que a escrita é um processo e que o ensino de produção de textos se torna mais produtivo na medida em que se possibilita maior participação dos educandos em todas as etapas.

支持属性粒度数据库加密的查询重写算法

DAS（databaseasaservice）模型数据库中采用加密方案的关键问题之一是针对密文关系的查询处理．DAS模型特有的体系结构和信任模型决定了加密解密操作只能在客户端进行，目前的方案普遍在元组粒度加密的基础上进行查询重写，不可避免地造成了加密效率的损失．为此，提出一种支持属性粒度加密方案的查询重写算法，利用关系代数公式对查询语句进行等价变换，将涉及加密属性的条件谓词与其他条件谓词分离，重构查询语句，支持任意层次的相关子查询．实验显示，算法能够降低客户端与服务器间的网络传输数据量，从而有效地缩短加密DAS模型数据库的查询执行时间．

Holographic dual of linear dilaton black hole in Einstein-Maxwell-dilaton-axion gravity

Motivated by the recently proposed Kerr/CFT correspondence, we investigate the holographic dual of the extremal and non-extremal rotating linear dilaton black hole in Einstein-Maxwell-Dilaton-Axion Gravity. For the case of extremal black hole, by imposing the appropriate boundary condition at spatial infinity of the near horizon extremal geometry, the Virasoro algebra of conserved charges associated with the asymptotic symmetry group is obtained. It is shown that the microscopic entropy of the dual conformal field given by Cardy formula exactly agrees with Bekenstein-Hawking entropy of extremal black hole. Then, by rewriting the wave equation of massless scalar field with sufficient low energy as the SLL(2, R) x SLR(2, R) Casimir operator, we find the hidden conformal symmetry of the non-extremal linear dilaton black hole, which implies that the non-extremal rotating linear dilaton black hole is holographically dual to a two dimensional conformal field theory with the non-zero left and right temperatures. Furthermore, it is shown that the entropy of non-extremal black hole can be reproduced by using Cardy formula.

PILOT: A Step Toward Man-Computer Symbiosis

PILOT is a programming system constructed in LISP. It is designed to facilitate the development of programs by easing the familiar sequence: write some code, run the program, make some changes, write some more code, run the program again, etc. As a program becomes more complex, making these changes becomes harder and harder because the implications of changes are harder to anticipate. In the PILOT system, the computer plays an active role in this evolutionary process by providing the means whereby changes can be effected immediately, and in ways that seem natural to the user. The user of PILOT feels that he is giving advice, or making suggestions, to the computer about the operation of his programs, and that the system then performs the work necessary. The PILOT system is thus an interface between the user and his program, monitoring both in the requests of the user and operation of his program. The user may easily modify the PILOT system itself by giving it advice about its own operation. This allows him to develop his own language and to shift gradually onto PILOT the burden of performing routine but increasingly complicated tasks. In this way, he can concentrate on the conceptual difficulties in the original problem, rather than on the niggling tasks of editing, rewriting, or adding to his programs. Two detailed examples are presented. PILOT is a first step toward computer systems that will help man to formulate problems in the same way they now help him to solve them. Experience with it supports the claim that such "symbiotic systems" allow the programmer to attack and solve more difficult problems.

Gadamer, History and the Classics: Fugard, Marowitz, Berkoff and Harrison Rewrite the Theatre

Forsyth, A. (2002). Gadamer, History and the Classics: Fugard, Marowitz, Berkoff and Harrison Rewrite the Theatre. Studies in Literary Criticism and Theory: Vol. 15. New York: Peter Lang. RAE2008

New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.

Deterministic Computations Whose History Is Independent of the Order of Asynchronous Updating

Consider a network of processors (sites) in which each site x has a finite set N(x) of neighbors. There is a transition function f that for each site x computes the next state ξ(x) from the states in N(x). But these transitions (updates) are applied in arbitrary order, one or many at a time. If the state of site x at time t is η(x; t) then let us define the sequence ζ(x; 0); ζ(x; 1), ... by taking the sequence η(x; 0),η(x; 1), ... , and deleting each repetition, i.e. each element equal to the preceding one. The function f is said to have invariant histories if the sequence ζ(x; i), (while it lasts, in case it is finite) depends only on the initial configuration, not on the order of updates. This paper shows that though the invariant history property is typically undecidable, there is a useful simple sufficient condition, called commutativity: For any configuration, for any pair x; y of neighbors, if the updating would change both ξ(x) and ξ(y) then the result of updating first x and then y is the same as the result of doing this in the reverse order. This fact is derivable from known results on the confluence of term-rewriting systems but the self-contained proof given here may be justifiable.