To see the other types of publications on this topic, follow the link: Typhus.

Dissertations / Theses on the topic 'Typhus'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Typhus.'

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

Johansson, Sara, and Elin Karlsson. "Ekologiskt anpassat typhus för Eksjöhus." Thesis, Jönköping University, JTH, Civil Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-11539.

Full text
Abstract:
<p>Hela 85 % av byggnadsmaterialen i ett nybyggt hus består av hälso- eller miljöfarliga material. Detta måste förändras! Ekologiskt byggande handlar om att undvika dessa material i så stor utsträckning som möjligt och samtidigt reducera uppvärmningen och tappvattenförbrukning med hjälp av energieffektiva installationer. Att det går att minska de miljöfarliga materialen i ett hus är självklart, men är det möjligt att bygga ett hus med nästan inga miljö- och hälsofarliga material? Vilka tekniska lösningar är att föredra vid ekologiskt byggande? Hur utformas ett ekologiskt hus?</p><p>Syftet med
APA, Harvard, Vancouver, ISO, and other styles
2

Wennström, Elisabet. "Flexibelt småhus : Framtagande av typhus åt Dalahus." Thesis, Högskolan Dalarna, Byggteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:du-30869.

Full text
Abstract:
Byggbranschen står inför en stor utmaning för att bidra till en mer hållbar utveckling för att minska klimatpåverkan. I detta arbete undersöks möjligheten att bygga flexibla småhus som ett led i att bidra till minskad energiåtgång genom att maximera småhusens användning och bygga dem så energisnålt som möjligt, med miljövänliga material. Att redan i projekteringsfasen planera för småhusets framtid och ge det chansen att kunna byggas om efter människors ändrade behov, gör att huset kan användas längre utan att rivas eller stå tomt. Projektet mynnar ut i ett förslag på typhus åt småhusföretaget
APA, Harvard, Vancouver, ISO, and other styles
3

Bechah, Yassina. "Typhus épidémique : mise au point d'un modèle murin." Aix-Marseille 2, 2007. http://www.theses.fr/2007AIX20672.

Full text
Abstract:
Le typhus épidémique, une maladie infectieuse ré-émergente due à Rickettsia prowazekii, est transmis à l'homme par le pou de corps humain. L’infection peut demeurer sous forme latente chez l’homme pendant des années. Sa réactivation, à la suite d’un stress par exemple, déclenche une forme modérée de typhus épidémique, la maladie de Brill-Zinsser, qui peut être source de nouvelles épidémies en présence de poux. R. Prowazekii, un agent potentiel de bioterrorisme, est une bactérie intracellulaire qui infecte l'endothélium vasculaire, ce qui conduit à une vascularite et des lésions inflammatoires
APA, Harvard, Vancouver, ISO, and other styles
4

DUFOUR, FRANCIS. "A propos d'un cas de typhus des broussailles bordelais." Bordeaux 2, 1988. http://www.theses.fr/1988BOR25400.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Katz, Filip. "Utveckling av typhus inför EUs Nära-nollenergikrav 2021 : En undersökning om hur ett typhus kan anpassas inför Nära-Nollenergikrav som införs 2021." Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-67450.

Full text
Abstract:
With the EU's introduction of Near-zero energy requirements to be implemented in all member states by 2021, the construction sector faces a challenge in which all new building constructions are receiving tightened demands for energy conservation. In the latest edition of Boverkets Byggregler, Boverket, the Swedish National Board of Housing, has revised the energy conservation section as the first of two steps in the introduction of the Near-zero energy requirement in Sweden, where the method of calculating energy consumption is renewed and primary energy aspects are now being considered.   As
APA, Harvard, Vancouver, ISO, and other styles
6

Hamonet, Marie-Annick. "Les épidémies de typhus dans le Royaume-Uni au XIXe siècle." Paris 3, 1997. http://www.theses.fr/1997PA030079.

Full text
Abstract:
Les epidemies de fievre ont ravage le royaume-uni au 19eme siecle. Le cholera et la fievre typhoide seront identifies mais l'agent du typhus reste inconnu a la fin du siecle. Le typhus est une maladie qui se developpe dans les lieux surpeuples et sales. Avec l'industrialisation de l'angleterre les migrations des campagnes vers les villes agravent encore le surpeuplement, la misere et la maladie dans le taudis. L'emigration irlandaise sera un facteur decisif dans l'extension du typhus. Cette fievre fit egalement de nombreuses victimes dans les chaumieres insalubres des campagnes. Les navires de
APA, Harvard, Vancouver, ISO, and other styles
7

Fransson, Johan, and Olivia Norlin. "Framtida/Modern/Ny/Samtida Svensk bostad : Hur kan vi inspireras av historien för att rita bostäder idag?" Thesis, KTH, Arkitektur, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169050.

Full text
Abstract:
En undersökning av den svenska bostadens historia från forntid (13 000 f. Kr.) fram till modernismens genombrott (1930 e. Kr.), indelad i fyra olika epoker. Projektets första del består av en genomgång av historien, som grundar sig på litteratur av främst arkitekten Erik Lundberg och etnologen Sigurd Erixon, samt analyser i diagramform av epokernas bostadstypologier. Undersökningen resulterar i fyra moderna enfamiljshus, som vardera representerar en av de fyra epokerna.<br>A study concerning the history of Swedish dwellings and typologies, 13000 B.C. – 1930 A.D., divided into four different er
APA, Harvard, Vancouver, ISO, and other styles
8

Gruß, Holger. "Eine randomisierte Doppelblindstudie zur Wirksamkeit und Verträglichkeit der Malariachemoprophylaxe mit Atovaquon-Proguanil + ihr Einfluss auf die Immunogenität der Impfungen mit den attenuierten oralen Lebendimpfungen gegen Cholera und Typhus." [S.l. : s.n.], 2003. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10733054.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Maung, Myo Nyunt Naing Weerapong Phumratanaprapin. "Renal manifestations of septic patients with scrub typhus at Maharaj Nakhon Ratchasima Hospital /." Abstract, 2003. http://mulinet3.li.mahidol.ac.th/thesis/2546/4538025.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Aung, Thu Wichai Supanaranond. "Gastrointestinal manifestations of septic patients with scrub typhus in Maharat Nakhon Ratchasima hospital /." Abstract, 2003. http://mulinet3.li.mahidol.ac.th/thesis/2546/4538024.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Chierakul, Wirongrong. "Comparative study of the clinical manifestations and pathophysiology of leptospirosis and scrub typhus." Thesis, Open University, 2009. http://oro.open.ac.uk/54211/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Tantibhedhyangkul, Wiwit. "Etude de la réponse immunitaire innée au cours de l'infection à Orientia tsutsugamushi." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM5018/document.

Full text
Abstract:
Orientia tsutsugamushi, l'agent pathogène responsable du typhus des broussailles, est une bactérie cytosolique qui envahit l'endothélium et les monocytes/macrophages. La réponse immune à l'infection par O. tsutsugamushi reste à ce jour mal connue. L'objectif de cette thèse est de mieux comprendre la réponse des cellules de la réponse immune innée humaine à O. tsutsugamushi. Nous avons montré que O. tsutsugamushi se réplique dans les monocytes humains. En utilisant un microarray portant sur la totalité du génome, nous avons également montré que les bactéries vivantes induisent de profondes modi
APA, Harvard, Vancouver, ISO, and other styles
13

Holm, Alexander. "Generativ design vid bostadsutformning : En fallstudie om teknikens potential och kravtillämpning." Thesis, Luleå tekniska universitet, Institutionen för samhällsbyggnad och naturresurser, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-81985.

Full text
Abstract:
Ökad planering och kontroll av projektering i byggprojekt kan leda till tidsbesparingar och kvalitetsförbättringar, menar Lidelöw, Stehn, Lessing och Engström (2015). Computer Aided Design (CAD) är en teknik som vanligtvis används för att stödja framställningen av ritningar under projekteringsprocessen. Ett sätt att använda dessa CAD-program för att skapa kontroll, automation och variation i projektering kan vara genom tekniken generativ design. Med generativ design kan krav definieras i algoritmer, som sedan möjliggör automatiskt genererade designalternativ (Jia, 2015). Idag finns lite inform
APA, Harvard, Vancouver, ISO, and other styles
14

Badenhorst, Daleen. "Rattini (Rodentia, Murinae) species relationships and involvement as reservoirs for Scrub Typhus : a comparative molecular cytogenetic gene expression approach." Thesis, Stellenbosch : Stellenbosch University, 2011. http://hdl.handle.net/10019.1/18123.

Full text
Abstract:
Thesis (PhD (Botany and Zoology))--Stellenbosch University, 2011.<br>ENGLISH ABSTRACT: The Rattus sensu lato complex, which harbours the important biomedical model species Rattus norvegicus, represents a group of rodents that are of clinical, agricultural and epidemiological importance. This study presents a comprehensive comparative molecular cytogenetic investigation of this complex. Karyotypes of 11 Rattus s. l. species and Hapalomys delacouri were analysed using conventional cytogenetic techniques. These data suggest that, contrary to previous claims, the usefulness of karyotypes for
APA, Harvard, Vancouver, ISO, and other styles
15

Guvenc-Salgirli, Sanem. "Eugenics as science of the social a case from 1930s Istanbul /." Diss., Online access via UMI:, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Viborg, Tomas, and Gabriel Lidström. "Jämförande livscykelanalys av motsvarande tegel- och träkonstruktioner." Thesis, KTH, Byggteknik och design, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-147615.

Full text
Abstract:
Sedan 1900-talets mitt har användandet av tegelkonstruktioner i bostadsbyggandet minskat kraftigt; materialet har under modernismen upplevts otidsenligt och byggnadssättet har ansetts ineffektivt. Trots att kanalmurstekniken, som är en byggteknik med bärande tegelkonstruktion och högt isoleringsvärde, togs fram på 1930-talet för att följa hårdare energihushållningskrav, har ändå lätta träregelkonstruktioner dominerat det svenska småhusbyggandet. Kraven på energihushållning har under åren ökat successivt och livscykelanalysen (LCA) har utvecklats. LCA är en metodik som analyserar produkters ell
APA, Harvard, Vancouver, ISO, and other styles
17

Lemaire, Marc. "La guerre de Crimée : Chronique et analyse d'un désastre sanitaire (1854-1856)." Montpellier 3, 2006. http://www.theses.fr/2006MON30016.

Full text
Abstract:
La guerre de Crimée, qui engagea en tout 309 268 soldats, fut une catastrophe sanitaire. 94 500 hommes (30 %) en effet y perdirent la vie, dont seulement 15 000 (5 %) par le feu de l'ennemi. La maladie, représentée pour l'essentiel par le choléra, le typhus, le scorbut, les troubles digestifs et la surinfection sévère des plaies, tua près de 80 000 hommes, soit un soldat sur quatre. A une époque où la médecine était impuissante à combattre les épidémies déclarées, il est apparu, au terme de cette étude, que cette surmortalité fut consécutive à l'absence d'une véritable politique de prévention
APA, Harvard, Vancouver, ISO, and other styles
18

Gruss, Holger. "Eine randomisierte Doppelblindstudie zur Wirksamkeit und Verträglichkeit der Malariachemoprophylaxe mit Atovaquon-Proguanil und ihr Einfluss auf die Immunogenität der Impfungen mit den attenuierten oralen Lebendimpfungen gegen Cholera (CVD103-HGR) und Typhus (TY21A)." [S.l.] : [s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=968460887.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Popean, Mihai. "Creatio Ex Typus." Bowling Green State University / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1211302996.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Le, Viet Nhiem. "Investigation of rickettsioses and other causes of acute undifferenciated fever in Vietnam." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0664/document.

Full text
Abstract:
Les infections rickettsiales et la fièvre aiguë indifférenciée (FAI) sont des problèmes de santé publique importants sous les tropiques. Ce projet a été réalisé dans le but d'explorer les agents de rickettsies et autres étiologies de la FAI au Vietnam.Dans la première cohorte de 67 participants se concentrant sur les patients cliniquement suspectés de typhus des broussailles, le diagnostic de typhus des broussailles a été confirmé pour 32 patients (47,8%) par qPCR ou IFA. Parmi les 20 patients pour lesquels des escarres et du sang total ont été obtenus, 17 (85%) des échantillons d'escarre et 5
APA, Harvard, Vancouver, ISO, and other styles
21

Maia, Cláudio Belmino. "Micobiota de plantas aquáticas invasoras nas bacias dos Rios Doce e São Francisco com ênfase no controle biológico da taboa (Typha domingensis Pers.)." Universidade Federal de Viçosa, 2000. http://www.locus.ufv.br/handle/123456789/10096.

Full text
Abstract:
Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-04-19T13:01:26Z No. of bitstreams: 1 texto completo.pdf: 4192864 bytes, checksum: 5620a24d933c3a64b3d7cc69f709ce7a (MD5)<br>Made available in DSpace on 2017-04-19T13:01:26Z (GMT). No. of bitstreams: 1 texto completo.pdf: 4192864 bytes, checksum: 5620a24d933c3a64b3d7cc69f709ce7a (MD5) Previous issue date: 2000-02-25<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Esse trabalho objetivou: a) Levantar a micobiota associada às seguintes espécies: aguapé (Eichhornia crassipes); alface d'água (Pistia estratio
APA, Harvard, Vancouver, ISO, and other styles
22

Fritz, Stefan. "Genetische Hydroxylierungs-Polymorphismen für Medikamente vom Typus Debrisoquin und vom Typus Mephenytoin /." [S.l : s.n.], 1985. http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Herbreteau, Vincent. "Géographie de zoonoses en Thaïlande : de la distribution des rongeurs, vecteurs et hôtes, au risque de transmission." Phd thesis, Université de Nanterre - Paris X, 2007. http://tel.archives-ouvertes.fr/tel-00376326.

Full text
Abstract:
Longtemps considérés en Thaïlande comme simple gibier mais souvent destructeurs des cultures, les rats et les souris (Murinae) se sont révélés d'importants vecteurs de germes pathogènes pour l'Homme, depuis l'émergence soudaine de la leptospirose en 1996. Ils sont aussi responsables de la transmission du typhus des broussailles et probablement d'hantaviroses dont l'incidence reste suspectée. Cette thèse a pour objectif d'analyser la géographie de ces zoonoses afin d'en mesurer le risque de transmission à l'Homme.<br />Un important travail de terrain a permis de collecter et d'étudier les ronge
APA, Harvard, Vancouver, ISO, and other styles
24

Lee, Jisun. "Multifractal Analysis on the Rainfall Rate in Typhoon Cases in 2012, Korea." Thesis, Paris Est, 2020. http://www.theses.fr/2020PESC1007.

Full text
Abstract:
L'approche multifractale a été utilisée pour analyser le taux de précipitations de trois typhons (Khanun, Bolaven et Sanba) qui ont frappé la Corée du Sud en passant par l'île de Jeju vers la péninsule coréenne en 2012. Les données sur le taux de précipitations sont obtenues à partir d'un radar en bande S exploité par la Corée Administration météorologique (KMA) et la simulation de modèle CReSS. L'analyse multifractale a été réalisée à l'aide de l'analyse Trace Moment (Schertzer et Lovejoy, 1987) et de l'analyse Double Trace Moment (Lavallée et al., 1992) pour quantifier l'intermittence moyenn
APA, Harvard, Vancouver, ISO, and other styles
25

Ruyer, Frédéric. "Preuves, types et sous-types." Phd thesis, Chambéry, 2006. http://tel.archives-ouvertes.fr/tel-00414653.

Full text
Abstract:
Cette thèse porte sur l'étude théorique et pratique d'un système de typage appliqué à la preuve de programmes de style fonctionnels. Le système de base est le système ST créé par C.Raffalli; il comporte, outre le polymorphisme, du sous-typage et de l'omission de contenu non-algorithmique. Nous étudions tout d'abord les modèles de la théorie définie par le système de types, en construisant une axiomatique basée sur les treillis permettant de modéliser le calcul et la logique. Nous étudions sur cette base le système de types, montrons la réduction du sujet, et la possibilité de définir en intern
APA, Harvard, Vancouver, ISO, and other styles
26

Grosse, Jürgen. "Typus und Geschichte : eine Jacob-Burckhardt-Interpretation /." Köln ; Weimar ; Wien : Böhlau Verl, 1997. http://catalogue.bnf.fr/ark:/12148/cb369943592.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Lindqvist, Anna, and Michaela Wolf. "Hur stort får vi bo? : Klimatpåverkan per person i Sverige." Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Byggnadsteknik och belysningsvetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-44627.

Full text
Abstract:
Purpose: The world is supposed to aim for a maximal global warming of 1,5 degrees Celsius which means an ecological footprint of 1,3-ton CO2e/person, year. How much does a sustainable living situation affect the living area per person? With the help of a typical Swedish house and a lifecycle analysis the living area is put in relation to the 1,5-degree aim. The purpose of this report is to investigate how the fulfilling of the 1,5-degree aim will affect the living area per person.    Method: The research approach in the report is quantitative were a meta study and a case study compose the rese
APA, Harvard, Vancouver, ISO, and other styles
28

Sigwalt, Pierre. "Les consequences humaines des typhons a taiwan." Paris, INALCO, 1986. http://www.theses.fr/1986INAL0045.

Full text
Abstract:
Cette etude geographique a trois principaux objectifs: 1) proposer une regionalisation de l'intensite des risques cycloniques majeurs a taiwan, a partir d'une typologie des risques par trajectoire, qui soit une synthese dynamique des donnees moyennes et des cas des typhons les plus catastrophiques, issus des publications locales en langue chinoise. 2) cartographier les zones d'impact des inondations marines (entre autres risques locaux) et etudier les consequences des typhons sur la vie quotidienne des habitants (perception des risques, atteintes a la sante, migrations, avantages saisonniers l
APA, Harvard, Vancouver, ISO, and other styles
29

SILVA, Márcio André Amorim da. "Revisão taxonômica de Liophis typhlus (Linnaeus, 1758) (Serpentes: Colubridae)." Universidade Federal do Pará, 2007. http://repositorio.ufpa.br/jspui/handle/2011/4237.

Full text
Abstract:
Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2013-09-11T17:15:39Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_RevisaoTaxonomicaLiophis.pdf: 1821418 bytes, checksum: 700e0cbcd4e03baa7282254c5765566b (MD5)<br>Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-09-11T17:32:38Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_RevisaoTaxonomicaLiophis.pdf: 1821418 bytes, checksum: 700e0cbcd4e03baa7282254c5765566b (MD5)<br>Made available
APA, Harvard, Vancouver, ISO, and other styles
30

Greuel, Janine. "Foraging ecology of Naja nivea and Dispholidus typus." University of the Western Cape, 2019. http://hdl.handle.net/11394/7879.

Full text
Abstract:
Magister Scientiae (Biodiversity and Conservation Biology) - MSc (Biodiv and Cons Biol)<br>It is widely reported that snakes can be major predators of avian nests, but the use of a single avian prey type by competing species has rarely been examined. This study aimed to investigate predation of a single food resource by the sympatric snakes Naja nivea and Dispholidus typus. Specifically, I aimed to 1) identify factors influencing snake presence in sociable weaver colonies and 2) quantify snake predation and potential differences in the consumption of prey by the two competing snakes. I used r
APA, Harvard, Vancouver, ISO, and other styles
31

Würdinger, Stefanie [Verfasser]. "Der Triple-Net-Mietvertrag. : Typus und Gestaltungsfreiheit. / Stefanie Würdinger." Berlin : Duncker & Humblot, 2016. http://d-nb.info/1238439802/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Lovas, William. "Refinement Types for Logical Frameworks." Research Showcase @ CMU, 2010. http://repository.cmu.edu/dissertations/74.

Full text
Abstract:
The logical framework LF and its metalogic Twelf can be used to encode and reason about a wide variety of logics, languages, and other deductive systems in a formal, machine-checkable way. Recent studies have shown that ML-like languages can profitably be extended with a notion of subtyping called refinement types. A refinement type discipline uses an extra layer of term classification above the usual type system to more accurately capture certain properties of terms. I propose that adding refinement types to LF is both useful and practical. To support the claim, I exhibit an extension of LF w
APA, Harvard, Vancouver, ISO, and other styles
33

Cameron, Nicholas Robert. "Existential Types for Variance - Java Wildcards and Ownership Types." Thesis, Imperial College London, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.503847.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Taglialatela, Carla. "Conscience de rôle et personnalités pathologiques : analyse de la désinvolture." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC073/document.

Full text
Abstract:
L’étude qui s’ouvre se propose d’explorer, de définir et de valider une question d’un grand intérêt épistémologique transdisciplinaire, celui de l’existence des rôles, de la conscience de rôle et des relations de rôles. Elle veut donner un statut et une fonction à cette notion de rôle pour les sciences humaines, cela en prêtant attention aux évolutions de ces rôles au cours des derniers siècles. Partant de l’idée que nous sommes toujours en rôle, qu’il n’y a pas d’hors-rôle possible, que la rencontre intersubjective se fait toujours à travers des rôles, transitoires ou pérennes, cette recherch
APA, Harvard, Vancouver, ISO, and other styles
35

Salas, Schweikart Raimundo Felipe. "Participación del factor RpoN en la regulación de rfaH de S. Typhi." Tesis, Universidad de Chile, 2006. http://www.repositorio.uchile.cl/handle/2250/105496.

Full text
Abstract:
Memoria para optar al título de Bioquímico<br>Salmonella enterica serovar Typhi (S. Typhi) es una patógeno exclusivo del ser humano y agente causal de la fiebre tifoidea. Esta enfermedad constituye un problema de salud pública a nivel mundial especialmente en países en vías de desarrollo. Nuestro trabajo se ha enfocado a comprender la regulación de la producción del lipopolisacárido (LPS) y su papel en la virulencia de esta bacteria. El LPS es el componente principal de la envoltura de las bacterias Gram negativas y, por lo tanto, es un importante mediador de las interacciones con el hospedero
APA, Harvard, Vancouver, ISO, and other styles
36

Witt, Ingo. "Local asymptotic types." Universität Potsdam, 2002. http://opus.kobv.de/ubp/volltexte/2008/2634/.

Full text
Abstract:
The local theory of asymptotic types is elaborated. It appears as coordinate-free version of part of GOHBERG-SIGAL's theory of the inversion of finitely meromorphic, operator-valued functions at a point.
APA, Harvard, Vancouver, ISO, and other styles
37

Russo, Claudio V. "Types for modules." Thesis, University of Edinburgh, 1998. http://hdl.handle.net/1842/385.

Full text
Abstract:
The programming language Standard ML is an amalgam of two, largely orthogonal, languages. The Core language expresses details of algorithms and data structures. The Modules language expresses the modular architecture of a software system. Both languages are statically typed, with their static and dynamic semantics specified by a formal definition. Over the past decade, Standard ML Modules has been the source of inspiration for much research into the type-theoretic foundations of modules languages. Despite these efforts, a proper type-theoretic understanding of its static semantics has remained
APA, Harvard, Vancouver, ISO, and other styles
38

Lehmann, Meléndez Nicolás Emilio. "Gradual refinement types." Tesis, Universidad de Chile, 2017. http://repositorio.uchile.cl/handle/2250/144325.

Full text
Abstract:
Magíster en Ciencias, Mención Computación<br>Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando predicados lógicos. Sin embargo, como cualquier otra disciplina de tipos expresiva, obligan a los programadores a lidiar con las estrictas restricciones impuestas por los tipos. Esto puede resultar ser demasiado tedioso para los programadores, especialmente en etapas tempranas de desarrollo donde el código cambia constantemente.
APA, Harvard, Vancouver, ISO, and other styles
39

SAYAG, EMILIE. "Types intersections simples." Paris 7, 1997. http://www.theses.fr/1997PA077286.

Full text
Abstract:
Le typage statique polymorphe est un trait majeur des langages fonctionnels tels que ml. Cependant, les liens entre les types statiques polymorphes inferes par le compilateur et les types dynamiques en cours d'execution est un probleme important pour le developpement de ces langages, par exemple pour des outils de mise au point des programmes. Afin d'apporter un cadre theorique a ce probleme, nous etudions la relation entre inference de type et beta-reduction a travers l'etude complete d'un nouveau systeme de types intersections, appeles types intersections simples. En effet, les systemes de t
APA, Harvard, Vancouver, ISO, and other styles
40

Maslovska. "TYPES OF PROGRAMMERS." Thesis, Київ 2018, 2018. http://er.nau.edu.ua/handle/NAU/33811.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Dugas, David M. ""Six house types"." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/91031.

Full text
Abstract:
This thesis seeks to explore, through making. The object of this making is, as Kahn has said, house. as opposed to a house; or, the house type seen as a generative tool rather than as a singular definitive manifestation of some set of circumstantial needs. The house is the one intellectual model in architecture which can bring to thinking in design a set of questions in which dwelling in its richest sense can be studied. Questions of how dwelling is made more possible through the configurations of architecture without the necessity of introducing artificial symbolic structures which cast
APA, Harvard, Vancouver, ISO, and other styles
42

Sironi, Eugenia. "Types in Ludics." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM4001/document.

Full text
Abstract:
Cette thèse propose une repréesentation de la notion de type, avec un intérêt particulier pour les types d'ependants, en Ludique.La Ludique est une th'eorie introduite par Girard. Elle vient d'une fine analyse du fragment multiplicative, additive polarisé de la Logique Linéaire (MALL_p). Un des ses buts est de reconstruire la logique à partir de la notion d'intéraction. Un type est une classe d'objets qui se comportent de la m^eme fac{c}on par rapport aux autres objets. La notion de type est commune à plusieurs domaines comme la Théorie de la Calculabilité, la Sémantique des Jeux et la Théorie
APA, Harvard, Vancouver, ISO, and other styles
43

Revell, Timothy. "Types, categories, actions." Thesis, University of Strathclyde, 2016. http://oleg.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=26534.

Full text
Abstract:
This thesis explores relational parametricity using fibrations. We present a complementary view of Reynolds's relational parametricity using the relations fibration. This approach allows us to uncover some of the hidden categorical structure present in Reynolds's original definitions and results, leading to new insights in the study of parametricity. In a similar vain we provide an alternative parametric model of System F using group actions, which has some novel differences to the standard relational model. We then alter the type system leading to a general categorical framework for type syst
APA, Harvard, Vancouver, ISO, and other styles
44

Zanardo, Isabella <1996&gt. "Types of Innovation." Master's Degree Thesis, Università Ca' Foscari Venezia, 2020. http://hdl.handle.net/10579/18426.

Full text
Abstract:
Innovation is a charming topic nowadays, nonetheless a widely discussed one. It is generally defined as the process of converting new ideas and inventions into practical products or services that generate value for consumers. However, the process of innovation always starts with creativity. In this way, innovation is presented as a proper person’s characteristic. All the most frequently used innovation’s instruments of analysis, unfortunately, lack a critical characteristic: they are not provided with the sensibility necessary to examine and inspect individuals. Considering a stereotyped ide
APA, Harvard, Vancouver, ISO, and other styles
45

Husianycia, Magali. "Caractérisation de types de discours dans des situations de travail." Thesis, Nancy 2, 2011. http://www.theses.fr/2011NAN21021/document.

Full text
Abstract:
L'objectif de cette étude consiste en la caractérisation de types de discours dans des situations de travail. Nous avons tenté de définir des types de discours à partir de critères linguistiques et en considérant les cadres actionnels qui sous-tendent les discours. Dans un premier temps, nous précisons le cadre théorique et méthodologique de notre travail en nous positionnant sur le concept de « type de discours » que nous différencions de celui de « genre ». En outre, pour définir notre cadre théorique, nous avons mené une réflexion sur l'histoire de la place du langage dans les activités de
APA, Harvard, Vancouver, ISO, and other styles
46

Nilsen, Espen Hobber. "Mulighetsstudie for passivhuskonseptet benyttet på forskjellige typehus i forskjellige klima i Norge." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for bygg, anlegg og transport, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-18452.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Bejleri, Andi. "Parameterised session types communication patterns : through the looking glass of session types." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/9475.

Full text
Abstract:
This dissertation studies a type theory to guarantee communication-safety in sessions of an arbitrary number of participants, typically represented as communication patterns, of mobile processes in the context of multiparty session types— a well-established type theory that describes the interactive structure of a fixed number of processes from a global point of view and type-checks the processes through projection of the global type onto the participants of the session. Communication-safety is the property that mobile processes exchange values of the same set without deadlocking and data race
APA, Harvard, Vancouver, ISO, and other styles
48

柳井, 裕道, and HIROMICHI YANAI. "On Degenerate CM-types." Elsevier, 1994. http://hdl.handle.net/2237/16361.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Gay, James Robert Kishore. "Computably extendible order types." Thesis, University of Leeds, 2016. http://etheses.whiterose.ac.uk/13976/.

Full text
Abstract:
In this thesis we consider, from a computability perspective, the question of what order-theoretic properties of a partial order can be preserved under linear extension. It is well-known that such properties as well-foundedness or scatteredness can be preserved, that is, given any well-founded partial order you can find a well-founded linear extension and mutatis mutandis for scattered partial orders. An order type σ is extendible if a partial order that does not embed σ can always be extended to a linear order that does not extend σ. So for example “given any well-founded partial order, you c
APA, Harvard, Vancouver, ISO, and other styles
50

Chen, Wei. "Types, rings, and games." Thesis, University of Nottingham, 2012. http://eprints.nottingham.ac.uk/12532/.

Full text
Abstract:
Algebraic equations on complex numbers and functional equations on generating functions are often used to solve combinatorial problems. But the introduction of common arithmetic operators such as subtraction and division always causes panic in the world of objects which are generated from constants by applying products and coproducts. Over the years, researchers have been endeavouring to interpretate some absurd calculations on objects which lead to meaningful combinatorial results. This thesis investigates connections between algebraic equations on complex numbers and isomorphisms of recursiv
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!