The Sacred books and early literature of the East, with historical surveys of the chief writings of each nation...

Each volume has also special t.p.

Ewige Weisheit : Spruchpoesie des Talmud und der rabbinischen Literatur, nebst Fabeln, Parabeln und Sagen derselben /

Mode of access: Internet.

O Judaísmo Encalacrado: mística e religião em A Hora da Estrela, de Clarice Lispector

O objetivo deste trabalho foi o de demonstrar a importância e pertinência do diálogo entre literatura e religião, concentrando o âmbito de sua pesquisa a partir das relações entre a escritura de Clarice Lispector e as ressonâncias de uma tradição (judaísmo), que embora não tenha sido assumida pela autora, persiste, encalacrada em toda a sua obra. Tendo, como objeto de pesquisa o romance A Hora da Estrela, esta dissertação procurou entender como o drama da narrativa, em seu jogo de tensões e identidades, em sua pluralidade de títulos e referências, sinaliza também um profundo problema com a religião. Focando, de forma especial a personagem Macabéa, este estudo procurou compreender como as referencias da personagem, sua dificuldade com as palavras, seus desencontros do outro (tu) e sua rejeição social, revelam um grave problema de ordem teológica, demonstrando os equívocos de uma sociedade, que fundada sobre o prisma da religião, massacra os mais fracos. O desfecho do livro sinaliza uma possível epifania, mas, desvela-se num fracasso da religião e de seu poder salvífico. O trabalho procurou a partir dos principais temas do romance, perceber suas correspondências com o tema da religião. Pode com isso, a partir das contribuições de Scholem, ver como dilema existencial e subjetivo da personagem possui proximidade com o drama místico cabalístico, além disso, perceber as correlações entre a obra clariceana e textos da tradição judaíca, quer na sua referência explícita (nome da personagem), como também, em seu aspecto de busca, em sua forma de midrash e nas inúmeras exegeses e comentários que propicia. Finaliza seu esforço, levantando uma discussão ética sobre os valores teológicos da sociedade e seus profundos equívocos, ante a vida e morte da pobre Macabéa, uma mulher que viveu a religião nos limites da própria existência.

A type system with usage aspects

Linear typing schemes can be used to guarantee non-interference and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This limitation has prompted research into static analysis and more sophisticated typing disciplines to determine when in-place update may be safely used, or to combine linear and non-linear schemes. Here we contribute to this direction by defining a new typing scheme that better approximates the semantic property of soundness of in-place update for a functional semantics. We begin from the observation that some data are used only in a read-only context, after which it may be safely re-used before being destroyed. Formalising the in-place update interpretation in a machine model semantics allows us to refine this observation, motivating three usage aspects apparent from the semantics that are used to annotate function argument types. The aspects are (1) used destructively, (2), used read-only but shared with result, and (3) used read-only and not shared with the result. The main novelty is aspect (2), which allows a linear value to be safely read and even aliased with a result of a function without being consumed. This novelty makes our type system more expressive than previous systems for functional languages in the literature. The system remains simple and intuitive, but it enjoys a strong soundness property whose proof is non-trivial. Moreover, our analysis features principal types and feasible type reconstruction, as shown in M. Konen'y (In TYPES 2002 workshop, Nijmegen, Proceedings, Springer-Verlag, 2003).

Deep learning based style transfer for low altitude aerial imagery

Unmanned Aerial Vehicle (UAVs) equipped with cameras have been fast deployed to a wide range of applications, such as smart cities, agriculture or search and rescue applications. Even though UAV datasets exist, the amount of open and quality UAV datasets is limited. So far, we want to overcome this lack of high quality annotation data by developing a simulation framework for a parametric generation of synthetic data. The framework accepts input via a serializable format. The input specifies which environment preset is used, the objects to be placed in the environment along with their position and orientation as well as additional information such as object color and size. The result is an environment that is able to produce UAV typical data: RGB image from the UAVs camera, altitude, roll, pitch and yawn of the UAV. Beyond the image generation process, we improve the resulting image data photorealism by using Synthetic-To-Real transfer learning methods. Transfer learning focuses on storing knowledge gained while solving one problem and applying it to a different - although related - problem. This approach has been widely researched in other affine fields and results demonstrate it to be an interesing area to investigate. Since simulated images are easy to create and synthetic-to-real translation has shown good quality results, we are able to generate pseudo-realistic images. Furthermore, object labels are inherently given, so we are capable of extending the already existing UAV datasets with realistic quality images and high resolution meta-data. During the development of this thesis we have been able to produce a result of 68.4% on UAVid. This can be considered a new state-of-art result on this dataset.