We consider right modules over a ring, as models of a first order theory. We explorethe definable sets and the definable bijections between them. We employ the notionsof Euler characteristic and Grothendieck ring for a first order structure, introduced byJ. Krajicek and T. Scanlon in [24]. The Grothendieck ring is an algebraic structurethat captures certain properties of a model and its category of definable sets.If M is a module over a product of rings A and B, then M has a decomposition into a direct sum of an A-module and a B-module. Theorem 3.5.1 states that then the Grothendieck ring of M is the tensor product of the Grothendieck rings of the summands.Theorem 4.3.1 states that the Grothendieck ring of every infinite module over afield or skew field is isomorphic to Z[X].Proposition 5.2.4 states that for an elementary extension of models of anytheory, the elementary embedding induces an embedding of the corresponding Grothendieck rings. Theorem 5.3.1 is that for an elementary embedding of modules, we have the stronger result that the embedding induces an isomorphism of Grothendieck rings.We define a model-theoretic Grothendieck ring of the category Mod-R and explorethe relationship between this ring and the Grothendieck rings of general right R-modules. The category of pp-imaginaries, shown by K. Burke in [7] to be equivalentto the subcategory of finitely presented functors in (mod-R; Ab), provides a functorial approach to studying the generators of theGrothendieck rings of R-modules. It is shown in Theorem 6.3.5 that whenever R andS are Morita equivalent rings, the rings Grothendieck rings of the module categories Mod-R and Mod-S are isomorphic.Combining results from previous chapters, we derive Theorem 7.2.1 saying that theGrothendieck ring of any module over a semisimple ring is isomorphic to a polynomialring Z[X1,...,Xn] for some n.

Les études des scénarios électronucléaires modélisent le fonctionnement d’un parcnucléaire sur une période de temps donnée. Elles permettent la comparaison de différentesoptions d’évolution du parc nucléaire et de gestion des matières du cycle, depuis l’extraction duminerai jusqu’au stockage ultime des déchets, en se basant sur des critères tels que les puis-sances installées par filière, les inventaires et les flux, en cycle et aux déchets. Les incertitudessur les données nucléaires et les hypothèses de scénarios (caractéristiques des combustibles, desréacteurs et des usines) se propagent le long des chaînes isotopiques lors des calculs d’évolutionet au cours de l’historique du scénario, limitant la précision des résultats obtenus. L’objetdu présent travail est de développer, implémenter et utiliser une méthodologie stochastiquede propagation d’incertitudes dans les études de scénario. La méthode retenue repose sur ledéveloppement de métamodèles de calculs d’irradiation, permettant de diminuer le temps decalcul des études de scénarios et de prendre en compte des perturbations des paramètres ducalcul, et la fabrication de modèles d’équivalence permettant de tenir compte des perturbationsdes sections efficaces lors du calcul de teneur du combustible neuf. La méthodologie de calculde propagation d’incertitudes est ensuite appliquée à différents scénarios électronucléairesd’intérêt, considérant différentes options d’évolution du parc REP français avec le déploiementde RNR. / Nuclear scenario studies model nuclear fleet over a given period. They enablethe comparison of different options for the reactor fleet evolution, and the management ofthe future fuel cycle materials, from mining to disposal, based on criteria such as installedcapacity per reactor technology, mass inventories and flows, in the fuel cycle and in the waste.Uncertainties associated with nuclear data and scenario parameters (fuel, reactors and facilitiescharacteristics) propagate along the isotopic chains in depletion calculations, and throughoutthe scenario history, which reduces the precision of the results. The aim of this work isto develop, implement and use a stochastic uncertainty propagation methodology adaptedto scenario studies. The method chosen is based on development of depletion computationsurrogate models, which reduce the scenario studies computation time, and whose parametersinclude perturbations of the depletion model; and fabrication of equivalence model which takeinto account cross-sections perturbations for computation of fresh fuel enrichment. Then theuncertainty propagation methodology is applied to different scenarios of interest, consideringdifferent options of evolution for the French PWR fleet with SFR deployment.

This thesis looks at the development of Protestant and Evangelical encounter with Muslims from the earliest days of the Modern missions movement. Special attention is given to the dynamic equivalence model (DEM), which resulted in a new method for interpreting the Qur’an called the Christian Qur’anic hermeneutic (CQH). I begin with the early Protestant ministers among Muslims, such as Martyn and Muir. Pfander’s (1910) book, The balance of truth, embodies the view that the Qur’an teaches an irrevocable status of inspiration for the Old and New Testaments. The early and mid-twentieth century saw a movement away from usage of the Qur’an during Evangelical encounter with Muslims. Direct model advocates bypass the Qur’an and other religious questions for an immediate presentation of the gospel. The 1970s saw the development of the DEM, which produced significant changes in how Evangelicals encountered Muslims. Pioneers like Nida, Tabor, and Kraft implemented dynamic equivalence as a model in Evangelical ministry. Concurrently, Accad and Cragg laid groundwork for the CQH. The DEM creates obscurity in anthropology by promoting an evaluation of cultural forms as essentially neutral. This is extended to religious forms, even the Qur’an. Such a simple, asocial value for symbols is not sufficient to account for all of human life. Cultural forms, especially those intrinsically religious, are parts of a complex system. Meaning cannot be transferred or equivocated with integrity from one context to another without a corresponding re-evaluation of the entire system. Theological difficulties are also produced by the DEM and the CQH, and include the assigning a quasi-inspirational status to the Qur’an and a denial of unique inspirational status to the Christian Scriptures. If the gospel is communicated through the Qur’an, then it is difficult to deny some level of God-given status to it. Further, the Christian Scriptures are not unique as inspired literature. My proposal for how to use the Qur’an responsibly looks to Bavinck’s elenctics and is presented as Qur’anic pre-evangelism. Rather than communicating Biblical meaning through the Qur’an, Evangelicals can focus on areas of the Qur’an that coincide with a lack of assurance felt by Muslims in anthropology. / Christian Spirituality, Church History and Missiology / D. Th. (Missiology)

This thesis looks at the development of Protestant and Evangelical encounter with Muslims from the earliest days of the Modern missions movement. Special attention is given to the dynamic equivalence model (DEM), which resulted in a new method for interpreting the Qur’an called the Christian Qur’anic hermeneutic (CQH). I begin with the early Protestant ministers among Muslims, such as Martyn and Muir. Pfander’s (1910) book, The balance of truth, embodies the view that the Qur’an teaches an irrevocable status of inspiration for the Old and New Testaments. The early and mid-twentieth century saw a movement away from usage of the Qur’an during Evangelical encounter with Muslims. Direct model advocates bypass the Qur’an and other religious questions for an immediate presentation of the gospel. The 1970s saw the development of the DEM, which produced significant changes in how Evangelicals encountered Muslims. Pioneers like Nida, Tabor, and Kraft implemented dynamic equivalence as a model in Evangelical ministry. Concurrently, Accad and Cragg laid groundwork for the CQH. The DEM creates obscurity in anthropology by promoting an evaluation of cultural forms as essentially neutral. This is extended to religious forms, even the Qur’an. Such a simple, asocial value for symbols is not sufficient to account for all of human life. Cultural forms, especially those intrinsically religious, are parts of a complex system. Meaning cannot be transferred or equivocated with integrity from one context to another without a corresponding re-evaluation of the entire system. Theological difficulties are also produced by the DEM and the CQH, and include the assigning a quasi-inspirational status to the Qur’an and a denial of unique inspirational status to the Christian Scriptures. If the gospel is communicated through the Qur’an, then it is difficult to deny some level of God-given status to it. Further, the Christian Scriptures are not unique as inspired literature. My proposal for how to use the Qur’an responsibly looks to Bavinck’s elenctics and is presented as Qur’anic pre-evangelism. Rather than communicating Biblical meaning through the Qur’an, Evangelicals can focus on areas of the Qur’an that coincide with a lack of assurance felt by Muslims in anthropology. / Christian Spirituality, Church History and Missiology / D. Th. (Missiology)