Appropriation of technology in "non-western" societies: an approximation to the case of Bulgaria

The principal focus of the PhD thesis lies in the Social Software area and the appropriation of technology in "non-Western" societies taking the example of Bulgaria. The term "non-Western" is used to explain places considered technologically underdeveloped. The aims have been to capture how Bulgarian users creatively interpret and appropriate Internet identifying the sociocultural, political and subjective conditions in which that appropriation occurs, to identify emerging practices based on the interpretation and use of Internet and the impact they had on society and what conditions could influence the technological interpretation and the meaning these practices had for both users and social configuration of Internet as media in Bulgaria. An ethnographic approach has been used simultaneously in different online and offline contexts. On the one hand, this study is based on exploration of the Bulgarian Internet Space through online participant observation in forums and websites reviews and on the other hand, on semi-structured interviews with different types of users of the virtual platforms found, made both face to face and online and finally online participant observation at the same platforms. It is based on some contributions of the ethnographic work of Christine Hine in virtual environments and the notions of time and space of Barbara Czarniawska contextualized in the modern form of organization that occurs in a network of multiple and fragmented contexts across many movements.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

The relationship between virtual body ownership and temperature sensitivity.

In the rubber hand illusion tactile stimulation seen on a rubber hand, that is synchronous with tactile stimulation felt on the hidden real hand, can lead to an illusion of ownership over the rubber hand. This illusion has been shown to produce a temperature decrease in the hidden hand, suggesting that such illusory ownership produces disownership of the real hand. Here we apply immersive virtual reality (VR) to experimentally investigate this with respect to sensitivity to temperature change. Forty participants experienced immersion in a VR with a virtual body (VB) seen from a first person perspective. For half the participants the VB was consistent in posture and movement with their own body, and in the other half there was inconsistency. Temperature sensitivity on the palm of the hand was measured before and during the virtual experience. The results show that temperature sensitivity decreased in the consistent compared to the inconsistent condition. Moreover, the change in sensitivity was significantly correlated with the subjective illusion of virtual arm ownership but modulated by the illusion of ownership over the full virtual body. This suggests that a full body ownership illusion results in a unification of the virtual and real bodies into one overall entity - with proprioception and tactile sensations on the real body integrated with the visual presence of the virtual body. The results are interpreted in the framework of a"body matrix" recently introduced into the literature.

The relationship between virtual body ownership and temperature sensitivity.

In the rubber hand illusion tactile stimulation seen on a rubber hand, that is synchronous with tactile stimulation felt on the hidden real hand, can lead to an illusion of ownership over the rubber hand. This illusion has been shown to produce a temperature decrease in the hidden hand, suggesting that such illusory ownership produces disownership of the real hand. Here we apply immersive virtual reality (VR) to experimentally investigate this with respect to sensitivity to temperature change. Forty participants experienced immersion in a VR with a virtual body (VB) seen from a first person perspective. For half the participants the VB was consistent in posture and movement with their own body, and in the other half there was inconsistency. Temperature sensitivity on the palm of the hand was measured before and during the virtual experience. The results show that temperature sensitivity decreased in the consistent compared to the inconsistent condition. Moreover, the change in sensitivity was significantly correlated with the subjective illusion of virtual arm ownership but modulated by the illusion of ownership over the full virtual body. This suggests that a full body ownership illusion results in a unification of the virtual and real bodies into one overall entity - with proprioception and tactile sensations on the real body integrated with the visual presence of the virtual body. The results are interpreted in the framework of a"body matrix" recently introduced into the literature.

The macroeconomic effects of German unification: Real adjustments and the welfare state

We study the effects of German unification in a model with capital accumulation, skill differences and a welfare state. We argue that this event is similar to a mass migration of low-skilled agents holding no capital into a foreign country. Absent a welfare state, we observe an investment boom, depressed output and employment conditions. Capital owners and high-skilled agents are willing to give up to 4% of per-capita consumption to favor unification. When a welfare state exists the investment boom disappears and the recession is prolonged. Now, with unification, capital owners and high-skilled agents lose 4% of per-capita consumption.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Towards the Fully Automatic Merging of Lexical Resources: A Step Forward

This article reports on the results of the research done towards the fully automatically merging of lexical resources. Our main goal is to show the generality of the proposed approach, which have been previously applied to merge Spanish Subcategorization Frames lexica. In this work we extend and apply the same technique to perform the merging of morphosyntactic lexica encoded in LMF. The experiments showed that the technique is general enough to obtain good results in these two different tasks which is an important step towards performing the merging of lexical resources fully automatically.

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Metamorphism on Chromite Ores from the Dobromirtsi ultramafic massif, Rhodope Mountains (SE Bulgaria)

Podiform chromitite bodies occur in highly serpentinized peridotites at Dobromirtsi Ultramafic Massif (Rhodope Mountains, southeastern Bulgaria). The ultramafic body is believed to represent a fragment of Palaeozoic ophiolite mantle. The ophiolite sequence is associated with greenschist - lower-temperature amphibolite facies metamorphosed rocks (biotitic gneisses hosting amphibolite). This association suggests that peridotites, chromitites and metamorphic rocks underwent a common metamorphic evolution. Chromitites at Dobromirtsi have been strongly altered. Their degree of alteration depends on the chromite/silicate ratio and to a lesser extent, on the size of chromitite bodies. Alteration is recorded in individual chromite grains in the form of optical and chemical zoning. Core to rim chemical trends are expressed by MgO- and Al2O3- impoverishment, mainly compensated by FeO and/or Fe2O3 increases. Such chemical variations correspond with three main alteration events. The first one was associated with ocean-floor metamorphism and was characterized by a lizardite replacement of olivine and the absence of chromite alteration. The second event took place during greenchist facies metamorphism. During this event, MgO- and SiO2-rich fluids (derived from low temperature serpentinization of olivine and pyroxenes) reacted with chromite to form chlorite; as a consequence, chromite became altered to a FeO- and Cr2O3-rich, Al2O3-poor chromite. The third event, mainly developed during lower temperature amphibolite facies metamorphism, caused the replacement of the primary and previously altered chromite by Fe2O3-rich chromite (ferritchromite).

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A dynamic analysis of asymmetric shocks in EU manufacturing

Available empirical evidence regarding the degree of symmetry between European economies in the context of Monetary Unification is not conclusive. This paper offers new empirical evidence concerning this issue related to the manufacturing sector. Instead of using a static approach as most empirical studies do, we analyse the dynamic evolution of shock symmetry using a state-space model. The results show a clear reduction of asymmetries in terms of demand shocks between 1975 and 1996, with an increase in terms of supply shocks at the end of the period.