Готові списки джерел за темами / Oppeano / Дисертації
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Oppeano.

Дисертації з теми "Oppeano"

Автор: Grafiati
Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-21 дисертацій для дослідження на тему "Oppeano".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Oliveira, Diego Caminha Barbosa de. "Deciding difference logic in a Nelson-Oppen combination framework." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17987.

Повний текст джерела
Анотація:
Made available in DSpace on 2014-12-17T15:47:48Z (GMT). No. of bitstreams: 1 DiegoCBO.pdf: 564820 bytes, checksum: eedd81c1881d60fea03c3dcdd8556734 (MD5) Previous issue date: 2007-11-07
O m?todo de combina??o de Nelson-Oppen permite que v?rios procedimentos de decis?o, cada um projetado para uma teoria espec?fica, possam ser combinados para inferir sobre teorias mais abrangentes, atrav?s do princ?pio de propaga??o de igualdades. Provadores de teorema baseados neste modelo s?o beneficiados por sua caracter?stica modular e podem evoluir mais facilmente, incrementalmente. Difference logic ? uma subteoria da aritm?tica linear. Ela ? formada por constraints do tipo x − y ≤ c, onde x e y s?o vari?veis e c ? uma constante. Difference logic ? muito comum em v?rios problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em v?rios outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que v?rios algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decis?o para difference logic ? capaz de induzir sobre milhares de constraints. Um procedimento de decis?o para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic ? satisfat?vel (as vari?veis podem assumir valores que tornam o conjunto consistente) ou n?o. Al?m disso, para funcionar em um modelo de combina??o baseado em Nelson-Oppen, o procedimento de decis?o precisa ter outras funcionalidades, como gera??o de igualdade de vari?veis, prova de inconsist?ncia, premissas, etc. Este trabalho apresenta um procedimento de decis?o para a teoria de difference logic dentro de uma arquitetura baseada no m?todo de combina??o de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi poss?vel observar o seu funcionamento. Detalhes de implementa??o e testes experimentais s?o relatados
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Katsaros, Laure. "Le rivage dans la poesie americaine : walt whitman, hart crane, george oppen." Paris 7, 2000. http://www.theses.fr/2000PA070070.

Повний текст джерела
Анотація:
Cette these examine le theme du rivage dans la poesie americaine de walt whitman a george oppen. Espace de fondation en amerique, le rivage constitue le point de depart du grand periple whitmanien a travers le continent americain. Chez hart crane, c'est un point de jonction entre la mer et le continent. Pour george oppen, c'est un point de rupture, qui creuse la distance entre le poete et l'espace. Chez ces trois poetes, le rivage n'est pas seulement un paysage. Il suggere aussi une pratique d'ecriture fondee sur la fluidite. Cette these s'appuie egalement sur des recits d'explorateurs du seizieme et du dix-septieme siecle pour montrer la centralite du rivage dans la pensee et la litterature americaines.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Southall, Oliver Charles Harold. "Poetical economies : the search for new measure in Pound, Oppen, Zukofsky and Williams." Thesis, University of Cambridge, 2015. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.708549.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Wolanski, Andrzej. "Zbigniew Kościów, Karol Maria Weber. Opowiesc biograficzna, Opole 1996 [Carl Maria von Weber. Biographische Erzählung, Oppeln 1996] [Rezension]." Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-222943.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Oppen, Tassilo von [Verfasser]. "Nachweis von equinem Herpesvirus Typ 2 (EHV-2) bei Keratitiden des Pferdes / Tassilo von Oppen." Hannover : Stiftung Tierärztliche Hochschule Hannover, 2000. http://d-nb.info/1182999786/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Puginier, Oliver [Verfasser], M. von [Gutachter] Oppen, and Uwe-Jens [Gutachter] Nagel. "Hill tribes struggling for a land deal / Oliver Puginier ; Gutachter: M. von Oppen, Uwe-Jens Nagel." Berlin : Humboldt-Universität zu Berlin, 2002. http://d-nb.info/1207655716/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Marowa, Ivan [Verfasser], and Achim von [Akademischer Betreuer] Oppen. "Forced Removal and Social Memories in North-western Zimbabwe,c1900-2000 / Ivan Marowa. Betreuer: Achim von Oppen." Bayreuth : Universität Bayreuth, 2015. http://d-nb.info/1073944212/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Kadi, Faris [Verfasser], Andreas [Akademischer Betreuer] Knorr, Ermin [Akademischer Betreuer] Malic, and Oppen Felix [Akademischer Betreuer] von. "Relaxation dynamics in graphene / Faris Kadi. Gutachter: Andreas Knorr ; Felix von Oppen ; Ermin Malic. Betreuer: Andreas Knorr ; Ermin Malic." Berlin : Technische Universität Berlin, 2015. http://d-nb.info/1077247095/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Zocher, Björn [Verfasser], Bernd [Gutachter] Rosenow, and Oppen Felix [Gutachter] von. "Signatures of Majorana fermions and ground state degeneracies in topological superconductors / Björn Zocher ; Gutachter: Bernd Rosenow, Felix von Oppen." Leipzig : Universitätsbibliothek Leipzig, 2014. http://d-nb.info/1238599893/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Hailu, Aychegrew H. [Verfasser], and Achim von [Akademischer Betreuer] Oppen. "Towards a History of Non-Governmental Organisations (NGOs) in Ethiopia since the 1960s / Aychegrew H. Hailu ; Betreuer: Achim von Oppen." Bayreuth : Universität Bayreuth, 2016. http://d-nb.info/1114270644/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
11

Hailu, Aychegrew H. Verfasser], and Achim von [Akademischer Betreuer] [Oppen. "Towards a History of Non-Governmental Organisations (NGOs) in Ethiopia since the 1960s / Aychegrew H. Hailu ; Betreuer: Achim von Oppen." Bayreuth : Universität Bayreuth, 2016. http://d-nb.info/1114270644/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
12

Bailey, Fiona Jane, and mikewood@deakin edu au. "The origins of inflated responsibility in obsessive compulsive disorder." Deakin University. School of Psychology, 2002. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20050902.121410.

Повний текст джерела
Анотація:
The pivotal role of inflated responsibility beliefs in the maintenance and treatment of obsessive-compulsive disorder (OCD) has been clearly demonstrated (Rachman, 1993; Salkovskis, 1998; Shafran, 1997; van Oppen & Arntz, 1994). Yet little is known about the origins of these beliefs, their contribution to a sense of inflated responsibility or the symptoms of OCD, or the contribution of personality to inflated responsibility and to OCD, The aims of this thesis were to investigate a model of the inter-relationships among the personality dimensions of neuroticism and psychoticism, inflated responsibility and OCD, and the origins of inflated responsibility to inflated responsibility and to OCD. In order to achieve these aims, a scale was developed to assess the origins of inflated responsibility based upon the five pathways proposed by Salkovskis, Shafran, Rachman, and Freeston (1999) and the additional domains of guilt, vigilance and thought-action fusion (Shafran, Thordarson, & Rachman, 1996; Shafran, Watkins & Charman, 1996; Tallis, 1994). Eighty-four participants with OCD (age M = 43.36) and 74 control participants (age M =37.14) volunteered to participate in the two studies of this thesis. The aim of Study 1 was to develop and validate a measure of the Origins of Inflated Responsibility (OIR). The results of the first study yielded a 25-ttem scale, the Origins of Inflated Responsibility Questionnaire (OIRQ) with five independent factors: responsibility, strictness, protection from responsibility, critical incidents, and peer blame which demonstrated both internal reliability and temporal stability over a 2-week period. In Study 2, participants also completed the Responsibility Attitudes Scale (Salkovskis, Wroe, Gledhill, Morrison, Forrester, Richards, ct al. (2000) (a measure of inflated responsibility), the Padua Inventory (Sanavio, 1988) (to measure of the symptoms of OCD)y and the Eysenck Personality Inventory-Revised (Eysenck & Eysenck, 1991). Multivariatc Analysis of Variance revealed that the OCD group scored higher on all variables than the control group except for strictness where the groups were not different, and psychoticism where the OCD group scored lower. A series of Multiple Regression analyses revealed that both group and the OIR contributed to inflated responsibility (R2 = .56). When all variables, OIR, inflated responsibility and neuroticism were entered as predictors of OCD, 60% of the variance in OCD was explained however, 49% of the variance was shared by the independent variables suggesting the presence of some underlying construct. Structural Equation Modelling, where all the constructs in the model were examined simultaneously, revealed that neuroticism contributed to the OIR, inflated responsibility and OCD. The OIR were also significant predictors of inflated responsibility and indirectly through inflated responsibility predictive of OCD. The OIR also directly predicted OCD and when the total effects are considered, their contribution was greater than the total effect for inflated responsibility alone. The results of these studies provide good support for the origins of inflated responsibility proposed by Salkovskis et al. (1999), as measured by the OIRQ developed for use in the current thesis. The results also support the contribution of inflated responsibility and neuroticism, as well as the OIR, to OCD, The large amount of variance shared by the OIR, inflated responsibility and neuroticism suggest that there might be some underlying construct, perhaps of a biopsychosocial nature, that requires further investigation for its role in the onset and maintenance of OCD. The clinical relevance of these findings is discussed in terms of early prevention strategies and interventions.
Стилі APA, Harvard, Vancouver, ISO та ін.
13

Mkumbukwa, Abdallah Rashid [Verfasser], and Achim von [Akademischer Betreuer] Oppen. "The History of Use and Conservation of Marine Resources in Zanzibar : Nineteenth Century to the Present / Abdallah Rashid Mkumbukwa ; Betreuer: Achim von Oppen." Bayreuth : Universität Bayreuth, 2017. http://d-nb.info/1133167691/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
14

Lar, Jimam Timchang [Verfasser], and Achim von [Akademischer Betreuer] Oppen. "Vigilantism, State, and Society in Plateau State, Nigeria : A History of Plural Policing ; (1950 to the present) / Jimam Timchang Lar. Betreuer: Achim von Oppen." Bayreuth : Universität Bayreuth, 2016. http://d-nb.info/1099428491/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
15

Caminha, Barbosa De Oliveira Diego. "Fragments de l'arithmétique dans une combinaison de procédures de décision." Phd thesis, Université Nancy II, 2011. http://tel.archives-ouvertes.fr/tel-00578254.

Повний текст джерела
Анотація:
Les méthodes formelles pour la conception des software et hardware génèrent souvent des formules qui doivent être validées, de manière interactive ou automatique. Parmi les outils automatiques, les solveurs SMT (Satisfiabilité Modulo Théories) sont particulièrement adaptés à la résolution de ces obligations de preuve, puisque leur langage d'entrée est la logique équationnelle avec des symboles provenant de divers fragments décidables utiles tels que les symboles non interprétés, l'arithmétique linéaire et des structures de données habituelles comme les tableaux ou les listes. Dans cette thèse, nous présentons une approche pour combiner des procédures de décision et des solveurs propositionnels dans un solveur SMT. Cette approche est fondée non seulement sur l'échange d'égalités déductibles entre les procédures de décision, mais aussi sur la génération d'égalités de modèle par des procédures de décision. Cela étend très bien la procédure classique de combinaison due à Nelson-Oppen dans une simple plate-forme pour combiner sans heurts des théories convexes et non convexes. Deuxièmement, nous présentons un algorithme original pour le fragment de l'arithmétique, appelé la logique de différence, et les détails sur la façon de mettre en oeuvre une procédure de décision basée sur cet algorithme. La logique de différence est modélisée en utilisant la théorie des graphes. Les déductions et les vérification de la cohérence effectués par l'algorithme se font par des recherches de cycles négatifs et des calculs de plus courts chemins de manière incrémentale. La dernière partie de la thèse présente une variation incrémentale originale de la méthode du simplexe que nous utilisons pour construire une procédure de décision pour l'arithmétique linéaire. Comme pour la logique de différence, nous présentons les détails de la procédure de décision qui la rend approprié pour notre plate-forme de combinaison utilisée par des solveurs SMT. Les méthodes et les techniques décrites dans cette thèse ont été mises en oeuvre et sont disponibles dans notre solveur SMT open-source, veriT.
Стилі APA, Harvard, Vancouver, ISO та ін.
16

), Universität Potsdam /. Fachschaftsrat Slavistik (Hrsg. "Spotkanie mlodych polonistów : zbiór prac wygloszonych na pierwszej konferencji niemiecko-polskiej studentów plonistyki w Opoly 03.-04.10.2003 r = Beiträge zum ersten deutsch-polnischen studentischen Polonistentreffen in Oppeln (Opole) vom 03.-04.10.2003." Universität Potsdam, 2003. http://opus.kobv.de/ubp/volltexte/2009/2769/.

Повний текст джерела
Анотація:
Vom 03. – 04.10.2003 fand in Oppeln (Opole, Polen) zum ersten Mal eine Konferenz von Polonistik-Studenten aus Deutschland und Polen in polnischer Sprache statt. Die in diesem Band gesammelten Beiträge der Konferenz spiegeln den Stand studentischer Arbeiten auf dem Gebiet der Polonistik wider. Dabei sind v.a. Beiträge aus der Sprachwissenschaft zur polnischen Sprache der Gegenwart, aber auch der Literaturwissenschaft und den deutsch-polnischen Beziehungen enthalten. Schwerpunkt der Konferenz waren interkulturelle Interaktionen.
Стилі APA, Harvard, Vancouver, ISO та ін.
17

Zucchelli, Daniele. "Combinaison de Méthodes de Vérification." Phd thesis, Université Henri Poincaré - Nancy I, 2008. http://tel.archives-ouvertes.fr/tel-00329849.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
18

Solitoke, Essoham [Verfasser], and Achim von [Akademischer Betreuer] Oppen. "L’usage des mémoires et discours dans les pratiques de légitimation : Le cas de l’autorité locale chez les Lokpa du Nord‐Bénin et chez les Lokpa et Lama du Nord‐Togo (1898‐2010) / Essoham Solitoke ; Betreuer: Achim von Oppen." Bayreuth : Universität Bayreuth, 2018. http://d-nb.info/1162543507/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
19

Kalck, Xavier. "L'expérience de la langue chez les poètes objectivistes." Paris 4, 2007. http://www.theses.fr/2007PA040174.

Повний текст джерела
Анотація:
La présente recherche a pour centre l’Objectivisme, considéré comme le lieu à partir duquel penser les enjeux théoriques et formels liés pour la poésie américaine et anglaise à ce que l’on appelle le modernisme. Mouvement fondateur du début de l’entre-deux-guerres, l’Objectivisme regroupe d’abord les poètes américains Louis Zukofsky, Charles Reznikoff, George Oppen, Carl Rakosi, et Lorine Niedecker, ainsi que le poète anglais Basil Bunting. Nous y ajoutons William Carlos Williams, à la fois un prédécesseur et un compagnon de ce mouvement. C’est à la lumière du retour que l’Objectivisme opère sur les fondements de la poétique, et des nouveaux outils que par conséquence il demande d’inventer pour le comprendre, qu’il faut chercher le sens de cette recherche qui se propose donc d’élaborer les outils et de forger les clés essentielles à l’approche de cette poésie. Il s’agit de tirer les conclusions des redéfinitions, réappropriations et diverses manipulations que les poètes Objectivistes ont opérées sur les notions aussi essentielles que celle de la voix et du statut du sujet parlant dans le poème, celle du rythme et de la nature graphique du poème comme induisant une possible métrique nouvelle, et par conséquent celle du signe en poétique à l’intérieur d’une relation renouvelée à la langue et à l’expérience qui en est faite du point de vue de la lecture du texte
This research aims at understanding Objectivist poets and poetics, considered as the nexus from which to analyse the theoretical and formal questions that matter to English and American modernist poetry. As a groundbreaking movement taking place in the thirties, Objectivism first gathers American poets such as Louis Zukofsky, Charles Reznikoff, George Oppen, Carl Rakosi and Lorine Niedecker, as well as English poet Basil Bunting. We choose to add to these the name of William Carlos Williams, both their predecessor and a long-time companion. The meaning of this work lies in the Objectivists going back to the basis of a poetics, and hence the need for new tools required to understand their texts. We propose to help develop a thinking enabling the reader to enter this specific poetical field, by analysing the new definitions, the various manipulations and the interplay with tradition that the Objectivists have produced. Their innovations concern such essential notions such as the poetic voice and its relation to the speaking subject in the poem; rhythm and the graphic quality of the written text as inducing a possibly new prosody; and the logic of the sign within the frame of a transformed experience of language and speech, from the point of view of the reading of the text
Стилі APA, Harvard, Vancouver, ISO та ін.
20

Oppen, Nanette von [Verfasser]. "Charakterisierung der toleranzinduzierenden Interaktion zwischen naiven CD8-T-Zellen und den sinusoidalen Endothelzellen der Leber (LSEC) / vorgelegt von Nanette von Oppen." 2008. http://d-nb.info/987845861/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
21

Oppen, Caroline von [Verfasser]. "Zum Kreislauf der Spurenmetalle Aluminium, Eisen und Mangan im subtropischen Ostatlantik (Kanarische Inseln) : Vertikaltransport und Wechselwirkungen zwischen Partikeln und Lösung / vorgelegt von Caroline von Oppen." 2005. http://d-nb.info/984624252/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити добірки на тему "Oppeano" для інших типів джерел:
Статті в журналах Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії