To see the other types of publications on this topic, follow the link: Symbolical.
Dissertations / Theses on the topic 'Symbolical'
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 'Symbolical.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Meireles, Rafael Carvalho. "The hermeneutics of symbolical imagery in Shakespeare's sonnets." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2005. http://hdl.handle.net/10183/8572.
Full textAbstract:
A presente dissertação consiste em um estudo das imagens simbólicas dos Sonetos de Shakespeare sob a luz das teorias modernas e contemporâneas do imaginário, mito e símbolo de autores como C.G.Jung, P. Ricoeur e G. Durand. Procura mostrar parte do processo criativo Shakespeareano identificando mitos pessoais, imagens recorrentes, assim como arquétipos e padrões arquetípicos presentes nos sonetos. Divide-se em três capítulos. O primeiro, a Introdução, apresenta Shakespeare como poeta e resume algumas abordagens críticas e os problemas decorrentes que foram debatidos até então. Antecipa ainda, a discussão sobre a importância do imaginário do leitor no processo hermenêutico. O segundo capítulo, O imaginário e o imaginário de Shakespeare, divide-se em duas partes. Na primeira, apresento os campos onde literatura, mito, e símbolo relacionam-se entre si, assim como a teoria da metáfora de P. Ricoeur. A segunda parte consiste em dados gerais do imaginário simbólico dos 154 sonetos, cuja base é uma versão moderna da edição de 1609 (conhecida como The Quarto), com a análise de dois sonetos (28,146) que funciona como modelo para as demais, integrantes do terceiro capítulo. Finalmente, o capítulo 3, A hermenêutica das imagens simbólicas dos sonetos de Shakespeare, traz o estudo propriamente dito, e apresenta as imagens recorrentes, arquétipos, padrões arquetípicos e mitos pessoais encontrados nos sonetos. A conclusão reflete a tentativa de mostrar a importância das imagens simbólicas para os Sonetos, assim como apontar formas através das quais os imaginários de autor e leitor misturam-se, gerando significação.This thesis aims at studying the symbolical imagery of Shakespeare’s Sonnets in the light of modern theories on the imaginary, symbolism, and myth put forward by authors such as C.G. Jung, P. Ricoeur, and G. Durand. It attempts at showing a part of Shakespeare’s creative process by identifying personal myths, recurrent images, as well as archetypes and archetypal patterns inherent in the Sonnets. The work is divided into three chapters. The first chapter presents Shakespeare as a poet and summarizes some critical approaches and consequent problems that have been part of the Sonnets´ critical heritage. It also anticipates the discussion on the importance of the reader’s imaginary in the hermeneutic process. Chapter two is divided in two segments. The first, where I present the grounds on which myth, literature and symbols are related, as well as Ricoeur’s theory of the metaphor; and the second, that consists of general imaginary symbolic data about the 154 sonnets, approached through a modernized version of the 1609 Quarto. In addition, there comes the analysis of sonnets 28 and 146, as models for the others to come in chapter 3. Finally, chapter three The Hermeneutics of Symbolical Imagery in Shakespeare’s Sonnets, displays the study of recurrent images, archetypes, archetypal patterns and personal myths within Shakespeare’s Sonnets. The Conclusion reflects upon the work’s attempt at showing the importance of symbolic images for the study of the sonnets, as well as considers some of the ways through which the imaginary of the writer and that of the reader bind, generating meaning.
2
Quilaqueo, Gallardo Mariana Andrea. "The symbolical representation of Manhood in Ernest Hemingway’s The Sun Also Rises." Tesis, Universidad de Chile, 2009. http://repositorio.uchile.cl/handle/2250/109812.
Full text
3
Ash, Robert Charles. "Mountains suspended by a hair : Eruv, a symbolical act by which the legal fiction of community is established." Thesis, University of Leicester, 2000. http://hdl.handle.net/2381/8548.
Full textAbstract:
In 1991 a group of orthodox Jews applied to the London Borough of Barnet for permission to erect small groups of structures resembling telephone poles, connected - at a height of about twenty feet - by fine nylon filament, at thirty nine locations in the borough. Overall, the number of such structures was to be about eighty. Given that such structures closely resemble common 'street furniture', it was argued by those supporting the proposal that these items would be virtually unseen among the tens of thousands of lamp posts, telephone poles, and the like already in the area. Yet, far from remaining a routine matter for Barnet's Planning Officers, the application became an issue of heated public controversy, engaging the attention of the national and international media. The nature of that opposition is the major focus of this thesis. The religious driving force which lay behind the application relates to the laws of the Jewish shabbat. In order to overcome specific restrictions arising from those laws, Jewish sages long ago devised legal 'solutions'. Among these solutions is one which requires the creation of the physical structures which were the subject of the planning application. In everyday usage the legal solution is referred to by the Hebrew word eruv. It might be argued that this faintly absurd controversy represented in symbolic form the basic dilemma of Jewish life in liberal societies in the late twentieth century. This thesis analyses the eruv conflict in terms of space and place, modernity and post-modernity, and contemporary identities and concludes that the eruv proposal was greeted with hostility because it was seen as a disordering of space which threatened identities within a context of the operation of 'banal nationalism'.
4
Quesnel, Marine. "A Study of Schelling’s Symbol in the Characterization of Virginia Woolf’s The Waves : The Productive Unity of Subjectivity in Symbolical Language." Thesis, Högskolan Dalarna, Engelska, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:du-34426.
Full text
5
Pontes, Maria Cristina Alves de. "O imaginário do Hatha-Yoga: um caminho de volta para o centro." Universidade Federal da Paraíba, 2011. http://tede.biblioteca.ufpb.br:8080/handle/tede/4187.
Full textAbstract:
Made available in DSpace on 2015-04-17T15:01:51Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 1943147 bytes, checksum: 88e26e8c3c52699aaa547bc93c24e7e7 (MD5)
Previous issue date: 2011-08-31Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
Yoga is a millenary practice attached which is linked to behaviors and, especially, the ways of living the Hindu´s culture that was transposed to the West, and it is finding space, especially, in the middle of Brazilian urban. The Hath-Yoga is one of more recent schools of Yoga. We have met one´s objectives in this analysis, to identify which Hath Yoga dominant imaginary of the gestures; through survey of the repertoire of gestures images ( asanas were chosen like a cross sample), and verbal expressed by practiced people during the classes period; and if the mythology is presented a asanas influences the production of Hatha-Yoga`s practiced people. The mythology that we use in this method of analysis was a symbolical hermeneutic based on assumption of Duran´s Imaginary General Theory (2002). It can be understand like a method or a technique turning toward the interpretation of the archetypes and symbols from the imaginary. To seek oneself to outline the constellation images following its movement, that is, its convergence. By way of organization, we selected some asanas in the Hath- Yoga practice that they can be expressive to broach the convergence of the mythological images. We have noticed that the practice of The Hath-Yoga encourages the mythological operational images, transforming them in metaphor of the practice people´s psycho-physique that allowed them finding a line of stabilization. This was possible because the imaginary is the creator of the reality, indeed where form the human representations that precede the materialism of the actions and objects. The modification in the practice people´s mental attitudes has brought both self-knowledge and positive behavior consequences which reflected themselves on their interrelated relationships, giving them a balance.
O Yoga é uma prática milenar ligada a comportamentos e, sobretudo, a modos de viver da cultura Hindu que foi transposta para o Ocidente, e vem encontrando espaço, sobretudo, nos meios urbanos brasileiros. O Hatha-Yoga é uma das mais recentes escolas de Yoga. É exatamente do Hata-Yoga que objetivamos nessa análise, identificar qual o imaginário dos gestos dominantes nesta escola, através do levantamento do repertório de imagens gestuais (asanas escolhidas como amostragem), e verbais expressadas pelos praticantes durante o período das aulas; bem como se a mitologia presente nos asanas influencia a produção imaginária do praticante do Hatha-Yoga. A metodologia que utilizamos para o procedimento de análise foi a hermenêutica simbólica baseada nos pressupostos da Teoria Geral do Imaginário de Durand (2002). Ela pode ser entendida como um método ou técnica voltada para a interpretação dos arquétipos e símbolos oriundos do imaginário. Buscou-se delinear as constelações de imagens acompanhando o seu movimento, ou seja, sua convergência. A título de organização elegemos alguns asanas da prática do Hatha-Yoga que podem ser expressivos para se abordar a convergência das imagens mitológicas. Percebemos que a prática do Hatha-Yoga estimula a operacionalização de imagens mitológicas, transformando-as em metáforas do reestabelecimento psico-físico dos praticantes, o que lhes permitiu que que encontrassem um eixo de estabilização. Isso foi possível porque o imaginário é criador da realidade, pois é onde se formam as representações humanas que precedem a materialização de ações e objetos. As modificações nas atitudes mentais dos praticantes trouxeram tanto autoconhecimento como consequências comportamentais positivas que se refletiram em seu autoconhecimento e nos seus relacionamentos interpessoais, dando-lhes um equilíbrio psico-físico-espiritual.
6
Souza, Karlla Christine Araújo. "O popular massivo: da mediação simbólica à trajetória do herói." Universidade Federal da Paraíba, 2010. http://tede.biblioteca.ufpb.br:8080/handle/tede/7277.
Full textAbstract:
Made available in DSpace on 2015-05-14T13:26:58Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 1035178 bytes, checksum: 926ae066afb4b78983821940be878cd9 (MD5)
Previous issue date: 2010-05-23Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
The research is based on the literary job of four authors: Lourdes Ramalho, Jessier Quirino, Bráulio Tavares e Astier Basílio, extracting of their texts what symbolizes the resizing of the popular poetic language and of the oral tradition wich are linked. Their texts talk about customs and traditions and also try to recreate the storyline of the popular imaginary of Northeast. Even wich the difference between the authors, is exactly what is repeated that surprises us by the force of language and the reworking of some typical traits. Among these traits that are repeated and worked, is that we perceive the construction of heroes out of the conventional patterns of epic composition. They are heroes that do not have any big realization to boast themselves, therefore they hold up the courage to offer their own blood in the name of revenge that is, above all, fictional. This mechanism of compensation is also presented at the symbolical intention of their creators, wich linked to some characteristic traits of a regionalist script, are also associated with other elements, concerning to their actuation as symbolical mediators. What is the base of the symbolical mediation is the life observation, the interested by the tradition, the desire to validate the poetic forms that were learned at the familiar nucleus. Although, placing the mediation in the broader context of transformation of social processes, it implicitly incorporates the desire to reframe the forms of cultural domination. The symbolical mediation is the clipping of a local phenomenon between theoretical and cultural boundaries, a fresh approach to a practice that is not so new like that.
A pesquisa está baseada na obra literária de quatro autores: Lourdes Ramalho, Jessier Quirino, Bráulio Tavares e Astier Basílio, extraindo de seus textos o que simboliza o redimensionamento da linguagem poética popular e da tradição oral a qual estão vinculados. Seus textos falam de costumes e tradições e também procuram recriar as tramas narrativas do imaginário popular do Nordeste. Mesmo com a diferença entre os autores, é exatamente o que se repete que nos surpreende pelo vigor da linguagem e a reelaboração de certos traços típicos. Dentre os traços que se repetem e se reelaboram, percebemos a construção de heróis fora dos padrões convencionais de composição épica. São heróis que não têm nenhum grande feito para se vangloriarem, mas se sustentam na coragem de oferecer o próprio sangue em nome de uma vingança que é, sobretudo, ficcional. Este mecanismo de compensação está presente também na intenção simbólica de seus criadores, que vinculados a certos traços característicos de uma escrita regionalista, também se associam a outros elementos, referentes a suas atuações enquanto mediadores simbólicos. O que está na base da mediação simbólica é a observação da vida, o interesse pela tradição, o desejo de validar as formas poéticas que foram aprendidas no seio familiar. Porém, situando a mediação no contexto mais geral de transformação dos processos sociais, ela incorpora implicitamente o desejo de ressignificação das formas de dominação cultural. A mediação simbólica é o recorte de um fenômeno localizado entre fronteiras teóricas e culturais; uma abordagem nova para uma prática não tão nova assim.
7
Ferrentini, Mara Liz Hernandes. "O símbolo e a crença: a centralidade simbólica nos sistemas religiosos do judaísmo e cristianismo: história, significação e atualidade." Universidade Presbiteriana Mackenzie, 2007. http://tede.mackenzie.br/jspui/handle/tede/2481.
Full textAbstract:
Made available in DSpace on 2016-03-15T19:48:39Z (GMT). No. of bitstreams: 1
Mara Liz Hernandes Ferrentini.pdf: 664624 bytes, checksum: a4cf06ee037967ce479f845e0dfb6028 (MD5)
Previous issue date: 2007-09-11First of all, this research is focused on an approximate and panoramic way of religious symbols of the ancient religions, providing explanation to understanding these religions at the first periods of humanity. Following, this research focused on the symbolical universe of Jewish and Christian systems. This search is talking about basic symbolism on both Judaism and Christians traditions, as well as investigating their symbolical evolution by anthropological and philosophical references. At last, this research showed the presence of Judaism in Christian culture, giving it its notorious autonomy, but with clearly Jewish foundations.
Primeiramente a pesquisa se concentrou de maneira aproximativa e panorâmica nos símbolos religiosos das religiões primitivas, dando uma explanação para compreensão religiosa nos primeiros estágios da humanidade. Em seguida a pesquisa concentrou-se no universo simbológico dos sistemas judaico e cristão. Dissertando sobre a simbologia básica nas duas tradições religiosas, bem como esquadrinhou sua evolução simbológica, por meio de referencias antropológicas e filosóficas. Por fim a pesquisa demonstrou claramente a presença do judaísmo em solo cristão. Conferindo ao cristianismo sua notória autonomia, porém com bases evidentemente judaicas.
8
Šrám, Kristián. "Manifestace diskursivních hierarchií ve spotřebě a jejich proměna v kontextu finanční krize." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-201745.
Full textAbstract:
This thesis seeks to analyze how social position is negotiated by particular consumption practices. Thesis is theoretically based upon social-constructivist claims that reality is a social construct that comprises of continuously negotiated meanings. That implies that observed phenomena, such as among others consumption and social position, are seen as constituted by the cultural and symbolic dimensions of society. Methodological basis of the thesis is qualitative research. In the context of consumer behavior research I follow the research stream of consumer culture theory. Key findings of the study are that discourses on consumption are partially determined by social position while higher classes are comparatively more reflexive in their interpretations of consumption. However, social boundaries are not strictly given which creates a space for negotiating one`s social position. That might be accomplished by reinterpretation of social position. Prominent strategies of such reinterpretations were defined by discourses of neoliberalism and egalitarism. Another option consists of transgressing the economic boundaries by utilizing cultural capital. However, in the Czech society there has not yet been developed a clear consensus on what cultural capital consists of - that creates even more potential for negotiating one`s own social position.
9
Ribeiro, Edméia [UNESP]. "Costumbrismo, hispanismo e caráter nacional em Las mujeres españolas, portuguesas y americanas: imagens, textos e política nos anos 1870." Universidade Estadual Paulista (UNESP), 2009. http://hdl.handle.net/11449/103144.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:32:24Z (GMT). No. of bitstreams: 0
Previous issue date: 2009-02-27Bitstream added on 2014-06-13T20:43:29Z : No. of bitstreams: 1
ribeiro_ea_dr_assis.pdf: 2491911 bytes, checksum: 0aabf1551cbf9326812aef61b892f12d (MD5)Esta tese procura refletir sobre a coleção Las Mujeres Españolas, Portuguesas y Americanas, publicação composta por três volumes de textos abordando espaços territoriais na Espanha, América e Portugal e por litografias – comercializadas em separado –, produzida no decorrer da década de 1870 na Espanha, e que fez uso da simbologia feminina para representar tais espaços. Essa obra constitui-se, ao mesmo tempo, em fonte e objeto desta pesquisa. Neste estudo, parte-se da hipótese de que essa coleção possui um sentido político e configura-se em produção material que constrói uma representação simbólica das características nacionais espanholas, elaborando um discurso sobre si, perceptível no conjunto de sua concepção, produção e composição. Foi produzida na segunda metade dos oitocentos, sob a raiz do movimento romântico e moldada pela estética costumbrista – gênero que se destacou por descrever tipos sociais, hábitos, costumes e tradições. Sobre a temática feminina, partiu-se do pressuposto de que imagens idealizadas de mulheres foram utilizadas para tocar os imaginários sociais pelo que representavam – amor, submissão, honra, fecundidade, educação, abnegação – e também como símbolos dos novos tipos sociais que surgiam em cena nos espaços nacionais que se configuravam perante as transformações européias. O hispanismo, discurso ideológico pautado nas experiências comuns e espírito espanhol, permeou toda a coleção, e este trabalho sustenta a hipótese de que não só referendou, mas construiu e disseminou esse ideário. Por fim, defendeu-se que tanto a linguagem textual como a iconográfica localizaram e salientaram elementos formadores das sociedades espanholas, revelando origens, tradição, peculiaridades e singularidades desses povos – sob o signo feminino – que remetiam à problemática do caráter nacional espanhol.
This proposition tries to disclose on the collection Las Mujeres Españolas, Portuguesas y Americanas, a publication composed by three tomes of texts which discuss the territorial spaces in Spain, America and Portugal and by lithographs - separately sold -, produced in Spain during the 1870 decade, using the feminine symbology to represent those spaces. This work consists of, at the same time, origin and object of this research. This treatise starts with the hypothesis that this collection has a political meaning and happens to have a material production which builds a symbolical representation of the Spanish national characteristics, elaborating a “self-speech” about itself, perceptible on the entirety of its conception, production and composition. It was introduced on the second half of the XVIII century, under the roots of the Romanticism and molded by the costumbrista esthetics – gender that distinguished itself by describing the social models, habits, uses and traditions. From the feminine themes, the treatise starts from the pretext that the use of idealized images of women were used to reach the social imaginary of what they represented – love, submission, honor, fecundity, education, self-denial – and also as symbols of the new social types that emerged in the national spaces that appeared in the face of the European transformations. The hispanism, ideological speech based on the common experiences and on the Spanish spirits, pierced all the collection, and this treatise supports the hypothesis that it not only countersigned, but built and spread this ideas. And, last but not least, defended that both textual language and iconography placed and emphasized the elements which built the Spanish societies, revealing origins, tradition, peculiarities and singularities of this people – under the feminine sign- that alluded to the a set of problems of the Spanish national character.
10
Saraiva, Robertson. "Raça e cor nos resultados do Avalia-BH: o desempenho dos estudantes e as políticas de equidade racial na rede municipal de educação." Universidade Federal de Juiz de Fora, 2014. https://repositorio.ufjf.br/jspui/handle/ufjf/1323.
Full textAbstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-04-29T15:55:22Z
No. of bitstreams: 1
robertsonsaraiva.pdf: 2451233 bytes, checksum: 1fc1714160e1cdf37d8145a29d9c1ac9 (MD5)Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-05-02T01:24:08Z (GMT) No. of bitstreams: 1 robertsonsaraiva.pdf: 2451233 bytes, checksum: 1fc1714160e1cdf37d8145a29d9c1ac9 (MD5)
Made available in DSpace on 2016-05-02T01:24:08Z (GMT). No. of bitstreams: 1 robertsonsaraiva.pdf: 2451233 bytes, checksum: 1fc1714160e1cdf37d8145a29d9c1ac9 (MD5) Previous issue date: 2014-11-28
O presente trabalho expõe os resultados da pesquisa “Raça e cor nos resultados do Avalia-BH: o desempenho dos estudantes e as políticas de equidade racial na Rede Municipal de Educação”, desenvolvida no Programa de Pós-Graduação Profissional em Gestão e Avaliação da Educação Pública da Universidade Federal de Juiz de Fora para obtenção dograu de mestre. As diferenças de rendimento entre alunos brancos e negros é um tema de extrema relevância e bastante pesquisado no Brasil,assim como presente no trabalho de Carvalho (2005), bem como em relatórios do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP). Nesse contexto, a investigação realizada neste trabalho tem como foco o desempenho dos alunos do 3º, 5º e 9º anos do ensino fundamental da cidade de Belo Horizonte, obtidos por meio dos resultados da avaliação externa própria do município, o Avalia-BH. Optou-se por fazer um recorte específico, explorando esse sistema de avaliação a partir dos resultados em Língua Portuguesa do ano de 2013. Além de analisar a distribuição dos grupos étnicos nos níveis de aprendizagem, foi feito um cruzamento dos resultados com o nível socioeconômico desses educandos. Observou-se a ausência de equidade nos resultados, o que mostra a necessidade de estudos mais aprofundados sobre a temática raça/cor com destaque à sua invisibilidade histórica. Por fim, foram elaboradas ações indicadas no Plano de Ação Educacional,tendo por objetivo contribuir para a modificação de tal realidade.
This paper presents the results of the research "Race and Skin-Color in the results of Avalia-BH: student performance and the politics of racial equity in Municipal Education Network", developed in the Post-Graduate Program of Professional Management and Evaluation of Public Schools from Federal University of Juiz de Fora for the Masters degree achievement. The efficiency differences between white and black students is an extreme research relevant topic in Brazil, as it can be seen on Carvalho (2005) paper, and also in reports of the National Institute of Educational ResearchsAnisio Teixeira (INEP). Given that context, the research conducted in this paper has its main focus the performance of students in 3rd, 5th and 9th grades of elementary school in the city of Belo Horizonte, obtained by means of the results from the external evaluation of the municipality, the Avalia-BH. We opted to focuses mainly in explore this evaluation system from the results in portuguese, in the year of 2013. In addition to analyzing the distribution of ethnic groups in levels of learning, a cross-check with the socioeconomic status of these students was made. We noted a lack of equity in the results, which demonstrates the need of further studies on the themes of race/skin-color, highlighting its historical invisibility. Finally, actions were indicated in the Educational Action Plan, in order to contribute to the modification of such realities.
11
Espíndola, Luz Marina. "O vestido azul: educação e música na infância - ressonâncias antropológicas." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/48/48134/tde-27082010-092255/.
Full textAbstract:
Trata-se de dissertação de mestrado que pretende aprofundar a reflexão sobre a música e a educação na infância. Nesse sentido, não se trata de inventariar metodologias do ensino musical ou considerações de caráter técnico-musical para aplicações didáticas, mas a possibilidade de uma educação da infância que tenha como objetivo o encontro entre professor e aluno, a busca de auto-conhecimento e a expressão, através da música. A autora coloca no primeiro capítulo, Parte A, uma abordagem antropológica da música, pensando-se na universalidade dos sons humanos que se ouve e se produz, sugerindo o conceito Fundamentos sonoros do ser para distinguir a música enquanto som, não restringindo-se à canção ou teoria musical. A partir desses fundamentos, coloca-se a Paisagem sonora, enquanto sons que rodeiam o ser humano, distinguindo-se duas qualidades que a constitui, a paisagem sonora natural e a cultural, e a conversão semiótica das paisagens, como um exercício de reconstruir e ressignificar o mundo. Questiona-se a paisagem sonora contemporânea e a importância do resgate mitico no Prelúdio, rumo ao oceano. Para assim, adentrar-se na relação do mito com a música, no Refrão, Música Oceânica, em que se apresenta o conceito da música profunda que habita o ser humano e que o entrelaça na relação pedagógica. Na segunda parte, Parte B, articula-se os conceitos colocados aos princípios da educação, com o Vestido azul: desdobramentos educacionais do encontro, trazendo à tona as possibilitudes da relação mestre-discípulo numa educação para a infância, explicitada em experiências da trajetória da autora como professora em atividades musicais com crianças. No final, como uma Última nota, coloca-se um encaminhamento da pesquisa, com reflexões que unem as teorias abordadas com as experiências vividas, sugerindo ao educador da infância o exercício da sensibilidade através da expressão musical.This dissertation is about a study that intends to go underneath the reflection of music and education in the childhood. This way, its not about creating new methodologies on how teaching music or technical-musical considerations for didatic aplications, but the possibility of a childhood education focused on an encounter between professor and pupil, the search for self-knowledge and inner expression through music. The author describes on the first chapter, Part A, an antropological approach of music, considering the universality of human sounds the one hears and produces, suggesting the concept of Sonorous principles of the being to distinguish music as a sound, instead of minimizing it to song or simple musical theory. This way, the Sonorous Landscape is presented, as the sounds that surround the human being, differing two qualities that embodies it: the sonourous natural landscape and the sonourous cultural landscape and also the semiotical convertion of the landscape as a way to rebuild and remeaning the world. Contemporary sonorous landscape is questioned, also is pointed the relevance of the mythical rescue, in Prelude to the ocean, going deep on the relationship between music and myth, in Refrain, Oceanic Music, presents the concept of profound music that lives in the human being and puts him in contact with the pedagogical relations. In the second part, Part B, the concepts put on educational basis are articulated, with Blue Dress: educational unfold of the encounter, brings to light the possibilities of the relationship master-pupil on the childhood, explicited on the authors experience as a teacher in musical activities with children. In the end, as Last note, reflections are made with the approached theories and lived experience suggesting to the educator the exercise of sensibility through musical expression.
12
Mendonça, Izabela Matos Floriano. "Diálogo entre religiosidades espíritas e terapias alternativas: as práticas e crenças da apometria em Juiz de Fora." Universidade Federal de Juiz de Fora, 2013. https://repositorio.ufjf.br/jspui/handle/ufjf/1048.
Full textAbstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-03-29T15:49:23Z
No. of bitstreams: 1
izabelamatosflorianomendonca.pdf: 2836651 bytes, checksum: cd30a8d8fd9dd1a6034ba3e6c3058ad4 (MD5)Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-04-24T02:49:20Z (GMT) No. of bitstreams: 1 izabelamatosflorianomendonca.pdf: 2836651 bytes, checksum: cd30a8d8fd9dd1a6034ba3e6c3058ad4 (MD5)
Made available in DSpace on 2016-04-24T02:49:20Z (GMT). No. of bitstreams: 1 izabelamatosflorianomendonca.pdf: 2836651 bytes, checksum: cd30a8d8fd9dd1a6034ba3e6c3058ad4 (MD5) Previous issue date: 2013-02-25
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
O presente estudo busca elucidar a relação entre terapias religiosas e terapias alternativas, adotando como eixo temático, a apometria, terapia de cura espiritual que surge em meados de 1965, no campo kardecista, e avança para fora de seu lócus original, vinculando-se tanto a racionalidades médicas não oficiais, quanto a sistemas religiosos diversos, senão ainda a terapias alternativas e psicológicas. Em virtude das configurações plurais da apometria, esta pesquisa propõe estudar as interlocuções da técnica com as diversas religiosidades, em especial as mediúnico-espíritas, no ritual do Grupo de Apométrico Elos de Amor e Paz de Juiz de Fora.
The present study aims to elucidate the relationship between religious therapies and alternative therapies, adopting as the main theme, the aptometry, spiritual healing therapy that comes in the middle of 1965, in field kardecist, and moves out of its original locus linking to both medical rationalities unofficial, as the various religious systems, but also the psychological and alternative therapies. Because of the settings of the plural aptometry, this research proposes to study the interlocutions with the various religiosities, especially psychicspiritualist, in ritual of the “Grupo Apométrico Elos de Amor e Paz Juiz de Fora".
13
Brésio, Sabrina da Paixão. "Nas trilhas do herói. histórias em quadrinhos & itinerários de formação." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/48/48134/tde-29112016-143725/.
Full textAbstract:
A jornada do herói é uma trajetória autoformativa presente em narrativas ancestrais que, ultrapassando barreiras espaços-temporais, ainda ecoam nas produções contemporâneas, sem perder suas potencialidades simbólicas. Seguindo pelas trilhas do Imaginário Simbólico, acompanharemos protagonistas das obras em quadrinhos É um pássaro, de Steven T. Seagle e Teddy Kristiansen, Daytripper, de Gabriel Bá e Fábio Moon, e Habibi, de Craig Thompson, que trilham seus caminhos através do labiríntico processo de conhecimento do mundo e de si. Partindo dos caminhos metodológicos da Mitopoética e da mitologia comparada, seguiremos em busca dos fios que compõem o tornar-se quem se é, em uma investigação poética que mescla itinerários autoformativos ficcionais presentes nas Histórias em Quadrinhos, destacando a valorização da experiência, o papel das narrativas na constituição de si e as tessituras com a Pedagogia da Escolha, bem como as relações entre a composição artística dos quadrinhos, sua relação com a jornada heroica e os processos educativos.\"The hero\'s jornney is a sellf-formative path present in ancestral narratives which, going beyond space-time barriers, still echo in contemporary productions without losing its symbolic potential. Following the paths of the structure of imaginary Symbol, we\'ll keep up the protagonists of the comics It\'s a bird, from Steven T. Seagle and Teddy Kristiansen, Daytripper, created by Gabriel Bá e Fábio Moon, e Habibi, from Craig Thompson, who tread their way through the labyrinthine of world knowledge process and of itself. From the methodological ways of mythopoetic and comparative mythology, we will searching for the threads that indicates \"how one becomes what one is\", in a poetic investigation that merges processes of self-formatives itineraries in comic books, highlighting the value of the experience, the role of narrative in the constitution itself and the tessitura with the Pedagogy of choice , as well as relations between the artistic composition of the comic, the relationship with the heroic journey and educational processes.
14
Freire, Diego Jos? Fernandes. "Contando o passado, tecendo a saudade: a constru??o simb?lica do engenho a?ucareiro em Jose Lins do Rego (1919-1943)." Universidade Federal do Rio Grande do Norte, 2014. http://repositorio.ufrn.br:8080/jspui/handle/123456789/16985.
Full textAbstract:
Made available in DSpace on 2014-12-17T15:25:22Z (GMT). No. of bitstreams: 1
DiegoJFF_DISSERT.pdf: 2673052 bytes, checksum: e334c1dadbab768881c02bd2e0fcbdde (MD5)
Previous issue date: 2014-02-24Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior
In this work I have searched the symbolical sense of a specific place. I have started from the theoretical assumption that places are social relations resulting from material and symbolical conditions developed in a certain time and by certain factors. In this sense, I have analyzed the symbolical aspect of sugar plantation from some literary works created by the writer Jos? Lins do Rego from the state of Para?ba. I intend to analyze the symbolical dimension senses, values and images used by this writer to show the sugar plantation. Giving special attention to the works from the named cycle of sugar plantation , I have searched for the senses and meanings used in Jos? Lins do Rego literary discourse to create a fictional sugar plantation, showing this place in a specific way. Based in cultural history, I have used several sources: literary works, prefaces of books, memory works, journalistic works, letters written by intellectual men and history books. My time of analysis is from 1919 the beginning of Jos? Lins do Rego s intellectual activity - until 1943 publication of Fogo Morto, last literary work that I have analyzed. In symbolical terms, what is sugar plantation, this place that has totally touched Jos? Lins do Regos life and literary work? That was the structural question that has determined the present research
Investigamos neste trabalho a constru??o simb?lica de uma determinada espacialidade. Partimos do pressuposto te?rico que os mais diferentes espa?os s?o constru??es sociais, fruto de investimentos materiais e simb?licos, realizados em dados momentos e por determinados fatores. Nesse sentido, examinamos a fabrica??o simb?lica do engenho a?ucareiro a partir de algumas produ??es liter?rias do romancista paraibano Jos? Lins do Rego. Almejamos inquirir acerca da dimens?o simb?lica significados, valores e imagens mobilizada por esse literato para constituir a propriedade canavieira. Concedendo uma aten??o especial ?s obras do chamado ciclo da cana de a??car , questionamos-nos sobre os sentidos e significados agenciados pelo discurso liter?rio de Jos? Lins para ficcionar o engenho, forjando essa espacialidade de uma dada maneira. Situando-nos no campo da hist?ria cultural, trabalhamos com uma variedade de fontes: romances liter?rios, pref?cios de livros, escritos memorial?sticos e jornal?sticos, cartas trocadas entres intelectuais e livros de hist?ria. Nosso recorte temporal vai de 1919 in?cio da atividade intelectual de Jos? Lins - a 1943 publica??o de Fogo Morto, ?ltimo romance por n?s analisado. Em termos simb?licos, o que seria o engenho, essa espacialidade que marcou soberanamente a vida e a obra liter?ria de Jos? Lins do Rego? Foi o questionamento estrutural que moveu a corrente pesquisa
15
Carvalho, Sílvio Augusto de. "Fósforo branco nos céus de Gaza: interdito e manipulação na cobertura jornalística do massacre de palestinos." Universidade Federal de Juiz de Fora (UFJF), 2010. https://repositorio.ufjf.br/jspui/handle/ufjf/2551.
Full textAbstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-09-21T19:27:28Z
No. of bitstreams: 1
silvioaugustodecarvalho.pdf: 1457909 bytes, checksum: b5aef33d4322db69c37620d835b5ba91 (MD5)Approved for entry into archive by Diamantino Mayra (mayra.diamantino@ufjf.edu.br) on 2016-09-26T20:28:00Z (GMT) No. of bitstreams: 1 silvioaugustodecarvalho.pdf: 1457909 bytes, checksum: b5aef33d4322db69c37620d835b5ba91 (MD5)
Made available in DSpace on 2016-09-26T20:28:00Z (GMT). No. of bitstreams: 1 silvioaugustodecarvalho.pdf: 1457909 bytes, checksum: b5aef33d4322db69c37620d835b5ba91 (MD5) Previous issue date: 2010-04-30
O objetivo desta dissertação é o de analisar o modo como os meios de comunicação de massa, especificamente o New York Times (NYT) e o Wall Street Journal (WSJ), construíram suas representações sobre a invasão israelense da Faixa de Gaza entre dezembro de 2008 e janeiro de 2009. Pretendemos mostrar como os jornais, na sua versão on-line, não são apenas espaços sociais de conflito, mas armas de legitimação de guerras e invasões, na medida em que tendem a construir visões de mundo legitimadoras da ordem vigente. Neste sentido, tais visões são perpassadas pela redução da figura do oponente cujo valor é, por isso, nivelado a seu âmbito biológico. O outro passa a ser visto em termos biopolíticos, isto é, raciais, o que possibilita manobras e controles sobre sua imagem e, portanto, sobre as estratégias bélicas. Ao contribuir para consolidar e naturalizar a visão de mundo dos dominantes, os meios de comunicação de massa atuam sobre a dissolução da Memória Política, determinando os limites do pensamento dentro dos quais o último conflito se deu. A questão da independência da Palestina estaria – dentro de nossa hipótese -, portanto, atrelada à agenda sionista, movimento que se consolidou na busca de uma sociedade judaica racialmente pura. Para isto, usamos conceitos de Michel Foucault, Pierre Bourdieu e Immanuel Wallerstein, na medida em que a microfísica do poder não pode ser vista fora do sistema capitalista moderno, calcado em uma hierarquia de países no plano internacional.
This paper’s goal is to analyze the way through which american mass media, especially The New York Times (NYT) and The Wall Street Journal (WSJ), created their representations about the last Israeli invasion in Gaza Strip, between December (2008) and january (2009). We intend to show how the newspapers (on line version) not only are social spaces of conflict, but also tools used to give legitimacy to the status quo. Taking that into account, those visions try to reduce the figure of the opponent whose meaning is, because of this process, reduced to his or her biological dimension. The other is seeing through a biopolitical view, we mean, in racial terms, which helps to control his or her image and, in turn, take control over war’s strategic that focus on them. Bearing in mind that the newspapers contribute to consolidate and naturalize the powerful’s world vision, they work to dissolve the Political Memory, determining the epistemological limits of the discussion about the last conflict. The question of Palestine would remain, therefore, - according to our hipotesis controlled to the zionist’s agenda, movement that consolidated itself defending a pure jewish society. We, basically, used Michel Foucault, Pierre Bourdieu and Immanuel Wallerstein’s concepts as the traditional concept of power can not be seen out of the modern capitalist system, based in a hierarchy of countries in the international arena.
16
Rey, Béatrice. "Modelage et psychose : de la matière brute à sa mise en forme : sensorialité, travail de l’archaïque et symbolisation." Thesis, Lyon 2, 2010. http://www.theses.fr/2010LYO20113/document.
Full textAbstract:
La pratique de la médiation thérapeutique en groupe par le modelage de la terre avec des personnes autistes et psychotiques met en évidence les modalités de constitution et du travail du médium malléable.Ce dernier permet, à travers l’acte de modeler au sein du cadre dispositif, une mise en forme des traces sensori-motrices (ou traces sensorielles), préalables à la constitution de l’image du corps.Le travail du médium malléable rend aussi compte des modalités de constitution de l’enveloppe psychique, tant sur un plan individuel que groupal.Les formes constituées mettent en avant le recours à des actes symboliques, que nous répertorions, témoins de l’état de constitution de l’enveloppe psychique. De la bidimensionnalité (identification adhésive) à l’espace tridimensionnel (identification projective), le sujet émiette la matière, la morcelle, coupe, sépare, rassemble, assemble et construit.Le travail du médium malléable et le mode d’utilisation du médium réactualisent le lien à l’objet primaire. Ils permettent aussi de focaliser les effets transféro-contre-transférentiels. La spécificité de l’intervention des thérapeutes (en cothérapie dans ce dispositif) concerne la mise en acte de leur propre sensorialité, à travers l’adresse d’une « interprétation modelante »Practising the therapeutics mediation in group by the modeling of the earth with autistics and psychotics persons underlines the modalities/mode of constitution of the “medium malleable” and the work that it allows.The latest makes possible, through the action of modeling within framework plan, a setting of sensori motor (or sensorial traces), prior to the composition of the body image.The work of the “medium malleable” keeps the forms of the psychological envelope, as an individual plan or as a group.The constituted shapes emphasize the resort to symbolic acts that can be listed, witnesses of the state of composition of the psychological envelope. From the bi-dimension (adhesive identification)/2 dimension measurement to the 3 dimension measurement (projective identification), the subject crumbles the material, divides it, breaks, separates, gathers, puts together and builds. The work of the “medium malleable” and its mode of use update the link to the primary object. They also allow focusing on the “transfero-contre-transférentiels” effects. The specificity of the therapists (in co therapy in this case) concerns the acting of their own sensoriality, through the faculty of a “modeling interpretation”
17
Ribeiro, Edméia. ""Costumbrismo", hispanismo e caráter nacional em "Las mujeres españolas, portuguesas y americanas" : imagens, textos e política nos anos 1870 /." Assis : [s.n.], 2009. http://hdl.handle.net/11449/103144.
Full textAbstract:
Orientador: Carlos Alberto Sampaio BarbosaBanca: José Luis Bendicho Beired
Banca: Célia Reis Camargo
Banca: Maria Ligia Coelho Prado
Banca: Stella Maris Scatena Franco Vilardaga
Resumo: Esta tese procura refletir sobre a coleção Las Mujeres Españolas, Portuguesas y Americanas, publicação composta por três volumes de textos abordando espaços territoriais na Espanha, América e Portugal e por litografias - comercializadas em separado -, produzida no decorrer da década de 1870 na Espanha, e que fez uso da simbologia feminina para representar tais espaços. Essa obra constitui-se, ao mesmo tempo, em fonte e objeto desta pesquisa. Neste estudo, parte-se da hipótese de que essa coleção possui um sentido político e configura-se em produção material que constrói uma representação simbólica das características nacionais espanholas, elaborando um discurso sobre si, perceptível no conjunto de sua concepção, produção e composição. Foi produzida na segunda metade dos oitocentos, sob a raiz do movimento romântico e moldada pela estética costumbrista - gênero que se destacou por descrever tipos sociais, hábitos, costumes e tradições. Sobre a temática feminina, partiu-se do pressuposto de que imagens idealizadas de mulheres foram utilizadas para tocar os imaginários sociais pelo que representavam - amor, submissão, honra, fecundidade, educação, abnegação - e também como símbolos dos novos tipos sociais que surgiam em cena nos espaços nacionais que se configuravam perante as transformações européias. O hispanismo, discurso ideológico pautado nas experiências comuns e espírito espanhol, permeou toda a coleção, e este trabalho sustenta a hipótese de que não só referendou, mas construiu e disseminou esse ideário. Por fim, defendeu-se que tanto a linguagem textual como a iconográfica localizaram e salientaram elementos formadores das sociedades espanholas, revelando origens, tradição, peculiaridades e singularidades desses povos - sob o signo feminino - que remetiam à problemática do caráter nacional espanhol.
Abstract: This proposition tries to disclose on the collection Las Mujeres Españolas, Portuguesas y Americanas, a publication composed by three tomes of texts which discuss the territorial spaces in Spain, America and Portugal and by lithographs - separately sold -, produced in Spain during the 1870 decade, using the feminine symbology to represent those spaces. This work consists of, at the same time, origin and object of this research. This treatise starts with the hypothesis that this collection has a political meaning and happens to have a material production which builds a symbolical representation of the Spanish national characteristics, elaborating a "self-speech" about itself, perceptible on the entirety of its conception, production and composition. It was introduced on the second half of the XVIII century, under the roots of the Romanticism and molded by the costumbrista esthetics - gender that distinguished itself by describing the social models, habits, uses and traditions. From the feminine themes, the treatise starts from the pretext that the use of idealized images of women were used to reach the social imaginary of what they represented - love, submission, honor, fecundity, education, self-denial - and also as symbols of the new social types that emerged in the national spaces that appeared in the face of the European transformations. The hispanism, ideological speech based on the common experiences and on the Spanish spirits, pierced all the collection, and this treatise supports the hypothesis that it not only countersigned, but built and spread this ideas. And, last but not least, defended that both textual language and iconography placed and emphasized the elements which built the Spanish societies, revealing origins, tradition, peculiarities and singularities of this people - under the feminine sign- that alluded to the a set of problems of the Spanish national character.
Doutor
18
Minárik, Michal. "Modelování elektrických obvodů s využitím diferenciálního počtu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237269.
Full textAbstract:
This master's thesis deals with modeling of linear electrical circuits through the differential algebraical equation systems. It describes methods of numerical solving, discusses the need of algebraical conversions and possibility of minimalization through the use of parasitic components. In addition, it involves the design and implementation of extension of available simulation tool.
19
Gebauer, Linda, and Bady Ganga. "”Man måste se snygg ut - hela tiden” : en kvalitativ studie av tonårstjejer och deras relation till kläder." Thesis, Södertörn University College, School of Sociology and Contemporary History, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-543.
Full textAbstract:
The purpose of this study was to investigate a group of teenage girls and their relation to clothes by using the theories about habitus and different types of capital by the French sociologist Pierre Bourdieu. We have used semiotics since we also wanted to know what clothes symbolized for our respondents. The questions were therefore:
1. How is a group of teenage girls who go to school in Stockholm city influenced by their habitus and symbolical capital in their attitude and relation to clothes?
2. What do the clothes symbolize for these girls?
We have interviewed four sixteen year old girls who all study at a high school in Stockholm city. Our conclusion is that each girls habitus and different assets of capitals have an influence on her attitude and relation to clothes. For our respondents the clothes symbolized status, economical capital and to look attractive to others.
Avsikten med denna uppsats var att undersöka en grupp tonårstjejer och deras relation till kläder utifrån den franske sociologen Pierre Bourdieus teorier om habitus och olika former av kapital. Vi har också använt oss utav semiotiken då vi även ville veta vad kläder symboliserar för våra respondenter. Våra frågeställningar blev därför:
1. Hur influeras en grupp tonårstjejer som går i skolan i Stockholm av sitt habitus och symboliska kapital när det gäller deras inställning och relation till kläder?
2. Vad symboliserar kläder för dessa tjejer?
För att besvara dessa frågor har vi intervjuat fyra sextonåriga tjejer som alla studerar vid ett gymnasium i Stockholms innerstad. Vår slutsats är att det habitus och olika tillgångar av kapital hos respektive tjej vi intervjuade påverkade hennes klädbruk. Kläderna symboliserade status, ekonomiskt kapital och att se attraktiv ut inför andra.
20
Elo, S. (Satu). "Teoria pohjoissuomalaisten kotona asuvien ikääntyneiden hyvinvointia tukevasta ympäristöstä." Doctoral thesis, University of Oulu, 2006. http://urn.fi/urn:isbn:9514281950.
Full textAbstract:
Abstract The aim of this study was to construct a theory of an environment supporting the well-being of the home-dwelling elderly from Northern Finland. The development process proceeded as follows: 1) description of elements of environment supporting the well-being of home-dwelling elderly aged over 65 years (physical, social and symbolical environment) and, using concept synthesis, construction of hypothetical models of a physical, social and symbolic environment supporting well-being, 2) development of an indicator to test the hypothetical models and 3) testing the hypothetical models. The analysed data (N = 39) of the first stage consisted of theme interviews with home-dwelling elderly persons. Hypothetical models of an environment supporting the well-being of home-dwelling elderly were constructed using inductive concept synthesis. In the second stage, the reliability of the indicator designed to test the hypothetical models was evaluated by a panel of experts consisting of 15 students of nursing science and three doctors of Health Sciences. The data (n = 96) used to test the reliability of the second indicator consisted of the results of a postal questionnaire to elderly over the age of 65 from Northern Finland. The questionnaire also included questions about answering the indicator aimed further development. The data were analysed by looking at descriptive statistics and correlation coefficients. The data (n = 328) of the final stage of the study comprised again home-dwelling elderly from Northern Finland. The data were analysed using explorative and confirmatory factor analyses to test the hypothetical models. In addition, the data were analysed using statistical methods. According to the theory, an environment supporting the well-being of home-dwelling elderly from Northern Finland is made up by its physical, social and symbolical attributes. The attributes defining a physical environment supporting well-being are a northern environment, an environment ensuring safety and a pleasant physical environment. A social environment supporting well-being is made up of the availability of assistance, contact with family members, friends supporting well-being and a pleasant living community. A symbolic environment supporting well-being comprises the idealistic attributes of well-being, spirituality, the normative attributes of well-being and historicalness. The information gained from the study can be used to broaden the knowledge base of gerontological nursing science and gerontological nursing in supporting the health and well-being of home-dwelling elderlyTiivistelmä Tämän tutkimuksen tarkoituksena oli rakentaa teoria kotona asuvien pohjoissuomalaisten ikääntyneiden hyvinvointia tukevasta ympäristöstä. Teorian kehittämisprosessi eteni seuraavasti: 1) kuvattiin kotona asuvien yli 65-vuotiaiden pohjoissuomalaisten ikääntyneiden hyvinvointia tukevan ympäristön osa-alueita (fyysinen, sosiaalinen ja symbolinen ympäristö) ja rakennettiin käsitesynteesin avulla hypoteettiset mallit hyvinvointia tukevista fyysisestä, sosiaalisesta ja symbolisesta ympäristöstä, 2) kehitettiin mittari hypoteettisten mallien testaamiseksi ja 3) testattiin hypoteettisia malleja. Ensimmäisen vaiheen analysoitavan aineiston (n = 39) muodostivat kotona asuvien yli 65-vuotiaiden ikääntyneiden teemahaastattelut. Induktiivisen käsitesynteesin avulla tuotettiin hypoteettiset mallit pohjoissuomalaisten ikääntyneiden hyvinvointia tukevasta ympäristöstä. Toisessa vaiheessa hypoteettisten mallien testaamiseksi kehitetyn mittarin luotettavuutta arvioi asiantuntijapaneelissa 15 hoitotieteen loppuvaiheen opiskelijaa sekä kolme terveystieteiden tohtoria. Toisen mittarin luotettavuuden testaamisessa käytetyn aineiston (n = 96) muodostivat pohjoissuomalaisten yli 65-vuotiaaiden ikääntyneiden postikyselyn vastaukset. Kyselylomake sisälsi myös mittariin vastaamista koskevia kysymyksiä sen edelleen kehittämiseksi. Aineisto analysoitiin tarkastelemalla tilastollisia tunnuslukuja ja korrelaatiokertoimia. Tutkimuksen viimeisen vaiheen aineisto (n = 328) muodostui niin ikään kotona asuvista pohjoissuomalaisista ikääntyneistä. Aineistolle tehtiin eksploratiiviset ja konfirmatoriset faktorianalyysit hypoteettisten mallien testaamiseksi. Lisäksi aineistoa analysoitiin tilastollisin menetelmin. Kehitetyn teorian mukaan pohjoissuomalaisten kotona asuvien ikääntyneiden hyvinvointia tukeva ympäristö rakentuu sen fyysisten, sosiaalisten ja symbolisten ominaisuuksien myötä. Hyvinvointia tukevaa fyysistä ympäristöä määrittävät pohjoinen ympäristö, turvallisen toiminnan mahdollistava ympäristö ja viihtyisä fyysinen ympäristö. Hyvinvointia tukeva sosiaalinen ympäristö rakentuu avun saamisesta, yhteydenpidosta omaisiin, ystävistä ja viihtyisästä asuinyhteisöstä. Hyvinvointia tukeva symbolinen ympäristö muodostuu hyvinvoinnin ideaalisista ominaisuuksista, hengellisyydestä, hyvinvoinnin normatiivisista ominaisuuksista ja historiallisuudesta. Tutkimuksessa tuotetulla tiedolla voidaan laajentaa gerontologisen hoitotieteen tietoperustaa tuettaessa kotona asuvien ikääntyneiden terveyttä ja hyvinvointia. Gerontologisessa hoitotyössä teoriaa voidaan käyttää eräänlaisena ajattelun tai päätöksenteon apuvälineenä jäsentämään ikääntyneiden hyvinvointia tukevaa ympäristöä
21
Gerhard, Jürgen. "Modular algorithms in symbolic summation and symbolic integration /." Berlin [u.a.] : Springer, 2004. http://www.loc.gov/catdir/toc/fy0801/2004115730.html.
Full text
22
Kudrnová, Gabriela. "Symbolika v reklamě." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-113529.
Full textAbstract:
The aim of my Diploma thesis is find out consumers' knowledge of symbols and their images of them and consequently affect the interpretation of trends in relation to the involvement of the symbol in print advertisement. I will use the research in the form of questionnaire and content analysis. The thesis is divided into two parts - theoretical and practical. In the theoretical part I describe cultural predisposition, symbols and marketing communications. In the practical part I concern with with the questionnaire and content analysis. Results from my research are that people know the symbols. The most mentioned symbol was animal. The consumers have also not problem with the meaning of the symbol. The content analysis of three types of magazines shows that most displayed symbol was figure. Recommendation for the creator of advertising is that less is sometimes more, which applies for symbols.
23
Drahošová, Michaela. "Symbolická regrese a koevoluce." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236994.
Full textAbstract:
Symbolic regression is the problem of identifying the mathematic description of a hidden system from experimental data. Symbolic regression is closely related to general machine learning. This work deals with symbolic regression and its solution based on the principle of genetic programming and coevolution. Genetic programming is the evolution based machine learning method, which automaticaly generates whole programs in the given programming language. Coevolution of fitness predictors is the optimalization method of the fitness modelling that reduces the fitness evaluation cost and frequency, while maintainig evolutionary progress. This work deals with concept and implementation of the solution of symbolic regression using coevolution of fitness predictors, and its comparison to a solution without coevolution. Experiments were performed using cartesian genetic programming.
24
Janků, Petr. "Knihovna pro binární rozhodovací diagramy." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-234977.
Full textAbstract:
Efficient manipulation of Boolean functions is an important component of many computer-aided design task. As a data structure for representing and manipulating Boolean functions, Binary Decision Diagrams are commonly used. These diagrams are commonly used in many fields such as model checking, system verification, circuit design, etc. In this thesis we describe these diagrams and there are present their modifications. Furthermore, this paper present and describes techniques for effective handling and representation of binary decision diagrams. This thesis describes the design and implementation of library that will work with these diagrams. It is further discussed how the developed library can be used within the library VATA for manipulating tree automata. Finally, the library was compared with well known and heavily optimized library CUDD, which is public and with library CacBDD. The experimental results showed that the performance of the proposed library is quite close to that of CUDD a CacBDD (has comparable and mostly even slightly better performance).
25
Bader, Sebastian. "Neural-Symbolic Integration." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-25468.
Full textAbstract:
In this thesis, we discuss different techniques to bridge the gap between two different approaches to artificial intelligence: the symbolic and the connectionist paradigm. Both approaches have quite contrasting advantages and disadvantages. Research in the area of neural-symbolic integration aims at bridging the gap between them.
Starting from a human readable logic program, we construct connectionist systems, which behave equivalently. Afterwards, those systems can be trained, and later the refined knowledge be extracted.
26
Redelinghuys, Gideon. "Symbolic string execution." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20335.
Full textAbstract:
Thesis (MSc)--Stellenbosch University, 2012.ENGLISH ABSTRACT: Symbolic execution is a well-established technique for automated test generation and for nding errors in complex code. Most of the focus has however been on programs that manipulate integers, booleans, and even, references in object-oriented programs. Recently researchers have started looking at programs that do lots of string processing, motivated, in part, by the popularity of the web and the risk that errors in web servers may lead to security violations. Attempts to extend symbolic execution to the domain of strings are mainly divided into one of two camps: automata-based approaches and approaches based on bitvector analysis. Here we investigate these two approaches in a uni ed setting, namely the symbolic execution framework of Java PathFinder. We describe the implementations of both approaches and then do an evaluation to show under what circumstances each approach performs well (or not so well). We also illustrate the usefulness of the symbolic execution of strings by nding errors in real-world examples.
AFRIKAANSE OPSOMMING: Simboliese uitvoering is 'n bekende tegniek vir automatiese genereering van toetse en om foute te vind in ingewikkelde bronkode. Die fokus sover was grotendeels op programme wat gebruik maak van heelgetalle, boolse waardes en selfs verwysings in objek geörienteerde programme. Navorsers het onlangs begin kyk na programme wat baie gebruik maak van string prosessering, deelteliks gemotiveerd deur die populariteit van die web en die gepaardgaande risiko's daarvan. Vorige implementasies van simboliese string uitvoering word binne twee kampe verdeel: die automata gebaseerde benadering en bitvektoor gebaseerde benadering. Binne hierdie tesis word die twee benaderings onder een dak gebring, naamliks Java PathFinder. Die implentasie van beide benaderings word bespreek en ge-evalueer om die omstandighede uit te wys waarbinne elk beter sou vaar. Die nut van simboliese string uitvoering word geïllustreer deur dit toe te pas in foutiewe regte wêreld voorbeelde.
27
Varallo, Patrick Americo. "Abstract symbolic relationships /." Online version of thesis, 1993. http://hdl.handle.net/1850/11758.
Full text
28
Kaye, Joseph Nathaniel 1977. "Symbolic olfactory display." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/16788.
Full textAbstract:
Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2001.Includes bibliographical references (p. 123-143).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
This thesis explores the problems and possibilities of computer-controlled scent output. I begin with a thorough literature review of how we smell and how scents are categorized. I look at applications of aroma through the ages, with particular emphasis on the role of scent in information display in a variety of media. I then present and discuss several projects I have built to explore the use of computer-controlled olfactory display, and some pilot studies of issues related to such display. I quantify human physical limitations on olfactory input, and conclude that olfactory display must rely on differences between smells, and not differences in intensity of the same smell. I propose a theoretical framework for scent in human-computer interactions, and develop concepts of olfactory icons and 'smicons'. I further conclude that scent is better suited for display slowly changing, continuous information than discrete events. I conclude with my predictions for the prospects of symbolic, computer-controlled, olfactory display.
by Joseph Nathaniel Kaye.
S.M.
29
Courtois, Anne-Claire. "Les femmes chefs de ménage à Bujumbura : marginalité, violences et résilience." Thesis, Pau, 2016. http://www.theses.fr/2016PAUU1023/document.
Full textAbstract:
La structure classique d’un ménage burundais demeure fondée sur la présence d’un chef de ménage masculin : un mari, un frère plus âgé, un fils. Quand cette structure s’effondre, se disloque, suite à la mort, le divorce ou l’abandon du chef de ménage, les femmes accèdent à un statut que cette société patriarcale et patrilinéaire leur refuse. Envisagés comme des formes déviantes et marginales malgré leur importance dans le pays et sa capitale, estimée entre 20% et 25% selon les enquêtes, les ménages dirigés par les femmes sont à la fois la conséquence des cycles de violence qui ont marqué le pays depuis la décolonisation, mais témoignent également d’une modification structurelle profonde de la société. Les femmes chefs de ménage sont fréquemment la cible de représentations particulièrement défavorables. Dans un contexte social et historique de « paix militarisée », ces ménages sont perçus comme affaiblis par l’absence d’un homme, et donc perçus comme vulnérables et facilement attaquables, moralement et physiquement. Considérés comme une menace à l’équilibre individuel, familial et collectif, ils sont souvent associés à une précarité et à une vulnérabilité qui les rendent plus sensibles à ces manifestations de rejet de la société, qui s’expriment à la fois à travers des violences physiques et symboliques. Au delà du cas des femmes chefs de ménage, la crise sociopolitique et démographique accentue une crispation dans l'espace privée et public, révélant une certaine crise de la masculinité. Cependant, des voies de sortie sont expérimentées par les femmes, et des formes de résilience s’observent à la fois dans les stratégies de survie économique, dans le paysage matrimonial et familial comme dans le domaine de l’éducationThe usual structure of a burundian household is based on a male authority : a husband, an older brother, even a son. When this classical structure collapses, following the death, divorce or desertion of the male head of household, women enter a new status, which the patriarcal and patrilinear society doesn’t accept.Considered as deviant and marginal despise their importance in the country and its capital (20% to 25%, depending on the sources), female headed households are both a consequence of cycles of violence since the Decolonization, but also demonstrate a deep change in social structures. Women heads of households are frequently the target of unfavorable representations. In a hitorical and social context of « militarized peace », these households are considered vulnerable, morally and physically. Seen as a threat to individual, familial and social balance, their are associated to a vulnerability and a permissivity which authorize both symbolical and physical violences. Beyond female headed households, sociopolitical and demographical crisis emphasizes a social tension in private and public spaces, revealing a certain crisis of masculinity. However, forms of resilience can be observed by women heads oh households, in different areas : in livelihood strategies, matrimonial and familial field, and also in their children’s education
30
Uwimbabazi, Aline. "Extended probabilistic symbolic execution." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85804.
Full textAbstract:
Thesis (MSc)--Stellenbosch University, 2013.ENGLISH ABSTRACT: Probabilistic symbolic execution is a new approach that extends the normal symbolic execution with probability calculations. This approach combines symbolic execution and model counting to estimate the number of input values that would satisfy a given path condition, and thus is able to calculate the execution probability of a path. The focus has been on programs that manipulate primitive types such as linear integer arithmetic in object-oriented programming languages such as Java. In this thesis, we extend probabilistic symbolic execution to handle data structures, thus allowing support for reference types. Two techniques are proposed to calculate the probability of an execution when the programs have structures as inputs: an approximate approach that assumes probabilities for certain choices stay fixed during the execution and an accurate technique based on counting valid structures. We evaluate these approaches on an example of a Binary Search Tree and compare it to the classic approach which only take symbolic values as input.
AFRIKAANSE OPSOMMING: Probabilistiese simboliese uitvoering is ’n nuwe benadering wat die normale simboliese uitvoering uitbrei deur waarksynlikheidsberekeninge by te voeg. Hierdie benadering kombineer simboliese uitvoering en modeltellings om die aantal invoerwaardes wat ’n gegewe padvoorwaarde sal bevredig, te beraam en is dus in staat om die uitvoeringswaarskynlikheid van ’n pad te bereken. Tot dus vêr was die fokus op programme wat primitiewe datatipes manipuleer, byvoorbeeld lineêre heelgetalrekenkunde in objek-geörienteerde tale soos Java. In hierdie tesis brei ons probabilistiese simboliese uitvoering uit om datastrukture, en dus verwysingstipes, te dek. Twee tegnieke word voorgestel om die uitvoeringswaarskynlikheid van ’n program met datastrukture as invoer te bereken. Eerstens is daar die benaderingstegniek wat aanneem dat waarskynlikhede vir sekere keuses onveranderd sal bly tydens die uitvoering van die program. Tweedens is daar die akkurate tegniek wat gebaseer is op die telling van geldige datastrukture. Ons evalueer hierdie benaderings op ’n voorbeeld van ’n binêre soekboom en vergelyk dit met die klassieke tegniek wat slegs simboliese waardes as invoer neem.
31
Servoss, Thomas G. "Infrared symbolic scene comparator /." Online version of thesis, 1993. http://hdl.handle.net/1850/11725.
Full text
32
King, Andrew. "Distributed parallel symbolic execution." Thesis, Manhattan, Kan. : Kansas State University, 2009. http://hdl.handle.net/2097/1643.
Full text
33
Stiegler, Andreas. "Symbolic reasoning in games." Thesis, University of the West of Scotland, 2017. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.739393.
Full text
34
Vochta, Miroslav. "Brno Komárov Město ve městě, prostorová a symbolická kostra Komárova." Master's thesis, Vysoké učení technické v Brně. Fakulta architektury, 2019. http://www.nusl.cz/ntk/nusl-400648.
Full textAbstract:
Komárov is partially isolated city part with fragmented formally colourful structure and also a picture and character with high percentage of empty or degraded areas. Continuity on logistic knot, good transportation connection, planned and implemented squeeze out of major road and with that connected easing of current street net require new city planning of the whole area and therefore allows subsequent transformation of the area by way of overwritingand individualized intervention. This final thesis will be focused on examples of solving the substance of the city, by method of approaches and on stressing out the skeleton of public space with allocation of objects with symbolic structure. Content of this thesis City planning study of the area Komárov centre, stressing out of the symbolic skeleton and structure and the skeleton of public space with addition of related objects Architecture proposal of objects complementary to a structure and picture of area Program of new interventions and conversions of existing and preserved objects
35
Kittel, W. Armin. "A symbolic representation for signals." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/15820.
Full text
36
Sadeghi, Mohammad Mehdi 1959. "SYMBOLIC MANIPULATION IN REACTOR PHYSICS." Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/275520.
Full text
37
Rocha, André Cavalcanti. "Symbolic dynamics for Kleinian groups." Thesis, University of Warwick, 1994. http://wrap.warwick.ac.uk/66721/.
Full textAbstract:
This thesis is composed of three independent chapters and an appendix. In the first two chapters we deal with Kleinian groups and in the third one we concentrate on Fuchsian groups. In chapters 1 and 2, we study the action of a Kleinian group on points in hyperbolic space of three dimensions and on points on its boundary. All Kleinian groups we study have the property that their action on points in the hyperbolic 3-space has a fundamental polyhedron with the property that the union of the images of its faces under the group elements contains each geodesic plane that contains one of the faces. This is the so called even corners property. Using this property we prove in Chapter one the existence of an expanding Markov type mapping on the Riemann sphere. The main application is to give a shorter proof that the Selberg zeta function associated to the Kleinian group has a meromorphic extension to C. In chapter two, we assume the existence of a Kleinian group with the even corner property and define its deformation space. We then prove that the Hausdorff dimension of the limit set of groups in the deformation space varies real analytically as we vary the points in the deformation space. We prove that Klein's combination Theorem quasi-preserves the even corners property in the sense that, if a group r is formed by other two via Klein's theorem and these last two are quasi-conformal deformations of groups with the even corners property, then r is a deformation of a Kleinian group with the even corners property. In particular, the result about the Hausdorff dimension is valid for all geometrically finite purely loxodromic function groups. In chapter three we construct an automatic structure for parabolic free Fuchsian groups based on the symbolic coding of points in their limit sets. We then provide a proof, based on their symbolic dynamics, that these groups are automatic. We explicitly determine an automatic structure for the groups.
38
Hom, Michael. "Symbolic Execution Over Native X86." Thesis, Monterey, California. Naval Postgraduate School, 2012. http://hdl.handle.net/10945/7360.
Full textAbstract:
Current approaches to program analysis largely rely on the use of an intermediate language to derive intermediate representations of source code or binaries under evaluation. This can simplify semantics when dealing with a complex instruction set such as the Intel Industry Standard Architecture (ISA) instruction set. However, a question that remains is whether these intermediate languages truly retain semantic fidelity or whether elements of the ISA instruction set get lost in translation. This thesis describes a framework that is being developed at NPS that accomplishes symbolic execution without the use of an intermediate language and symbolically executes ELF and WinPE binary programs over the native x86 ISA instruction set, and specifically discusses an approach to describing state mathematically using a formal algebra.
39
Coupe, Henry David James. "Non-symbolic fragmentation cryptographic algorithms." Thesis, University of Nottingham, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423658.
Full text
40
Martin, Richard George. "Instance-based symbolic pattern association." Thesis, University of Ulster, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.388880.
Full text
41
Wilhelmij, Gerrit Paul. "Symbolic simulation of dynamic systems." Thesis, University of Cambridge, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305630.
Full text
42
PEREIRA, PAULO ROBERTO ROSA. "SYMBOLIC ANALYSIS OF LINEAR TIME." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1995. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8713@1.
Full textAbstract:
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIORNeste trabalho desenvolveu-se um método para análise simbólica de redes analógicas lineares, invariantes no tempo, incluindo fontes controladas, transformadores e giradores. O algoritmo determina funções de transferência em forma simbólica analisando um modelo de grafo de fluxo de sinal (GFS) da rede. Este procedimento é baseado em método de análise de filtros digitais, anteriormente desenvolvido, enfatizando a geração de um modelo apropriado de GFS do circuito. O modelo de GFS adotado é gerado a partir de uma descrição pro equações de estado da rede. O método foi implementado, apresentando, em alguns casos, eficiência comparável à dos processos numéricos. São apresentados resultados de testes para redes típicas.
In this paper a method for symbolic analysis of linear time invariant circuits, including controled sources, transformers and gyrators, is presented. The procedure determines transfer functions in symbolic form by analysing a signal flow graph (SFG) model of network. The approach is based on a previews digital filter symbolic analysis method, emphasizing the generation of an appropriate circuit SFG model. The SFG model results from a graph approach to the state space description of the network. The method was implemented with performance comparable or even faster than numerical methods. The tests results for some typical strutures are presented.
43
Kamahele-Sanfratello, Ciara L. (Ciara Lei). "Symbolic planning in belief space." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100604.
Full textAbstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (page 32).
SASY (Scalable and Adjustable SYmbolic) Planner is a flexible symbolic planner which searches for a satisfying plan to a partially observable Markov decision process, or a POMDP, while benefiting from advantages of classical symbolic planning such as compact belief state expression, domain-independent heuristics, and structural simplicity. Belief space symbolic formalism, an extension of classical symbolic formalism, can be used to transform probabilistic problems into a discretized and deterministic representation such that domain-independent heuristics originally created for classical symbolic planning systems can be applied to them. SASY is optimized to solve POMDPs encoded in belief space symbolic formalism, but can also be used to find a solution to general symbolic planning problems. We compare SASY to two other POMDP solvers, SARSOP and POMDPX_NUS, and define a new benchmark domain called Elevator.
by Ciara L. Kamahele-Sanfratello.
M. Eng.
44
Thompson, Julie Lorraine. "Ibsen's stagecraft: the symbolic setting." Scholarly Commons, 1986. https://scholarlycommons.pacific.edu/uop_etds/2119.
Full textAbstract:
Henrik Ibsen's critics have long acknowledged his mastery of the stage, that is, his use of the physical and off-stage settings, architectural details, props, and space as symbol. However, study of Ibsen's symbolic settings has been limited to one play or to aspects of his stagecraft in general terms. Peter Tenant's Ibsen's Dramatic Technique discusses the settings and stage directions of his major plays as they relate to plot and theme. In Patterns of Ibsen's Middle Plays, Richard Hornby studies the settings and scenic background only for An Enemy of the People. Edward Beyer in Ibsen's The Man And His Work focuses on the plays' symbols as they relate to theme. Finally, David Thomas presents an excellent study of stage space in The Lady From the Sea. These authors and others have touched upon the genius of Ibsen's stagecraft. More can and should be said because understanding Ibsen's symbolic settings will lead to a deeper reading and appreciation of his plays.
Ibsen's use of the symbolic setting provides focus and unity to the plays that were written between 1882 and 1892. His settings become a projection of his major themes and the characters• souls or psyches. Areas on and off the stage, props, furniture, and architectural details may be a stage projection of the protagonist's mind, intention, motivation, or suppression. Since the essential nature of drama is conflict, Ibsen often uses his settings as symbols of conflict. Varied settings, architectural details, placement of the furniture, and the characters• positions and movement on the stage provide a visual symbolism for his themes in An Enemy of the People, Rosmersholm, Lady From The Sea, Hedda Gabler, and The Master Builder.
Ibsen's settings often caused a great deal of trouble to stage because they were complicated. Indoor settings were his effort to create a realistic illusion, while his later abandonment of indoor settings coincided with his reversion to romantic symbolism, according to Tenant (67). With The Lady From The Sea in 1888, his plays expanded to the open air. Three plays, Rosmersholm, The Lady From the Sea, and The Master Builder, begin in an enclosed setting that gradually and symbolically takes the protagonist to the outdoors and freedom. However, in The Enemy of the People, Ibsen uses enclosed settings that are mirror images of one another, thus symbolizing the pattern of thematic contrasts. Only Hedda Gabler takes place in one enclosed set, which becomes a symbolic entrapment for Hedda. In these latter two plays and The Master Builder, Ibsen enlarged his stage with the help of an inner room or a back room that functioned not only as a way to place his characters and therefore complicate the plot, but also to project his themes and his characters' psychological states. In addition, he uses off-stage settings not only to symbolize further the conflicts within his characters, but also to enhance his themes.
45
Cella, Carmine Emanuele <1976>. "On symbolic representations of music." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/4180/.
Full text
46
Sjölén, Johan. "Relational Symbolic Execution in WebAssembly." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-282429.
Full textAbstract:
WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. Our work is based in the approach of using formal verification in order to prove that for a program one or more security properties hold. In this thesis we have explored the usage of relational symbolic execution in order to perform formal verification of security properties for WebAssembly programs. We described a formal semantics of relational symbolic execution for WebAssembly, implemented it in the Redex framework, extended the implementation for verification of constant-time security, and used the implementation to formally verify multiple sample programs including Salsa20. Our work shows that relational verification of standard security properties such as non-interference and constant-time security by using relational symbolic execution for WebAssembly is a viable approach.WebAssembly är ett nytt lågnivåspråk vilket fungerar som kompileringsmål och körs i webbläsare. Allt eftersom att mer programkod körs på klientsidan av webbprogram har säkerheten av dessa program blivit viktigare. Vårt arbete nyttjar formella verifikationsmetoder för att bevisa att ett program uppfyller en eller flera säkerhetsegenskaper. Mer specifikt har vi i detta examensarbete utforskat användandet av relationssymbolisk exekvering i syfte att utföra formell verifiering av säkerhetsegenskaper för WebAssemblyprogram. Vi har beskrivit en formell semantik för relationssymbolisk exekvering för WebAssembly, implementerat det i Redexramverket, utökat implementationen för verifiering av konstanttidssäkerhet samt använt implementationen för att formellt verifiera flera urval av program, inkluderande Salsa20. Vårt arbete visar att relationell verifiering av standardsäkerhetsegenskaper såsom icke-interferens samt konstanttidssäkerhet är genomförbart via relationssymbolisk exekvering för WebAssembly.
47
Yoo, Sirah. "Ineffable: Latency in Symbolic Languages." VCU Scholars Compass, 2017. http://scholarscompass.vcu.edu/etd/4814.
Full textAbstract:
The design process demands comprehensive knowledge of visual signs and symbols with a focus on visual literacy; it is related to visual syntax, semantics, and the pragmatics of contexts. My work is an interdisciplinary investigation into how designers integrate polysemantic signs into their design process for particular and highly individualized audiences. By analyzing the role of signs in specific contexts across the spectrum of arts, society, literature, and semiotics, a designer's understanding of the cyclical nature of interpretation and reinterpretation in complex environments creates an avenue for cultivating a new schema that provides further levels of interpretations and different access points. By removing elements from their original context, and fusing these elements into new narratives, we implement new meanings and emphasize the value of interpretation.
48
Ashkar, Pierre. "Symbolic execution of LOTOS specifications." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/6679.
Full textAbstract:
LOTOS (Language Of Temporal Ordering Specification) is a Formal description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open System Interconnection) services and protocols. This thesis presents a method of translating a LOTOS specification written in any given style into either of two simpler forms, known as the Monolithic Style Specification and the Parameterized Tree. A method of applying LOTOS expansion theorems to derive an intermediary form, known as the Behaviour Tree, is described first. A Reduction Algorithm, based on a subset of congruence rules, has been developed to provide a means to eliminate superfluous internal events and branches in the Behaviour Tree prior to conversion to either of the two simpler forms. Methods of transforming the reduced Behaviour Tree to either the Monolithic Style Specification ar Parameterized Tree have been developed. A tool has been developed to demonstrate these concepts. To show the application of this tool, we discuss a method for obtaining test cases from a Monolithic Style Specification. Finally, a method to translate such test cases into TTCN form has been outlined.
49
Kotoun, Michal. "Symbolické automaty v analýze programů s řetězci." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-433553.
Full textAbstract:
Mnoho aplikací přijímá, odesílá a zpracovává data v textové podobě. Správné a bezpečné zpracování těchto dat je typicky zajištěno tzv. ošetřením řetězců (string sanitization). Pomocí metod formální verifikace je možné analyzovat takovéto operace s řetězci a prověřit, zda jsou správně navržené či implementované. Naším cílem je vytvořit obecný nástroj pro analýzu systémů jejichž konfigurace lze kódovat pomocí slov z vhodné abecedy, a také jeho specializaci pro analýzu programů pracujících s řetězci. Nejprve jsou popsaný konečné automaty a převodníky a poté různé třídy a podtřídy symbolických převodníků, zejména pak jejich omezení. Na základě těchto informací je pak pro použití v analýze programů navržen nový typ symbolických převodníků. Dále je popsán regulární model checking, speciálně pak jeho variantu založenou na abstrakci automatů, tzv. ARMC, u kterého je známo že dokáže velmi úspěšně překonat problém stavové exploze u automatů a umožňuje nám tzv. dosáhnout pevného bodu v analýze. Poté je navržena vlastní analýza programů psaných v imperativním paradigmatu, a to zejména programů manipulujících s řetězci, založená na principech ARMC. Následuje popis vlastní implementace nástroje s důrazem na jeho praktické vlastnosti. Rovněž jsou popsaný důležité části knihovny AutomataDotNet, na které nástroj staví. Práci je uzavřena diskuzí experimentů s nástrojem provedených na příkladech z knihovny LibStranger.
50
Hulva, Jiří. "Koevoluční algoritmus pro úlohy založené na testu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-236019.
Full textAbstract:
This thesis deals with the usage of coevolution in the task of symbolic regression. Symbolic regression is used for obtaining mathematical formula which approximates the measured data. It can be executed by genetic programming - a method from the category of evolutionary algorithms that is inspired by natural evolutionary processes. Coevolution works with multiple evolutionary processes that are running simultaneously and influencing each other. This work deals with the design and implementation of the application which performs symbolic regression using coevolution on test-based problems. The test set was generated by a new method, which allows to adjust its size dynamically. Functionality of the application was verified on a set of five test tasks. The results were compared with a coevolution algorithm with a fixed-sized test set. In three cases the new method needed lesser number of generations to find a solution of a desired quality, however, in most cases more data-point evaluations were required.