Made available in DSpace on 2016-04-29T14:27:26Z (GMT). No. of bitstreams: 1 Paulo Freitas Barros.pdf: 1152526 bytes, checksum: 1a9117462edd5bc7ccdf8811e53b486e (MD5) Previous issue date: 2014-09-30 / The objective of this master s thesis is an exegetical analysis in which will be described the theological dimensions of Psalm 110. Based on philological studies of ancient Hebrew a new translation of this Psalm is presented, as literal as possible. The study covers the historical and cultural context of the Psalm 110 as well as the theological thoughts related to the king and the Lord, God of Israel. Through the principle of canonical exegesis, the study includes the observance of parallels between biblical texts, which explain each other. Psalm 110 will also be researched within the texts of the New Testament, thereby demonstrating its importance for the reflection about Jesus Christ / O objetivo da presente dissertação de mestrado é analisar exegeticamente as dimensões teológicas do Salmo 110. A partir dos estudos filológicos do texto originalmente composto em hebraico, é apresentada uma nova tradução, a mais literal possível. No mais, o estudo abrange o contexto histórico-cultural do Salmo 110, bem como a sua reflexão teológica sobre o rei e o Senhor, Deus de Israel. Acolhendo o princípio da exegese canônica, o estudo aqui apresentado se baseia, sobretudo, na observância dos paralelismos na Bíblia Hebraica, imaginando-se que os textos bíblicos se expliquem de forma mútua. Finalmente, será pesquisado como os textos do Novo Testamento trabalham com a reflexão teológica presente no Salmo 110

The popular Harry Potter series serves as the basis for my study of the oracles that appear throughout the series. By focusing specifically on Professor Sybill Trelawney, Ron Weasley, and the Sorting Hat, I show the relationships between Harry Potter and the Oracles. I also focus on a few of Trelawney's various methods of Divination and her prophecies.

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Major Automação). Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

Estágio realizado na WIPRO e orientado pelo Eng.º Rui Pinto / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010

Le problème général étudié dans cette thèse est celui de la régression linéaire en grande dimension. On s'intéresse particulièrement aux méthodes d'estimation qui capturent la sparsité du paramètre cible, même dans le cas où la dimension est supérieure au nombre d'observations. Une méthode populaire pour estimer le paramètre inconnu de la régression dans ce contexte est l'estimateur des moindres carrés pénalisés par la norme ℓ1 des coefficients, connu sous le nom de LASSO. Les contributions de la thèse portent sur l'étude de variantes de l'estimateur LASSO pour prendre en compte soit des informations supplémentaires sur les variables d'entrée, soit des modes semi-supervisés d'acquisition des données. Plus précisément, les questions abordées dans ce travail sont : i) l'estimation du paramètre inconnu lorsque l'espace des variables explicatives a une structure bien déterminée (présence de corrélations, structure d'ordre sur les variables ou regroupements entre variables) ; ii) la construction d'estimateurs adaptés au cadre transductif, pour lequel les nouvelles observations non étiquetées sont prises en considération. Ces adaptations sont en partie déduites par une modification de la pénalité dans la définition de l'estimateur LASSO. Les procédures introduites sont essentiellement analysées d'un point de vue non-asymptotique ; nous prouvons notamment que les estimateurs construits vérifient des Inégalités de Sparsité Oracles. Ces inégalités ont pour particularité de dépendre du nombre de composantes non-nulles du paramètre cible. Un contrôle sur la probabilité d'erreur d'estimation du support du paramètre de régression est également établi. Les performances pratiques des méthodes étudiées sont par ailleurs illustrées à travers des résultats de simulation.

Dans l'Ingénierie Dirigée par les Modèles, les modèles sont des éléments productifs pour le développement logiciel. Ils sont exploités par les transformations de modèles qui automatisent les étapes du développement. Dans nos travaux de thèse, nous contribuons au test de transformations de modèles en étudiant cette problématique et en proposant des techniques de test adaptées aux caractéristiques et à l'emploi des transformations. Nous adaptons l'analyse de mutation pour qualifier les modèles de test selon leur pouvoir de détection d'erreurs propres aux transformations. Nous proposons des fonctions d'oracles et évaluons leur adéquation avec la complexité et la réutilisation d'une transformation. Enfin, nous exploitons nos travaux dans l'étude d'une méthode de développement de composants de confiance de transformation et nous proposons des outils permettant la mise en oeuvre et l'expérimentation de nos travaux et d'autres recherches sur le test de transformations de modèles.

Graduation date: 2006 / End-user programmers, because they are human, make mistakes. However, past research has not considered how visual end-user debugging devices could be designed to ameliorate the effects of mistakes. This paper empirically examines oracle mistakes mistakes users make about which values are right and which are wrong to reveal differences in how different types of oracle mistakes impact the quality of visual feedback about bugs. We then consider the implications of these empirical results for designers of end-user software engineering environments.

In this document I present the works I undertook since the end of my Ph.D. I started my Ph.D in September 2004 at the Laboratoire de Probabilit{é}s et Mod{é}les Al{é}atoires of Universit{é} Paris 6. I was then hired in October 2007 by the CNRS and spent my first two years at the Laboratoire d'Analyse, Topologie et Probabilit{é} in Marseille. In 2009, I moved to the Laboratoire d'Analyse et Math{é}matiques Appliqu{é}es at the Universit{é} Paris-Est Marne-la-vall{é}e. I will also use the opportunity of writing this manuscript to add some remarks and extensions to these works.

Providing a security proof is always an important issue in the process of designing a cryptographic scheme or protocol. We often show the security of a cryptosystem via ¡§problem reduction.¡¨ In this thesis, lots of emphasis was put on the review of techniques for proving the security of cryptosystems. These techniques consist of Random Oracle Model and Forking Lemma. We also introduced some well-known cryptographic schemes which can be proved secure using these techniques. Then we offered a security proof of a blind signature scheme based on the one proposed by Fan. In the end, we made a comparison between our proof and the proof of another blind signature scheme provided by David Pointcheval and Jacques Stern. Some arguments and discussions about using the Random Oracle Model to prove the security of a cryptosystem were also included.