11 resultados para Computer arithmetic and logic units

em Helda - Digital Repository of University of Helsinki


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis studies the nature and logic of collective doxastic attitudes, or what is referred to in ordinary language as "group beliefs". Beliefs and other intentional attitudes are attributed to groups and collections of people, and such attributions are used to explain and predict the actions of groups. The thesis develops an understanding of group beliefs as voluntarily adopted views or acceptances rather than as ordinary beliefs. Such an understanding can provide new answers to questions concerning collective knowledge and justification of group beliefs, and it allows developing modal logics with collective doxastic and epistemic notions. The thesis consists of six articles. The first three articles are philosophical studies concerned with the nature of group beliefs. The last three articles are logical studies that aim at developing proof-theoretical calculi for reasoning about collective doxastic attitudes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

It is suggested that the ability and practices of how the multinational corporation (MNC) manages knowledge transfer among its geographically dispersed subsidiary units are crucial for the building and development of firm competitive advantage. However, cross-border transfer of valuable organizational knowledge is likely to be problematic and laborious, especially within diversified and differentiated MNCs. Using data collected from 164 western multinational companies’ subsidiary units located in China and Finland, this study aims to investigate cross-border knowledge transfer within the MNC. It explores a number of factors that influence the transfer of knowledge among units in the differentiated MNC. The study consists of five individual papers. Paper 1 investigates a range of organizational mechanisms that may positively influence a subsidiary’s propensity to undertake knowledge transfers to other parts of the corporation. Paper 2 explores the impact of subsidiary location on the motivational dispositions of knowledge receiving units to value and accept knowledge from subsidiaries located in economically less advanced countries. Paper 3 examines the influence of social capital variables on knowledge transfer in dyadic relationships between foreign-owned subsidiaries and their sister and patent units. Paper 4 provides some initial insights into potentially different effects of trust and shared vision in intra-organizational vs. inter-organizational relationships. Using a case study setting, Paper 5 explores means and mechanisms used in transferring human resource management practices to Western MNCs’ business units in China from a cultural perspective. The results of the study show that MNC management through choices regarding organizational controls can encourage and enhance corporate-internal knowledge transfer. It also finds evidence that more knowledge is transferred from subsidiaries located in an industrialized country (e.g., Finland) than subsidiaries located in a developing country (e.g., China). While the study has highlighted the importance of social capital in promoting knowledge transfer, it has also uncovered some new findings that the effect of trust and shared vision may be contingent upon different contexts. Finally, in Paper 5, a number of mechanisms used in transferring selected HRM practices and competences to the Chinese business units have been identified. The findings suggest that cultural differences should be taken into consideration in the choice and use of different transfer mechanisms.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In visual search one tries to find the currently relevant item among other, irrelevant items. In the present study, visual search performance for complex objects (characters, faces, computer icons and words) was investigated, and the contribution of different stimulus properties, such as luminance contrast between characters and background, set size, stimulus size, colour contrast, spatial frequency, and stimulus layout were investigated. Subjects were required to search for a target object among distracter objects in two-dimensional stimulus arrays. The outcome measure was threshold search time, that is, the presentation duration of the stimulus array required by the subject to find the target with a certain probability. It reflects the time used for visual processing separated from the time used for decision making and manual reactions. The duration of stimulus presentation was controlled by an adaptive staircase method. The number and duration of eye fixations, saccade amplitude, and perceptual span, i.e., the number of items that can be processed during a single fixation, were measured. It was found that search performance was correlated with the number of fixations needed to find the target. Search time and the number of fixations increased with increasing stimulus set size. On the other hand, several complex objects could be processed during a single fixation, i.e., within the perceptual span. Search time and the number of fixations depended on object type as well as luminance contrast. The size of the perceptual span was smaller for more complex objects, and decreased with decreasing luminance contrast within object type, especially for very low contrasts. In addition, the size and shape of perceptual span explained the changes in search performance for different stimulus layouts in word search. Perceptual span was scale invariant for a 16-fold range of stimulus sizes, i.e., the number of items processed during a single fixation was independent of retinal stimulus size or viewing distance. It is suggested that saccadic visual search consists of both serial (eye movements) and parallel (processing within perceptual span) components, and that the size of the perceptual span may explain the effectiveness of saccadic search in different stimulus conditions. Further, low-level visual factors, such as the anatomical structure of the retina, peripheral stimulus visibility and resolution requirements for the identification of different object types are proposed to constrain the size of the perceptual span, and thus, limit visual search performance. Similar methods were used in a clinical study to characterise the visual search performance and eye movements of neurological patients with chronic solvent-induced encephalopathy (CSE). In addition, the data about the effects of different stimulus properties on visual search in normal subjects were presented as simple practical guidelines, so that the limits of human visual perception could be taken into account in the design of user interfaces.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Hard Custom, Hard Dance: Social Organisation, (Un)Differentiation and Notions of Power in a Tabiteuean Community, Southern Kiribati is an ethnographic study of a village community. This work analyses social organisation on the island of Tabiteuea in the Micronesian state of Kiribati, examining the intertwining of hierarchical and egalitarian traits, meanwhile bringing a new perspective to scholarly discussions of social differentiation by introducing the concept of undifferentiation to describe non-hierarchical social forms and practices. Particular attention is paid to local ideas concerning symbolic power, abstractly understood as the potency for social reproduction, but also examined in one of its forms; authority understood as the right to speak. The workings of social differentiation and undifferentiation in the village are specifically studied in two contexts connected by local notions of power: the meetinghouse institution (te maneaba) and traditional dancing (te mwaie). This dissertation is based on 11 months of anthropological fieldwork in 1999‒2000 in Kiribati and Fiji, with an emphasis on participant observation and the collection of oral tradition (narratives and songs). The questions are approached through three distinct but interrelated topics: (i) A key narrative of the community ‒ the story of an ancestor without descendants ‒ is presented and discussed, along with other narratives. (ii) The Kiribati meetinghouse institution, te maneaba, is considered in terms of oral tradition as well as present-day practices and customs. (iii) Kiribati dancing (te mwaie) is examined through a discussion of competing dance groups, followed by an extended case study of four dance events. In the course of this work the community of close to four hundred inhabitants is depicted as constructed primarily of clans and households, but also of churches, work co-operatives and dance groups, but also as a significant and valued social unit in itself, and a part of the wider island district. In these partly cross-cutting and overlapping social matrices, people are alternatingly organised by the distinct values and logic of differentiation and undifferentiation. At different levels of social integration and in different modes of social and discursive practice, there are heightened moments of differentiation, followed by active undifferentiation. The central notions concerning power and authority to emerge are, firstly, that in order to be valued and utilised, power needs to be controlled. Secondly, power is not allowed to centralize in the hands of one person or group for any long period of time. Thirdly, out of the permanent reach of people, power/authority is always, on the one hand, left outside the factual community and, on the other, vested in community, the social whole. Several forms of differentiation and undifferentiation emerge, but these appear to be systematically related. Social differentiation building on typically Austronesian complementary differences (such as male:female, elder:younger, autochtonous:allotochtonous) is valued, even if eventually restricted, whereas differentiation based on non-complementary differences (such as monetary wealth or level of education) is generally resisted, and/or is subsumed by the complementary distinctions. The concomitant forms of undifferentiation are likewise hierarchically organised. On the level of the society as a whole, undifferentiation means circumscribing and ultimately withholding social hierarchy. Potential hierarchy is both based on a combination of valued complementary differences between social groups and individuals, but also limited by virtue of the undoing of these differences; for example, in the dissolution of seniority (elder-younger) and gender (male-female) into sameness. Like the suspension of hierarchy, undifferentiation as transformation requires the recognition of pre-existing difference and does not mean devaluing the difference. This form of undifferentiation is ultimately encompassed by the first one, as the processes of the differentiation, whether transformed or not, are always halted. Finally, undifferentiation can mean the prevention of non-complementary differences between social groups or individuals. This form of undifferentiation, like the differentiation it works on, takes place on a lower level of societal ideology, as both the differences and their prevention are always encompassed by the complementary differences and their undoing. It is concluded that Southern Kiribati society be seen as a combination of a severely limited and decentralised hierarchy (differentiation) and of a tightly conditional and contextual (intra-category) equality (undifferentiation), and that it is distinctly characterised by an enduring tension between these contradicting social forms and cultural notions. With reference to the local notion of hardness used to characterise custom on this particular island as well as dance in general, it is argued in this work that in this Tabiteuean community some forms of differentiation are valued though strictly delimited or even undone, whereas other forms of differentiation are a perceived as a threat to community, necessitating pre-emptive imposition of undifferentiation. Power, though sought after and displayed - particularly in dancing - must always remain controlled.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study analyzes civic activity, citizenship and their gendered manifestations in contemporary Russia. It is based on a case study conducted in the city of Tver , located in the vicinity of Moscow, during 2001-2005. The data consists of interviews with civic activists and municipal and regional authorities; observations of civic organizations; and a quantitative survey conducted among local civic groups. The theoretical and methodological framework of the study draws upon a micro perspective on organization, discourse analysis, gender and citizenship theories and Pierre Bourdieu s theory of fields and capital. This study develops theoretical understanding of the characteristics and logic of civic organization in Russia. It shows that social class centrally structures the field of civic activity. Organizations can be seen as a vehicle of the educated class to advocate their interests, help themselves and seek both social and individual-level change. The study also argues that civic organizations founded during the post-Soviet era are often an institutionalized form of informal social networks. Networks, which were a central element of everyday interaction in Soviet society, are a resource and often the only resource available that can be made use of in contemporary organizational activities. The study argues that gender operates as a key structuring principle in the Russian socio-political community. Civic activity is often discursively associated with femininity and institutional politics with masculinity. Women tend to participate more than men in civic organizations, while men dominate the formal political domain. The study shows that civic organizations are important loci of communality. This communality, however, differs from the communality envisioned in the communitarian and social capital debates in the West. It is selective communality , as it is restricted to the members of the organizations and does not create generalized reciprocity and trust. Civic organizations tend to build upon and reproduce the traditional Russian organizational form of circles , kruzhki. Along with the analysis of civic activities, the study also examines the redefinition of the role and functions of the state. The authorities interviewed in this study understand civic organizations as serving those goals and interests determined by the authorities, instead of viewing them as sites of citizens self-organization around interests and problems citizens themselves deem important, or as a counterforce to the state. By contrast, civic activists understand the core of organizational activity to be advocacy of their interests and rights, tackling social problems, the pursuit of wider social change and self-help. Co-operation between authorities and organizations tends to be personified and based upon unequal, hierarchical patron-client arrangements, which inhibits the development of democratic governance. The study will be published in Routledge Contemporary Russia and Eastern Europe Series later this year.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of this research is to draw up a clear construction of an anticipatory communicative decision-making process and a successful implementation of a Bayesian application that can be used as an anticipatory communicative decision-making support system. This study is a decision-oriented and constructive research project, and it includes examples of simulated situations. As a basis for further methodological discussion about different approaches to management research, in this research, a decision-oriented approach is used, which is based on mathematics and logic, and it is intended to develop problem solving methods. The approach is theoretical and characteristic of normative management science research. Also, the approach of this study is constructive. An essential part of the constructive approach is to tie the problem to its solution with theoretical knowledge. Firstly, the basic definitions and behaviours of an anticipatory management and managerial communication are provided. These descriptions include discussions of the research environment and formed management processes. These issues define and explain the background to further research. Secondly, it is processed to managerial communication and anticipatory decision-making based on preparation, problem solution, and solution search, which are also related to risk management analysis. After that, a solution to the decision-making support application is formed, using four different Bayesian methods, as follows: the Bayesian network, the influence diagram, the qualitative probabilistic network, and the time critical dynamic network. The purpose of the discussion is not to discuss different theories but to explain the theories which are being implemented. Finally, an application of Bayesian networks to the research problem is presented. The usefulness of the prepared model in examining a problem and the represented results of research is shown. The theoretical contribution includes definitions and a model of anticipatory decision-making. The main theoretical contribution of this study has been to develop a process for anticipatory decision-making that includes management with communication, problem-solving, and the improvement of knowledge. The practical contribution includes a Bayesian Decision Support Model, which is based on Bayesian influenced diagrams. The main contributions of this research are two developed processes, one for anticipatory decision-making, and the other to produce a model of a Bayesian network for anticipatory decision-making. In summary, this research contributes to decision-making support by being one of the few publicly available academic descriptions of the anticipatory decision support system, by representing a Bayesian model that is grounded on firm theoretical discussion, by publishing algorithms suitable for decision-making support, and by defining the idea of anticipatory decision-making for a parallel version. Finally, according to the results of research, an analysis of anticipatory management for planned decision-making is presented, which is based on observation of environment, analysis of weak signals, and alternatives to creative problem solving and communication.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Since the second half of the 20th century, cancer has become a dominant disease in Western countries, endangering people regardless of age, gender, race or social status. Every year almost eight million people die of cancer worldwide. In Finland every fourth person is expected to fall ill with cancer at some stage of his or her life. During the 20th century, along with rapid changes in the medical system, people s awareness of cancer has increased a great deal. This has also influenced the image of cancer in popular discourse over the past decades. However, from the scientific point of view there is still much that is unclear about the disease. This thesis shows that this is a big problem for ordinary people, as, according to culture-bound illness ideology, people need an explanation about the origin of their illness in order to help them cope. The main aim of this thesis is to examine the process of being ill with cancer from the patient s point of view, in order to analyse attitudes and behaviour towards cancer and its significance and culture-bound images. This narrative-based study concentrates on patients voicings , which are important in understanding the cancer experience and when attempting to make it more open within current cultural and societal settings. The Kun sairastuin syöpään ( when I fell ill with cancer ) writing competition organised by Suomen Syöpäpotilaat ry (the Finnish Cancer Patients Association), Suomen Syöpäyhdistys ry (the Finnish Cancer Union), and Suomalaisen Kirjallisuuden Seuran kansanrunousarkisto (the Finnish Literary Society Folklore Archive) was announced on the 1st of May 1994 and lasted until the 30th of September 1994. As a result, a total of 672 cancer narratives, totalling 6384 pages, were received, filled with experiences relating to cancer. Written cancer narratives form a body of empirical data that is suitable for content or textual analysis. In this thesis, content analysis is adopted in order to become familiar with the texts and to preselect the themes and analytical units for further examination. I use multiple perspectives in order to interpret cancer patients ideas and reasoning. The ethnomedical approach unites popular health beliefs that originated in Finnish folk medicine, as well as connecting alternative medicine, which patients make use of, with biomedicine, the dominant form of medicine today. In addition to this, patients narratives, which are composed of various structural segments, are approached from the folklorist s perspective. In this way they can be seen as short pathographies, reconstructions of self-negotiation and individual decision making during the illness process. Above all, cancer patients writing describe their feelings, thoughts and experiences. Factors that appear insignificant to modern medicine, overwhelmed as it is by medical technologies that concentrate on dysfunctional tissue within diseased bodies. Ethnomedical study of cancer patients writings gives access to the human side of cancer discourse, and combines both medical, and popular, knowledge of cancer. In my view, the natural world and glimpses of tradition are bound together with one general aim within cancer narratives: to tackle the illness and mediate its meanings. Furthermore, the narrative approach reveals that participants write with the hope of offering a different interpretation of the cancer experience, and thus of confronting culturally pre-defined images and ideologies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Despite its bad reputation in the mass media, cholesterol is an indispensable constituent of cellular membranes and vertebrate life. It is, however, also potentially lethal as it may accumulate in the arterial intima causing atherosclerosis or elsewhere in the body due to inherited conditions. Studying cholesterol in cells, and research on how the cell biology of cholesterol affects on system level is essential for a better understanding of the disease states associated with cholesterol and for the development of new therapies for these conditions. On its way to the cell, exogenous cholesterol traverses through endosomes, transport vesicles involved in internalizing material to cells, and needs to be transported out of this compartment. This endosomal pool of cholesterol is important for understanding both the common disorders of metabolism and the more rare hereditary disorders of cholesterol metabolism. The study of cholesterol in cells has been hampered by the lack of bright fluorescent sterol analogs that would resemble cholesterol enough to be used in cellular studies. In the first study of my thesis, we present a new sterol analog, Boron-Dipyrromethene (BODIPY)-cholesterol for visualizing sterols in living cells and organism. This fluorescent cholesterol derivative is shown to behave similarly to cholesterol both by atomic scale computer simulations and biochemical experiments. We characterize its localization inside different types of living cells and show that it can be used to study sterol trafficking in living organisms. Two sterol binding proteins associated with the endosomal membrane; the Niemann-Pick type C disease protein 1 (NPC1) and the Oxysterol Binding Protein Related Protein 1 (ORP1) are the subjects of the rest of this study. Sensing cholesterol on endosomes, transporting lipids away from this compartment and the effects these lipids play on cellular metabolism are considered. In the second study we characterize how the NPC1 protein affects lipid metabolism. We show that this cholesterol binding protein affects synthesis of triglycerides and that genetic polymorphisms or a genetic defect in the NPC1 gene affect triglyceride on the whole body level. These effects take place via regulation of carbon fluxes to different lipid classes in cells. In the third part we characterize the effects of another endosomal sterol binding protein, ORP1L on the function and motility of endosomes. Specifically we elucidate how a mutation in the ability of ORP1L to bind sterols affects its behavior in cells, and how a change in ORP1L levels in cells affects the localization, degradative capacity and motility of endosomes. In addition we show that ORP1L manipulations affect cholesterol balance also in macrophages, a cell type important for the development of atherosclerosis.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word hyphenation by computer there are TEX rules for many languages. In this paper we demonstrate a method for converting these spell-checking lexicons and hyphenation rule sets into finite-state automata, and present a new finite-state based system for writer’s tools used in current open-source software such as Firefox, OpenOffice.org and enchant via the spell-checking library voikko.