Dissertationen zum Thema „Max“

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Max.

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 "Max" 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

Grimm, Gunter E. „Max Dauthendey“. Gerhard-Mercator-Universitaet Duisburg, 2002. http://www.ub.uni-duisburg.de/ETD-db/theses/available/duett-10062002-102454/.

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

Müller-Kelwing, Karin. „Max Hahn“. Böhlau Verlag, 2020. https://slub.qucosa.de/id/qucosa%3A75081.

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

Lima, Élida. „Cartas ao Max: limiar afetivo da obra de Max Martins“. Pontifícia Universidade Católica de São Paulo, 2012. https://tede2.pucsp.br/handle/handle/15144.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Made available in DSpace on 2016-04-28T20:38:13Z (GMT). No. of bitstreams: 1 Elida Lima.pdf: 15939796 bytes, checksum: 53fdb62d50cd62a61e68ae5a3cad08dd (MD5) Previous issue date: 2012-06-21
Through experiments with writing, love letters and other writings the author appropriates the voice of the poet Max Martins to think about topics such as poetry, knowledge, memory, language and subjectivity. The work invents poetic devices to operate with the poems, becoming itself a device of subjectivity. The text turns out to discuss some questions of literary criticism by proposing a critical intensity. A selection of poems by Max Martins also serves as an poetic-loving introduction to the author: it is a book within the book, a double reading, a contaminated reading. Letters to Max operates at threshold in between the language and the one who speaks. This is a work of writing
Por meio de experiências com a escrita, cartas de amor e outros textos a autora se apropria da voz do poeta Max Martins para pensar temas como poesia, saber, memória, linguagem e subjetividade. O trabalho inventa dispositivos poéticos para operar com os poemas, tornando-se, ele próprio, um dispositivo de subjetivação. O texto acaba por problematizar algumas questões da crítica literária, ao propor uma crítica das intensidades. Uma seleção de poemas de Max Martins funciona também como uma introdução poético-amorosa ao autor: é um livro dentro do livro, uma leitura dupla, contaminada. Cartas ao Max atua naquele limiar entre a linguagem e aquele que fala. Este é um trabalho de escrita
4

Jenkins, John. „Max Stirner's egoism“. Thesis, Lancaster University, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.619267.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Most of the literature dealing with Max Stirner's The Ego and Its Own has concentrated on the weaknesses inherent in his defence of egoism, and the dominance of this critique has tended to obscure the more positive aspects of his conception of selfhood. In this thesis I argue that, while Stirner's understanding of self-interest and selfhood is indeed seriously defective, his interpretation of the liberated human agent should be recognised as a significant contribution to the individualist cause. Paradoxically, by examining the shortcomings of the conception of the egoistic self presented in The Ego and Its Own, I believe it is possible to make a more favourable assessment of Stiner's 'proper egoist'. In particular, by comparing his formulation of the autonomous human being to the more consistent and convincing view of self-determining agency presented in Nietzsche's Genealogy, I bring to light startling similarities between the two thinkers, showing that various key concepts associated with the individualist project - and normally considered to be characteristically Nietzschean creations - are already present in Stirner's work. Ln addition, I contend that the argument of The Ego and Its Own contains important lessons both for those who wish to espouse individualism and for its critics.
5

Farlow, Kasie Geralyn. „Max-Plus Algebra“. Thesis, Virginia Tech, 2009. http://hdl.handle.net/10919/32191.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
In max-plus algebra we work with the max-plus semi-ring which is the set ℝmax=[-∞)∪ℝ together with operations 𝑎⊕𝑏 = max(𝑎,𝑏) and 𝑎⊗𝑏= 𝑎+𝑏.  The additive and multiplicative identities are taken to be ε=-∞ and ε=0 respectively. Max-plus algebra is one of many idempotent semi-rings which have been considered in various fields of mathematics. Max-plus algebra is becoming more popular not only because its operations are associative, commutative and distributive as in conventional algebra but because it takes systems that are non-linear in conventional algebra and makes them linear. Max-plus algebra also arises as the algebra of asymptotic growth rates of functions in conventional algebra which will play a significant role in several aspects of this thesis. This thesis is a survey of max-plus algebra that will concentrate on max-plus linear algebra results. We will then consider from a max-plus perspective several results by Wentzell and Freidlin for finite state Markov chains with an asymptotic dependence.
Master of Science
6

Braun, Christoph. „Max Webers Musiksoziologie /“. Laaber : Laaber-Verlag, 1992. http://catalogue.bnf.fr/ark:/12148/cb355385585.

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

Mumme, Lisa Pollock Mumme. „Not things: gender and music in the Mad Max franchise“. Thesis, University of Iowa, 2019. https://ir.uiowa.edu/etd/7056.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
This thesis is a study of the gender politics through musical discourse in the Mad Max series. Dystopian narratives are particularly interesting texts for study of gender because they allow for extreme hypothetical situations in worlds that are at once familiar and unfamiliar. Musical discourse in the Mad Max films both supports and complicates dominant readings of gender constructions. I consider the gender politics of the franchise, using Mad Max (1979) and Mad Max: Fury Road (2015) as case studies, and drawing on scholarship on gender in film music, feminist film theory, and Australian car culture. In analyzing this music, I consider its broader cultural connotations, including film music tropes and operatic character types. After considering these genre associations, I analyze the musical gestures for narrative content and consider how the placement of themes with images and dialogue influences that content, with attention to how these factors contribute to a gendered understanding of the character. As the first deep thematic analysis of music in the Mad Max films, my project extends existing scholarship on both onscreen performance and gender categorizations that include musical forces resistant to strict binary categorization. My analysis of gendered musical discourse emphasizes the power of inquiry about gender in film music to clarify, enrich, and complicate texts.
8

Puttkamer, Marie-Agnes von. „Max Oppenheimer - MOPP (1885-1954) : Leben und malerisches Werk mit einem Verzeichnis der Gemälde /“. Wien ; Köln ; Weimar : Böhlau, 1998. http://catalogue.bnf.fr/ark:/12148/cb391318345.

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

Kienle, Anabelle Beckmann Max. „Max Beckmann in Amerika“. Petersberg Imhof, 2005. http://deposit.d-nb.de/cgi-bin/dokserv?id=2898507&prov=M&dok_var=1&dok_ext=htm.

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

Chapman, Sonny. „Vidareutvecling av Max 1“. Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-15152.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Denna rapport avhandlar arbetet som lett fram till det slutliga förslaget på formgivning. De problem som arbetet försökt lösa har varit hur vidareutvecklingen av en befintlig produkt kanutföras på ett smidigt och tillfredställande sätt. Att med hjälp av import och inköp av komponenterkunna försöka hitta alternativa designlösningar gentemot befintlig konstruktion. Den befintliga konstruktionen är konstruerad uteslutande utifrån att designen är en produkt avfunktionen. Solö har tagit över projektet från en tidigare konstruktör då maskinens uppfinnare varmissnöjd med hur den byggts. Den tidigare konstruktören har för att lösa vissa funktioner gjortlösningar som inte varit optimala ur ett större perspektiv, montering och kostnad t.ex.Vissa lösningar har enbart tillkommit för att lösa bristfälliga lösningar, andra för att det inte fannsnågot annat att välja på, vilket resulterat i en design som inte varit optimal. Konceptet som presenteras i slutet av denna rapport har haft som utgångspunkt att ge förslag pådesign som kan optimera monteringsarbetet och få till en kompaktare design då den befintligamaskinen består mestadels av tom volym. Fokus har legat på att ha argument för varje beslut och kunna visa på att lösningarna är baserade påverklig fakta snarare än vilda antaganden som är tagna ur luften.
Vidareutveckling av befintlig produkt
11

Eurell, Petrus. „Pierre Max Dubois Saxofonkonsert“. Thesis, Kungl. Musikhögskolan, Institutionen för klassisk musik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kmh:diva-1844.

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

Humphrey, Caroline. „Deformation in MAX phases“. Thesis, University of Cambridge, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.610553.

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

Hernández, Max. „Comentario de Max Hernández“. Pontificia Universidad Católica del Perú, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/115033.

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

Sichardt, Martina. „Annäherungen an Max Reger“. Georg Olms Verlag, 2014. https://slub.qucosa.de/id/qucosa%3A7835.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Die Entstehung des vorliegenden Sammelbandes verdankt sich einem kleinen Reger-Symposion, welches im Mai 2009 im Rahmen des „Max-Reger-Forums Leipzig 2009“ an der dortigen Hochschule für Musik und Theater „Felix Mendelssohn Bartholdy“, umrahmt von vielen Konzerten, stattfand; einige weitere Beiträge kamen später hinzu. Der Band ist in zwei thematische Blöcke, „Reger und die Künste“ und „Aufführungsfragen bei Reger“, aufgeteilt und enthält Beiträge von Ulrich Mosch, Susanne Popp, Kurt Seibert, Christopher Anderson, Gesine Schröder, Martina Sichardt, Eszter Fontana und Martin Krumbiegel – Wissenschaftler und Künstler vereint im Nachdenken über Max Reger.
15

Djedi, Youcef. „Max Weber et l'islam“. Lyon, Ecole normale supérieure, 2006. http://www.theses.fr/2006ENSF0029.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Max Weber n'a pas réalisé son projet d'une monographie sur l'islam. Cependant, malgré l'aspect parfois hâtif et erroné de ses notes sur l'islam, la démarche et l'appareil conceptuel du savant allemand peuvent se révéler d'une extrême fécondité pour la compréhension de la mentalité et de la "conduite de vie" engendrées par cette "Kulturreligion". Tout en déniant à celle-ci toutes possibilités véritablement ascétiques, en raison, notamment, de son orientation politique, hédoniste, mais aussi césaropapiste, Max Weber avait néanmoins pressenti lui-même la "fides efficax" et l'ascèse intramondaine- mieux : professionnelle- que pouvaient cultiver, dans l'islam, des "sectes" comme celles issues du ẖāriğisme. Justement, l'exemple de l'ibāḍisme confirme dans une très large mesure cette intuition
The project of Max Weber to write a separate study about Islam didn't take shape. Nevertheless, despite of the character, sometimes hurried and wrong, of his remarks concerning islam, the methodology of the German scholar can be very fruitful for the comprehension of the mentality and the "conduct of life" produced by this "Kulturreligion". Even denying to islam any real possibility of ascetism, notably because of its political, hedonist and Caesar-papist direction, Max Weber, however, sensed himself, in islam, the "fides efficax" and the inwordly ascetism (then better : professional ascetism) which could grow up, especially within the H̱āriğit sects. That's quite the case of Ibāḍism for example
16

Falek, Jussara. „O teste das pirâmides coloridas de Max Pfister - uma releitura“. Universidade de São Paulo, 1988. http://www.teses.usp.br/teses/disponiveis/47/47133/tde-25092013-142940/.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
não possui
The objective of this work is to relate our research have beeing done around the Max Pfister\'s Color Pyramid Test. The concentration falls on the carpet pattern of formo. On account of its peculiar evidence this occurence among the poor population in the city Df São Paulo, as learned through the last ten years of clinical experience and because it have been rarely reserched as the majority german original bibliography shows. We propose here by, a Pfister\'s test, in understand the carpet the pyramid. This new approach to the test consist in taking the color as a letter, as language. The basis Df this work psychoanalytical theory, by Freud and Lacan. The work inholds the discription of four illustrative clinical cases, followed by an exposition Df our theoretical foundation, and of an explication how we pass through the Lacan concept of the significant into the Pfister\'s test uni verse. It contains also an appendix in wich are to find a bibliographycal resume of the research made and a complete bibliography published relative to this item .
17

Malgat, Gérard Céspedes Gallego Jaime. „Max Aub y Francia o La esperanza traicionada /“. Sevilla : Renacimiento, 2007. http://catalogue.bnf.fr/ark:/12148/cb411462687.

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

Gustavsson, Sara, und Dominick Nilsson. „Max – den gröna trenden : En receptionsanalys av konsumenters uppfattning av Max hållbarhetskampanj Greenfamiljen“. Thesis, Högskolan i Halmstad, Akademin för hälsa och välfärd, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34572.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Syfte och frågeställningar: Studiens syfte är att undersöka på vilket sätt 20–25-åringar respektive 40–50-åringar uppfattar Max hållbarhetskampanj Greenfamiljen. Vidare undersöker studien hur respektive åldersgrupp resonerar kring Max hållbarhetskampanj på Facebook och Instagram. Studien undersöker även vilka CSR-strategier Max hållbarhetskampanj förhåller sig till på sociala medier.  -  Hur kan Max hållbarhetskampanj Greenfamiljen förstås utifrån de tre CSR-strategierna? -  På vilket sätt resonerar konsumenterna kring Max hållbarhetskampanj? -  Hur kan konsumenternas resonemang förklaras utifrån encoding/decoding perspektivet? -  Hur kan konsumenters uppfattning förklaras utifrån de teoretiska begreppen ålder och livsstil? Metod och material: En receptionsanalys i form av två semistrukturerade fokusgruppsintervjuer. Huvudresultat: Det fanns en låg förkunskap om Max hållbarhetskampanj Greenfamiljen i båda fokusgrupperna. 40–50-åringarna förhöll sig kritiska till Max hållbarhetskampanj, medan 20–25-åringarna hade en positiv inställning.
19

LEMOS, A. M. „Agora é Max. a Trajetória Política de Max de Freitas Mauro (1970-1990)“. Universidade Federal do Espírito Santo, 2014. http://repositorio.ufes.br/handle/10/3505.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Made available in DSpace on 2016-08-29T14:12:10Z (GMT). No. of bitstreams: 1 tese_5846_DISSERTAÇÃO MESTRADO.pdf: 6391615 bytes, checksum: 6d08c16dc0c43962aeefe8a85b3314fd (MD5) Previous issue date: 2014-04-24
O presente trabalho trata da trajetória política de Max de Freitas Mauro no Espírito Santo e sua ligação com o trabalhismo. Nesse sentido, iniciamos nossa dissertação com uma investigação das origens dessa ideologia política no Brasil. Essa doutrina política se associou ao nacionalismo, ao reformismo e se consolidou em um partido que atraiu para si o prestígio dos trabalhadores entre 1946 e 1964. Nesse período, o pai de Max Mauro, Saturnino Rangel Mauro, foi um político de destaque na fundação do PTB no Espírito Santo. Saturnino ascendeu politicamente a partir da vinculação com a estrutura política implementada no Brasil com a Revolução de 1930. A partir da representação dos trabalhadores Saturnino alcançou o posto de deputado estadual pelo PTB em 1947. A experiência democrática desse período foi, contudo, abortada pelo golpe militar de 1964 que trouxe nova orientação política para o Brasil, alinhando nossa economia com a estadunidense, intensificando a concentração de renda e a exclusão social. Os impactos das políticas econômicas no Espírito Santo são discutidos nesse trabalho, uma vez que, a forma como aconteceu a modernização econômica capitalista nesse estado se relaciona com o contexto estrutural vivenciado pelos capixabas na década de 1980. Desta forma, fazemos uma conexão entre a modernização econômica na década de 1970 e a exclusão social da década seguinte, que foi palco de inúmeros conflitos sociais também abordados nesse trabalho. A trajetória política de Max Mauro se sobrepõe a esse percurso histórico vivido pela sociedade capixaba. Assim, a partir da investigação em jornais, revistas, documentos oficiais e acervos privados, apresentamos uma narrativa que procura evidenciar aspectos estruturais e conjunturais, ou seja, diante daquele contexto conflituoso e de disputa por hegemonia apontamos algumas decisões tomadas pelo governador e sua relação com os poderes estabelecidos diante da sociedade. Para tanto, analisamos a relação de Max Mauro com a Assembleia Legislativa, com os poderes locais e com os centros de poder, representados pelas empresas: Companhia Siderúrgica Tubarão, Aracruz Celulose e Companhia Vale do Rio Doce. Diante desse quadro montado passamos a investigar o processo de fragmentação de Partido do Movimento Democrático Brasileiro (PMDB) e a ligação de Max Mauro com o partido liderado pelo herdeiro do getulismo, Leonel de Moura Brizola, e sua participação, como governador do estado Espírito Santo, na ascensão do Partido Democrático Trabalhista (PDT) nessa unidade da federação.
20

Liu, Mao [Verfasser], Max-Josef [Akademischer Betreuer] Hilz und Max-Josef [Gutachter] Hilz. „Veränderte emotionale und autonome Verarbeitung olfaktorischer Reize bei Patienten nach stattgehabtem, leichtem Schädelhirntrauma / Mao Liu ; Gutachter: Max-Josef Hilz ; Betreuer: Max-Josef Hilz“. Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018. http://d-nb.info/1170959164/34.

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

Mussil, Marion. „Illusionsstörungen in Max Frischs: Homo faber, Stiller und Mein Name sei Gantenbein /“. kostenfrei, 2008. http://othes.univie.ac.at/1682/.

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

Lee, Chong-Hyun. „Max Weber in Südkorea : eine Rezeptionsgeschichte“. Marburg Tectum-Verl, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2807131&prov=M&dokv̲ar=1&doke̲xt=htm.

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

Bös, Friedrich [Verfasser], Max [Akademischer Betreuer] Wardetzky, Max [Gutachter] Wardetzky, Gert [Gutachter] Lube und Etienne [Gutachter] Vouga. „Origami Cylinders / Friedrich Bös ; Gutachter: Max Wardetzky, Gert Lube, Etienne Vouga ; Betreuer: Max Wardetzky“. Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2018. http://d-nb.info/1157094481/34.

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

Abraham, Gary A. „Max Weber and the Jewish question : a study of the social outlook of his sociology /“. Urbana ; Chicago : University of Illinois press, 1992. http://catalogue.bnf.fr/ark:/12148/cb356063309.

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

ONO, Takao, und Tomio HIRATA. „Approximation Algorithms for MAX SAT“. Institute of Electronics, Information and Communication Engineers, 2000. http://hdl.handle.net/2237/15068.

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

Hellström, Carl Fredrik. „The Legacy of Max Ros“. Thesis, Konstfack, Institutionen för Konst (K), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:konstfack:diva-3785.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
By writing this essay I hope to get a better understanding of the different parts of my project. How to tell the story in a series format through multiple media and channels. How to relate a public environmental debate to a fictional story. Realism and Fantasy; how realistic can fiction become and how fictional can reality be?
Fine art, storytelling, fantasy, sculpture, installation, performance
27

Wenn, Anja. „Max Klingers Grafikzyklus "Ein Leben"“. Weimar VDG, Verl. und Datenbank für Geisteswissenschaften, 2006. http://bvbr.bib-bvb.de:8991/F?func=service&docl̲ibrary=BVB01&docn̲umber=014788472&linen̲umber=0001&funcc̲ode=DBR̲ECORDS&servicet̲ype=MEDIA.

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

Ahl, Anton. „Magnetfältsmätning avmagneter till MAX IV“. Thesis, Linnéuniversitetet, Institutionen för fysik och elektroteknik (IFE), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-29961.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Denna uppsats handlar om elektromagneter som används i partikelacceleratorer. Främst vissa av de som ska användas i den nya acceleratoranläggningen MAX IV i Lund och som produceras av Scanditronix Magnet AB. Denna uppsats är begränsad genom att enbart behandla en dipolmagnet och en kvadrupolmagnet. Fokus i arbetet ligger på fältmätningarna som utförs på magneterna och på de metodersom används för att analysera resultaten. Men för att kunna förstå de olika mätningarna och varför de utförs så behövs det en mängd teori som förklarar vissa principer och modeller. De fältmätningsmetoder som tas upp i denna uppsats är hallprob och så kallade roterande spole. För att få en mer grundläggande förståelse för elektromagneter och hur de första stegen i magnetdesign går till, tas även teorin som används vid de första stadierna i magnetdesignen upp. Främst den som krävs för att få en snabb uppskattning av hur det magnetiska fältet beror av den exciterande strömmen igenom magnetens spolar. Men också fördjupning av hur magnetfältet hänger ihop med de magnetiska potentialerna ingår. Resultaten som tas upp i denna uppsats fokuserar mest på analyser för att verifiera positioneringarna under mätningarna och därigenom minimera de felkällor som finns. Uppsatsen fick denna inriktning då de system som byggdes genomgick stora förändringar och utvecklades under arbetets gång för att förbättra kvalitén och reperterbarheten av fältmätningarna. Min roll i arbetslaget under projektets gång har kretsat kring beräkningarna som genomförs för att analysera data som fås vid de olika mätningarna. Både beräkningar för att presentera resultaten enligt MAX-labs specifikationer, men även för att lokalisera och åtgärda fel i systemen. Utöver detta har jag varit delaktig i framtagandet av de program som används under mätningarna.
29

Kamoun, Olivier. „A probabilistic min-max tree /“. Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=57007.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
MIN-MAX trees have been studied for thirty years as models of game trees in artificial intelligence. Judea Pearl introduced a popular probabilistic model that assigns random independent and identically distributed values to the leaves. Among the dependent models, incremental models assume that terminal values are computed as sums of edge values on the path from the root to a leaf. We study a special case called the scSUM model where the edge values follow a Bernoulli distribution with mean p. Let $V sb{n}$ be the root's value of a complete b-ary, n-level scSUM tree. We prove the E$V sb{n}$/n tends to a uniformly continuous function ${ cal V}(p)$. Surprisingly, ${ cal V}(p)$ is very nonlinear and has some flat parts. More formally, for all b, there exist $ alpha, beta in$ (0, 1) such that, cases{${ rm if} p in lbrack0, alpha rbrack$&:E$V sb{n}$ has a finite limit cr ${ rm if} p in lbrack1- alpha,1 rbrack$&:$n-{ rm E}V sb{n}$ has a finite limit cr ${ rm if} p in lbrack beta,1- beta rbrack$&:E$V sb{n}/n$ tends to 1/2 cr} inally $ beta$ and $ alpha$ tend to zero when b tends to infinity.
30

Gane, Nicholas B. „Max Weber and postmodern theory“. Thesis, London Metropolitan University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297506.

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

Guvenc, Deniz Ali Woloshin. „Max Stirner: Ontology, Ethics, Politics“. Thesis, Université d'Ottawa / University of Ottawa, 2019. http://hdl.handle.net/10393/38841.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Max Stirner has historically been charged with nihilism, narcissism, and nominalism. Yet there exists another Stirner—a Stirner attentive and responsive to the intricate uncertainty of existence. I argue that we can find in his destructive an-archism a spirited celebration of creativity and experimentation; in his wild anti-humanism, a gentle sympathy for the human life; in his aggressive atheism, an unwavering clemency for the heathen. Stirner’s vagabond ontology, egoist ethics, and insurrectionary politics culminate in a singular, joyful affirmation: there are other ways of being.
32

MacCaig, Marie. „Integrality in max-linear systems“. Thesis, University of Birmingham, 2015. http://etheses.bham.ac.uk//id/eprint/6024/.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
This thesis deals with the existence and description of integer solutions to max-linear systems. It begins with the one-sided systems and the subeigenproblem. The description of all integer solutions to each of these systems can be achieved in strongly polynomial time. The main max-linear systems that we consider include the eigenproblem, and the problem of determining whether a matrix has an integer vector in its column space. Also the two-sided systems, as well as max-linear programming problems. For each of these problems we construct algorithms which either find an integer solution, or determine that none exist. If the input matrix is finite, then the algorithms are proven to run in pseudopolynomial time. Additionally, we introduce special classes of input matrices for each of these problems for which we can determine existence of an integer solution in strongly polynomial time, as well as a complete description of all integer solutions. Moreover we perform a detailed investigation into the complexity of the problem of finding an integer vector in the column space. We describe a number of equivalent problems, each of which has a polynomially solvable subcase. Further we prove NP-hardness of related problems obtained by introducing extra conditions on the solution set.
33

Carvalho, Davi Gustavo de [UNESP]. „Max Weber diante do Socialismo“. Universidade Estadual Paulista (UNESP), 2008. http://hdl.handle.net/11449/126272.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Made available in DSpace on 2015-08-20T17:09:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-06-11. Added 1 bitstream(s) on 2015-08-20T17:27:18Z : No. of bitstreams: 1 000841025.pdf: 761372 bytes, checksum: 34f2c75736c0e51f72934d9f4e613adb (MD5)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Este trabalho tem como objeto de análise a perspectiva de Max Weber em relação ao socialismo. Esse grande clássico do pensamento social sustentou posição muito crítica em relação à exequibilidade do projeto socialista. Mais precisamente, este trabalho delineia e analisa a crítica weberiana ao socialismo em sua dupla abrangência: Weber contrapõe-se tanto à ideia de que a emancipação humana seria atingida em uma sociedade socialista estabelecida, quanto às próprias possibilidades de êxito de uma revolução social que caminhasse no sentido da construção dessa sociedade. Inicialmente revelados os argumentos weberianos que sustentam tal postura, passa-se à sua subsequente discussão crítica à luz do contexto histórico na qual o pensador alemão os forjou. A cadeia de valores que norteavam o autor - base de sua postura político-ideológica - parece influenciar sobremaneira seu ponto de vista sobre o modo de produção socialista, o qual via apenas como extensão radicalizada da dominação burocrática, algo já existente em seu predecessor, o capitalismo moderno. Tomando precisamente essa ideia como central, não vislumbrava saída para a jaula de ferro da burocracia, apresentando-a como algo inexorável na modernidade, seja no capitalismo, seja no seu suposto antípoda, o socialismo. Por fim, muito embora desdobramentos históricos das experiências socialistas tenham dado razão a Weber, apresentam-se alguns elementos críticos à elaboração teórica weberiana, problematizando-se alguns aspectos de sua argumentação, cuja força e influência são inegáveis. Para isso, textos variados de sua obra são percorridos e analisados, embora tome como documento central a célebre Conferência sobre o Socialismo, proferida por Weber em 1918
This work aims to analyse Max Weber's perspective in relation to the socialism. This great classic of the social thought argued against the feasibility of the socialist project from a very critical point of view. More precisely, this work delineates and analyses the double biased Weberian criticism towards socialism: Weber not only opposes the idea that the human emancipation would be reached in an established socialist society, but also criticises the possibilities of success of a social revolution that could lead to that sort of society. Unveiled the arguments that underpin Weber's criticism, the subsequent critical discussion of the author's reasons is addressed in the light of the historical background in which the German thinker has come up with them. The chain of values that guided the author, which provides the basis for his political-ideological position, seems to exert great influence on the view he holds on socialism, which he has only seen as an extensive form of the bureaucratic domination, something that has already existed in its predecessor, the modern capitalism. Taking that very idea as pivotal, that negative view of socialism, Weber has considered there was no way out for the cage of iron of bureaucracy, thus claiming it was something inexorable in modern times, either in capitalism or in socialism, capitalism's supposed antipodal. Finally, even though some historical developments of the socialist experiences give reason to Weber's arguing, the Weberian theorisation and his arguing, whose strength and influence are undeniable, are questioned here based on some critical elements. In order to do so, a wide range of Weber's works are browsed and analysed; the famous Conference on Socialism, though, proffered by Weber in 1918, is here taken as the fundamental document for research
34

Carvalho, Davi Gustavo de. „Max Weber diante do Socialismo /“. Araraquara, 2008. http://hdl.handle.net/11449/126272.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
Orientador: Maria Orlanda Pinassi
Banca: Fátima Cabral
Banca: Fernando Antonio Lourenço
Resumo: Este trabalho tem como objeto de análise a perspectiva de Max Weber em relação ao socialismo. Esse grande clássico do pensamento social sustentou posição muito crítica em relação à exequibilidade do projeto socialista. Mais precisamente, este trabalho delineia e analisa a crítica weberiana ao socialismo em sua dupla abrangência: Weber contrapõe-se tanto à ideia de que a emancipação humana seria atingida em uma sociedade socialista estabelecida, quanto às próprias possibilidades de êxito de uma revolução social que caminhasse no sentido da construção dessa sociedade. Inicialmente revelados os argumentos weberianos que sustentam tal postura, passa-se à sua subsequente discussão crítica à luz do contexto histórico na qual o pensador alemão os forjou. A cadeia de valores que norteavam o autor - base de sua postura político-ideológica - parece influenciar sobremaneira seu ponto de vista sobre o modo de produção socialista, o qual via apenas como extensão radicalizada da dominação burocrática, algo já existente em seu predecessor, o capitalismo moderno. Tomando precisamente essa ideia como central, não vislumbrava saída para a "jaula de ferro" da burocracia, apresentando-a como algo inexorável na modernidade, seja no capitalismo, seja no seu suposto antípoda, o socialismo. Por fim, muito embora desdobramentos históricos das experiências "socialistas" tenham dado razão a Weber, apresentam-se alguns elementos críticos à elaboração teórica weberiana, problematizando-se alguns aspectos de sua argumentação, cuja força e influência são inegáveis. Para isso, textos variados de sua obra são percorridos e analisados, embora tome como documento central a célebre Conferência sobre o Socialismo, proferida por Weber em 1918
Abstract: This work aims to analyse Max Weber's perspective in relation to the socialism. This great classic of the social thought argued against the feasibility of the socialist project from a very critical point of view. More precisely, this work delineates and analyses the double biased Weberian criticism towards socialism: Weber not only opposes the idea that the human emancipation would be reached in an established socialist society, but also criticises the possibilities of success of a social revolution that could lead to that sort of society. Unveiled the arguments that underpin Weber's criticism, the subsequent critical discussion of the author's reasons is addressed in the light of the historical background in which the German thinker has come up with them. The chain of values that guided the author, which provides the basis for his political-ideological position, seems to exert great influence on the view he holds on socialism, which he has only seen as an extensive form of the bureaucratic domination, something that has already existed in its predecessor, the modern capitalism. Taking that very idea as pivotal, that negative view of socialism, Weber has considered there was no way out for the "cage of iron" of bureaucracy, thus claiming it was something inexorable in modern times, either in capitalism or in socialism, capitalism's supposed antipodal. Finally, even though some historical developments of "the socialist" experiences give reason to Weber's arguing, the Weberian theorisation and his arguing, whose strength and influence are undeniable, are questioned here based on some critical elements. In order to do so, a wide range of Weber's works are browsed and analysed; the famous Conference on Socialism, though, proffered by Weber in 1918, is here taken as the fundamental document for research
Mestre
35

Cerrón-Palomino, Rodolfo. „Max Uhle: “descubridor” del Chipaya“. Pontificia Universidad Católica del Perú, 2012. http://repositorio.pucp.edu.pe/index/handle/123456789/102967.

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

Acosta, Valverde Melanie Araceli, Mariños Joan Ayrton Andrade, Chamochumbi Renzo Ortiz, Calderón John Erick Vásquez und Castillo Diego Alonso Linares. „Cargador Portátil Ecológico MAX - E“. Bachelor's thesis, Universidad Peruana de Ciencias Aplicadas (UPC), 2020. http://hdl.handle.net/10757/652750.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
El presente proyecto es un cargador solar ecológico que puede ser transportado en todo momento debido a su tamaño compacto y su poco peso de 150 gramos. Además, almacena la energía del sol y la luz led para luego cargar tu dispositivo en cualquier momento. Se desarrolla su viabilidad en base a una investigación realizada a hombres y mujeres de 18 a 39 años de los niveles socioeconómicos A, B y C. Por lo tanto, el análisis permite identificar a un grupo de personas que necesitan cargar su celular en momentos importantes durante el día pero que no encuentran lugar donde conectarlo o no tienen un cargador. Para validar la solución se utilizó un prototipo del producto el cual fue presentado al público y especialistas para que salga al mercado. Por último, se realizó un concierge para calcular la intención de compra del producto y proyectar sus estados financieros, los cuales, están respaldados por pertinentes desarrollos estratégicos que llevan a cabo un plan de negocio.
This project is an ecological solar charger that can always be transported due to its compact size and low weight of 150 grams. In addition, it stores the energy of the sun and the led light and then charges your device at any time. Its viability is developed based on research carried out on men and women between 18 and 39 years of age from socioeconomic levels A, B and C. Therefore, the analysis allows identifying a group of people who need to charge their cell phones at crucial moments in the day, but they do not find a place to connect it or they do not have a charger. To validate the solution, a prototype of the product was used, which was presented to the public and specialists so that it would be released. Finally, a concierge was held to calculate the intention to purchase the product and to project its financial statements, which are backed by pertinent strategic developments that carry out a business plan.
Trabajo de investigación
37

Fontana, Eszter. „Max Regers Werke auf Notenrollen“. Georg Olms Verlag, 2014. https://slub.qucosa.de/id/qucosa%3A7843.

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

Бурячек, Т. О., und О. В. Вишневська. „Методи оптимізації моделей 3ds Max“. Thesis, КНУТД, 2016. https://er.knutd.edu.ua/handle/123456789/4342.

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

Willert, Max [Verfasser]. „Routing and Stabbing / Max Willert“. Berlin : Freie Universität Berlin, 2021. http://d-nb.info/1237685923/34.

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

Hartmann, Angela. „William Lossow, Max Hans Kühne/“. [S.l. : s.n.], 2006. http://swbplus.bsz-bw.de/bsz266623476inh.pdf.

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

Liu, Zhongsheng. „Magnetic MAX phases: Itinerant electron magnetism of pure and Mn-doped Cr-based MAX phases“. 京都大学 (Kyoto University), 2015. http://hdl.handle.net/2433/199312.

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

Aissi, Hassene. „Approximation et résolution des versions min-max et min-max regret de problèmes d'optimisation combinatoire“. Paris 9, 2005. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2005PA090066.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
En théorie de la décision, des approches, basées sur la résolution des versions min-max (regret) de problèmes d’optimisation, sont souvent utilisées en vue d’obtenir des solutions qui ont un bon comportement dans le pire cas. La complexité de ces problèmes a été étudiée de manière approfondie au cours de la dernière décennie. Nous présentons certains résultats complémentaires de complexité et nous initions l’étude de l’approximation des versions min-max (regret) de plusieurs problèmes classiques tels que le plus court chemin, l’arbre couvrant et le sac à dos, pour lesquels nous présentons des résultats positifs et négatifs. Outre cette étude théorique, nous nous intéressons à une application du critère de regret maximum et, d’une manière générale, des approches robustes au problème d’association de données. Formellement, le problème peut se modéliser comme un problème d’affectation multidimensionnelle. Compte tenu des diverses sources d’imprécision, le modèle n’est pas souvent pertinent. Nous montrons qu’il est utile d’évaluer les coefficients de la fonction objectif à l’aide d’intervalles au lieu d’utiliser les valeurs les plus vraisemblables. Différentes stratégies sont étudiées pour résoudre ce problème et des exemples numériques sont proposés pour démontrer l’efficacité de notre approche.
43

Sanders, Jennifer Ann. „Regulation of the c-Myc/Max/Mad network during liver development and regeneration /“. View online version; access limited to Brown University users, 2005. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:3174671.

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

Vasconcellos, Caio Eduardo Teixeira. „A teoria crítica e Max Weber“. Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/8/8132/tde-01042015-113618/.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
O objetivo desta pesquisa é interpretar as relações entre os autores da primeira geração da teoria crítica - Max Horkheimer, Theodor Adorno e Herbert Marcuse - com a sociologia de Max Weber. Usualmente, elas são analisadas visando destacar as suas semelhanças e as suas continuidades. Todavia, para reconstruir a maneira pela qual esses frankfurtianos incorporaram certa temática weberiana, será necessário ressaltar as suas divergências e suas rupturas não apenas dos frankfurtianos com Weber, mas inclusive entre eles mesmos. Mais que uma simples operação de transposição conceitual, a apropriação crítica ao pensamento de Weber é ainda um eixo em torno do qual se pode interpretar aspectos particulares da teoria social de Horkheimer, de Adorno e de Marcuse Teoria crítica, Max Weber, Max Horkheimer, Theodor Adorno, Herbert Marcuse
The main aim of this research is to study the relationship between the authors of the first generation of critical theory - Max Horkheimer, Theodor Adorno and Herbert Marcuse - with the sociology of Max Weber. Usually, they are analyzed in order to highlight their similarities and their continuities. However, to reconstruct the way in which these frankfurtians incorporated certain Weberian theme, is also necessary to highlight their differences and their breaks not only the frankfurtians with Weber, but even among themselves. More than a simple conceptual transposition, critical to the thought of Weber ownership is still an axis around which to interpret particular aspects of social theory Horkheimer, Adorno and Marcuse
45

Josephson, Peter. „Den akademiska frihetens gränser : Max Weber, Humboldtmodellen och den värdefria vetenskapen /“. Uppsala : Institutionen för idé- och lärdomshistoria, Uppsala universitet [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-5936.

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

Weichelt, Matthias. „Gewaltsame Horizontbildungen : Max Kommerells lyriktheoretischer Ansatz und die Krisen der Moderne /“. Heidelberg : Winter, 2006. http://www.loc.gov/catdir/toc/fy0614/2006402505.html.

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

Liu, Hsin-Hung. „A study on compositional structure in Max Reger Phantasie für Orgel über den Choral, "Hallelujah! Gott zu loben, bleibe meine Sellenfreud!" /“. Thesis, Connect to this title online; UW restricted, 2004. http://hdl.handle.net/1773/11211.

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

Bily, Lothar. „Die Religion im Denken Max Webers /“. St. Ottilien : EOS Verl, 1990. http://catalogue.bnf.fr/ark:/12148/cb35525887n.

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

Quaglino, Alessio [Verfasser], Max [Akademischer Betreuer] Wardetzky und Gert [Akademischer Betreuer] Lube. „Membrane locking in discrete shell theories / Alessio Quaglino. Gutachter: Max Wardetzky ; Gert Lube. Betreuer: Max Wardetzky“. Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2012. http://d-nb.info/1042969213/34.

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

Larraz, Hurtado Daniel. „Automatic program analysis using Max-SMT“. Doctoral thesis, Universitat Politècnica de Catalunya, 2015. http://hdl.handle.net/10803/316396.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Annotation:
This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach taken in this thesis follows the constraint-based method used in program analysis. The idea of the constraint-based method is to consider a template for candidate invariant properties, e.g., linear conjunctions of inequalities. These templates involve both program variables as well as parameters whose values are initially unknown and have to be determined so as to ensure invariance. To this end, the conditions on inductive invariants are expressed by means of constraints (hence the name of the approach) on the unknowns. Any solution to these constraints then yields an invariant. In particular, if linear inequalities are taken as target invariants, conditions can be transformed into arithmetic constraints over the unknowns by means of Farkas' Lemma. In the general case, a Satisfiability Modulo Theories (SMT) problem over non-linear arithmetic is obtained, for which effective SMT solvers exist. One of the novelties of this thesis is the presentation of an optimization version of the SMT problems generated by the constraint-based method in such a way that, even when they turn out to be unsatisfiable, some useful information can be obtained for refining the program analysis. In particular, we show in this work how our approach can be exploited for proving termination of sequential programs, disproving termination of non-deterministic programs, and do compositional safety verification. Besides, an extension of the constraint-based method to generate universally quantified array invariants is also presented. Since the development of practical methods is a priority in this thesis, all the techniques have been implemented and tested with examples coming from academic and industrial environments. The main contributions of this thesis are summarized as follows: 1. A new constraint-based method for the generation of universally quantified invariants of array programs. We also provide extensions of the approach for sorted arrays. 2. A novel Max-SMT-based technique for proving termination. Thanks to expressing the generation of a ranking function as a Max-SMT optimization problem where constraints are assigned different weights, quasi-ranking functions -functions that almost satisfy all conditions for ensuring well-foundedness- are produced in a lack of ranking functions. Moreover, Max-SMT makes it easy to combine the process of building the termination argument with the usually necessary task of generating supporting invariants. 3. A Max-SMT constraint-based approach for proving that programs do not terminate. The key notion of the approach is that of a quasi-invariant, which is a property such that if it holds at a location during execution once, then it continues to hold at that location from then onwards. Our technique considers for analysis strongly connected subgraphs of a program's control flow graph and thus produces more generic witnesses of non-termination than existing methods. Furthermore, it can handle programs with unbounded non-determinism. 4. An automated compositional program verification technique for safety properties based on quasi-invariants. For a given program part (e.g., a single loop) and a postcondition, we show how to, using a Max-SMT solver, an inductive invariant together with a precondition can be synthesized so that the precondition ensures the validity of the invariant and that the invariant implies the postcondition. From this, we build a bottom-up program verification framework that propagates preconditions of small program parts as postconditions for preceding program parts. The method recovers from failures to prove validity of a precondition, using the obtained intermediate results to restrict the search space for further proof attempts.
Esta tesis se centra en el desarrollo de técnicas para construir herramientas altamente automatizadas que analicen programas secuenciales escritos en lenguajes imperativos como C o C++. Para realizar el razonamiento sobre los programas, la aproximación tomada en esta tesis se basa en un conocido método basado en restricciones utilizado en análisis de progamas. La idea de dicho método consiste en considerar plantillas que expresen propiedades invariantes candidatas, p.e., conjunciones de desigualdades lineales. Estas plantillas contienen tanto variables del programa como parámetros cuyos valores son inicialmente desconocidos y tienen que ser determinados para garantizar la invariancia. Para este fin, las condiciones sobre invariantes inductivos son expresadas mediante restricciones sobre los valores desconocidos. Cualquier solución a estas restricciones llevan a un invariante. En particular, si desigualdades lineales son los invariantes objetivo, las condiciones pueden ser transformadas en restricciones aritméticas sobre los valores desconocidos mediante el lema de Farkas. En el caso general, un problema de Satisfactibilidad Modulo Teorías (SMT) sobre aritmética no-lineal es obtenido, para el cual existen resolvedores eficientes. Una de las novedades de esta tesis es la presentación de una versión de optimización de los problemas SMT generados por el método tal que, incluso cuando son insatisfactibles, se puede obtener cierta información útil para refinar el análisis del programa. En particular, en este trabajo se muestra como la aproximación tomada puede usarse para probar terminación de programas, probar la no terminación de programas y realizar verificación por partes de la corrección de programas. Además, también se describe una extensión del método basado en restricciones para generar invariantes universalmente cuantificados sobre arrays. Debido a que el desarrollo de métodos prácticos es una prioridad en esta tesis, todas las técnicas han sido implementadas y probadas con ejemplos extraídos del entorno académico e industrial. Las principales contribuciones de esta tesis pueden resumirse en: 1. Un nuevo método basado en restricciones para la generación de invariantes universalmente cuantificados sobre arrays. También se explica extensiones del método para aplicarlo a arrays ordenados. 2. Un técnica novedosa basada en Max-SMT para probar terminación. Gracias a expresar la generación de funciones de ranking como problemas de optimización Max-SMT, donde a las restricciones se les asigna diferentes pesos, se generan cuasi-funciones de ranking, funciones que casi satisfacen todas las condiciones que garantizan la existencia de una relación bien fundada, en ausencia de funciones de ranking. Además, Max-SMT facilita la combinación del proceso de construcción de un argumento de terminación con la tarea habitualmente necesaria de generar invariantes de apoyo. 3. Un método basado en restricciones y Max-SMT para probar que un programa no termina. El concepto clave del método es el de cuasi-invariante, que es una propiedad tal que si se cumple una vez en un punto del programa durante la ejecución, entonces continúa cumpliendose en ese punto desde entonces en adelante. Nuestra técnica considera en su análisis subgrafos fuertemente conexos del grafo de control de flujo del programa y produce testigos de no terminación más genéricos que otros métodos existentes. Además, es capaz de tratar programas con no determinismo. 4. Una técnica automatizada de verificación por partes de propiedades de corrección de un programa basada en cuasi-invariantes. Dado una parte de un programa (p.e., un único bucle) con una postcondición, se muestra como, usando Max-SMT, puede sintetizarse un invariante inductivo junto a una precondición que garantiza la validez del invariante y que el invariante implica la postcondición. Apartir de esto, se describe una infraestructura de verificación de programas de abajo a arriba que propaga precondiciones.

Zur Bibliographie