Global ETD Search

71	Etude de la place et de la fonction des éléments supposés tardifs du livre d'Amos : contribution à la lecture de type synchronique du livre d'Amos / Study of the place and the function of the late supposed elements of the book of Amos : contribution to the reading of synchronic type of the book of Amos Kolani, Bakimani 04 February 2017 (has links) Les deux premiers chapitres de cette étude mettent en exergue les raisons pour lesquelles des biblistes sont de plus en plus convaincus que lire ce corpus, dans sa forme actuelle, comme un tout reste la voie la mieux indiquée pour cerner son message. Le premier chapitre montre que les exégètes partisans de l’approche diachronique tentent de justifier son organisation par la reconstitution hypothétique des ipsissima verba d’Amos. Ils morcellement ce corpus en de petits fragments indépendants, dévalorisent neuf de ses passages, perçus comme secondaires et ré-disposent, à leur guise, ceux supposés mal placés. Le second chapitre relève que ces mêmes passages empêchent les partisans de l’approche synchronique de s’accorder sur sa structuration d’ensemble et incitent des commentateurs à alléguer que ce livre est désordonné. Les trois derniers chapitres étudient les neuf passages souvent perçus comme secondaires et disparates. Ils montrent que ces textes sont accordés à leurs contextes et que leur présence est essentielle à l’équilibre littéraire et théologique du livre. Cette étude dévoile que ce corpus est cohérent et doté d’une stratégie littéraire unifiante. / The two first chapters of this present study examines underlines the reasons for which biblical scholars are more and more convinced that read the corpus as a whole, in its present form, remains the best way to understand it message. The first chapter demonstrates that the commentators who advocate a diachronic approach sought and continue to justify the composition of this book by the hypothetical reconstitution of the “ipsissima verba” of Amos. They often divide the text into numerous small independent fragments; sacrificing nine passages perceived as secondary and out of place and arranges certain of them as they think fit. The second chapter demonstrates that these same passages prevent the followers of the synchronic approach agreeing on a structure capable of proving that this corpus is a very sophisticated work. The three last chapters study the nine passages often considered secondary and disparate. They show that these passages are in harmony with their contexts and their presence is essential to the literary and theological balance of the book. This study reveals de facto that, this corpus is a well-organized book with a unifying literary strategy. Exégèse Approche diachronique Critique des formes Critique rédactionnelle Approche synchronique Analyse rhétorique Approche narrative Analyse littéraire Analyse structurelle Formes littéraires Oracles Doxologies Hymnes Visions Unité littéraire Cohérence Exegesis Diachronic approach Form criticisms Redaction criticism Synchronic approach Narrative analyze Rhetoric approach Literary analyze Structural analyze Literary forms Oracles Doxologies Hymns Visions Literary unity Coherence 220.6 224
72	Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles / Qualification of source code generators in the avionics domain : automated testing of model transformation chains Richa, Elie 15 December 2015 (has links) Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le code généré fait partie d’un logiciel critique, les standards de sûreté exigent une vérification approfondie du GAC: la qualification. Dans cette thèse en collaboration avec AdaCore, nous cherchons à réduire le coût des activités de test par des méthodes automatiques et efficaces.La première partie de la thèse aborde le sujet du test unitaire qui assure une exhaustivité élevée mais qui est difficile à réaliser pour les GACs. Nous proposons alors une méthode qui garantit le même niveau d’exhaustivité en n’utilisant que des tests d’intégration de mise en œuvre plus facile. Nous proposons tout d’abord une formalisation du langage ATL de définition du GAC dans la théorie des Transformations Algébriques de Graphes. Nous définissons ensuite une traduction de postconditions exprimant l’exhaustivité du test unitaire en des préconditions équivalentes qui permettent à terme de produire des tests d’intégration assurant le même niveau d’exhaustivité. Enfin, nous proposons d’optimiser l’algorithme complexe de notre analyse à l’aide de stratégies de simplification dont nous mesurons expérimentalement l’efficacité.La seconde partie du travail concerne les oracles de tests du GAC, c’est à dire le moyen de valider le code généré par le GAC lors d’un test. Nous proposons un langage de spécification de contraintes textuelles capables d’attester automatiquement de la validité du code généré. Cette approche est déployée expérimentalement à AdaCore pour le projet QGen, un générateur de code Ada/C à partir de Simulink®. / In the avionics industry, Automatic Code Generators (ACG) are increasingly used to produce parts of the embedded software. Since the generated code is part of critical software, safety standards require a thorough verification of the ACG called qualification. In this thesis in collaboration with AdaCore, we seek to reduce the cost of testing activities by automatic and effective methods.The first part of the thesis addresses the topic of unit testing which ensures exhaustiveness but is difficult to achieve for ACGs. We propose a method that guarantees the same level of exhaustiveness by using only integration tests which are easier to carry out. First, we propose a formalization of the ATL language in which the ACG is defined in the Algebraic Graph Transformation theory. We then define a translation of postconditions expressing the exhaustiveness of unit testing into equivalent preconditions that ultimately support the production of integration tests providing the same level of exhaustiveness. Finally, we propose to optimize the complex algorithm of our analysis using simplification strategies that we assess experimentally.The second part of the work addresses the oracles of ACG tests, i.e. the means of validating the code generated by the ACG during a test. We propose a language for the specification of textual constraints able to automatically check the validity of the generated code. This approach is experimentally deployed at AdaCore for a Simulink® to Ada/C ACG called QGen. Génération automatique de code Analyse de transformations de modèles Test Langage ATL OCL Transformation algébrique de graphe Graphes imbriqués Plus faible précondition Oracles de tests model-to-text Automatic code generation Analysis of model transformations Test ATL language OCL Object Constraint Language Algebraic graph transformation Nested graphs Weakest precondition Model-to-text test oracles
73	Agrégation d'estimateurs et de classificateurs : théorie et méthodes Guedj, Benjamin 04 December 2013 (has links) (PDF) Ce manuscrit de thèse est consacré à l'étude des propriétés théoriques et méthodologiques de différentes procédures d'agrégation d'estimateurs. Un premier ensemble de résultats vise à étendre la théorie PAC-bayésienne au contexte de la grande dimension, dans les modèles de régression additive et logistique. Nous prouvons dans ce contexte l'optimalité, au sens minimax et à un terme logarithmique près, de nos estimateurs. La mise en \oe uvre pratique de cette stratégie, par des techniques MCMC, est étayée par des simulations numériques. Dans un second temps, nous introduisons une stratégie originale d'agrégation non linéaire d'estimateurs de la fonction de régression. Les qualités théoriques et pratiques de cette approche --- dénommée COBRA --- sont étudiées, et illustrées sur données simulées et réelles. Enfin, nous présentons une modélisation bayésienne --- et l'implémentation MCMC correspondante --- d'un problème de génétique des populations. Les différentes approches développées dans ce document sont toutes librement téléchargeables depuis le site de l'auteur. [STAT:TH] Statistics/Statistics Theory [STAT:TH] Statistiques/Théorie [STAT:ML] Statistics/Machine Learning [STAT:ML] Statistiques/Machine Learning [MATH:MATH_ST] Mathematics/Statistics Agrégation régression classification inégalités oracles théorie PAC-bayésienne COBRA MCMC parcimonie
74	Constructing Provably Secure Identity-Based Signature Schemes Chethan Kamath, H January 2013 (has links) (PDF) An identity-based cryptosystem (IBC) is a public-key system where the public key can be represented by any arbitrary string such as an e-mail address. The notion was introduced by Shamir with the primary goal of simplifying certificate management. An identity-based signature(IBS) is the identity-based counter part of a digital signature. In the first (and primary) part of the work, we take a closer look at an IBS due to Galindo and Garcia–GG-IBS, for short. GG-IBS is derived through a simple and elegant concatenation of two Schnorr signatures and, importantly, does not rely on pairing. The security is established through two algorithms (both of) which use the Multiple-Forking(MF) Algorithm to reduce the problem of computing the discrete logarithm to breaking the IBS. Our focus is on the security argument : It turns out that the argument is flawed and, as a remedy, we sketch a new security argument. However, the resulting security bound is still quite loose, chiefly due to the usage of the MF Algorithm. We explore possible avenues for improving this bound and , to this end, introduce two notions pertaining to random oracles termed dependency and independency. Incorporating (in) dependency allows us to launch the nested replay attack far more effectively than in the MF Algorithm leading to a cleaner,(significantly) tighter security argument for GG-IBS, completing the final piece of the GG-IBS jigsaw. The second part of the work pertains to the notion of selective-identity (sID) for IBCs. The focus is on the problem of constructing a fully-secure IBS given an sID-secure IBS without using random oracles and with reasonable security degradation. Identity Based Signature Provably Secure sSgnatures Schnorr Signature Oracle Replay Attack Galindo-Garcia Identity Based Signature Random Oracles Identity-Based Cryptosystems Identity Based Signatures - Forking Provable Security Selective-Identity Model Computer Science
75	Astrological implications in the 'Lot oracle' PGM 50 Gieseler Greenbaum, Dorian, Naether, Franziska 30 July 2018 (has links) In previous editions of the magical papyri, PGM 50 has been considered as a lot oracle. In this article we propose a reinterpretation of the text as a source for astrology rather than for lot oracles. This reinterpretation is based on PGM 50’s astrological vocabulary. We provide a new translation based on this evidence. We further discover parallels to the second-century C.E. astrologer Vettius Valens in the verso of the text, which emend the original text as given by Wessely and Preisendanz. / In früheren Editionen der magischen Papyri wurde PGM 50 als Losorakel angesehen. In diesem Artikel argumentieren wir jedoch, den Text eher als einen Vertreter der Astrologie denn als ein Losorakel aufzufassen. Diese Neuinterpretation beruht auf dem astrologischen Fachvokabular, das in PGM 50 Anwendung fi ndet. Neben einer Neuübersetzung, basierend auf diesen Erkenntnissen, war es möglich, auf dem Verso des Pergaments Parallelen zum Werk von Vettius Valens (2. Jh. n. Chr.) zu identifi zieren. Dadurch kann die Erstedition von Wessely und die Textausgabe bei Preisendanz emendiert werden. info:eu-repo/classification/ddc/930 ddc:930
76	De la vitalité oraculaire à l'époque hellénistique : le cas du sanctuaire d'Apollon à Koropè Du Sablon, Vincent 11 April 2018 (has links) L'étude du phénomène oraculaire à l'époque hellénistique semble quelque peu négligée par les modernes. Bien que la plupart mentionne la vitalité des oracles hellénistiques, peu ont analysé ce dynamisme. À Delphes, plusieurs éléments montrent qu'Apollon conserva son prestige jusqu'à la basse époque hellénistique. Les sources montrent alors une réduction, voire une localisation de son rayonnement. Malgré le déclin apparent de certains lieux de mantique, d'autres sources attestent plutôt une continuité dans la foi aux oracles chez les Grecs. Tel est le cas de l'inscription relative au maintien de l'ordre à l'oracle d'Apollon de Koropè, situé près de Démétrias. Ce document témoigne de la vitalité d'un manteion local, vers 116 a.C. Ainsi, l'époque hellénistique, quant au phénomène oraculaire, apparaît à la fois comme une période de continuité et de changement. Continuité en ce qui a trait à la vitalité des croyances oraculaires, et changement relatif à une modification du rayonnement des oracles traditionnels. / Québec Université Laval, Bibliothèque 2014 D 3.5 UL 2004 D971
77	Inférence Adaptative, Inductive et Transductive, pour l'Estimation de la Regression et de la Densité Alquier, Pierre 08 December 2006 (has links) (PDF) Cette thèse a pour objet l'étude des<br />propriétés statistiques d'algorithmes d'apprentissage dans le cas de<br />l'estimation de la régression et de la densité. Elle est divisée en<br />trois parties.<br /><br />La première partie consiste en une généralisation des théorèmes<br />PAC-Bayésiens, sur la classification, d'Olivier Catoni, au cas de la régression avec une fonction de perte<br />générale.<br /><br />Dans la seconde partie, on étudie plus particulièrement le cas de la<br />régression aux moindres carrés et on propose un nouvel algorithme de<br />sélection de variables. Cette méthode peut être appliquée notamment<br />au cas d'une base de fonctions orthonormales, et conduit alors à des<br />vitesses de convergence optimales, mais aussi au cas de fonctions de<br />type noyau, elle conduit alors à une variante des méthodes dites<br />"machines à vecteurs supports" (SVM).<br /><br />La troisième partie étend les résultats de la seconde au cas de<br />l'estimation de densité avec perte quadratique. [MATH] Mathematics théorie de l'apprentissage statistique sélection de modèles régression aux moindres carrés régions de confiance inégalités de concentration bornes pac-bayésiennes estimation non-paramétrique estimation adaptative mesures empiriques de la complexité schémas de compression machines à vecteur support inégalités oracles estimateurs randomisés distribution de Gibbs estimation de la densité ondelettes borne sur le risque
78	Worship and ritual in the crocodile cults of the Graeco-Roman Fayum Molcho, Michal January 2014 (has links) No description available. 299
79	La Théurgie: des oracles chaldaïques à Proclus Van Liefferinge, Carine January 1996 (has links) Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished Sciences humaines Proclus (approximately 410-485) Julian -- Emperor of Rome (331-363) Philosophy, Ancient Philosophy and religion Magic -- Religious aspects Paganism Philosophie ancienne Philosophie et religion Magie -- Aspect religieux Paganisme
80	Construire la parole des dieux : les rites mantiques et leurs agents dans les grands sanctuaires oraculaires du monde grec aux époques hellénistique et romaine Lesgourgues, Manfred 10 1900 (has links) Co-tutelle avec l'Université Paris-Nanterre / La pratique de la divination en Grèce ancienne est un phénomène bien connu du grand public, qui l’associe au personnage emblématique de la Pythie de Delphes. Inspirée par Apollon, cette prophétesse délivrait ses oracles en répondant aux questions que lui posaient les fidèles et l’on trouve dans de nombreux textes anciens le déroulement des consultations du dieu résumé sous la forme de deux affirmations complémentaires : « le fidèle a demandé » et « le dieu a répondu ». Pourtant, on ne saurait réduire la pratique divinatoire qui prenait place dans les sanctuaires oraculaires à un tête-à-tête entre deux personnes. Loin de se limiter à un agent inspiré, le personnel sacerdotal des sanctuaires oraculaires était nombreux et se trouvait mobilisé dans des rites complexes pour permettre de mettre en communication le monde des hommes avec celui des dieux. C’est à la diversité de ces agents et à la manière dont leurs interactions permettaient qu’advienne la parole divine qu’est consacré ce travail. Dans une première partie, sont étudiés les agents qui participaient aux rites mantiques des sept sanctuaires oraculaires les mieux attestés du monde grec aux époques hellénistique et romaine : celui de Zeus à Dodone, d’Apollon à Didymes, Claros et Delphes, celui de Trophonios à Lébadée, d’Amphiaraos à Oropos et de Glykon à Abonoteichos. Chaque sanctuaire est l’objet d’un chapitre dans lequel sont considérés, un à un, tous les agents, humains ou non, qui prenaient part au rituel afin de reconstituer les rites d’interrogation du dieu dans leur spécificité. Dans un second temps, cette pratique est pensée de manière transversale comme une pratique institutionnelle qui mobilisait des acteurs distincts à trois niveaux différents : celui de la cérémonie, du rituel et de l’échange verbal. / Divination in ancient Greece is a well-known phenomenon, often associated with the emblematic character of the delphic Pythia. Inspired by Apollo, this prophetess delivered her oracles by answering the questions asked to her, and in many ancient texts the oracular consultations are summarized in the form of two complementary statements: "a man asked" and "The god has answered". However, the practices that took place in the oracular sanctuaries can’t be reduced to a tête-à-tête. Far from being limited to an inspired agent, the priestly staff of the oracular sanctuaries was numerous and took part in complex rites to enable the world of men to be put in communication with the gods. This work studies the diversity of these agents and the way in which their interactions allowed the divine word to come out. In the first part, we study the agents who participated in the rites of the seven oracular sanctuaries best attested in the Greek world in the Hellenistic and Roman times: the shrine of Zeus in Dodona, Apollo in Didyma, Claros and Delphi, Trophonios in Lebadeia, Amphiaraos in Oropos and Glykon in Abonoteichos. Each sanctuary is the subject of a chapter in which all the agents, human or not, who took part in the ritual are taken into consideration, in order to reconstitute the rites of questioning the god in their specificity. In a second part, this practice is thought more broadly as an institutional process who associated distinct actors at three different levels: the ceremony, the rite and the verbal exchange. oracles sanctuaires agents sacerdotaux prêtres prophète prophétesse institution religieuse religion grecque divination enthousiasme inspiration Grèce continentale Asie Mineure hellénistique romain Delphes Dodone Didymes Milet Claros Lébadée Oropos Abonoteichos Apollon Zeus Amphiaraos Trophonios rite greek religion greek sanctuaries sacerdotal agents priest prophet prophetess religious institution enthousiasm inspiration Greece Minor Asia Hellenistic Roman Delphi Dodona Didyma Miletus Lebadeia ritual pythie pythia

Search results