To see the other types of publications on this topic, follow the link: Lusace.
Dissertations / Theses on the topic 'Lusace'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Lusace.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Zdichynec, Jan. "Ženské kláštery Horni Lužice mezi duchovní a světskou mocí v 16. A 17. Století." Paris, EHESS, 2007. http://www.theses.fr/2007EHES0115.
Full textAbstract:
Les monastères féminins de la région de l'Allemagne de l'Est actuelle, de la Haute Lusace (Marienthal, Marienstern, Lauban) ont survécu en seules institutions catholiques dans ce territoire essentiellement protestant. On étudie leur situation au XVIe et au XVIIe siècle, où s'imposait la nécessité d'établir une organisation capable d'assurer leur survivance. La vie des moniales à l'époque moderne était déterminée au moins autant par les facteurs politiques, ecclésiastico-administratifs, sociaux et économiques que par leur coexistence avec le protestantisme, souvent dans une continuité avec la tradition antérieure. Suit une description microfactuelle de la crise interne des abbayes dans la seconde moitié du XVIe et au début du XVIIe siècle, qui reflète la confusion des différentes compétences et les tendances générales de la vie régulière féminine d'alors. L'analyse est complétée par des remarques relatives à la composition des communautés monastiques et à l'évolution de leurs domaines<br>The abbeys of women of the region of Eastern Germany, of historic Upper Lusatia (Marienthal, Marienstern, Lauban) are the only catholic institutions which have survived in the mainly protestant area. I study their situation above all in 16L and 17L century when it was necessary to constitute an organisational basis from which further existence of convents could evolve. The existence of nuns was determined just as strongly by politics, (church) administration and by social and economical factors, as it was by its coexistence with Protestantism, and often in the continuity with the local tradition. A micro-historic investigation of an internal crisis of the convents in the second half of the 16 and the beginning of 17TH century follows, reflecting the blended influence of various authorities, as well as by general trends in the evolution of women's monastic life of the period. The analysis is appended by notes on the inhabitants of the convents and the history of convent dominions
2
Körner, Siegfried. "Ortsnamenbuch der Niederlausitz : Studien zur Toponymie der Kreise Beeskow, Calau, Cottbus, Eisenhüttenstadt, Finsterwalde, Forst, Guben, Lübben, Luckau und Spremberg /." Berlin : Akademie Verlag, 1993. http://catalogue.bnf.fr/ark:/12148/cb36676787z.
Full text
3
Dupanier, Vincent. "Les résidences de Xavier de Saxe : un prince allemand en France (1758 - 1791)." Thesis, Paris 10, 2019. http://faraway.parisnanterre.fr/login?url=http://bdr.parisnanterre.fr/theses/intranet/2019/2019PA100163/2019PA100163.pdf.
Full textAbstract:
En 1769, le prince Xavier de Saxe, fils du roi de Pologne, décide de venir s'installer en France, pays dans lequel il reste jusqu'à la révolution, période qui le pousse à émigrer. C'est le seul cas en cette seconde moitié du XVIIIe siècle d'un prince allemand venant s’établir en France. Le prince, connu comme comte de Lusace, choisit d'acheter terres et châteaux dans le royaume. À la fois besoin social et politique, l'achat d'un château s'inscrit dans la stratégie de l’homme de cour. En France, il est confronté aux problèmes politiques et sociaux liés à sa positionde prince puîné au sein de la famille Wettin. Dans son château, il ne propose pas une vaste entreprise de promotion digne de son père, mais il s’attelle, bien que sous incognito, à ne pas faire oublier ses ascendances. En 1791, le prince possède deux châteaux, Chaumot et Pont-sur-Seine et un hôtel particulier à Paris donnant sur les Champs-Elysées. Le château de Pont-sur-Seine qui, à partir de 1775, devient sa « résidence ordinaire », doit représenter le statut de son propriétaire, et posséder tous les agréments à la mode. Dans notre thèse, nous avons tenté de répondre aux problématiques suivantes : cette haute ascendance (fils de roi et d'électeur) et sa position sociale (prince royal de Pologne et duc de Saxe) se retrouvent-elles dans les demeures du prince Xavier ? existe-t-il une différence de représentation entre sa résidence en Saxe et celle de France ? le prince peut-il allier noblesse, commodité et coût bas dans ses résidences ?<br>In 1769, Prince Xavier of Saxony, King of Poland's son, decided to settle inFrance, a country in which he remained until the revolution that pushed him to emigrate. This is theonly case in the second half of the eighteenth century of a German prince coming to settle inFrance. In 1770, Prince Xavier, known as Count of Lusatia, chose to buy lands and castles in thekingdom. At the same time, social and political need, the purchase of a castle in France fits in thestrategy of the man of court. In this kingdom, he is confronted with the political and social problemsrelated to his position as a prince of the Wettin family. In his castle, he does not offer a vastpromotion of him, but he works, although under incognito, not to forget his ancestries. In 1791, theprince owns two castles, Chaumot and Pont-sur-Seine and a house in Paris overlooking theChamps-Elysées. The castle of Pont-sur-Seine which, from 1775, became his "ordinary residence",must represent the status of its owner, and have all the amenities in fashion. In our thesis, we havetried to answer the following questions: this high ascendent (son of king and elector) and his socialposition (Prince Royal of Poland and Duke of Saxony) find themselves in the residencies of PrinceXavier? Is there a difference in representation between his residence in Saxony and that of France?Can the prince combine nobility, convenience and low cost in his residences?
4
Kelly, Maurice Paul. "Cryptosporidosis in Lusaka, Zambia." Thesis, Queen Mary, University of London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265046.
Full text
5
Kettlewell, R. "The lustre of wool." Thesis, University of Leeds, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234428.
Full text
6
Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.
Full textAbstract:
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus lent si on devient plus sûr. Afin d'augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d'une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s'appelle la compilation, et évite des erreurs introduites par l'homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d'un sous-ensemble large de C vers l'assembleur PowerPC pour lequel il a été prouvé dans l'assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d'éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d'avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l'est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne.
7
Komakoma, Leah. "An investigation into fan identity among supporters of the English soccer premier league in Lusaka, Zambia." Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1002902.
Full textAbstract:
This study investigates Zambians’ construction of identities based on their following of the English soccer premier league. The study seeks to understand how Zambian supporters of this league construct their identities based on their encounter with foreign teams/players and how they appropriate the meanings obtained through such viewing in their daily lives. The study is informed by the theories of fandom. Using an ethnographic critique of the media imperialism thesis, the study attempts to explore the meanings that the fans of the English soccer league in urban Lusaka make of the mediated soccer games, while in and outside the viewing spaces – the bars – where the games are ritually watched in groups. Based on the qualitative methods of focus group discussions, individual in-depth interviews and observations, the study probes the phenomenon of the consumption of English premier league football in countries abroad, focusing specifically on the experiences of fans in Lusaka, Zambia. Observation of this phenomenon in Lusaka reveals that fans find pleasure in the tactics that the teams in the league display, the professionalism of the players, goal scoring and self-empowerment for the few women supporters. This study probes these issues in greater depth. The foremost conclusion of the research is that it neither completely rejects nor accepts the media imperialism thesis. Instead, meanings should be understood within the context of the lived experience and reality of the fans.
8
Papailiopoulou, Virginia. "Test automatique de programmes Lustre / SCADE." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00454409.
Full textAbstract:
Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utilisation des plusieurs horloges et le test d'intégration, permettant la mesure de couverture de systèmes de grande taille. Ces deux stratégies pourraient avoir un impact positif sur le test efficace des applications réelles. Des études de cas extraites du domaine de l'avionique sont employées pour démontrer l'applicabilité de ces méthodes et pour évaluer leur complexité.
9
Mikáč, Jan. "Raffinement et preuves de systèmes Lustre." Grenoble INPG, 2005. http://www.theses.fr/2005INPG0131.
Full textAbstract:
Notre thèse se situe dans le domaine des méthodes formelles appliquées aux systèmes réactifs. Nous modélisons et traitons ces systèmes, en continuelle interaction avec leur environnement, grâce au langage synchrone Lustre. D'abord, sur la base d'un travail précurseur, nous établissons pour Lustre une méthode de preuve inductive des propriétés de sûreté. Cette méthode est optimisée, afin de prendre en compte au mieux la dynamique des systèmes. Elle est implémentée dans un outil de preuve, Gloups. Ensuite, suivant le modèle de la méthode B, nous définissons un calcul de raffinement pour Lustre. Ce calcul est à la fois adapté à Lustre et exprimé en ce langage. Les obligations de preuve qui assurent la correction du raffinement peuvent être traitées par Gloups. Pour faciliter le développement, un autre outil, Flush, génère automatiquement les obligations pour Gloups. Ainsi, nous utilisons Lustre à la fois comme langage de programmation et comme cadre formel d'un développement maîtrisé. L'intérêt de ce procédé réside dans la simplicité du langage et dans son adaptation aux systèmes réactifs : en ce domaine, notre méthode de raffinement est suffisamment expressive, sans être inutilement compliquée. Des exemples viennent démontrer l'intérêt de la méthode<br>This thesis is set into the domain of formal methods applied to reactive systems. These systems, characterized by their continuous interaction with their environment, are modeled and managed by the means of the synchronous programming language Lustre. Firstly, thanks to a previous work, we build an induction-based proof method of Lustre safety properties. The method is optimized in that it takes into account the dynamics of the systems in the best possible way. We implemented it in the Gloups proof tool. Then we define a refinement calculus for Lustre which follows the B method model. The calculus is both adapted to and expressed in Lustre. The proof obligations which ensure the refinement correctness can be handled by Gloups. In order to simplify the development, another tool called Flush automatically generates the proof obligations for Gloups. Thus we use Lustre as both a programming language and a formal development framework. The interest of our method stems from the simplicity of Lustre and its adaptation to the reactive systems: in this domain, our refinement method is expressive enough, yet not exceedingly complex. To finish, we show the interest on some examples
10
Santos, Joelice Barbosa dos. "Entre o porão e o lustre: a relação personagem e espaço no romance O lustre, de Clarice Lispector." Pontifícia Universidade Católica de São Paulo, 2008. https://tede2.pucsp.br/handle/handle/14845.
Full textAbstract:
Made available in DSpace on 2016-04-28T19:59:09Z (GMT). No. of bitstreams: 1
Joelice Barbosa dos Santos.pdf: 1243787 bytes, checksum: 2f51770054d3784d1a87df09695ca182 (MD5)
Previous issue date: 2008-04-22<br>Secretaria da Educação do Estado de São Paulo<br>The central object of this research is the analysis of the novel O Lustre, by Clarice Lispector. Some theoretical reflections about the modern novel, as well as the criticism about this book, helped us in this study. Therefore, the present work does not base itself only in the theoretical discussion, but in the critical voice too, which did not recognize this literary work of 1946 as criticism did with the others novels by this author.
The observations about the Aesthetics of Reception, proposed by Hans Robert Jauss, served to draw up the way in which the horizon of expectations about this novel developed. From this approach, we can observed that the question about the convention of the genres in the Lispector s work was a key factor that bothered many critics. Actually, this book does not follow the straight rules of the traditional novel.
In this novel, the character stands out in the process of construction and the relations with the space. For this, it is transforming according to the place where it is. Gaston Bachelard s concepts were the base to analyze the space in this novel. The central attention about the question of space was based in the discussions that appear in his book The Poetics of the Space.
The importance of the O Lustre in Lispector s work is also noted in the quotations from the other authors which appear in this narrative, as Edgar Allan Poe. Moreover, this book presents various relations with other arts. The present research wishes to contribute with the studies about Lispector s work. Especially with a novel considered minor in the Brazilian writer s production<br>O objetivo principal desta pesquisa é a análise do romance O lustre, de Clarice Lispector. Diversas reflexões teóricas acerca do romance moderno, assim como a fortuna crítica sobre este livro, nos auxiliaram neste estudo. Portanto, nosso trabalho não se pauta apenas na discussão teórica, mas na voz da crítica que, de certo modo, não valorizou o volume de 1946 do mesmo modo que julgou os demais romances da escritora.
As considerações sobre a recepção crítica, propostas por Hans Robert Jauss, serviram para traçarmos uma linha evolutiva do horizonte de expectativas do leitor de O lustre. A partir dessa abordagem, verificamos que a questão sobre a convenção dos gêneros na obra de Lispector foi um fator que incomodou grande parte dos críticos, uma vez que esse livro não obedece a regras rígidas.
Nesse romance, a personagem ganha destaque no processo de construção e nas relações com o espaço que se mostram necessárias à medida que ela se transforma e se constrói a partir do lugar em que se encontra. As idéias de Gaston Bachelard foram relevantes na análise do espaço, pois o recorte foi baseado nas discussões presentes em seu livro A poética do espaço.
A importância de O lustre dentro da obra clariceana se mostra ainda no que diz respeito às referências a outros autores presentes nessa narrativa, como Edgar Allan Poe, bem como o diálogo com outras artes, conforme observamos.
Em suma, esta pesquisa quer contribuir com os estudos que abordam a obra de Clarice Lispector a partir de um romance considerado menor na produção da escritora brasileira
11
Parissis, Ioannis. "Test de logiciels synchrones spécifiés en Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00005010.
Full textAbstract:
Ce travail s'inscrit dans le cadre des méthodes formelles et des outils pour la spécification, la programmation, la vérification et la validation des logiciels réactifs à l'aide du langage synchrone Lustre. Nous avons étendu l'environnement de développement actuel de ces logiciels en lui adjoignant des outils de validation de spécifications et de test de programmes. Nous proposons une technique de construction automatique d'un simulateur aléatoire de l'environnement externe du logiciel ainsi que d'un simulateur des comportements sûrs de ce dernier. Exécutés conjointement, ces deux simulateurs permettent, par observation, la validation des spécifications de l'environnement et des propriétés de sûreté. La simulation de l'environnement constitue également un moyen de test aléatoire du logiciel. Une variante de cette technique est le test des propriétés de sûreté. Ce type de test favorise l'exécution des comportements de l'environnement du logiciel qui peuvent mettre en évidence avec une plus grande probabilité des violations des propriétés de sûreté. Enfin, nous définissons des critères de couverture pour le test structurel en s'appuyant sur le réseau d'opérateurs associé à un programme Lustre. Les conditions d'exécution des composants du réseau satisfaisant les critères sont calculées automatiquement ce qui permet la génération automatique de données de test ainsi que la mesure du taux de couverture obtenu. Toutes ces techniques sont formellement définies. Une illustration de leur application sur un exemple de logiciel synchrone que nous avons développé à cet effet complète notre étude.
12
Chinkoyo, Evans. "Erectile function in circumcised men: Lusaka, Zambia." Thesis, Stellenbosch : University of Stellenbosch, 2015. http://hdl.handle.net/10019.1/97225.
Full textAbstract:
Introduction: Evidence from 3 randomized controlled trials in South Africa, Uganda and Kenya showing that male circumcision can reduce heterosexual transmission of HIV from infected females to their male sexual partners by up to 60% has led to a dramatic increase in the demand for circumcision in most African countries hard-hit by the HIV pandemic. Among communities where circumcision is not routinely practiced, this has created anxieties around possible deleterious effects of circumcision on erectile function. Most studies that have been conducted to explore the relationship between male circumcision and erectile function have yielded conflicting results (6-8, 14, 15). This study aimed to compare erectile function in circumcised and uncircumcised men in Lusaka, Zambia.
Aim/objectives: To compare erectile function in circumcised and uncircumcised adult men aged 18 years and above in Lusaka, Zambia.
Methods:
Design: In this cross sectional survey, a total of 478 participants (242 circumcised and 236 uncircumcised) comprising patients, health workers and other men visiting the 4 study sites between 1/6/13 and 30/9/13 were handed the IIEF-5 questionnaire to complete.
Information about participants’ age, relationship status, education level, smoking, alcohol use and medication use was also collected. The study included sexually active men older than 18 years living in Lusaka, Zambia. Males younger than 18 years, those lacking sexual experience and, those with serious mental and physical conditions were excluded from the study. Setting: Outpatient departments of 4 primary health care facilities in Lusaka, Zambia.
Main Outcome Measure: Erectile function scores were calculated for the 2 groups. Normal erectile function was defined as an IIEF-5 score ≥22 (out of a possible maximum score of 25) points.
Results: Circumcised men had higher average erectile function scores compared to their uncircumcised counterparts, U=23062.50, Z=3.64, p<0.001. The prevalence of ED was lower in circumcised men (56%) compared to that in uncircumcised ones (68%), 2 (N182) =7.52, df=1, p<0.05. Erectile function scores were similar in those circumcised in childhood compared to those circumcised in adulthood, 2 (N242) =0.29, df=1, p=0.59. The groups did not differ significantly in age, relationship status, smoking, alcohol use and medication use. However, a statistically significant difference was observed in education levels with the circumcision group showing higher levels, 2 (N478)=19.05, df=6, p<0.005.
Conclusion: The higher erectile function scores in circumcised men observed in this study show that circumcision does not confer adverse effects on erectile function in men. Circumcision can thus be considered without concern about worsening erectile function. However, a prospective study in a similar cultural context is needed to confirm these findings.
13
Rocheteau, Frederic Halbwachs Nicolas Vuillemin Jean Mazaré Guy. "Extension du langage LUSTRE et application à la conception de circuits le langage LUSTRE-V4 et le système POLLUX /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00342092.
Full text
14
Rocheteau, Frédéric. "Extension du langage LUSTRE et application a la conception de circuits : le langage LUSTRE-V4 et le systeme POLLUX." Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00342092.
Full text
15
Lakehal, Abdesselam. "Critères de couverture structurelle pour les programmes Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00100384.
Full textAbstract:
Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. <br /><br />Nous avons, en conséquence, défini une hiérarchie de critères adaptés au paradigme flot de données synchrone. Les critères permettent de mesurer la couverture des chemins dans un réseau d'opérateurs. Un réseau d'opérateurs est une modélisation graphique des flots de données dans un programme Lustre. Les critères sont basés sur le calcul symbolique des conditions d'activation de ces chemins. <br /><br />Un outil nommé Lustructu, a été réalisé pour mesurer la couverture atteinte par un jeu de tests selon ces critères. Lustructu analyse le programme sous test et calcule les chemins et leurs conditions d'activation. L'évaluation de la couverture par Lustructu est non-intrusive (pas d'instrumentation du code). L'applicabilité et la pertinence des critères ont été évaluées sur une étude de cas significative issue du secteur de l'aéronautique.
16
Haig, Joan. "Situating strangers : understanding Hindu community life in Lusaka." Thesis, University of Edinburgh, 2011. http://hdl.handle.net/1842/5926.
Full textAbstract:
This thesis explores the complex identities of the Hindu community of Lusaka, Zambia. It argues that current theories in migration and diaspora studies are not sufficient for understanding such groups in post-colonial Africa. The thesis proposes that we should revisit ‘forgotten’ literature, on immigrants as ‘stranger’ communities, that originates from Georg Simmel’s 1908 essay, ‘The Stranger’. Such work, which this thesis terms ‘stranger theory’, usefully contributes to more contemporary approaches by enabling a comprehensive assessment of a community’s position and how that position changes over time. Stranger theory is used in this thesis to situate Lusaka’s Hindus (and Zambian Hindus more generally) as ‘organic’ members of the nation, whose relationships with wider society are characterised by both ‘nearness’ and ‘remoteness’. The thesis first describes the emergence of a Zambian Hindu ethnic identity during colonial and immediate postcolonial (post-1964) periods focussing on migration and settlement patterns, immigrant networks and the emergence of cultural associations. A theme running throughout the thesis is that the ‘plural society’ of the colonial era (a society consisting of separate, racially-categorised groups with limited interaction) has persisted in Zambia in a postcolonial form, and that this is a useful way of understanding the position of the Hindu community in Zambia today. Following the historical discussion is an analysis of how the contemporary city of Lusaka is experienced by its Hindu residents, through mapping out spaces, social structures and practices that remain unique to Lusaka’s Hindus. Lusaka’s Hindu community is presented as both cohesive and fragmented; the thesis goes on to analyse the ways in which community identity itself is frequently broken down and reconfigured by its members. Zambia’s Hindus comprise diverse sets and subgroups of immigrants with uneven and ‘flexible’ approaches to, and experiences of, migration, citizenship and belonging, rather than embodying a single, quantifiable ‘diaspora’ entity. Yet, in local terms, Hindus in Lusaka are often treated as part of a general ‘Indian’ group; indeed, the thesis shows how Hindus’ relationships with other groups in Zambia emphasise the ‘stranger’ dimension of the community’s position in society. Finally, the thesis asserts that Zambian Hindu ‘twice migrants’—those who migrate onwards to new destinations—reinforce the existence and identities of the ‘home’ community in Zambia. Indeed, these twice migrants must be considered as African and Zambian transnational migrants as well as part of a South Asian ‘diaspora’. Methodologically, the thesis is driven by situational analysis, and brings two separate versions of this approach (from Sociology and Anthropology) together, drawing on data collected in Zambia between 2006 and 2008.
17
Bergerand, Jean-Louis. "LUSTRE un langage déclaratif pour le temps réel /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00320006.
Full text
18
Dumas, Canovas Cécile. "Méthodes déductives pour la preuve de programmes LUSTRE." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10200.
Full text
19
Banda, Faith. "Physiotherapy management of spina bifida in Lusaka, Zambia." University of the Western Cape, 2016. http://hdl.handle.net/11394/5073.
Full textAbstract:
Magister Artium - MA<br>Background: Spina Bifida (SB) is one of the leading causes of disability in children globally. Its management in Sub-Saharan countries is quite challenging and has shown to be an expensive public health problem. A recent study on SB has shown that physiotherapy is poorly utilised in Zambia. Although it is very cardinal in the rehabilitation of children right from birth, very little is known on the role of physiotherapy in the management of children with SB. Aim: To investigate the role of physiotherapy in the management of SB patients both at the University Teaching Hospital (UTH) and Beit Cure International Hospital (BCIH) during the period: January 2010 to December 2014. Study design: A sequential explanatory mixed study design was used for this study. An adapted validated data extraction form was used to capture quantitative data from hospital records, while an interview guide was used in in-depth interviews and Focus Group Discussion (FGDs) with specialist physiotherapists. Data analysis: Quantitative data was analysed using SPSS version 23 and descriptive statistics represented on graphs, charts and tables in form of percentages and frequency distributions. Qualitative data was audiotaped during the focus group discussion and in-depth interviews, transcribed verbatim and thematic analysis was used. Results: A total number of 207 children with SB were managed during the period under review at the two hospitals with the most prevalent type of SB being myelomeningocele and hydrocephalus at 69.4%, commonly located in the lumbar region 53.3%, prone in female patients 55.6%. A total of 38% had an increased tone while 2% had low tone indicating the need for physiotherapy. Through purposive sampling, a total of eight physiotherapists took part in the qualitative study. Results showed that there are poor referral systems for physiotherapy at the two hospitals making follow up quite difficult at times. Information on physiotherapy sessions was not included in patient files but only indicated in the physiotherapy departmental registers. Some physiotherapists felt that their role in the rehabilitation process was not known amongst team members such as surgeons. However, the availability of assistive devices at the hospitals helped provide better services which in turn promoted improvement in patients and also contributed to motivation. Conclusion: Having undergone some training as rehabilitation team members, all the physiotherapists noted that training helped to empower them, gain experience and changed attitudes of some rehabilitation team towards them. It is therefore recommended that the referral system and documentation be improved upon in order to effectively work together as a rehabilitation team with common goals.
20
Salati, Florence Chiwala. "The knowledge and attitutes of physiotherapists towards patients with HIV/AIDS in the Lusaka Province, Zambia." Thesis, University of the Western Cape, 2004. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=init_4458_1177919173.
Full textAbstract:
With the increase in the number of persons suffering from HIV/AIDS, physiotherapists are often required to treat these patients who present with respiratory and neurological complications. Although physiotherapists are at a lower risk of HIV infection in the workplace than nurses and doctors, it is necessary to determine their knowledge and perceptions of the risks, fears of HIV transmission and their attitudes towards patients with the disease. The aim of the study was to determine the physiotherapists knowledge of, and their attitudes towards patients with HIV/AIDS. It also explored whether the physiotherapists knowledge influences attitudes towards HIV/AIDS patients in Lusaka, Zambia.
21
Chilufya, Patrick Mukuka. "Impact of antiretroviral therapy on risky sexual behaviour in people living with HIV and AIDS (PLWHA) in Lusaka District of Zambia." Thesis, Stellenbosch : Stellenbosch University, 2015. http://hdl.handle.net/10019.1/97951.
Full textAbstract:
Thesis (MPhil)--Stellenbosch University, 2015.<br>ENGLISH ABSTRACT: The aim of the study was to investigate to what extent the availability of antiretroviral treatment has influenced sexual risk behavior practices in people living with HIV and AIDS (PLWHA) in order to provide suggestions to improve HIV prevention messages.
The study was conducted among adult HIV patients on ART aged 18 and above and affiliated to the Network of Zambian People Living with HIV/AIDS (NZP+) in Lusaka District. A purposive sampling method was used to select study units and a sample of 40 was selected. Data was collected from participants using a self-administered questionnaire. SPSS version 20 software computer package was used to analyze data. Chi- square was used to measure associations between dependent variables (risky sexual behavior and initiation of ART) and the independent variable (duration of time on ART). With the confidence interval set at 95%, the P value was used to ascertain the degree of significance by using the decision rule which rejects the null hypothesis if P value is equal or less than 0.05.
The findings revealed that the participant's mean age was 2.8 ± 1.3 SD. More than half (68%, n=27) of the participants had adequate knowledge on HIV prevention while 90% (n=36) of participants had a good (positive) attitude towards ART. 82.5% (n=33) of the participants on ART had sexual intercourse in the last 6 month, and 21.2% (n=7) of these did not use a condom for secondary prevention. There was no significant correlation between being on ART and having sexual intercourse, condom usage or number of sexual partners OR (P value of 0.45 and 0.85), (P values 0.37 and 0.5) and (P value 0.34 and 0.57) respectively. In multivariable analysis, the majority of the respondents (35.5%, n=11) indicated that continued sensitization would improve HIV prevention messages to support communities affected. Few (29%, n=9) stated that: "promoting abstinence among the youths or use of a condom for those that are sexually active and intensifying VCT campaign would reduce HIV transmission" and 7% (n=2) of the respondents suggested that; "involving the families and communities affected, civic, religious, and traditional leaders to educate both the young and adult citizens in schools, colleges and churches to support PLWH and fight against HIV-related stigma and discrimination.
Stellenbosch University https://scholar.sun.ac.za
iii
A significant association was not found between an increase in risky sexual behavior or an upsurge in the occurrence of unprotected sex, initiation of ART and duration of being on ART. The majority (83%, n=15) of the respondents on ART for less than sixty months had protected sexual intercourse and 73% (n=11) on ART for sixty months and above also used protection. This association was statistically not significant (Chi-square value 2.95. P value > 0.05). However; other studies need to explore these subjective interpretations further.<br>AFRIKAANSE OPSOMMING: Nie beskikbaar
22
Suleman, Fahmida. "The lion, the hare and lustre ware : studies in the iconography of lustre ceramics from FaÌ?tÌ£imid Egypt (969 - 1171 CE)." Thesis, University of Oxford, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.404878.
Full text
23
Simatele, Danny Mulala. "Motivation and Marginalisation of Urban Agriculture in Lusaka,Zambia." Thesis, University of Sussex, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.487566.
Full textAbstract:
This doctoral thesis aimed at identifying factors accounting for the motivation of urban residents in engaging in urban agriculture (VA) on the one hand, and its exclusion from urban development and planning policy in Lusaka on the other. It is based on fieldwork that was carried out in three different locations of the city, namely; Chilenje, Garden Compound, and Seven Miles. The findings suggest that the motivation for UA in Lusaka is embedded in its contribution to urban household food security and income generation. Despite this contribution, field-based investigations revealed that VA is not officially recognised and integrated into planning policy, in spite of some policy and political statements supporting its practice. While a number of factors, such as lack of financial resources and lack of urban space etc, were presented as some of the major constraints hampering the integration of UA into planning policy by the respondents, field survey data and other policy documents revealed that a weak institutional set up and lack of political-will are among several factors responsible for the neglect ofUA in urban planning policy. With the right political-will and institutional set-up, several factors necessary for the pursuit ofVA could be established. Such an approach would not only facilitate the setting up of an infrastructure that could support VA, but would also result into a detailed city-wide inventory of the practice. The availability of reliable data would then provide a useful basis for discussions between city authorities and farmers and this would spearhead the integration of VA into planning policy. With a greater level ofmutual understanding between different actors, the present contradictory official responses might be replaced with a more positive, sensitive and nuanced approach to urban agriculture, where its value to individuals, households and the city as a whole is more fully appreciated. But before this can happen, it is important that everyone is fully aware of the significance of VA for food security, employment, income and ecological benefits, at a time when the city is facing economic constraints and post-adjustment pressures.
24
Plaice, John. "Sémantique et compilation de LUSTRE, un langage déclaratif synchrone." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37617576w.
Full text
25
Plaice, John. "Sémantique et compilation de LUSTRE, un langage déclaratif synchrone." Grenoble INPG, 1988. http://www.theses.fr/1988INPG0032.
Full textAbstract:
Le langage étudie est un langage de programmation des systèmes temps réel fonde sur une interprétation synchrone des réseaux a flux de données. Son compilateur a été conçu entièrement à partir de descriptions formelles de la sémantique du langage. L'originalité principale du compilateur est qu'il tient d'une part aux vérifications statiques de cohérence temporelle et d'autre part à la génération de code séquentiel, par synthèse du contrôle sous forme d'automate fini
26
Siachitema, Alice Kathleen Malilwe. "English in three neighbourhoods of Lusaka : use and attitudes." Thesis, University of Edinburgh, 1986. http://hdl.handle.net/1842/20187.
Full text
27
Ndlovu, Ntombizikhona Beaulah. "Mohair and wool fibre surface structure and lustre determination." Thesis, Walter Sisulu University, 2011. http://hdl.handle.net/11260/d1006641.
Full textAbstract:
Textiles have always been one of the essential materials for people and have a great variety of uses such as in clothing, agriculture, medical, automotive and aerospace applications. The sort of properties needed for any type of fabric basically depend on the structure of the fibre surface. Of many geometric attributes that can be used to describe the surface appearance of a fibre, yarn, or fabric sample, one of the more common is lustre. Mohair and wool fibre surface structure have been studied using optical microscopy and Atomic Force Microscopy (AFM). Optical microscopy was also used to take fibre diameter measurements. Another technique, goniophotometry, was used to make quantitative lustre measurements of mohair and wool fibres. The surface structure of mohair has got a faint pattern of scales where the scales are generally unpronounced or flat and relatively long. Wool has got a scaly surface structure where the scales overlap leading to interlocking of fibres. The scale configuration on the surface of mohair and wool fibres also differs. A qualitative connection between fibre lustre and the fibre surface structure was found. Because of its smooth surface relative to that of wool, mohair reflects a greater amount of incident light specularly whereas wool reflects most of the incident light diffusely. In general, mohair fibres have a higher lustre than wool due to its less prominent cuticle structure found on its surface. Furthermore, mohair fibres with the smallest diameters give an even higher lustre.
28
Mumba, Mumba. "Physical disabilities among adults with HIV/AIDS being managed by the Makeni home-based carers in Lusaka, Zambia." Thesis, University of the Western Cape, 2004. http://etd.uwc.ac.za/index.php?module=etd&.
Full textAbstract:
HIV and AIDS are now being considered as a chronic disease. As people live longer the possibility of physical disability increases. This study aimed to investigate the nature of physical disability among HIV/AIDS adults cared for by the Makeni home-based carers in Lusaka, Zambia. Disability was measured based on the World Health Organisation International Classification of Functioning, Disability and Health. This study demonstrated that mostly mild impairments and mild to moderate activity limitations and participation restrictions exists among patients in the Makeni home-based care programme. This study concluded that physiotherapists and other health professionals will have to be more involved in the community home-based programs that are suited for people living with HIV/AIDS so that they are also provided with clinical assessments and rehabilitation services.
29
Tembo, Attracta C. "Exploring community participation in a diarrhoea prevention program in Kanyama, Lusaka, Zambia." Thesis, University of the Western Cape, 2007. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_5117_1257946425.
Full textAbstract:
<p>The program that was studied is part of the Child Health Program devised and supported by CARE International and implemented in Kanyama, a high density and low cost community found on the outskirts of Lusaka, Zambia. Diarrhoea was identified as one of the three most common diseases affecting the children under the age of five years. Through community participation, the program was implemented by the Kanyama residents to reduce the cases of diarrhoea, malaria and pneumonia among children aged five years and under. The main aim of this study was to explore the perceptions of the impact of community participation by the community leaders and community members in the diarrhoea prevention program and to establish constraints affecting participation.</p>
30
Mwansa, Kalombo Thomson. "Property crime and the criminal process in Lusaka magistrates' courts." Thesis, SOAS, University of London, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.413191.
Full text
31
Musangeya, Elaya E. "Young women's engagement with sport in Lusaka secondary schools, Zambia." Thesis, University of Sussex, 2016. http://sro.sussex.ac.uk/id/eprint/58898/.
Full textAbstract:
This thesis reports on an investigation into the sport experiences and views of a sample of young women in two High Schools in Lusaka, Zambia. The purpose of the study was to gain an understanding of the sports played by young women, their reasons for playing the sports, the benefits they gained, and how they navigated and negotiated the barriers they faced. The study was framed by looking at the intersections and interactions of four key ideas – sport, education, gender, and development. Significantly the study was set in the context of the United Nations' declarations of sport as a human right and the global policy position of using sport as a tool for development, gender equality and empowerment of young women. Thirty-six young females from Grades 10 and 11, identified through snowball sampling, participated in the interpretive phenomenological research. Data was collected mainly through six focus groups, thirty-six semi-structured interviews and field observations. The findings show that young women played team sports in schools' extracurricular programmes historically and culturally dominated by men and characterized by gender issues around participation. Interestingly the same young women also took part in after school activities organized by Non-Governmental Organizations that disseminated HIV/AIDS information and addressed gender equality issue through sports. Using young women's voices, the thesis details their personal and social reasons for playing traditionally male sports. It also details the personal, social, health-related and economic benefits they experienced, and, as active agents, how they navigated and negotiated gendered barriers associated with the notion of sport, access to playing space and resources, and regulation of their behaviour in doing sport. There was, however, no evidence from the young women to suggest that playing male sports or sport for development interventions contributed to gender equality and women's empowerment. The thesis underlines the importance of listening to young women about what sports they want to play, the social support they need from peers, friends and family and especially males, and that sport for development interventions may have potential in facilitating young women's participation or in reducing the gender-based barriers women face. The thesis highlights limitations of the study and suggests important directions for future research.
32
Curic, Adrian. "Implementing Lustre programs on distributed platforms with real-time constrains." Université Joseph Fourier (Grenoble), 2005. http://www.theses.fr/2005GRE10150.
Full textAbstract:
Les applications caractéristiques aux systèmes embarqués doivent respecter des contraintes strictes telles que la fiabilité, les échéances de temps, la simultanéité et le comportement déterministe. La conception de ces applications est simplifiée par l'utilisation du développement basé sur des modèles où les outils associés simplifient ou automatisent les diverses phases de développement. Nous présentons une chemin complet de développement des applications de systèmes embarques sur une plateforme distribuée. Cene approche utilise un langage synchrone de modellisation orienté flots de données (Lustre) et une plateforme d'exécution temps-réel distribuée (TTA). Dans cette thèse on propose des extensions du langue Lustre contenant des notations de temps-réel et de distribution. Suivant ceci, une méthode complète d'implémentation des spécifications Lustre sur l'architecture de TTA est définie. Les algorithmes conçus incluent l'analyse statique des spécifications Lustre, la décomposition des spécifications en taches, l'ordonnancement des taches et la génération du code exécutable. Un outil de vérification pour les applications TTA et un outil de modellisation d'applications distribuées temps-réel sont également présentés<br>The development of embedded system applications is challenged by strict constraints such as reliability, hard deadlines, concurrency and deterministic behaviour. These challenges are simplified by the use of model based design where associated tools simplify or automatize the various development phases. We present an end-to-end approach for the design and implementation of embedded software on a distributed platform. This approach comprises a synchronous data-flow modelling language (Lustre) and a distributed time-triggered execution platform (TTA). Proposed in this presentation are generalised extensions of the Lustre language containing real-time and distribution primitives. Following that, a 1 complete method for implementing the Lustre specified application over the TTA architecture is defmed. Algorithms defmed include the static analysis of Lustre specifications, code decomposition in tasks, task scheduling, executable code generation. A schedule verification tool and a runtime system tool for distributed time triggered applications are also presented
33
Mweetwa, Alice Mutiti. "An Inventory of Agricultural Persistent Organic Pollutants in Lusaka, Zambia." Miami University / OhioLINK, 2004. http://rave.ohiolink.edu/etdc/view?acc_num=miami1084968977.
Full text
34
Rubini, Pascal. "Définition fonctionnelle, évaluation et programmation d'une architecture massivement parallèle." Phd thesis, Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00342041.
Full textAbstract:
L'architecture massivement parallèle étudiée dans cette thèse tente d'associer un fonctionnement de type mimd a des unités de calcul de petite taille, contrairement a ce qui se fait traditionnellement, afin de rendre possible la réalisation de machines de très grande échelle. Elle se situe dans la continuité des machines de type réseau cellulaire étudiées au sein du groupe circuits du LGI (asynchrones, topologie en grille 2d, communication par passage de message) mais dans une optique non dédiée. Cette vocation généraliste pose le probleme du dimensionnement relatif des éléments (processeur, routeur, mémoire) qui doit concilier économie et fonctionnalité. A la lumière d'une approche expérimentale par simulations, le mécanisme de transfert de message parallèle utilise jusqu'alors apparait comme surdimensionne et trop exigeant d'un point de vue connectique. Des solutions plus réalistes (wormhole multiplexe, bus intra-chip) sont présentées et montrées comme suffisamment puissantes. L'étude d'un certain nombre de programmes d'exemples a permis d'une part d'améliorer de façon significative le jeu d'instructions et de valider un ensemble de primitives de communication simples, d'autre part de montrer que l'implémentation d'algorithmes de natures très variées était possible
35
Guinaudeau, Ophélie. "Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4001/document.
Full textAbstract:
Les neurones biologiques communiquent par le biais d’impulsions électriques, appelées spikes, et les fonctions cérébrales émergent notamment de la coordination entre les réceptions et émissions de ces spikes. Par ailleurs, il est largement admis que la fonction de chaque neurone dépend de sa morphologie. Les dendrites conditionnent l’intégration spatio-temporelle des spikes reçus et influent sur les temps d’occurrence des spikes émis. Elles sont donc fondamentales pour l’étude in silico des mécanismes de coordination, et en particulier pour l’étude des assemblées de neurones. Les modèles de neurones existants prenant en compte les dendrites, sont généralement des modèles mathématiques détaillés, souvent à base d’équations différentielles, dont la simulation nécessite des ressources de calculs importantes. De plus, leur complexité intrinsèque rend difficile l’analyse et les preuves sur ces modèles. Dans cette thèse, nous proposons un modèle de neurone intégrant des dendrites d’une manière abstraite. Dans l’objectif d’ouvrir la porte aux méthodes formelles, nous établissons une définition rigoureuse du cadre de modélisation et mettons en évidence des propriétés algébriques remarquables de l’intégration dendritique. Nous avons notamment démontré qu’il est possible de réduire la structure d’un neurone en préservant sa fonction d’entrée/sortie. Nous avons ainsi révélé des classes d’équivalence dont nous savons déterminer un représentant canonique. En s’appuyant sur la théorie des catégories et par des morphismes de neurones judicieusement définis, nous avons ensuite analysé plus finement ces classes d’équivalence. Un résultat surprenant découle de ces propriétés : un simple ajout de délais dans les modèles informatiques de neurones permet de prendre en compte une intégration dendritique abstraite, sans représenter explicitement la structure arborescente des dendrites. À la racine de l’arborescence dendritique, la modélisation du soma contient inévitablement une équation différentielle lorsque l’on souhaite préserver l’essence du fonctionnement biologique. Ceci impose de combiner une vision analytique avec la vision algébrique. Néanmoins, grâce à une étape préalable de discrétisation temporelle, nous avons également implémenté un neurone complet en Lustre qui est un langage formel autorisant des preuves par model checking. Globalement, nous apportons dans cette thèse un premier pas encourageant vers une formalisation complète des neurones, avec des propriétés remarquables sur l’intégration dendritique<br>Biological neurons communicate by means of electrical impulses, called spikes. Brain functions emerge notably from reception and emission coordination between those spikes. Furthermore, it is widely accepted that the function of each neuron depends on its morphology. In particular, dendrites perform the spatio-temporal integration of received spikes and affect the occurrence of emitted spikes. Dendrites are therefore fundamental for in silico studies of coordination mechanisms, and especially for the study of so-called neuron assemblies. Most of existing neuron models taking into account dendrites are detailed mathematical models, usually based on differential equations, whose simulations require significant computing resources. Moreover, their intrinsic complexity makes difficult the analysis and proofs on such models. In this thesis, we propose an abstract neuron model integrating dendrites. In order to pave the way to formal methods, we establish a rigorous definition of the modeling framework and highlight remarkable algebraic properties of dendritic integration. In particular, we have demonstrated that it is possible to reduce a neuron structure while preserving its input/output function. We have thus revealed equivalence classes with a canonical representative. Based on category theory and thanks to properly defined neuron morphisms, we then analyzed these equivalence classes in more details. A surprising result derives from these properties: simply adding delays in neuron computational models is sufficient to represent an abstract dendritic integration, without explicit tree structure representation of dendrites. At the root of the dendritic tree, soma modeling inevitably contains a differential equation in order to preserve the biological functioning essence. This requires combining an analytical vision with the algebraic vision. Nevertheless, thanks to a preliminary step of temporal discretization, we have also implemented a complete neuron in Lustre which is a formal language allowing proofs by model checking. All in all, we bring in this thesis an encouraging first step towards a complete neuron formalization, with remarkable properties on dendritic integration
36
Ratel, Christophe. "Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE." Phd thesis, Grenoble 1, 1992. http://tel.archives-ouvertes.fr/tel-00341223.
Full textAbstract:
Lustre est un langage de programmation spécialement conçu pour la réalisation des systèmes réactifs. Le besoin de garantir que ces systèmes ont un comportement conforme a celui attendu nécessite de définir et de mettre en œuvre des méthodes de vérification formelle des programmes lustre, qui sont relatées dans cette thèse. La vérification d'un système consiste a contrôler que tous ses comportements sont corrects vis-a-vis de ses spécifications. Les comportements d'un programme lustre peuvent classiquement être représentés par une machine d'états finis, dont la génération permet de vérifier ses spécifications. La methode standard mettant en œuvre ce principe est limitée par le probleme d'explosion de la machine générée, qui n'est pas minimale. Un nouvel algorithme évitant ce probleme est présenté. Son implémentation nécessite l'emploi d'une technique de représentation et de manipulation symbolique de la machine (bdds), dont le cout d'utilisation est largement abaisse grâce a de nombreuses optimisations. Basées sur cette technique, deux autres implémentations originales de la methode standard et de la nouvelle methode proposée ci-dessus sont décrites. Les aspects de diagnostic correspondant au cas ou les programmes sont incorrects vis-a-vis de leurs spécifications sont aussi abordes
37
Wragg, Emma. "Meeting Africa's urban housing needs : landlords and room renting in Lusaka." Thesis, Oxford Brookes University, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.543792.
Full text
38
Mazuet, Christine. "Stratégies de test pour des programmes synchrones : application au langage LUSTRE." Toulouse, INPT, 1994. http://www.theses.fr/1994INPT112H.
Full textAbstract:
A travers l'exemple de lustre, les travaux realises dans le cadre de cette these ont pour but de definir des methodes de test appropriees a la nouvelle famille de langages a laquelle il appartient, c'est-a-dire les langages flot de donnees synchrones. La strategie de test que nous preconisons s'appuie sur la complementarite de donnees de test statistique et deterministe. Les entrees de test statistique sont generees aleatoirement, le profil de test et le nombre d'entrees etant determines a partir de criteres bases sur un modele du programme ; en complement, les entrees de test deterministe ciblent des points singuliers du domaine d'entree. Cette strategie mixte s'applique a chacune des etapes d'un processus progressif de test test unitaire et test d'integration. La definition des differents niveaux de test s'inscrit dans le cadre d'une demarche globale montante, qui est guidee par un souci d'optimisation de l'effort de test et de minimisation du cout global. Au niveau unitaire, la conception du test statistique et deterministe repose sur l'automate d'etats finis genere lors de la compilation lustre. La complexite de cet automate est alors un facteur decisif de l'algorithme definissant le niveau unitaire. Lors des phases d'integration, l'obtention d'un modele de complexite maitrisable consiste a faire abstraction des modules prealablement valides, afin de reduire la complexite de l'automate lustre. La definition des niveaux d'integration successifs procede iterativement en exploitant, a chaque stade de son deroulement, l'information acquise lors des tests precedents. L'ensemble de ces travaux theoriques est illustre par une etude de cas reel. Les resultats experimentaux confirment la faisabilite et l'efficacite de l'approche elaboree ; de plus, ils mettent en evidence des elements qui nous permettent d'affiner notre demarche et de proposer une methode de test globale combinant judicieusement test unitaire et test d'integration
39
CALIPPE, RONAN. "Methodes et outils de test pour lustre et les langages synchrones." Paris 11, 1999. http://www.theses.fr/1999PA112208.
Full textAbstract:
Cette these porte sur le test de logiciels synchrones. Une methode de test qui prend a la fois en compte les aspects temporels et les aspects fonctionnels du langage lustre a ete proposee. Une decomposition en sous-domaines du domaine d'entree d'un programme decrit en lustre est realisee. Les decompositions sont fonction de sous-domaines des entrees des operateurs de la description. Des sous-domaines des operateurs temporels ont ete etudies. Une chaine automatisee de test a ete definie dans son integralite : partant de sous-domaines des operateurs un pre-traitement est effectue, la chaine de test se termine par l'utilisation d'un moniteur qui traduit les fichiers d'entree et sortie generes en ordres specifiques a l'implantation sous test. Ce nouveau moniteur a ete specifiquement concu pour le test d'applications decrites en lustre et autres applications synchrones se conformant a une interface precise. Le pre-traitement consiste en une analyse temporelle qui permet la detection des dependances entre la valeur d'une variable a un instant et les valeurs de cette variable a des instants precedents, et construit les predicats qui conditionnent ces dependances. Il est alors possible de considerer des uniformites ou d'autres hypotheses de test sur les sous-domaines resultant de l'analyse temporelle. L'analyse temporelle est generique au niveau des dependances considerees entre les valeurs des flots de sortie et d'entree des operateurs. Les choix de test sont localises dans une bibliotheque : sous-domaines fonctionnels et temporels ainsi que la caracterisation des instants qui interviennent pour le calcul de chaque operateur. Un prototype d'analyse temporelle a ete realise et le moniteur a ete implante. Des experiences montrent le pouvoir de detection de fautes de la methode. L'existence de la bibliotheque permet de memoriser des sous-domaines des operateurs qui ont permis la detection de fautes. L'utilisateur peut donc enrichir incrementalement la methode.
40
Singogo, Irene Miti. "Perinatal deaths in Lusaka, Zambia : mothers’ experiences and perceptions of care." Master's thesis, University of Cape Town, 2014. http://hdl.handle.net/11427/6015.
Full text
41
Lusse, Gesina Christina. "Eensydige vergifnis : 'n pastorale studie / Gesina Christina Lusse." Thesis, North-West University, 2009. http://hdl.handle.net/10394/4912.
Full textAbstract:
In this study the important issue of unilateral forgiveness is researched. Chapter one contains the problem, research questions, objectives, methodology and central theoretical argument which involves the following: the healthy (faith mature) treatment of unilateral forgiveness, in the absence of the offender's remorse, as a essential element in the healing process in recovering for the emotional wounded person. This is the reason why such a person should be guided pastorally.
In chapter 2, the aspect of basic-theory is being looked into, which entails the following: The Old Testament example of forgiveness in Jonah, and also forgiveness and repentance in the New Testament, and four passages namely Luke 17:3-4, Matt 18:15,21-22; Mark 11-25 6:12-15 and Matt 6: 12-15 were discussed. Afterwards, penitence and forgiveness in Judaism and Christianity were also investigated where conditional and unconditional pardon came into question. The various dimensions of forgiveness -that is from the divine side, human side and intrapersonal were researched. Finally God's purpose for forgiveness was discussed.
Chapter three fostered the meta-theoretical aspect of the study. A brief history was given of the psychology of forgiveness and the relationship between theology and psychology were examined. The definition of forgiveness also received attention in order to better understand the concept. The reason for forgiveness, and the consequences of anger, (a core element of unforgiveness) on the total person, the physical, neurological, psychological, and psychiatry sides were discussed. Attention were given to therapy where the process of forgiveness, with two different models were discussed namely Pyramid Model of Worthington and the Concept of prosesmodel of Enright & Fitzgibbons. The chapter ends with reconciliation and inner preparation to unilateral forgiveness.
In chapter four the empirical research received the focus, which included the value of empirical research, different paradigms, the choice of an approach, and the nature and characteristics of qualitative research. Thereafter, data collection, including basic personal interviews, parameters of the interview, questionnaire design, sampling design and identification of themes for interviews, got attention The discussion of the interview results were concluded with a preliminary conclusion from the empirical research to end this chapter.
In chapter 5 attention was given to the practical theoretical perspectives with regard to unilateral forgiveness. Because Zerfass's model were used in the study, particular attention had been given to examining of the effect of Zerfass's model. Then a summary were given of the findings of Scriptural perspective, relevant sciences, empirical research and practical theoretical guidelines in brief. It concludes with a summarized report of findings in respect of unilateral forgiveness, practical theory and proposed guidelines.
The study ended in chapter six where the final conclusion regarding the research on unilateral forgiveness were given and topics were proposed for further research.<br>Thesis (M.A. (Pastoral))--North-West University, Potchefstroom Campus, 2010.
42
Girotto, Karlla. "Lusco fusco: afiando a faca quase no escuro." Pontifícia Universidade Católica de São Paulo, 2015. https://tede2.pucsp.br/handle/handle/15459.
Full textAbstract:
Made available in DSpace on 2016-04-28T20:39:11Z (GMT). No. of bitstreams: 1
Karlla Girotto.pdf: 384647 bytes, checksum: 2a9295415b912e42290977b06aca21fe (MD5)
Previous issue date: 2015-12-14<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This
dissertation
proposes
to
mull
over
ways
of
existence
in
artistic
production
and
the
frontiers
between
performance,
fashion
and
life
in
processes
of
creation
and
production
of
subjectivities<br>Esta dissertação se propõe a esmiuçar modos de existência como produção artística e as linhas fronteiriças entre performance, moda e vida nos processos de criação e produção de subjetividades
43
Hsiao, Nai-Cheng. "Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE /." Gif-sur-Yvette : Service de documentation et d'édition multimédia, Centre d'études de Saclay, 1995. http://catalogue.bnf.fr/ark:/12148/cb36687000k.
Full text
44
Raymond, Pascal. "Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00198546.
Full textAbstract:
Ce travail porte sur la production de code séquentiel à partir du langage flot de données synchrone Lustre. La difficulté essentielle provient de l'aspect déclaratif du langage. En effet, il n'y a pas d'instruction de contrôle dans le langage Lustre ; toute la structure de contrôle du code objet doit donc être synthétisée par le compilateur. Cette synthèse consiste à construire un automate fini en simulant exhaustivement le comportement des variables booléennes du programme. Le code produit est particulièrement rapide ; en effet, la plupart des calculs booléens sont effectués une fois pour toute dès la compilation. En contrepartie, l'aspect exhaustif de cette démarche provoque parfois une véritable explosion de la taille du code. Ce problème peut être dû à la complexité intrinsèque du programme source ; il faut dans ce cas chercher un compromis entre rapidité et taille mémoire. Mais l'explosion peut être causée par la méthode de construction, qui produit très souvent des automates non minimaux ; nous avons donc étudié et développé un algorithme original qui construit à coup sûr des automates minimaux. Cet algorithme fait appel à de nombreuses manipulations symboliques de fonctions booléennes, que nous avons pu implémenter efficacement grâce à une représentation basée sur les graphes binaires de décision.
45
Ayles, Helen Mary. "Approaches to the dual threat of HIV and TB in Lusaka, Zambia." Thesis, London School of Hygiene and Tropical Medicine (University of London), 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409678.
Full text
46
Raymond, Pascal. "Compilation efficace d'un langage déclaratif synchrone le générateur de code Lustre-V3 /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00198546.
Full text
47
Gaucher, Fabien. "Etude du débogage des systèmes réactifs et application au langage synchrone Lustre." Grenoble INPG, 2003. http://www.theses.fr/2003INPG0100.
Full text
48
Fwambo, Mercy Mwansa. "Factors influencing infant feeding practices of mothers in Kabwata Township, Lusaka, Zambia." Thesis, University of the Western Cape, 2012. http://hdl.handle.net/11394/4638.
Full textAbstract:
Magister Public Health - MPH<br>Background: Appropriate and adequate infant feeding practices are an important factor in achieving optimal health in infants. Inappropriate and inadequate infant feeding practices contribute significantly to ill-health in infants. Both WHO and UNICEF recommend exclusive breastfeeding for the first six months both in the context of HIV and otherwise unless exclusiv formula feeding can meet each of five conditions: acceptable, feasible, affordable, sustainable and safe (AFASS). The modes of infant feeding include exclusive breastfeeding, formula feeding and mixed feeding. Medical recommendations and social pressures related to infant feeding in high HIV-prevalence low-income communities may have shifted infant feeding practices. The aim of this study was to explore factors influencing infant feeding practices and decision making among women in one such community, Kabwata Township, in Lusaka, Zambia. Method: An exploratory qualitative study was conducted at Kabwata Health Centre in Kabwata Township in Lusaka, Zambia. Convenient sampling was used to recruit 32 women for focus group discussions and three key informants (two nurses and one social worker) for individual interviews. Verbal consent was received from all participants. Semi-structured interview guides were used to elicit discussion by all participants. Discussions were tape recorded and transcribed verbatim. Thematic data analysis was used to analyze the qualitative data. Results: Most FGD participants reported that they themselves initiated breastfeeding soon after giving birth, but not all of them breastfed exclusively for the first six months, as is currently recommended. The major factors influencing infant feeding included; influence from family and
friends, stigma and discrimination, influence from health care providers, practical realities such as maternal employment and poverty, and cultural/traditional practices. Conclusion: While breastfeeding is valued and accepted, most women do not or cannot exclusively breastfeed for six (6) months for various reasons. Paradoxically, the social value of breastfeeding and the knowledge that breast milk can transmit HIV reinforce mixed feeding as the predominant feeding practice. Key informants reported that women attending health care services at Kabwata health centre were encouraged and taught to breastfeed their infants exclusively for six months. There is a need to re-look at the way the women are being encouraged, taught and supported so that the apparent knowledge and acceptance of breastfeeding can translate into improved infant feeding practices. Awareness campaigns need to include all stakeholders including family members, the community, employers and the women themselves in order to make exclusive breastfeeding easier for the women.
49
Mambwe, Kelvin. "Mobility, identity and localization of language in multilingual contexts of urban Lusaka." Thesis, University of Western Cape, 2014. http://hdl.handle.net/11394/3349.
Full textAbstract:
Philosophiae Doctor - PhD<br>This study explores Mobility, Identity and Localization of Language in Multilingual Contexts of Urban Lusaka. By examining data from different sites of language practices of Lusaka urbanites, that include, casual and formal conversations, Zambian popular music, computer mediated discourses and advertisements; the study shows how interlocutors creatively draw on their extended communicative repertoire to make meaning, transform social structures/roles and stylize modern identities. Accordingly, the study consolidates the recent sociolinguistic theoretical position that views language as social practice and privileges speakers as social actors in shaping and recreating language. In this regard, the study foregrounds language as localized social practice and argues against the idea that language is homogenous and a bounded system.
In doing so, the study adds to recent sociolinguistic theorizing calling for a paradigm shift to language studies. Therefore, the main research question that the study addresses, relates to how Lusaka urban dwellers achieve their mediated agency, voice and actorhood through linguistic choices during interactions in various social contexts of modern Lusaka. In turn, the question relates to how urbanites use language as localized social practice to maintain, transform and reproduce social structures/roles and identities in modern Lusaka. Owing to the type of data the study collected, a multifaceted methodological and analytical approach was employed for both data collection and analysis. Informed by a descriptive research design, the study used focus group discussions and individual key-informant interviews to collect data from casual and formal conversations. Data from Zambian popular music were purposively sampled from Youtube.com and music CDs. In addition, group/individual interviews with musicians were conducted in order to supplement data collected from music CDs and video sources. Data from online discourses were collected from the Facebook platform and from two Zambian based online news blogs, while data from print advertisements were collected through the capturing of images on billboards around Lusaka city as well as advertisements from newspapers and internet sites. Television and radio advertisements were recorded from the Zambia National Broadcasting Corporation TV and radio channels. All the data collected from these sources were generally analyzed using Conversational Analysis, Facework Negotiation Theory, Multimodal Discourse Analysis and its cognate analytical tools such as Resemiotisation, Semiotic Remediation, Intertextuality, Multivocality and Dialogism. The study shows that message consumption is not a function of isolated semiotic resource but a combination of semiotic material drawn from semiotics that people are familiar with. The study
thus argues that social meaning is steeped into social and cultural experiences of the speakers and that any study of language practices in such contexts should take into account the multifaceted nature of human communication. Furthermore, the study demonstrates that given the advancements in communication technology and mobility of semiotic resources across modes which have largely contributed to a reconceptualization of the nature of human language, any study of language in social contexts ought to account for other meaning making semiosis in both methodological and approaches to data collection and analysis, respectively. The study further shows how interactants in late modern settings of Lusaka stylize their multiple identities
by dissolving the traditional linguistic boundaries through use of the extended linguistic
repertoire. In this vein, the study demonstrates that social identity is a dynamic aspect of social life which is actively negotiated and performed through speakers' linguistic choices. In this respect, the study finds that speakers simultaneously stylize translocal hybrid identities which include urban versus rural, modern versus traditional, African versus Christian (Western fused) as well as gendered ones, through their use of different linguistic choices. Furthermore, the study finds that language borders and domains of language use are permeable. In this regard, the study demonstrates how Lusaka urban speakers use localized language forms to colonize the formal spaces thereby challenging the dominant ideologies about language as a fixed, impermeable and a bounded system. In the process of colonizing formal spaces using localized language forms, the study shows how speakers perform acts of humour, role play, face
saving, identity and meaning enhancement. In turn these localized repertoires are drawn upon as resources to accomplish different tasks which would not be accomplished if only a 'single' language were to be used. In this regard, the study views language as a resource that transcends the role of meaning making. In addition, the study shows how, through the use of localized repertoires in formal spaces, speakers transform traditions and modernity into a hybrid space which identifies them as having multiple identities. This demonstrates that speakers in such modern settings use language as a resource to accomplish several things at once. It also highlights speakers’ agency in recreating language as well as transforming their social spaces. The findings of the study entail contributions to recent arguments on language that view it not as
an autonomous system but rather as embedded in people’s social interactions. It demonstrates that languages have no clear-cut borders.The study also contributes to methodological and analytical approaches to the study of language in recent times. In addition, the study adds new knowledge to our understanding of identity as a performative act which is actively negotiated for as people interact in different social contexts. This implies that identity is not a fixed thing as traditionally conceived. Ultimately, the study calls for a rethinking of our conception of language and identity considering modernity practices.
50
Kambikambi, Chilobe Muloba. "Young males’ perceptions and use of reproductive health services in Lusaka, Zambia." Thesis, University of the Western Cape, 2014. http://hdl.handle.net/11394/4011.
Full textAbstract:
Magister Public Health - MPH<br>The aim of this study was to describe the health seeking behaviours, knowledge about the available services, as well as experiences, and barriers to access and utilization of the reproductive health services among male adolescents in Lusaka. A descriptive, qualitative study was conducted among male adolescents in a peri-urban setting in Lusaka. Four focus group discussions were conducted with 46 adolescents aged between 13 and 24 years of age, and six key informant interviews. Data was audio-tape recorded and transcribed verbatim. Thematic content analysis was done. Health concerns were related to the social, psychological, societal and puberty needs of participants. Concerns, questions and queries about masturbation were common, especially among the younger adolescents. Most problems related to puberty and body changes rather than sexual and reproductive health matters per se. Knowledge about the available sexual and reproductive health services was generally low, with some young men being completely unaware of the existence of youth friendly services at the local clinic. Contrary to popular opinion, adolescents in this community reported that they did not seek help on sexual matters from friends and did not want to discuss their problems with their peers, due to fears of being marginalized. Perceived gender, cultural and social norms, lack of knowledge about the availability of adolescent reproductive health services, and poor attitudes among the health care providers were some of the identified barriers to seeking health care. Adolescents perceived health providers to be judgmental, not helpful and condescending towards young people. Lack of privacy and confidentiality were also reported as barriers to access and utilization of sexual and reproductive health services