Thesis (Ph. D.)--Yale University, 1980. / Typescript. Includes abstract. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (v. 1, leaves 327-356).

L' augmentation de la population à Tripoli et ses environs a conduit une augmentation de la demande des eaux souterraines et le forage de puits aléatoire . Cette situation a entraîné une hausse de la demande d'eau souterraine et ainsi a mit en danger l' aquifère (Miocène), ce qui peut entraîner des problèmes graves à moins des étapes pour la gestion des ressources en eau sont mises en œuvre . Ces mesures devraient inclure la définition de la caractérisation rigoureuse des propriétés de l'aquifère afin de bien gérer la qualité et la quantité d'eau pompée. Notre objectif dans cette étude est d'analyser les paramètres hydrochimique, hydrophysique, ainsi que le niveau d'eau de la nappe phréatique de Karstique du Nord du Liban. La répartition spatiale des paramètres physico- chimique obéit à une tendance croissante vers l'ouest c'est à dire vers la mer Méditerranée. Au cours des dernières décennies, les eaux souterraines illégalement pompé pour l'usage domestique et agricole a entraîné une dégradation de la qualité des eaux souterraines en raison de l'intrusion saline de l'eau dans les zones occidentales. Afin d'étudier l'origine le logiciel PhreeqC a permis de déterminer les propriétés et l'aspect hydrochimique des eaux souterraines ; de même le logiciel Aquitest a permit d'etudier les niveau d'eau de la region. SIG, Surfer et Visual MODFLOW ont été utilisés pour générer des cartes de localisation de la distribution spatiale des paramètres ainsi que la modélisation de la carte potentiométrique. Le résultat final a été la détermination des sources anthropiques, naturogéniques de contamination de l'eau au Nord du Liban et la formation de la carte piézométrique de la région. / The increasing population in Tripoli and its surrounding has placed an increase in the demand of groundwater and the random drilling of wells. This situation has resulted in a higher demand of groundwater and thus endangered the Miocene aquifer that will cause problems unless serious steps for the management of water resources are implemented. These steps should include defining stringent characterization of the properties of the aquifer in order to properly manage the quality & quantity of pumped water.Our aim in this study is to analyze the hydrochemical, hydro physical quality,& water level of groundwater in the Miocene aquifer in the North of Lebanon. The results have shown that the dominant type of groundwater in the area is highly chlorinated with sulfated calcium and magnesium with heavily charged Nitrate & Nitrite. The spatial distribution of the physiochemical parameters obey an increasing pattern westwards towards the Mediterranean Sea. During the last decades, illegal groundwater pumping mainly for domestic and agricultural use has caused groundwater quality degradation due to saline water intrusion from western areas .In order to study the origin and the hydrochemical aspect of groundwater, Phreeq C & Diagram software helped us determine the properties ;as for the water level Aquitest software was used.GIS ,Surfer & Visual Modflow softwares were used to generate maps locating the spatial distribution of all parameters & most importantly the modeling of the potentiometric map of the North. The end result was the determination of anthropogenic & naturogenic sources of water pollution in the North of Lebanon & the formation of the piezometric map of the region.

Thesis (Ph. D.)--University of Chicago, 2003. / Includes bibliographical references (leaves 254-270). Also available on the Internet.

Thesis (M.A.)--Bowling Green State University, 2006. / Document formatted into pages; contains viii, 57 p. : ill. Includes bibliographical references.

Thèse (M.A.)--Université Laval, 2004. / Bibliogr.: f. 70-74. Publié aussi en version électronique.

Magister Artium (Development Studies) - MA(DVS) / This study explores the informal saving institutions, with a particular focus on the Kobuakisa Carte practice, which is an informal financial institution that mobilizes savings for poverty reduction among low-income people in Kinshasa, Democratic Republic of Congo. The research investigates the extent to which the Kobuakisa Carte serves the purpose of mobilizing savings for poverty alleviation. It is hypothesized that Kobuakisa Carte influences informal savings, enables the poor to satisfy their basic material needs, reduces poverty and consequently leads to individual empowerment and development. This study integrated the case study methodology in its research design. It applied both qualitative and quantitative methods. The qualitative research data comprised document analysis, interviews with Kobuakisa Carte’s clients and officers. In addition, a questionnaire was utilized to gather quantitative research information from 50 informal traders. The findings of the study reveals that Kobuakisa Carte has not have a positive impact towards poverty reduction. Informal savings were incapable of helping the poor to increase their income because they were small in amount and were mainly used for fulfilling basic needs rather than financing income-generating activities. Savings from Kobuakisa Carte were used for survival rather than for poverty reduction. The majority of the poor favor Kobuakisa Carte due to its flexibility and adaptation to local culture and values. The study finds that the most positive impact of the scheme on the welfare of the poor was in the areas of education, health, food and housing. The scheme has the potential to empower the poor and to develop local finance system in following bottom up approach. This study recommends the partial integration of Kobuakisa Carte into formal financing channels and should be given proper recognition and adequate consideration in the nation’s financial system. The study concludes that Kobuakisa Carte is an active and dynamic saving scheme. It has demonstrated the potential to alleviate poverty. It needs to be studied and requires support in order to make it more effective.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Le calcul sur grille permet à un individu, une société, de disposer d’un ensemble d’unités de calcul fournies par des tiers. Dans ce type d’architecture, des problèmes de sécurité se posent : comment garantir à la fois la sécurité du matériel et de l’application. Pour ce qui concerne la sécurité de l’application, il s’agit principalement d’assurer la confidentialité du code et l’intégrité de son exécution. La sécurité du matériel consiste à protéger la machine contre tout code malveillant pouvant être contenu dans l’application. Aucun système ne permet aujourd’hui, de satisfaire ces contraintes fortes de sécurité. Notre objectif dans cette thèse est de proposer et de valider des solutions pour les problèmes de sécurité des grilles informatiques.Pour résoudre ces problèmes, nous proposons l’utilisation de la carte à puce comme support d’exécution hautement sécurisé à travers le déploiement de grilles de cartes à puce. Grâce aux mécanismes de sécurité qu’elles intègrent, les cartes à puce permettent en effet de protéger l’application et son code aussi bien que le support d’exécution. Le travail effectué dans cette thèse consiste à définir un environnement pour le calcul sécurisé sur grille de cartes à puce. / Abstract

Le domaine d'application des cartes à microprocesseur est de plus en plus vaste (le secteur monétaire, la téléphonie, la santé). Dorénavant, la carte s'intègre dans des systèmes distribués (paiement sur Internet, téléphonie mobile). Ainsi, malgré l'apparition de nouvelles cartes utilisant des langages de programmation répandus (comme Java pour la JavaCard), le développement des applications carte, dans un milieu distribué et très sujet aux pannes, se révèle de plus en plus complexe. Le modèle transactionnel, de par ses propriétés (Atomicité, Cohérence, Isolation et Durabilité) représente une bonne solution au traitement de ces problèmes. L'implantation de ce modèle dans les cartes à microprocesseur impose l'adaptation de deux mécanismes (la reprise sur panne, et le contrôle de concurrence sur les données) bien connus des systèmes transactionnels classiques. Pour cela, il a notamment fallu tenir compte de la faible taille mémoire disponible et du processeur peu puissant. L'utilisation de cartes gérant les mécanismes cités précédemment (la COST) dans des systèmes distribués s'effectue grâce à une architecture (appelée STIC), utilisant un service de validation distribuée (OTS pour CORBA). Un composant d'adaptation prend en charge les contraintes de la carte (notamment en terme de protocole de communication), de manière à ne pas modifier l'architecture des systèmes existants. Une maquette, basée sur la JavaCard et le service OTS de CORBA, a été réalisée dans le but de simuler une application de paiement sur Internet.