Zugl.: Berlin, Techn. Univ., Diss., 2009

A parábola (o mashal) da literatura rabínica é analisada nesta dissertação como uma narrativa metafórica. Pontua-se primeiramente os elementos básicos da teoria de Paul Ricoeur sobre a metáfora e os seus paralelos na concepção do mashal rabínico de Jonáh Fraenkel. Apresenta-se em seguida, por meio de um constante vai-e-vem entre os dois autores, e na base de cinco meshalim, os passos metodológicos desenvolvidos por Fraenkel: determinação do modelo de base, análise da trama da narrativa enquanto unidade completa, estabelecimento de correspondências entre mashal e nimshal. Valoriza-se então a extravagância da parábola que obriga a ir além do modelo de base da mesma. Desta forma, o mashal torna-se para os Sábios da literatura rabínica um meio de desvelar novos sentidos da Torá. Aponta-se enfim que o mashal se encontra em plena consonância com o mundo do Talmud-Torá por ser, antes de tudo, uma atividade e um questionamento, e por pertencer ao domínio da Torá Oral. Assim, ele pode e deve questionar a Torá Escrita. A harmonia de forma e conteúdo, e os diversos temas abordados no mashal, fazem também com que este fosse tão apreciado pelos Sábios nos seus ensinamentos. Por isso, intitulamos a parábola-metáfora que é o mashal rabínico de Talmud-Torá em miniatura. / The parable (the mashal) of rabbinical literature is analyzed in this dissertation as a metaphoric narrative. First, we point out the main elements of Paul Ricoeurs theory on metaphor and its parallels in Jonah Fraenkels conception of the rabbinical mashal. We then present, constantly considering both theoretical approaches and on the basis of five meshalim, the methodological steps developed by Fraenkel: determination of the basic model, analysis of the plot within the narrative considered as a complete unit, setting of correspondences betwenn mashal and nimshal. We then insist on the importance of the extravagance in the parable which requires to go beyond the basic model. The mashal becomes thus for the Sages of rabbinical literature a means to uncovering new meanings of the Torah. It is pointed out finally that the mashal is in full harmony with the world of Talmud-Torah, being primarily an activity and a questioning, and belonging to the realm of Oral Torah. Consequently, he can and should question the Written Torah. The harmony of form and content, and the various themes worked out in the mashal also explain why it was highly appreciated by the Sages in their teachings. Therefore, we call a Talmud-Torah in miniature the rabbinical mashal considered as a metaphorical narrative.

A parábola (o mashal) da literatura rabínica é analisada nesta dissertação como uma narrativa metafórica. Pontua-se primeiramente os elementos básicos da teoria de Paul Ricoeur sobre a metáfora e os seus paralelos na concepção do mashal rabínico de Jonáh Fraenkel. Apresenta-se em seguida, por meio de um constante vai-e-vem entre os dois autores, e na base de cinco meshalim, os passos metodológicos desenvolvidos por Fraenkel: determinação do modelo de base, análise da trama da narrativa enquanto unidade completa, estabelecimento de correspondências entre mashal e nimshal. Valoriza-se então a extravagância da parábola que obriga a ir além do modelo de base da mesma. Desta forma, o mashal torna-se para os Sábios da literatura rabínica um meio de desvelar novos sentidos da Torá. Aponta-se enfim que o mashal se encontra em plena consonância com o mundo do Talmud-Torá por ser, antes de tudo, uma atividade e um questionamento, e por pertencer ao domínio da Torá Oral. Assim, ele pode e deve questionar a Torá Escrita. A harmonia de forma e conteúdo, e os diversos temas abordados no mashal, fazem também com que este fosse tão apreciado pelos Sábios nos seus ensinamentos. Por isso, intitulamos a parábola-metáfora que é o mashal rabínico de Talmud-Torá em miniatura. / The parable (the mashal) of rabbinical literature is analyzed in this dissertation as a metaphoric narrative. First, we point out the main elements of Paul Ricoeurs theory on metaphor and its parallels in Jonah Fraenkels conception of the rabbinical mashal. We then present, constantly considering both theoretical approaches and on the basis of five meshalim, the methodological steps developed by Fraenkel: determination of the basic model, analysis of the plot within the narrative considered as a complete unit, setting of correspondences betwenn mashal and nimshal. We then insist on the importance of the extravagance in the parable which requires to go beyond the basic model. The mashal becomes thus for the Sages of rabbinical literature a means to uncovering new meanings of the Torah. It is pointed out finally that the mashal is in full harmony with the world of Talmud-Torah, being primarily an activity and a questioning, and belonging to the realm of Oral Torah. Consequently, he can and should question the Written Torah. The harmony of form and content, and the various themes worked out in the mashal also explain why it was highly appreciated by the Sages in their teachings. Therefore, we call a Talmud-Torah in miniature the rabbinical mashal considered as a metaphorical narrative.

Thesis (doctoral)--Universität Bonn, 1986. / Includes bibliographical references (p. 141-147).

No description available.

An important issue with eye-based typing iis the correct identification of both whrn the userselects a key and which key is selected. Traditional solutions are based on predefined gaze fixation time, known as dwell-time methods. In an attempt to improve accuracy long dwell times are adopted, which un turn lead to fatigue and longer response limes. These problems motivate the proposal of methods free of dwell-time, or with very short ones, which rely on more robust recognition techniques to reduce the uncertainty about user\'s actions. These techniques are specially important when the users have disabilities which affect their eye movements or use inexpensive eye trackers. An approach to deal with the recognition problem is to treat it as a spelling correction task. An usual strategy for spelling correction is to model the problem as the transmission of a word through a noisy-channel, such that it is necessary to determine which known word of a lexicon is the received string. A feasible application of this method requires the reduction of the set of candidate words by choosing only the ones that can be transformed into the imput by applying up to k character edit operations. This idea works well on traditional typing because the number of errors per word is very small. However, this is not the case for eye-based typing systems, which are much noiser. In such a scenario, spelling correction strategies do not scale well as they grow exponentially with k and the lexicon size. Moreover, the error distribution in eye typing is different, with much more insertion errors due to specific sources, of noise such as the eye tracker device, particular user behaviors, and intrinsic chracteeristics of eye movements. Also, the lack of a large corpus of errors makes it hard to adopt probabilistic approaches based on information extracted from real world data. To address all these problems, we propose an effective recognition approach by combining estimates extracted from general error corpora with domain-specific knowledge about eye-based input. The technique is ablçe to calculate edit disyances effectively by using a Mor-Fraenkel index, searchable using a minimun prfect hashing. The method allows the early processing of most promising candidates, such that fast pruned searches present negligible loss in word ranking quality. We also propose a linear heuristic for estimating edit-based distances which take advantage of information already provided by the index. Finally, we extend our recognition model to include the variability of the eye movements as source of errors, provide a comprehensive study about the importance of the noise model when combined with a language model and determine how it affects the user behaviour while she is typing. As result, we obtain a method very effective on the task of recognizing words and fast enough to be use in real eye typing systems. In a transcription experiment with 8 users, they archived 17.46 words per minute using proposed model, a gain of 11.3% over a state-of-the-art eye-typing system. The method was particularly userful in more noisier situations, such as the first use sessions. Despite significant gains in typing speed and word recognition ability, we were not able to find statistically significant differences on the participants\' perception about their expeience with both methods. This indicates that an improved suggestion ranking may not be clearly perceptible by the users even when it enhances their performance. / Um problema importante em sistemas de digitação com os olhos é a correta identificação tanto de quando uma letra é selecionada como de qual letra foi selecionada pelo usuário. As soluções tradicionais para este problema são baseadas na verificação de quanto tempo o olho permanece retido em um alvo. Se ele fica por um certo limite de tempo, a seleção é reconhecida. Métodos em que usam esta ideia são conhecidos como baseados em tempo de retenção (dwell time). É comum que tais métodos, com intuito de melhorar a precisão, adotem tempos de retenção alto. Isso, por outro lado, leva à fadiga e tempos de resposta altos. Estes problemas motivaram a proposta de métodos não baseados em tempos de retenção reduzidos, que dependem de técnicas mais robustas de reconhecimento para inferir as ações dos usuários. Tais estratégias são particularmente mais importantes quando o usuário tem desabilidades que afetam o movimento dos olhos ou usam dispositivos de rastreamento ocular (eye-trackers) muito baratos e, portanto, imprecisos. Uma forma de lidar com o problema de reconhecimento das ações dos usuários é tratá-lo como correção ortográfica. Métodos comuns para correção ortográfica consistem em modelá-lo como a transmissão de uma palavra através de um canal de ruído, tal que é necessário determinar que palavra de um dicionário corresponde à string recebida. Para que a aplicação deste método seja viável, o conjunto de palavras candidatas é reduzido somente àquelas que podem ser transformadas na string de entrada pela aplicação de até k operações de edição de carácter. Esta ideia funciona bem em digitação tradicional porque o número de erros por palavra é pequeno. Contudo, este não é o caso de digitação com os olhos, onde há muito mais ruído. Em tal cenário, técnicas de correção de erros ortográficos não escalam pois seu custo cresce exponencialmente com k e o tamanho do dicionário. Além disso, a distribuição de erros neste cenário é diferente, com muito mais inserções incorretas devido a fontes específicas de ruído como o dispositivo de rastreamento ocular, certos comportamentos dos usuários e características intrínsecas dos movimentos dos olhos. O uso de técnicas probabilísticas baseadas na análise de logs de digitação também não é uma alternativa uma vez que não há corpora de dados grande o suficiente para tanto. Para lidar com todos estes problemas, propomos um método efetivo de reconhecimento que combina estimativas de corpus de erros gerais com conhecimento específico sobre fontes de erro encontradas em sistemas de digitação com os olhos. Nossa técnica é capaz de calcular distâncias de edição eficazmente usando um índice de Mor-Fraenkel em que buscas são feitas com auxílio de um hashing perfeito mínimo. O método possibilita o processamento ordenado de candidatos promissores, de forma que as operações de busca podem ser podadas sem que apresentem perda significativa na qualidade do ranking. Nós também propomos uma heurística linear para estimar distância de edição que tira proveito das informações já mantidas no índice, estendemos nosso modelo de reconhecimento para incluir erros vinculados à variabilidade decorrente dos movimentos oculares e fornecemos um estudo detalhado sobre a importância relativa dos modelos de ruído e de linguagem. Por fim, determinamos os efeitos do modelo no comportamento do usuário enquanto ele digita. Como resultado, obtivemos um método de reconhecimento muito eficaz e rápido o suficiente para ser usado em um sistema real. Em uma tarefa de transcrição com 8 usuários, eles alcançaram velocidade de 17.46 palavras por minuto usando o nosso modelo, o que corresponde a um ganho de 11,3% sobre um método do estado da arte. Nosso método se mostrou mais particularmente útil em situação onde há mais ruído, tal como a primeira sessão de uso. Apesar dos ganhos claros de velocidade de digitação, não encontramos diferenças estatisticamente significativas na percepção dos usuários sobre sua experiência com os dois métodos. Isto indica que uma melhoria no ranking de sugestões pode não ser claramente perceptível pelos usuários mesmo quanto ela afeta positivamente os seus desempenhos.

Le concept de totalitarisme élaboré par Hannah Arendt à partir de 1951 est aujourd'hui une référence incontournable. Son examen critique, ici proposé, commence par resituer cette théorie arendtienne dans l'histoire des idées juridiques. Ce faisant, il apparaît que non seulement la terminologie, mais également une partie des arguments et des conclusions de la philosophe ont été élaborés dès les années 1920 par la doctrine juridique, aussi bien anti- que pro-totalitaire.Dans un second temps, la théorie du droit, qui a nourri les réflexions de Hannah Arendt, est utilisé comme un instrument pour la critique. En particulier, la thèse la plus polémique défendue par la philosophe - à savoir qu'il n'y eut que deux régimes totalitaires, l'Allemagne nazie et l'Union soviétique – ne résiste guère à l'examen juridique et théorique.À travers ce dialogue historique et critique entre le droit et la philosophie, cette thèse interroge l'idée d'un droit totalitaire, qu'il s'agisse de sa nature, de ses conditions de possibilité ou de sa distinction avec l'Etat de droit. / The concept of totalitarianism developed by Hannah Arendt from 1951 is a major reference today. Its critical review, proposed here, begins by re-placing this arendtian theory in the history of legal ideas. In doing so, it appears that not only the terminology, but also some of the arguments and conclusions of the philosopher were developed from the 1920's by the theory of law, anti- and pro-totalitarian as well.In a second step, the theory of law, which nourished Hannah Arendt's reflections, is used as an instrument for criticism. In particular, the most controversial thesis defended by the philosopher - namely, that there were only two totalitarian regimes, Nazi Germany and the Soviet Union - can hardly withstand a legal and theoretical scrutiny.Through this historical and critical dialogue between law and philosophy, this thesis questions the idea of a totalitarian law, its nature, its conditions of possibility and its distinction with the rule of law.

An important issue with eye-based typing iis the correct identification of both whrn the userselects a key and which key is selected. Traditional solutions are based on predefined gaze fixation time, known as dwell-time methods. In an attempt to improve accuracy long dwell times are adopted, which un turn lead to fatigue and longer response limes. These problems motivate the proposal of methods free of dwell-time, or with very short ones, which rely on more robust recognition techniques to reduce the uncertainty about user\'s actions. These techniques are specially important when the users have disabilities which affect their eye movements or use inexpensive eye trackers. An approach to deal with the recognition problem is to treat it as a spelling correction task. An usual strategy for spelling correction is to model the problem as the transmission of a word through a noisy-channel, such that it is necessary to determine which known word of a lexicon is the received string. A feasible application of this method requires the reduction of the set of candidate words by choosing only the ones that can be transformed into the imput by applying up to k character edit operations. This idea works well on traditional typing because the number of errors per word is very small. However, this is not the case for eye-based typing systems, which are much noiser. In such a scenario, spelling correction strategies do not scale well as they grow exponentially with k and the lexicon size. Moreover, the error distribution in eye typing is different, with much more insertion errors due to specific sources, of noise such as the eye tracker device, particular user behaviors, and intrinsic chracteeristics of eye movements. Also, the lack of a large corpus of errors makes it hard to adopt probabilistic approaches based on information extracted from real world data. To address all these problems, we propose an effective recognition approach by combining estimates extracted from general error corpora with domain-specific knowledge about eye-based input. The technique is ablçe to calculate edit disyances effectively by using a Mor-Fraenkel index, searchable using a minimun prfect hashing. The method allows the early processing of most promising candidates, such that fast pruned searches present negligible loss in word ranking quality. We also propose a linear heuristic for estimating edit-based distances which take advantage of information already provided by the index. Finally, we extend our recognition model to include the variability of the eye movements as source of errors, provide a comprehensive study about the importance of the noise model when combined with a language model and determine how it affects the user behaviour while she is typing. As result, we obtain a method very effective on the task of recognizing words and fast enough to be use in real eye typing systems. In a transcription experiment with 8 users, they archived 17.46 words per minute using proposed model, a gain of 11.3% over a state-of-the-art eye-typing system. The method was particularly userful in more noisier situations, such as the first use sessions. Despite significant gains in typing speed and word recognition ability, we were not able to find statistically significant differences on the participants\' perception about their expeience with both methods. This indicates that an improved suggestion ranking may not be clearly perceptible by the users even when it enhances their performance. / Um problema importante em sistemas de digitação com os olhos é a correta identificação tanto de quando uma letra é selecionada como de qual letra foi selecionada pelo usuário. As soluções tradicionais para este problema são baseadas na verificação de quanto tempo o olho permanece retido em um alvo. Se ele fica por um certo limite de tempo, a seleção é reconhecida. Métodos em que usam esta ideia são conhecidos como baseados em tempo de retenção (dwell time). É comum que tais métodos, com intuito de melhorar a precisão, adotem tempos de retenção alto. Isso, por outro lado, leva à fadiga e tempos de resposta altos. Estes problemas motivaram a proposta de métodos não baseados em tempos de retenção reduzidos, que dependem de técnicas mais robustas de reconhecimento para inferir as ações dos usuários. Tais estratégias são particularmente mais importantes quando o usuário tem desabilidades que afetam o movimento dos olhos ou usam dispositivos de rastreamento ocular (eye-trackers) muito baratos e, portanto, imprecisos. Uma forma de lidar com o problema de reconhecimento das ações dos usuários é tratá-lo como correção ortográfica. Métodos comuns para correção ortográfica consistem em modelá-lo como a transmissão de uma palavra através de um canal de ruído, tal que é necessário determinar que palavra de um dicionário corresponde à string recebida. Para que a aplicação deste método seja viável, o conjunto de palavras candidatas é reduzido somente àquelas que podem ser transformadas na string de entrada pela aplicação de até k operações de edição de carácter. Esta ideia funciona bem em digitação tradicional porque o número de erros por palavra é pequeno. Contudo, este não é o caso de digitação com os olhos, onde há muito mais ruído. Em tal cenário, técnicas de correção de erros ortográficos não escalam pois seu custo cresce exponencialmente com k e o tamanho do dicionário. Além disso, a distribuição de erros neste cenário é diferente, com muito mais inserções incorretas devido a fontes específicas de ruído como o dispositivo de rastreamento ocular, certos comportamentos dos usuários e características intrínsecas dos movimentos dos olhos. O uso de técnicas probabilísticas baseadas na análise de logs de digitação também não é uma alternativa uma vez que não há corpora de dados grande o suficiente para tanto. Para lidar com todos estes problemas, propomos um método efetivo de reconhecimento que combina estimativas de corpus de erros gerais com conhecimento específico sobre fontes de erro encontradas em sistemas de digitação com os olhos. Nossa técnica é capaz de calcular distâncias de edição eficazmente usando um índice de Mor-Fraenkel em que buscas são feitas com auxílio de um hashing perfeito mínimo. O método possibilita o processamento ordenado de candidatos promissores, de forma que as operações de busca podem ser podadas sem que apresentem perda significativa na qualidade do ranking. Nós também propomos uma heurística linear para estimar distância de edição que tira proveito das informações já mantidas no índice, estendemos nosso modelo de reconhecimento para incluir erros vinculados à variabilidade decorrente dos movimentos oculares e fornecemos um estudo detalhado sobre a importância relativa dos modelos de ruído e de linguagem. Por fim, determinamos os efeitos do modelo no comportamento do usuário enquanto ele digita. Como resultado, obtivemos um método de reconhecimento muito eficaz e rápido o suficiente para ser usado em um sistema real. Em uma tarefa de transcrição com 8 usuários, eles alcançaram velocidade de 17.46 palavras por minuto usando o nosso modelo, o que corresponde a um ganho de 11,3% sobre um método do estado da arte. Nosso método se mostrou mais particularmente útil em situação onde há mais ruído, tal como a primeira sessão de uso. Apesar dos ganhos claros de velocidade de digitação, não encontramos diferenças estatisticamente significativas na percepção dos usuários sobre sua experiência com os dois métodos. Isto indica que uma melhoria no ranking de sugestões pode não ser claramente perceptível pelos usuários mesmo quanto ela afeta positivamente os seus desempenhos.

The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can be facilitated much through the use of an automated reasoner. However, set theory is a corner stone of many formal specification languages and poses demanding challenges to automated reasoners. To this end a number of heuristics has been developed to aid the Otter theorem prover in finding short proofs for set-theoretic problems. This dissertation investigates the applicability of these heuristics to next generation theorem provers. / Computing / M.Sc. (Computer Science)

The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can be facilitated much through the use of an automated reasoner. However, set theory is a corner stone of many formal specification languages and poses demanding challenges to automated reasoners. To this end a number of heuristics has been developed to aid the Otter theorem prover in finding short proofs for set-theoretic problems. This dissertation investigates the applicability of these heuristics to next generation theorem provers. / Computing / M.Sc. (Computer Science)