Dissertations / Theses on the topic 'M-teoria'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'M-teoria.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Tavares, Cl?udia Fernanda Oliveira Kiermes. "Prova autom?tica de satisfatibilidade m?dulo teoria aplicada ao m?todo B." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17984.
Full textEste trabalho apresenta uma extens?o do provador haRVey destinada ? verifica??o de obriga??es de prova originadas de acordo com o m?todo B. O m?todo B de desenvolvimento de software abrange as fases de especifica??o, projeto e implementa??o do ciclo de vida do software. No contexto da verifica??o, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte ? checagem satisfatibilidade de f?rmulas da teoria axiom?tica dos conjuntos, ou seja, podem ser aplicadas ao m?todo B. A checagem de SMT consiste na checagem de satisfatibilidade de f?rmulas da l?gica de primeira-ordem livre de quantificadores dada uma teoria decid?vel. A abordagem de checagem de SMT implementada pelo provador autom?tico de teoremas haRVey ? apresentada, adotando-se a teoria dos vetores que n?o permite expressar todas as constru??es necess?rias ?s especifica??es baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-G?del (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias n?odecid?veis, a teoria NBG apresenta-se como uma op??o adequada para a expans?o da capacidade dedutiva do haRVey ? teoria dos conjuntos. Assim, atrav?s do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao m?todo B
LEGRAMANDI, ANDREA. "Supergravity solution classifications through bispinors." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2020. http://hdl.handle.net/10281/257788.
Full textThis thesis focuses on classification of supergravity solutions in ten and eleven dimensions. By imposing supersymmetry, supergravity reveals a plethora of elegant geometric structures which can be defined from the fermionic supersymmetry parameters. Such geometrical data are called bispinors and are the central topic of this thesis. In the first part we explore how it is possible to exploit bispinors in order to get a more elegant reformulation of background supersymmetry conditions. This discussion is performed in a general context without assuming any factorization of space-time. The bispinor framework allows to interpret many of the new supersymmetry equations as calibration conditions for sources, where a calibration is a differential form which detects branes with minimal energy. We also discuss the connection between calibrations and BPS bound and we provide a definition of central charges in purely gravitational terms. Aside from these formal results, probably the main achievement of the bispinor formalism is that it drastically simplifies the task of classifying supergravity solutions. After discussing how to apply these techniques to two-dimensional AdS and four-dimensional Minkowski backgrounds, we perform a complete classification in both type II supergravity and M-theory of four-dimensional Minkowski solutions preserving N = 2 supersymmetry with SU(2) R-symmetry geometrically realized by a round sphere factor in the internal space. For the various cases of the classification, the problem of finding supersymmetric solutions can be reduced to a system of partial differential equations. These cases often accommodate systems of intersecting branes and higher-dimensional anti-de-Sitter solutions. Moreover we show that, using chains of dualities, all solutions can be generated from one of two master classes: an SU(2)-structure in M-theory and a conformal Calabi–Yau in type IIB. In the last part of the thesis, we show that it is possible to relax some of the bispinor equations and generalizing all the classification to a larger non-supersymmetric context.
Rech, Sérgio José. "Aplicação da teoria das matrizes não-negativas e matrizes-M ao modelo de Leontief." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2002. http://hdl.handle.net/10183/118197.
Full textLet us consid~r an economic system, that involves n interdependent industries, assuming that each industry produces only one type of commodities. Let tij denote the amount of input ofthe ith commodity needed by the economy to produce a unit output o f commodity j. The Leontief input-output matrix T := [ tij] is a nonnegative matrix. We will describe the properties of nonnegative matrices, necessary for a mathematical analysis ofthe Leontiefs model. Ifthat model describes an economically feasible situation, the sum of the elements in each column of T does not exceed I. Let us further suppose that the modeled economic system contains an open sector, where labor, profit, etc. enter in the following way. Let x, be the total output o f the industry i required to meet the demand o f the open sector and ali n industries. Then x = Tx + d, where d := [ d; ], is the vector ofthe demands, that is, d; is the demand of the open sector from the ith industry. Here li]Xj represents the input requirement of the jth industry from the ith. The output leveis required o f the totality o f the n industries, in order to meet these demands, are the solution vector x ofthe linear system Ax = d, with A :=I- T. As the sum ofthe elements of each column ofT is at most I, it follows that the spectral radius ofT is also at most I. When the spectral radius is less than 1, T is convergent and A is inverse-positive, that is, A'1 is a nonnegative matrix. We will discuss the nonnegative matrices. Besides, A:= I - T has ali its off-diagonal entries nonpositive. Jnverse-positive matrices with this sign pattem are called nonsingular M-matrices. We will also discuss nonsingular and singular M-matrices. The main goal of this work is the interesting appl ication of the nonnegative matrices and M-matrices theory to the analysis ofthe Leontiefs model, described very shortly above, resulting in an elegant method o f input-output analysis.
Nogueira, Marcelo Aparecido Cabral. "Uma classe de equações tipo Yamabe e teoria de blow-up em H1 2 (M)." Universidade Federal de Viçosa, 2015. http://www.locus.ufv.br/handle/123456789/7921.
Full textMade available in DSpace on 2016-06-17T09:29:53Z (GMT). No. of bitstreams: 1 texto completo.pdf: 602671 bytes, checksum: 8c12b029de1e7e375e71fb1e97bc9490 (MD5) Previous issue date: 2015-02-24
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Nesta dissertação estudamos uma classe de equações elípticas tipo Yamabe em uma variedade Riemanniana compacta, sem bordo, de dimensão n ≥ 3. Tais equaçõoes tem sido alvo de investigações por décadas. Daremos ênfase a H1 -teoria de blow-up estudando sequências de Palais-Smale associadas com a equação crítica, definindo os pontos de blow-up e provando o teorema de decomposição em bolhas.
In this dissertation we study a class of elliptic Yamabe type equations on a compact Riemannian manifold, without boundary, of dimension n ≥ 3. Such equations have been the target of investigation for decades. The main focus will be on H1 -theory for the blow-up studying Palais-Smale sequences associated with the critical equation, defining the blow-up points and proving the theorem of decomposition in bubbles.
Silva, Letícia Sanches [UNESP]. "O invariante E(G, W, M): algumas propriedades e aplicações na teoria de decomposição de grupos." Universidade Estadual Paulista (UNESP), 2013. http://hdl.handle.net/11449/127540.
Full textCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Em [6], Andrade e Fanti definiram o invariante E(G, W, M), sendo G um grupo, W um G-conjunto e M um Z2G-m'odulo, e apresentaram alguns resultados usando E(G, W, Z2) ( Z2 visto como Z2G-m'odulo trivial) relacionados com decomposi¸c˜ao de grupos e dualidade. E(G, W, M) 'e definido usando (co)homologia de grupos para o par ((G, W), M) seguindo [14]. O objetivo deste trabalho 'e apresentar os resultados dados em [6], por'em acrescentando as provas de alguns resultados que s˜ao mencionados em [6], mas que n˜ao foram provados, como por exemplo, a invariˆancia de E(G, W, M) por pares isomorfos e a independˆencia do conjunto de representantes das G-'orbitas. Procurou-se tamb'em generalizar alguns resultados para um Z2G-m'odulo M qualquer (n˜ao necessariamente Z2), e apresentar algumas outras propriedades de E(G, W, M), em especial para o Z2G-m'odulo FTG, sendo T um subgrupo de G, explorando, sempre que poss'ıvel, sua rela¸c˜ao com decomposi¸c˜ao de grupos. Muitos desses resultados est˜ao fortemente relacionados com alguns apresentados em [7], para o invariante de pares de grupos E(G, S, M), sendo S uma fam'ılia de subgrupos de G.
In [6], Andrade and Fanti defined the invariant E(G,W,M), where G is a group, W is a G-set and M is a Z2G-module, and presented some results using E(G,W, Z2) ( Z2 seen as a trivial Z2G-module) related to splitting of groups and duality. E(G,W,M) is defined using (co)homology of groups for the pair ((G,W),M) following [14]. The purpose of this work is to present the results given in [6] but adding proofs of some results that were referred but not proved there, such as the invariance ofE(G,W,M) for isomorphic pairs and the independence of the set of orbit representatives in W. We also attempt to generalize some results for any Z2G-m'odulo M (not necessarily Z2) and present some other properties of E(G,W,M), specially for the Z2G-module FTG where T is a subgroup of G, exploring, whenever possible, its relationship with splitting of groups. Many of those results are strongly related with some given in [7] for the invariant of pairs of groups E(G, S,M) where S is a family of subgroups of G.
Fragoso, Paulo Ewerton Gomes. "Contribui??es para o processo de verifica??o de satisfatibilidade m?dulo teoria em Event-B." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/19825.
Full textApproved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-23T23:34:33Z (GMT) No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5)
Made available in DSpace on 2016-02-23T23:34:33Z (GMT). No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5) Previous issue date: 2015-03-09
Event-B ? um m?todo formal de modelagem e verifica??o de sistemas de transi??o discretos. O desenvolvimento com Event-B produz obriga??es de prova que devem ser verificadas, isto ?, ter sua validade verificada para manter a consist?ncia dos modelos produzidos. Solucionadores de Satisfatibilidade M?dulo Teoria s?o provadores autom?ticos de teoremas usados para verificar a satisfatibilidade de f?rmulas l?gicas considerando uma teoria (ou combina??o de teorias) subjacente. Solucionadores SMT n?o apenas lidam com f?rmulas extensas em l?gica de primeira ordem, como tamb?m podem gerar modelos e provas, bem como identificar subconjuntos insatisfat?veis de hip?teses (n?cleos insatisfat?veis). O suporte ferramental para Event-B ? provido pela Plataforma Rodin: um IDE extens?vel, baseado no framework Eclipse, que combina funcionalidades de modelagem e prova. Um plug-in SMT para Rodin tem sido desenvolvido com o objetivo de integrar ? plataforma t?cnicas alternativas e eficientes de verifica??o. Neste trabalho foi implementada uma s?rie de complementos ao plug-in para solucionadores SMT em Rodin, a saber, melhorias na interface do usu?rio para quando obriga??es de prova s?o reportadas como inv?lidas pelo plug-in. Adicionalmente, algumas caracter?sticas do plug-in, tais como suporte ? gera??o de provas e extra??o de n?cleo insatisfat?vel, foram modificadas de modo a tornaremse compat?veis com o padr?o SMT-LIB para solucionadores SMT. Realizaram-se testes utilizando obriga??es de prova aplic?veis para demonstrar as novas funcionalidades. As contribui??es descritas podem, potencialmente, afetar a produtividade de forma positiva.
Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.
Ara?jo, Isac Rufino de. "A motiva??o de licenciandos em m?sica sob a perspectiva da teoria da autodetermina??o." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/20083.
Full textApproved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-18T23:33:16Z (GMT) No. of bitstreams: 1 IsacRufinoDeAraujo_DISSERT.pdf: 2304915 bytes, checksum: 003585d70e775edd0ae4d2a5c516fdd1 (MD5)
Made available in DSpace on 2016-03-18T23:33:16Z (GMT). No. of bitstreams: 1 IsacRufinoDeAraujo_DISSERT.pdf: 2304915 bytes, checksum: 003585d70e775edd0ae4d2a5c516fdd1 (MD5) Previous issue date: 2015-02-19
Esta pesquisa teve como objetivo geral verificar a qualidade motivacional dos licenciandos em m?sica em quatro universidades p?blicas do Nordeste, sob a perspectiva da Teoria da Autodetermina??o (TAD). Proposta por Edward Deci e Richard Ryan (1985, 2000, 2008a, 2008b), a TAD abrange os aspectos qualitativos da motiva??o e afirma que todos os indiv?duos t?m uma propens?o natural ? autorregula??o, por isso ela adota o conceito de internaliza??o, representada por meio de um continuum de autodetermina??o previsto na miniteoria da integra??o organ?smica. A presente pesquisa ? de natureza descritiva, explorat?ria e correlacional. Como t?cnica de coleta de dados, foi aplicado um question?rio de autorrelato, a Escala de Motiva??o Acad?mica (EMA), traduzida e validada por Guimar?es e Bzuneck (2008), a qual permite verificar os tipos de motiva??o conforme o continuum de autodetermina??o. Nesta aplica??o, o instrumento apresentou evid?ncias de validade satisfat?rias, com boa consist?ncia interna e correla??es de fracas a moderadas. Os dados obtidos da amostra de 380 licenciandos em m?sica foram analisados atrav?s da estat?stica descritiva e inferencial, por meio de alguns procedimentos: frequ?ncias, m?dias, desvio padr?o, an?lise fatorial, an?lise de consist?ncia interna por meio do alpha de Cronbach, an?lise de correla??o de Pearson e an?lise de vari?ncia. Os dados apontam as maiores m?dias na avalia??o das formas de motiva??o mais autodeterminadas e as m?dias mais baixas na avalia??o da desmotiva??o e das formas menos aut?nomas de motiva??o. Grande parte dos alunos revelou forte inten??o de concluir o curso. Apresentaram menor motiva??o aut?noma e maior desmotiva??o os alunos com inten??o de atuar em outras ?reas, que j? passaram pelo est?gio e que est?o no curso porque n?o tiveram outra op??o. Conclu?mos que o licenciando em m?sica, representado nesta amostra, apresenta boa qualidade motivacional, no entanto, com o passar do tempo h? uma tend?ncia em diminuir a motiva??o aut?noma mediante as press?es inerentes a um curso superior. Neste sentido, os cursos devem criar estrat?gias para manter o comportamento autodeterminado nos alunos e fortalecer a motiva??o aut?noma fazendo-os perceber import?ncia, valor e significado no curso.
This research had as main aim to verify the motivational quality of music students at four public universities in the Northeast of Brazil, based on the Self-Determination Theory (SDT). This perspective was proposed by Edward Deci and Richard Ryan (1985, 2000, 2008a, 2008b), and considers the qualitative aspects of motivation. It defends that the individuals have a natural tendency to self-regulation; it adopts the concept of internalizations through a continuum of self-determination conceived in the mini-theory of organismic integration. The research presents a descriptive, exploratory and correlational approach. To collect data, it was submitted a self-report questionnaire, based on the Academic Motivational Scale, translated and validated by Guimar?es and Bzuneck (2008), which allow us to verify the motivation types according to a selfdeterminational continuum. According to this application, the instrument has shown evidence of satisfactory validity, with a good internal consistence and correlations from weak to moderate scale. The obtained data were collected from 380 music students, analyzed through a descriptive and inferential statistics, considering a few procedures: frequencies, averages, standard deviation, factorial analysis, internal consistence analysis through Cronbach Alpha, Pearson?s correlational analysis and variance analysis. The analyzed data show that high averages in the evaluation of self-determined motivation and low evaluation in demotivation and less autonomy motivation. Many students revealed strong intention to conclude the course. It was identified less autonomous motivation and more motivation among the students with intention to work in other areas, some of them concluded the final training process in Music Course, and say that they are in this course because they had no other option. We conclude that those graduated in Music Course, represented in this sample, show a good motivational quality. But after a few time there is a tendency in decreasing autonomous motivation because of some requirements of an academic course. In this sense, the courses must create strategies to maintain a self-determined behavior so that students can realize their autonomous motivation, identifying its importance, value and meaning along the Course.
Silva, Letícia Sanches. "O invariante E(G, W, M) : algumas propriedades e aplicações na teoria de decomposição de grupos /." São José do Rio Preto, 2013. http://hdl.handle.net/11449/127540.
Full textBanca: Francielle Rodrigues de Castro Coelho
Banca: Maria Gorete Carreira Andrade
Resumo: Em [6], Andrade e Fanti definiram o invariante E(G, W, M), sendo G um grupo, W um G-conjunto e M um Z2G-módulo, e apresentaram alguns resultados usando E(G, W, Z2) (Z2 visto como Z2G-módulo trivial) relacionados com decomposição de grupos e dualidade. E(G, W, M) é definido usando (co)homologia de grupos para o par ((G, W), M) seguindo [14]. O objetivo deste trabalho é apresentar os resultados dados em [6], porém acrescentando as provas de alguns resultados que são mencionados em [6], mas que não foram provados, como por exemplo, a invariância de E(G, W, M) por pares isomorfos e a independência do conjunto de representantes das G-órbitas. Procurou-se também generalizar alguns resultados para um Z2G-módulo M qualquer (não necessariamente Z2), e apresentar algumas outras propriedades de E(G, W, M), em especial para o Z2G-módulo FTG, sendo T um subgrupo de G, explorando, sempre que possível, sua relação com decomposição de grupos. Muitos desses resultados estão fortemente relacionados com alguns apresentados em [7], para o invariante de pares de grupos E(G, S, M), sendo S uma família de subgrupos de G
Abstract: In [6], Andrade and Fanti defined the invariant E(G,W,M), where G is a group, W is a G-set and M is a Z2G-module, and presented some results using E(G,W, Z2) (Z2 seen as a trivial Z2G-module) related to splitting of groups and duality. E(G,W,M) is defined using (co)homology of groups for the pair ((G,W),M) following [14]. The purpose of this work is to present the results given in [6] but adding proofs of some results that were referred but not proved there, such as the invariance ofE(G,W,M) for isomorphic pairs and the independence of the set of orbit representatives in W. We also attempt to generalize some results for any Z2G-m'odulo M (not necessarily Z2) and present some other properties of E(G,W,M), specially for the Z2G-module FTG where T is a subgroup of G, exploring, whenever possible, its relationship with splitting of groups. Many of those results are strongly related with some given in [7] for the invariant of pairs of groups E(G, S,M) where S is a family of subgroups of G
Mestre
Rohr, Cilene Trindade. "A paródia a serviço de um projeto de literatura nacional: teoria do medalhão de M. de Assis." Pontifícia Universidade Católica de São Paulo, 2009. https://tede2.pucsp.br/handle/handle/14903.
Full textOur study focused on the short story Theory of Medallion (1881), of Machado de Assis, with the aim of studying how the author articulates the use of parody understood in its double sense of parallelism and reversal in light of the theoretical foundations of Hutcheon (1995) for whom the parody is ironic "trans-contextualizing", that is, repetition with critical difference and Bakhtin (1993), which highlights the dialogical structure of parody speech: a "premeditated hybrid" between the parodied speech and the one which parodies it, without, however, destroying it. Although there are some studies in the critical fortune of this short story that go in that direction, such as: Almeida (2006) and Rego (1989), we would deal with parody under another perspective, that is, in the context of the serious-comic tradition, especially the Menippean satire, whose dialogical root is closely examined by Bakhtin as the original cell of Romanesque speech. It is under such strain which Machado was explicitly influenced by, as he has obliquely registered in a metafictional passage on Theory of Medallion: "you must not only use the irony, this movement at the corner of the mouth, full of mysteries, invented by a Greek of the decadence, contracted by Lucian, transmitted to Swift and Voltaire, common feature of the skeptical and insolent " that the subtitle "Dialogue" is materialized as a parody of a gender included in the tradition of the classical Platonic dialogues. By means of discourse analysis of the ambivalent Machadian short story, we point out the moments in which he was under a different discourse - that of The Republic of Plato - which now approached, now pushed away, in an alternate game of hiding-revealing in the manner of Machado, a reader of Lucian of Samosata. Our goal, however, was not only to unveil the parody construction within the narrative structure. We also intended, through this exemplary short story inside the short stories of the author, to reflect on the formative aspect that engenders, either at the level of gender as a hybrid of, at least, three matrices: the serious-comic of Menippean, the Platonic dialogue and the essay or "story-theory" (Bosi, 1999) or at the level of Machadian project of national literature whose cornerstone is the formation of a skillful reader capable of understanding, through an inside out reading, the critical hidden under the supposed praise of the picture of the medallion, typical successful citizen of the Brazilian society of the nineteenth century, which is nourished only of appearances
Nosso estudo centrou-se sobre o conto Teoria do Medalhão (1881), de Machado de Assis, tendo por objeto de investigação o modo como o autor articula o recurso da paródia entendida no seu duplo sentido de paralelismo e inversão à luz dos fundamentos teóricos de Hutcheon (1995), para quem a paródia é transcontextualização irônica, isto é, repetição com diferença crítica e Bakhtin (1993), que destaca a estrutura dialógica do discurso paródico: um híbrido premeditado entre o discurso parodiado e aquele que o parodia, sem, contudo, destruí-lo. Embora haja na fortuna crítica desse conto alguns estudos que caminham nessa direção, como os de: Almeida (2006) e Rego, (1989), aqui trataremos da paródia sob uma outra perspectiva, isto é, no contexto da tradição do sério-cômico, especialmente da sátira menipéia, cuja raiz dialógica é analisada rigorosamente por Bakhtin como célula originária do discurso romanesco. É no âmbito dessa linhagem - à qual Machado explicitamente se filia, conforme deixa registrado obliquamente num lance metaficcional em Teoria do Medalhão: somente não deves empregar a ironia, esse movimento ao canto da boca, cheio de mistérios, inventado por algum grego da decadência, contraído por Luciano, transmitido a Swift e Voltaire, feição própria dos céticos e desabusados. que o subtítulo Diálogo se materializa enquanto paródia de um gênero inscrito na tradição clássica dos diálogos platônicos. Por meio da análise do discurso ambivalente do conto machadiano, pudemos apontar os momentos nos quais havia sob ele um outro discurso o de A República de Platão do qual ora se aproximava, ora se distanciava, num jogo alternado de ocultar-revelar, bem ao gosto de um Machado leitor de Luciano de Samósata. Nosso objetivo, porém, não se limitou apenas ao desvelamento da construção paródica no âmbito da estrutura narrativa. Pretendemos, outrossim, por meio desse conto exemplar dentro da obra contística do autor, refletir sobre o aspecto formativo que engendra, seja em nível de gênero enquanto híbrido de, ao menos, três matrizes: o sério-cômico da menipéia, o diálogo platônico e o ensaio ou conto-teoria (Bosi, 1999) , seja em nível do projeto machadiano de literatura nacional cuja pedra de toque está na formação de um leitor capaz de perceber, por meio de uma leitura dos avessos, a crítica oculta sob o pretenso elogio da figura do medalhão, típico cidadão bem sucedido da sociedade brasileira do século XIX, que se nutria, apenas, das aparências
Sozzi, Paola <1987>. "Per una teoria dell'enunciazione nella semiotica dello spazio. Teorie e analisi a confronto." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amsdottorato.unibo.it/8189/1/tesiSOZZI.pdf.
Full textThe thesis aims at testing the benefit of the application of a semiotic theoretical tool, the concept of enunciation, to the analysis of places and spatial languages. The consideration of different theoretical approaches on enunciation (Benveniste, Greimas, Eco, Véron, Fontanille e Paolucci) will allow to draw a general definition, that does not depend on certain characteristics of specific form of texts. Enunciation is usually used to address semiotic objects from three point of view: their inner structures and in particular their ability to create a contact or a distance between the sender and the receiver of a message; their ability to use and, in the same time, modify systems of rules, norms and grammars; the roles of the subjects of the communication in the definition of a text. It then proceed to consider places from each of these points of view. Analyzing a memory museum built in a ex Clandestine and Torture Center in Argentina, the work will try to understand why our memory discourses often use some sort of spatial traces to built a stronger effect of reality about the past they are linked to. Considering a spread eco-museum that unites all the different memory places related to First World War in Veneto region, the deep intertwined bond between a singular place and all the encyclopaedic dimensions of the culture it is linked to will be underlined. Finally, using all the previous examples and drawing some considerations on IKEA stores, it will be possible to understand how spaces define the subjects of the enunciation on a narrative, textual and social level. The thesis will then prove the usefulness of the concept of enunciation in the analysis of places, stating that it we can only understand these previous dimensions if we relate them to the concept of enunciation
Panosetti, Daniela <1977>. "Il testo anamorfico: strutture topologiche ambigue e prensione estetica nel discorso letterario." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/220/1/Tesi_Panosetti.pdf.
Full textPanosetti, Daniela <1977>. "Il testo anamorfico: strutture topologiche ambigue e prensione estetica nel discorso letterario." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/220/.
Full textPedrazzi, Michele <1978>. "La pratica dell'improvvisatore: sapere a disposizione e disposizione del sapere." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/221/1/Tesi_Pedrazzi.pdf.
Full textPedrazzi, Michele <1978>. "La pratica dell'improvvisatore: sapere a disposizione e disposizione del sapere." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/221/.
Full textTramontana, Andrea <1978>. "Il patrimonio dell'Umanità dell'Unesco: un'analisi di semiotica della cultura." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/222/1/Tesi_Tramontana.pdf.
Full textTramontana, Andrea <1978>. "Il patrimonio dell'Umanità dell'Unesco: un'analisi di semiotica della cultura." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/222/.
Full textDe, Bernardis Mattia <1977>. "La questione percettiva in semiotica. Linee fondamentali e sviluppi della ricerca." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/1091/1/Tesi_De_Bernardis_Mattia.pdf.
Full textDe, Bernardis Mattia <1977>. "La questione percettiva in semiotica. Linee fondamentali e sviluppi della ricerca." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/1091/.
Full textContreras, Lorenzini Maria José <1977>. "Il corpo in scena: indagine sullo statuto semiotico del corpo nella prassi performativa." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/1092/1/Tesi_Contreras_Lorenzini_Maria_Jose.pdf.
Full textContreras, Lorenzini Maria José <1977>. "Il corpo in scena: indagine sullo statuto semiotico del corpo nella prassi performativa." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/1092/.
Full textBigi, Nicola <1976>. "Semiotica e organizzazione. Un approccio narrativo allo studio dell'identità organizzativa." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1603/1/bigi_nicola.pdf.
Full textBigi, Nicola <1976>. "Semiotica e organizzazione. Un approccio narrativo allo studio dell'identità organizzativa." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1603/.
Full textMinocchio, Fabio <1976>. "Bertrand Russell: teorie della denotazione e forma logica. Dall'ontologia alla semantica?" Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1947/1/Fabio_Minocchio_B.Russell_TeorieDellaDenotazioneEformaLogica_Dall%27ontologiaAllaSemantica.pdf.
Full textMinocchio, Fabio <1976>. "Bertrand Russell: teorie della denotazione e forma logica. Dall'ontologia alla semantica?" Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1947/.
Full textSalerno, Daniele <1980>. "In nome della comunità. Analisi dei testi della sicurezza e del terrorismo." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2073/1/Salerno_Daniele_tesi.pdf.
Full textSalerno, Daniele <1980>. "In nome della comunità. Analisi dei testi della sicurezza e del terrorismo." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2073/.
Full textOdoardi, Paolo <1980>. "Testo e memoria tra semiotica e scienze cognitive: una situazione sperimentale intorno al ricordo di un film." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2074/1/Odoardi_Paolo_Tesi.pdf.
Full textOdoardi, Paolo <1980>. "Testo e memoria tra semiotica e scienze cognitive: una situazione sperimentale intorno al ricordo di un film." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2074/.
Full textMeneghelli, Agata <1977>. "Per un approccio semiotico ai videogiochi tra memoria culturale e memoria corporea." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2075/1/Meneghelli_Agata_tesi.pdf.
Full textMeneghelli, Agata <1977>. "Per un approccio semiotico ai videogiochi tra memoria culturale e memoria corporea." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2075/.
Full textCodeluppi, Elena <1980>. "Rito e comunità: Analisi del sacrificio islamico in occasione di Aid al Adha." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2076/1/Tesi_Codeluppi_Elena.pdf.
Full textCodeluppi, Elena <1980>. "Rito e comunità: Analisi del sacrificio islamico in occasione di Aid al Adha." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2076/.
Full textMazzucchelli, Francesco <1977>. "La memoria della città. Strategie e processi di autorappresentazione nelle trasformazioni urbane postbelliche di alcune città dell'ex Juvoslavia." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2077/1/MAZZUCCHELLI_FRANCESCO_TESI.pdf.
Full textMazzucchelli, Francesco <1977>. "La memoria della città. Strategie e processi di autorappresentazione nelle trasformazioni urbane postbelliche di alcune città dell'ex Juvoslavia." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2077/.
Full textZannin, Andrea <1978>. "Analisi, progettazione e valutazione dell'efficacia dello spot pubblicitario. Una semiotica per la ricerca di mercato." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2170/1/andrea_zannin_tesi.pdf.
Full textZannin, Andrea <1978>. "Analisi, progettazione e valutazione dell'efficacia dello spot pubblicitario. Una semiotica per la ricerca di mercato." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2170/.
Full textMonti, Gabriele <1978>. "Le mostre di moda contemporanee come dispositivo testuale." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2171/1/monti_gabriele_tesi.pdf.
Full textMonti, Gabriele <1978>. "Le mostre di moda contemporanee come dispositivo testuale." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2171/.
Full textGranelli, Tommaso <1971>. "Negoziare confini: dagli stati di cose ai transiti." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2246/1/Granelli_Tommaso_tesi.pdf.
Full textGranelli, Tommaso <1971>. "Negoziare confini: dagli stati di cose ai transiti." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/2246/.
Full textKignel, Rubens <1950>. "Sense development through non verbal signs: early infancy and clinical psychoterapy." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2393/1/Rubens_Kignel_-_tesi_-Sense_development_through_non_verbal_signs.pdf.
Full textKignel, Rubens <1950>. "Sense development through non verbal signs: early infancy and clinical psychoterapy." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2393/.
Full textRazzoli, Damiano <1981>. "GIORNALISMO E GENOCIDIO. Discorsi, interpretazioni e memoria del caso Rwanda sulla stampa italiana." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/3012/1/RAZZOLI_DAMIANO_Giornalismo_e_Genocidio.pdf.
Full textRazzoli, Damiano <1981>. "GIORNALISMO E GENOCIDIO. Discorsi, interpretazioni e memoria del caso Rwanda sulla stampa italiana." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/3012/.
Full textBelleri, Delia <1983>. "Semantic under-determinacy, Content and Context." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amsdottorato.unibo.it/4980/1/Belleri_Delia_Tesi.pdf.
Full textScopo della tesi è indagare il tema della sottodeterminazione semantica, ossia il fenomeno per cui il contenuto semantico di un'espressione non determina un contenuto passibile di valutazione per i propri proferimenti. Nella prima parte della tesi, affronto il problema di come distinguere la sottodeterminazione semantica da fenomeni quali ambiguità, vaghezza, indicalità. Sosterrò che ciò che distingue la sottodeterminazione semantica è la possibilità di spiegarla unicamente in termini di sotto-articolazione. Nella seconda parte della tesi, discuto il problema di come la comunicazione sia possibile, nonostante la sottodeterminazione semantica. Prendo in considerazione varie risposte: (i) il Contestualismo Radicale, per cui processi pragmatici intervengono nella comprensione dei proferimenti; (ii) la spiegazione Indicalista, in termini di posizioni articolate in sintassi profonda; (iii) il Relativismo, secondo cui gli enunciati sono veri o falsi rispetto a coordinate aggiuntive nelle circostanze di valutazione (oltre ai mondi possibili). Nel capitolo finale, propongo un resoconto per cui la comprensione di enunciati sottodeterminati si avvale di vincoli concettuali. I vincoli concettuali sono modi di organizzare l'informazione che regolano il pensiero e il discorso. Nella prospettiva che difendo, i vincoli concettuali vengono sfruttati dall'ascoltatore per ricostruire il contenuto di un proferimento sotto-determinato. Il ruolo dei vincoli concettuali è senza dubbio semantico, poiché essi contribuiscono a determinare “ciò che è detto” (non “ciò che è implicato”). Ciononostante, essi non rispondono ad alcun vincolo sintattico. La mia proposta si discosta dal Contestualismo Radicale, perché dà risalto a processi semantici anziché a processi pragmatici. D'altro canto, si discosta dall'Indicalismo nel non postulare posizioni nascoste in sintassi profonda; infine, differisce dal Relativismo poiché mantiene una nozione monadica di verità.
Belleri, Delia <1983>. "Semantic under-determinacy, Content and Context." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amsdottorato.unibo.it/4980/.
Full textScopo della tesi è indagare il tema della sottodeterminazione semantica, ossia il fenomeno per cui il contenuto semantico di un'espressione non determina un contenuto passibile di valutazione per i propri proferimenti. Nella prima parte della tesi, affronto il problema di come distinguere la sottodeterminazione semantica da fenomeni quali ambiguità, vaghezza, indicalità. Sosterrò che ciò che distingue la sottodeterminazione semantica è la possibilità di spiegarla unicamente in termini di sotto-articolazione. Nella seconda parte della tesi, discuto il problema di come la comunicazione sia possibile, nonostante la sottodeterminazione semantica. Prendo in considerazione varie risposte: (i) il Contestualismo Radicale, per cui processi pragmatici intervengono nella comprensione dei proferimenti; (ii) la spiegazione Indicalista, in termini di posizioni articolate in sintassi profonda; (iii) il Relativismo, secondo cui gli enunciati sono veri o falsi rispetto a coordinate aggiuntive nelle circostanze di valutazione (oltre ai mondi possibili). Nel capitolo finale, propongo un resoconto per cui la comprensione di enunciati sottodeterminati si avvale di vincoli concettuali. I vincoli concettuali sono modi di organizzare l'informazione che regolano il pensiero e il discorso. Nella prospettiva che difendo, i vincoli concettuali vengono sfruttati dall'ascoltatore per ricostruire il contenuto di un proferimento sotto-determinato. Il ruolo dei vincoli concettuali è senza dubbio semantico, poiché essi contribuiscono a determinare “ciò che è detto” (non “ciò che è implicato”). Ciononostante, essi non rispondono ad alcun vincolo sintattico. La mia proposta si discosta dal Contestualismo Radicale, perché dà risalto a processi semantici anziché a processi pragmatici. D'altro canto, si discosta dall'Indicalismo nel non postulare posizioni nascoste in sintassi profonda; infine, differisce dal Relativismo poiché mantiene una nozione monadica di verità.
Marino, Andrea <1983>. "Azione e Riferimento." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amsdottorato.unibo.it/4998/1/Marino_Andrea_tesi.pdf.
Full textWhat is reference? Reference is a relation. Then what are the relata? My answer is that reference is a relation between a speaker using a certain expression in a given context and an object. One can analyze reference from different angles: starting from paradigmatic examples of referring expressions, like proper names, and trying to find out what properties they display; or individuating one or more properties that what refers should have and trying to understand what objects actually have these properties. I use both strategies. When analyzing proper names, I argue that their reference depends on speakers’ uses of the names in given contexts. My main arguments for this are one from ambiguity of names and one from reference change. I then argue that proper names, indexicals, descriptions and misdescriptions (used in a certain way) share the same mechanism of reference, although their behaviors are not the same in every respect. Basically, these kinds of expressions can all be used to “indicate” specific particulars, and their being used in this way plays a role in determining the truth conditions of sentences where they occur. Concerning descriptions, my key argument is one from incomplete descriptions. And what does it take to refer? I consider three necessary conditions: a) that words are used with their conventional meaning; b) that the speaker has a causal-intentional link with the intended referent; c) that the appropriate action is performed. In arguing for these points I propose, illustrating it with many examples, my peculiar notion of referential failure. My final proposal is to explain reference as an action with gradual conditions of felicity dependent on tension towards communication and on the opportunity of the action performed.
Marino, Andrea <1983>. "Azione e Riferimento." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amsdottorato.unibo.it/4998/.
Full textWhat is reference? Reference is a relation. Then what are the relata? My answer is that reference is a relation between a speaker using a certain expression in a given context and an object. One can analyze reference from different angles: starting from paradigmatic examples of referring expressions, like proper names, and trying to find out what properties they display; or individuating one or more properties that what refers should have and trying to understand what objects actually have these properties. I use both strategies. When analyzing proper names, I argue that their reference depends on speakers’ uses of the names in given contexts. My main arguments for this are one from ambiguity of names and one from reference change. I then argue that proper names, indexicals, descriptions and misdescriptions (used in a certain way) share the same mechanism of reference, although their behaviors are not the same in every respect. Basically, these kinds of expressions can all be used to “indicate” specific particulars, and their being used in this way plays a role in determining the truth conditions of sentences where they occur. Concerning descriptions, my key argument is one from incomplete descriptions. And what does it take to refer? I consider three necessary conditions: a) that words are used with their conventional meaning; b) that the speaker has a causal-intentional link with the intended referent; c) that the appropriate action is performed. In arguing for these points I propose, illustrating it with many examples, my peculiar notion of referential failure. My final proposal is to explain reference as an action with gradual conditions of felicity dependent on tension towards communication and on the opportunity of the action performed.
Marabini, Alessia <1968>. "La concezione epistemica dell'analiticità: un dibattito in corso." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amsdottorato.unibo.it/5005/1/Marabini_Alessia_tesi.pdf.
Full textThis work is a reflection on the developments of the recent debate on analiticity. The renaissance of this debate, after Quine’s critique and a first abandonment of the carnapian conventionalist proposal has, as a consequence, a new conception of analticity. In most of the cases, the new epistemic theories, among which Bob Hale and Crispin Wright’s thesis (Implicit Definition and the A priori, 2001) and Paul Boghossian’s theory (Analyticity, 1997; Epistemic analyticity, a defence, 2002, Blind reasoning, 2003, Is Meaning Normative ?, 2005) all show the common character of conceiving a priori knowledge in the shape of an implicit definition (Paul Horwich, Stipulation, Meaning, and Apriority, 2001). But a second group of objections heading first to Horwich and secondly to the same Hale e Wright, all bring to evidence respectively two main difficulties for implicit definition corresponding to the questions of epistemic “arrogance” and of “acceptance”.From all this stem different answers. On one side, in Wright and Hale’s theory we have a conception of definition according to which it appears like an abstraction principle, on the other side we have a notion of definition as an implicit implicit definition which heads to Boghossian conception. In this last case implicit definition is conceived like a linguistic conditional (EA, 2002; BR, 2003), given through theory factorization following Carnap model for the theoretical terms of empirical theories. A deep analysis of Rudolf Carnap’s work (Philosophical foundations of Physics, 1966), put on evidence the fact that a strategy focused on factorization represents a possible path for a notion of analyticity apt to theoretical terms. Carnap’ strategy represents a way for a notion of analyticity which aims to give account of the inductive aspects of empirical theories
Marabini, Alessia <1968>. "La concezione epistemica dell'analiticità: un dibattito in corso." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amsdottorato.unibo.it/5005/.
Full textThis work is a reflection on the developments of the recent debate on analiticity. The renaissance of this debate, after Quine’s critique and a first abandonment of the carnapian conventionalist proposal has, as a consequence, a new conception of analticity. In most of the cases, the new epistemic theories, among which Bob Hale and Crispin Wright’s thesis (Implicit Definition and the A priori, 2001) and Paul Boghossian’s theory (Analyticity, 1997; Epistemic analyticity, a defence, 2002, Blind reasoning, 2003, Is Meaning Normative ?, 2005) all show the common character of conceiving a priori knowledge in the shape of an implicit definition (Paul Horwich, Stipulation, Meaning, and Apriority, 2001). But a second group of objections heading first to Horwich and secondly to the same Hale e Wright, all bring to evidence respectively two main difficulties for implicit definition corresponding to the questions of epistemic “arrogance” and of “acceptance”.From all this stem different answers. On one side, in Wright and Hale’s theory we have a conception of definition according to which it appears like an abstraction principle, on the other side we have a notion of definition as an implicit implicit definition which heads to Boghossian conception. In this last case implicit definition is conceived like a linguistic conditional (EA, 2002; BR, 2003), given through theory factorization following Carnap model for the theoretical terms of empirical theories. A deep analysis of Rudolf Carnap’s work (Philosophical foundations of Physics, 1966), put on evidence the fact that a strategy focused on factorization represents a possible path for a notion of analyticity apt to theoretical terms. Carnap’ strategy represents a way for a notion of analyticity which aims to give account of the inductive aspects of empirical theories