Thematische Bibliographien / Typhus / Dissertationen
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Typhus.

Dissertationen zum Thema „Typhus“

Autor: Grafiati
Veröffentlicht am 4. Juni 2021
Zuletzt aktualisiert am 25. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Typhus" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

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.

Der volle Inhalt der Quelle
Annotation:
<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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
3

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
4

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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/.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
Ö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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
15

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
24

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
25

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
28

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
30

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
36

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
37

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
38

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
39

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
40

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
42

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
44

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
45

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
48

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
49

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
50

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
Die Auswahlen zum Thema "Typhus" für andere Quellenarten können Sie auch interessieren:
Zeitschriftenartikel Bücher
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie