Spelling suggestions: "subject:"trivialization""
11 |
Le patrimoine métamorphe : circulation et médiation du patrimoine urbain dans les villes et pays d'art et d'histoire / The metamorphic heritage : dissemination and mediation of urban heritage in french towns and lands of art and historyNavarro, Nicolas 12 November 2015 (has links)
Cette recherche se donne pour objectif de questionner la circulation du patrimoine au cœur de l’espace social dans un contexte de développement des politiques locales du patrimoine. Le label Villes et pays d’art et d’histoire conçu il y a trente ans par le ministère de la Culture et de la Communication fait office d’analyseur ; la ville d’Annecy de terrain emblématique. Une poétique du patrimoine urbain est mise au jour, dépassant la forme traditionnelle du centre historique pour révéler trois régimes d’opérativité symbolique : l’unicum, le typicum et le totum. Chacun et ensemble, ils fabriquent la dimension patrimoniale de la ville : le premier mobilise le monument historique, le deuxième le centre historique, le troisième la ville patrimoniale. L’analyse de la circulation du patrimoine est ensuite mesurée comme polychrésique à partir des discours produits sur le patrimoine par des acteurs locaux considérés dans toutes leurs diversités (associations, secteurs touristique, culturel, patrimonial). Elle montre que le patrimoine constitue, pour chacun, l’argument d’un discours d’accompagnement spécifique justifiant leur place dans le réseau local : chaque acteur se caractérise par la mobilisation de différentes facettes du patrimoine pour légitimer son activité. L’interrogation des médiations prend pour point de départ l’objet patrimonial. Elle se concentre sur des stratégies communicationnelles distinctes : les centres d’interprétation de l’architecture et du patrimoine construisent le discours en l’absence d’objet patrimonial et l’espace urbain est mis en exposition à partir des objets patrimoniaux in situ. Leur analyse combinée révèle deux régimes de patrimonialisation : au régime de la trace qui convoque une relation indicielle de l’objet avec son monde d’origine s’adjoint un régime de la ressemblance exprimant une relation iconique. À un second niveau, une circulation de la figure de l’objet de musée apparaît, tant dans l’espace d’exposition par le développement d’une méta-communication, qu’en dehors de celui-ci à travers la mobilisation des caractéristiques habituelles de cette figure. Ces résultats nous permettent d’établir une dimension métamorphique du patrimoine apparaissant tant dans les parts polychrésiques de l’objet que par ses transformations successives au sein des médiations. / This thesis questions how the idea of heritage disseminates among the social space in a context of increasing heritage policies, with a focus on the policy of “Villes et pays d’art et d’histoire” and the city of Annecy (France). The preliminary analysis of urban heritage goes beyond the traditional form of the historic district and reveals three forms (unicum, typicum, totum). Each one of them uses different operators to build the heritage of the city: historical monument for the first, historic district for the second and the whole city as heritage for the third. The analysis of this dissemination reveals a “polychresic” heritage through the study of multiple local actors’ discourses (associations, touristic business, cultural and heritage fields, etc.). These discourses about heritage allow each group of actors to insure itself a significant spot in the local network. Each actor distinguishes himself from the others by using its own perception of heritage to improve and secure its activity. The last part of the thesis interrogates two communicational strategies about cultural heritage focusing on the role of objects. On one hand the interpretation centres for architecture and heritage set up a discourse about local heritage and urban space through a documentary exhibition but without object. On another hand, objects (such as monuments) are parts of an in situ exhibition. From the combined analysis of these strategies results two processes of “heritagisation”: object as a relic (index) connecting its present days to its original age, and resemblance as a visual connection (icon). The features of an exhibit finally disseminate in the exhibition venue by initiating a meta-communication and by transferring its characteristics to heritage objects in the urban space. These results allow us to notice a metamorphic dimension of heritage in the various ways it is seen, transformed and featured.
|
12 |
Andarilho impulso e trivialidade / Wanderer: impulse and trivialityFrancini Barros Pontes 13 February 2007 (has links)
A dissertação é o resultado do entrecruzamento de três categorias artísticas: dança, artes plásticas e literatura. Ela tem início através do embate com a performance Outdoor Piece, do artista plástico Tehching Hsieh, feita idealizável quando comparada à questão do movimento bem como a outros artistas e obras literárias. Sempre a partir da proposta feita ao movimento impulso a pesquisa propõe a aceitação do ceticismo em relação à abrangência da linguagem artística, declinando o declínio do conceito Dança. O impulso é pensado como palavra de movimento, transitória e trivial, que recepciona as imagens do mundo. Enquanto ação andarilha, propõe o estado de trânsito como argumento para a arte e sua história. Através da vivência de seu experimento a arte encontra a condição anacrônica, revelando a tolerância da artisticidade para com as imagens do mundo e com a própria história da arte; o impulso apresenta o ordinário como condição artística. / The dissertation is the result of the intersection between three different artistic categories: dance, visual arts and literature. It originates from the confrontation with the performance Outdoor Piece, by the visual artist Tehching Hsieh, which was made ideal when compared to the movement issues as well as to other artists and artworks. Always stemming from the proposal of movement as impulse, the research sustains the argument of skepticism in relation to the art languages as a possibility of the survival of Dance as a concept. The impulse can be thought of as a trivial and transitory word movement used to translate the images of the world. The wanderer attitude is the argument presented to art and art history when they can reveal themselves more tolerant to the world and historical images and more anachronous. The impulse presents the ordinary as an art condition.
|
13 |
Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)Barrero Guzmán, Tomás Andrés 17 August 2018 (has links)
Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T07:04:57Z (GMT). No. of bitstreams: 1
BarreroGuzman_TomasAndres_M.pdf: 584062 bytes, checksum: b969cc9456140851ae30720d7d2f5d09 (MD5)
Previous issue date: 2004 / Resumo: O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por Leon Henkin. Investigam-se as razoes pelas quais este metodo nao pode ser estendido para fragmentos nao-classicos que conseguem evitar a ocorrencia da objeção de Haskel Curry como, por exemplo, os das logicas n-valentes de Jan Lukasiewicz e os (por nos denominados) intuicionistas de Wilhelm Ackermann, quer pelas características da implicação, quer pela presença de um tipo de argumento infinito. O estudo conjunto do metodo de Henkin e do fenomeno da trivialidade positiva permite estabelecer um processo de decidibilidade da logica positiva classica através de um sistema de tablos que utiliza somente recursos metalinguísticos positivos, e propor uma rediscussão a respeito do papel da negação em logica atraves do conceito de paratrivialidade. Nesse contexto discutimos, do ponto de vista conceitual, a relação da logica positiva com o infinito, as possibilidades de se obter uma logica de primeira ordem completa sem negação e o vinculo filosofico entre verdade e significado / Abstract: This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive completeness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive method to on-classical fragments equipped with weaker implications (that avoid Curry?s objection). This is the case, for example, of Jan Lukasiewicz?s n-valued logics and Wilhelm Ackermann?s logic of restricted implication. Besides such problems, both Henkin?s method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to motivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a first-order positive logic as well as the philosophical connection between truth and meaning are discussed from a conceptual point of view / Mestrado / Mestre em Filosofia
|
14 |
Topologia e singularidades das superfícies regradas em \' R POT.3\" / Singularity and topology of ruled surface in \'R POT.3\'Rodrigo Martins 26 March 2007 (has links)
Neste trabalho estudamos a topologia local, trivialidade topolóogica e as singularidades de superfícies regradas em \'R POT.3\'. O objetivo do trabalho é comparar as singularidades que ocorrem no conjunto das superfícies regradas com as singularidades de germes de aplicações de \'R POT.2\' em \'R POT.3\', fazer a classificação topológica local e estudar a trivialidade topológica de famílias de superfícies regradas. Finalmente, discutimos possíveis generalizações de superfícies regradas para altas dimensões / We study the local topology, topological triviality and singularities of ruled surfaces in \'R POT.3\'. In this work we compare the singularities of germs from \'R POT.2\' to \'R POT.3\' with the singularities appearing in the set of ruled surfaces, doing a local topology classification of the ruled surface and study the topological triviality of families of ruled surfaces. Finally we will try to give possible generalizations of ruled surfaces for higher dimensions.
|
15 |
Superfícies com singularidades não isoladas / Surfaces with non-isolated singularitiesSilva, Otoniel Nogueira da 20 March 2017 (has links)
Neste trabalho, estudamos famílias de curvas genericamente reduzidas. Estendemos para o caso genericamente reduzido alguns resultados conhecidos para famílias de curvas reduzidas como a equivalência entre a Whitney equisingularidade e a resolução simultânea forte da família e a equivalência entre a Whitney equisingularidade e a constância do número de Milnor e da multiplicidade de cada curva Xt da família. Estudamos também a equisingularidade topológica e a Whitney equisingularidade de famílias de superfícies em C3 parametrizadas por germes de aplicações A-finitamente determinados. Em ([51]), Ruas apresentou uma conjectura cujo enunciado diz que se f : (C2, 0) r→ (C3, 0) é um germe de aplicação finitamente determinado, então um desdobramento F a 1-parâmetro de f é topologicamente trivial se, e somente se F é Whitney equisingular se, e somente se o número de Milnor μ(D(ft)) de D(ft) é constante, onde D(ft) é a curva de pontos duplos de ft. Apresentamos contra-exemplos que mostram como esta conjectura pode falhar. Mostramos também uma classe de famílias de germes aplicações ft : (C2, 0) → (C3, 0) em que a conjectura é verdadeira. No caso em que f é homogênea e de coposto 1, mostramos também algumas fórmulas para a multiplicidade da imagem da curva de pontos duplos f(D(f)), o número de Milnor da seção transversal μ1(f(C2)) e o invariante J(f) em termos dos graus de f. Em [44], Nuño-Ballesteros e Jorge Pérez apresentam alguns resultados sobre germes de aplicações f : (Cn, 0) → (C2n-1, 0) com n ≥ 3. Quando f é finitamente determinado, a curva dos pontos duplos D(f) de f tem uma estrutura de curva genericamente reduzida. Apresentamos uma outra forma de abordar alguns problemas descritos em [44] usando resultados sobre curvas genericamente reduzidas. / In this work, we study families of generically reduced curves. We extend to the generically reduced case some results known for families of reduced curves as the equivalence between Whitney equisingularity and strong simultaneous resolution of the family and the equivalence between Whitney equisingularity and the constancy of the Milnor number and the multiplicity of each curve Xt of the family. We also study the topological triviality and the Whitney equisingularity of families of surfaces in C3 parametrized by A-finitely determined map germs. In [51], Ruas presented a conjecture whose statement says that if f : (C2, 0) → (C3, 0) is a finitely determined map germ, then an 1-parameter unfolding F = (ft, t) of f is topological trivial if and only if it is Whitney equisingular if and only if the Milnor number μ(D(ft)) is constant, where D(ft) is the double point curve of ft. We present counter-examples that show how the conjecture can fail. We also show a class of families of map germs ft : (C2, 0) → (C3, 0) in which the conjecture is true. We also give formulas for the multiplicity of the image of the double point curve f(D(f)), the Milnor number of the transversal generic section μ 1f(C2)) and the invariant J(f) in terms of degrees of f in the case in which f is homogeneous and has corank 1. In [44], Nuño-Ballesteros and Jorge Pérez give some results in the case of families of map germs f : (Cn, 0) → (C2n-1, 0) with n ≥ 3. When f is finitely determined, the double point. curve D(f) of f is a generically reduced curve. We present another way of approaching some problems in [44] using results on generically reduced curves.
|
16 |
Expansions géométriques et ampleur / Geometric expansions and amplenessCarmona, Juan Felipe 10 June 2015 (has links)
Le résultat principal de cette thèse est l'étude de l'ampleur dans des expansions des structures géométriques et de SU-rang oméga par un prédicat dense/codense indépendant. De plus, nous étudions le rapport entre l'ampleur et l'équationalite, donnant une preuve directe de l'équationalite de certaines théories CM-triviales. Enfin, nous considérons la topologie indiscernable et son lien avec l'équationalite et calculons la complexité indiscernable du pseudoplan libre / The main result of this thesis is the study of how ampleness grows in geometric and SU-rank omega structures when adding a new independent dense/codense subset. In another direction, we explore relations of ampleness with equational theories; there, we give a direct proof of the equationality of certain CM-trivial theories. Finally, we study indiscernible closed sets—which are closely related with equations—and measure their complexity in the free pseudoplane
|
17 |
Abortable and Query-abortable Types and Their Efficient ImplementationHorn, Stephanie Lorraine 24 September 2009 (has links)
We introduce abortable and query-abortable object types intended for implementation in asynchronous shared-memory systems with low contention. Implementations of such types behave like ordinary objects when accessed sequentially, but may abort operations when accessed concurrently. An aborted operation may or may not take effect, i.e., cause a state transition, and it returns no indication of which possibility occurred. Since this uncertainty can be problematic, a query-abortable type supports a QUERY operation that each process can use to determine its last non-QUERY operation on the object that caused a state transition, and the response associated with this state transition.
Our research is closely related to obstruction-free implementations (introduced by Herlihy, Luchangco and Moir) and responsive obstruction-free implementations (introduced by Attiya, Guerraoui and Kouznetsov). Like abortable and query-abortable types, these implementations may exhibit degraded behaviour in the face of contention. We show that abortable registers--registers strictly weaker than safe registers--can be used to obtain obstruction-free and responsive obstruction-free implementations for any type.
We present universal constructions for abortable and query-abortable types that are novel and efficient in the number of registers used. Specifically, they are based on a simple timestamping mechanism for detecting concurrent executions, and, in systems with n processes, use only n abortable registers or only O(n^2) single-reader, single-writer abortable registers. The timestamping mechanism we introduce is based on the inc&read counter type and appears to be interesting in its own right. As a generalization, we study the k-inc&read counter types, for k>0.
We also identify a potential problem with correctness properties based on step contention: with such properties, the composition of correct object implementations may result in an implementation that is not correct. In other words, implementations defined in terms of step contention are not always composable. To avoid this problem, we introduce a property based on interval contention, namely non-triviality, to define the correct behaviour of abortable and query-abortable object implementations.
|
18 |
Abortable and Query-abortable Types and Their Efficient ImplementationHorn, Stephanie Lorraine 24 September 2009 (has links)
We introduce abortable and query-abortable object types intended for implementation in asynchronous shared-memory systems with low contention. Implementations of such types behave like ordinary objects when accessed sequentially, but may abort operations when accessed concurrently. An aborted operation may or may not take effect, i.e., cause a state transition, and it returns no indication of which possibility occurred. Since this uncertainty can be problematic, a query-abortable type supports a QUERY operation that each process can use to determine its last non-QUERY operation on the object that caused a state transition, and the response associated with this state transition.
Our research is closely related to obstruction-free implementations (introduced by Herlihy, Luchangco and Moir) and responsive obstruction-free implementations (introduced by Attiya, Guerraoui and Kouznetsov). Like abortable and query-abortable types, these implementations may exhibit degraded behaviour in the face of contention. We show that abortable registers--registers strictly weaker than safe registers--can be used to obtain obstruction-free and responsive obstruction-free implementations for any type.
We present universal constructions for abortable and query-abortable types that are novel and efficient in the number of registers used. Specifically, they are based on a simple timestamping mechanism for detecting concurrent executions, and, in systems with n processes, use only n abortable registers or only O(n^2) single-reader, single-writer abortable registers. The timestamping mechanism we introduce is based on the inc&read counter type and appears to be interesting in its own right. As a generalization, we study the k-inc&read counter types, for k>0.
We also identify a potential problem with correctness properties based on step contention: with such properties, the composition of correct object implementations may result in an implementation that is not correct. In other words, implementations defined in terms of step contention are not always composable. To avoid this problem, we introduce a property based on interval contention, namely non-triviality, to define the correct behaviour of abortable and query-abortable object implementations.
|
19 |
KAŽDODENNOST / EVERYDAYNESSPEŠKOVÁ, Lucie January 2013 (has links)
This thesis consists of a theoretical part, that contains passages relating to the issues of everyday life. Further highlights the views and theses related to the banality of life in sociological and anthropological sciences. The chapter acquainting us with brief encyclopedic history of everyday life has to refer to the selected daily activities such as personal hygiene, eating and so on. The theoretical part also deals with the work of certain European artists with themes of everyday life in the context and its influence on Japanese woodcuts. The practical part describes the main sources of inspiration and technology. The conclusion is generated image attachment, for a better understanding of the text.
|
20 |
Superfícies com singularidades não isoladas / Surfaces with non-isolated singularitiesOtoniel Nogueira da Silva 20 March 2017 (has links)
Neste trabalho, estudamos famílias de curvas genericamente reduzidas. Estendemos para o caso genericamente reduzido alguns resultados conhecidos para famílias de curvas reduzidas como a equivalência entre a Whitney equisingularidade e a resolução simultânea forte da família e a equivalência entre a Whitney equisingularidade e a constância do número de Milnor e da multiplicidade de cada curva Xt da família. Estudamos também a equisingularidade topológica e a Whitney equisingularidade de famílias de superfícies em C3 parametrizadas por germes de aplicações A-finitamente determinados. Em ([51]), Ruas apresentou uma conjectura cujo enunciado diz que se f : (C2, 0) r→ (C3, 0) é um germe de aplicação finitamente determinado, então um desdobramento F a 1-parâmetro de f é topologicamente trivial se, e somente se F é Whitney equisingular se, e somente se o número de Milnor μ(D(ft)) de D(ft) é constante, onde D(ft) é a curva de pontos duplos de ft. Apresentamos contra-exemplos que mostram como esta conjectura pode falhar. Mostramos também uma classe de famílias de germes aplicações ft : (C2, 0) → (C3, 0) em que a conjectura é verdadeira. No caso em que f é homogênea e de coposto 1, mostramos também algumas fórmulas para a multiplicidade da imagem da curva de pontos duplos f(D(f)), o número de Milnor da seção transversal μ1(f(C2)) e o invariante J(f) em termos dos graus de f. Em [44], Nuño-Ballesteros e Jorge Pérez apresentam alguns resultados sobre germes de aplicações f : (Cn, 0) → (C2n-1, 0) com n ≥ 3. Quando f é finitamente determinado, a curva dos pontos duplos D(f) de f tem uma estrutura de curva genericamente reduzida. Apresentamos uma outra forma de abordar alguns problemas descritos em [44] usando resultados sobre curvas genericamente reduzidas. / In this work, we study families of generically reduced curves. We extend to the generically reduced case some results known for families of reduced curves as the equivalence between Whitney equisingularity and strong simultaneous resolution of the family and the equivalence between Whitney equisingularity and the constancy of the Milnor number and the multiplicity of each curve Xt of the family. We also study the topological triviality and the Whitney equisingularity of families of surfaces in C3 parametrized by A-finitely determined map germs. In [51], Ruas presented a conjecture whose statement says that if f : (C2, 0) → (C3, 0) is a finitely determined map germ, then an 1-parameter unfolding F = (ft, t) of f is topological trivial if and only if it is Whitney equisingular if and only if the Milnor number μ(D(ft)) is constant, where D(ft) is the double point curve of ft. We present counter-examples that show how the conjecture can fail. We also show a class of families of map germs ft : (C2, 0) → (C3, 0) in which the conjecture is true. We also give formulas for the multiplicity of the image of the double point curve f(D(f)), the Milnor number of the transversal generic section μ 1f(C2)) and the invariant J(f) in terms of degrees of f in the case in which f is homogeneous and has corank 1. In [44], Nuño-Ballesteros and Jorge Pérez give some results in the case of families of map germs f : (Cn, 0) → (C2n-1, 0) with n ≥ 3. When f is finitely determined, the double point. curve D(f) of f is a generically reduced curve. We present another way of approaching some problems in [44] using results on generically reduced curves.
|
Page generated in 0.0548 seconds