925 resultados para Logic of proofs
Resumo:
Työn tavoitteena on laatia laadunhallintajärjestelmä ja laatukäsikirja kauppakeskus H-taloon ISO 9001:2000 standardia hyväksi käyttäen. Käsikirjassa kuvataan mahdollisimman yksinkertaisesti toimintaa ohjaavat periaatteet eli yrityksen laatupolitiikka, yrityksen eri prosessit, menettelyohjeet ja laadun toteamiseksi tarvittavat mittarit. Perimmäisenä tarkoituksena on käynnistää jatkuvan parantamisen prosessi ja näin parantaa kauppakeskuksen pitkän tähtäimen suorituskykyä. Työn teoreettisessa osassa tutustutaan laadun merkitykseen ja palveluliiketoiminnan logiikkaan. Keskeisenä teoriana käytetään odotetun ja koetun laadun muodostamaa koettua kokonaislaatua, jota sovelletaan kauppakeskusympäristöön. Lopuksi tutustutaan ISO 9000 standardisarjaan. Seuraavassa osassa H-talon tarjoamien toimitilapalveluiden nykytilaa kartoitetaan kauppakeskuksen yrittäjille tehdyssä kyselyssä. Kysely toteutettiin kauppakeskusympäristöön muokatulla odotetun ja koetun palvelun laadun eroa mittaavalla SERVQUAL-mentelmällä. Lisäksi apuna käytettiin kriittisten tapahtumien menetelmää. Lopuksi laaditaan runko kauppakeskuksen laadunhallintajärjestelmään ja pohditaan toimenpiteitä järjestelmän käyttöön ottamiseksi ja kehittämiseksi. Kauppakeskuksen laatukäsikirja esitetään liitteenä.
Resumo:
El juego es un elemento básico de socialización: es una creación cultural en el marco de una sociedad determinada. La visión contextualizada de todo juego tradicional debe considerar las propiedades que caracterizan su lógica interna, así como las condiciones socioculturales y los significados simbólicos que le atribuyen sus protagonistas (lógica externa). En esta investigación se realiza un inventario y análisis de la lógica interna y la lógica externa de los juegos tradicionales de adultos que se practican actualmente en 11 regiones europeas. Entre las conclusiones más relevantes destacar que existe un gran repertorio de juegos psicomotores y sociomotores. Se trata de juegos con un alto componente competitivo, en los que se distinguen vencedores y perdedores. Los grupos son básicamente masculinos y mixtos y sin la presencia de un líder o capitán, excepto en las regiones más deportivizadas en las que si aparece esta figura. Se observa que muchas de estas prácticas se están transformando en deportes (regionales), sobre todo aquellas que son protagonizadas por el género masculino. En definitiva, esta investigación aporta datos muy relevantes para comprender la naturaleza de la cultura lúdica tradicional europea.
Resumo:
El joc és un element bàsic de socialització: és una creació cultural en el marc d’una societat determinada. La visió contextualitzada de qualsevol joc tradicional ha de considerar les propietats que caracteritzen la seva lògica interna, i també les condicions socioculturals i els significats simbòlics que -li atribueixen els seus protagonistes (lògica externa). En aquesta investigació es fa un inventari i una anàlisi de la lògica interna i la lògica externa dels jocs tradicionals d’adults que es practiquen actualment a 11 regions europees. Entre les conclusions més rellevants cal destacar que hi ha un gran repertori de jocs psicomotors i sociomotors. Es tracta de jocs amb un alt component competitiu, en els quals es distingeixen vencedors i perdedors. Els grups són bàsicament masculins i mixtos i sense la presència d’un líder o capità, excepte a les regions més esportivitzades, on sí que apareix aquesta figura. Observem que moltes d’aquestes pràctiques s’estan transformant en esports (regionals), sobretot les que són protagonitzades pel gènere masculí. En resum, aquesta investigació aporta dades molt rellevants per a comprendre la naturalesa de la cultura lúdica tradicional europea.
Resumo:
"This paper will discuss the major developments in the area of fingerprint" "identification that followed the publication of the National Research Council (NRC, of the US National Academies of Sciences) report in 2009 entitled: Strengthening Forensic Science in the United States: A Path Forward. The report portrayed an image of a field of expertise used for decades without the necessary scientific research-based underpinning. The advances since the report and the needs in selected areas of fingerprinting will be detailed. It includes the measurement of the accuracy, reliability, repeatability and reproducibility of the conclusions offered by fingerprint experts. The paper will also pay attention to the development of statistical models allow- ing assessment of fingerprint comparisons. As a corollary of these developments, the next challenge is to reconcile a traditional practice domi- nated by deterministic conclusions with the probabilistic logic of any statistical model. There is a call for greater candour and fingerprint experts will need to communicate differently on the strengths and limitations of their findings. Their testimony will have to go beyond the blunt assertion" "of the uniqueness of fingerprints or the opinion delivered ispe dixit."
Resumo:
Ce travail présente une étude de cas post-catastrophe à San Cristobal, Guatemala, où un important glissement de terrain du nom «Los Chorros» (8-10 millions de m3 de roche) affecte depuis 2009 diverses communautés et une des routes principales du pays. Les gestionnaires des risques, sur la base de leur propre évaluation, ont décidé de répondre d'une manière qui ne correspond pas aux intérêts de la population affectée. Les communautés locales ont évalué le risque de catastrophe et ont établi une autre solution suivant une conception du risque différente. Les conflits sociaux et la concurrence entre les différents acteurs du territoire, pour la définition des priorités et des solutions, révèlent les aspects sous-jacents de la société, utiles pour identifier et comprendre ce qui constitue le risque de catastrophe dans un contexte donné. Ce conflit montre que le risque de catastrophe n'est pas univoque mais un concept complexe, constitué par un grand nombre de composants. En termes de gouvernance, il met également en évidence la confrontation des savoirs et la tension qui peut exister entre les différentes approches du risque. Depuis une approche où le risque de catastrophe est considéré comme une construction sociale (les vulnérabilités étant historiquement générées par des processus sociaux, politiques, économiques et culturels), ce travail évalue d'autres modes d'interprétation, de traitement et d'intervention qui peuvent aider à améliorer les méthodes d'évaluation et de gestion des risques. Enfin, la proposition de gestion qui découle de l'exemple guatémaltèque invite à une autre manière de concevoir la gestion des risques en intégrant les différentes conceptions du risque et en visant une coordination stratégique entre les acteurs des politiques publiques, les échelles d'intervention, les experts en charge des différents aléas et la société civile, afin d'obtenir une solution acceptable pour tous les acteurs impliqués dans un territoire. -- This work analyses a post-disaster case study from San Cristobal, Guatemala where a large landslide named "Los Chorros (8 millions cubic meters of rock) affects several communities and one of the country's main west-east access highways. Risk managers, starting from their own assessment, decided to respond in a way that does not correspond to the interests of the afected population. Local communities assessed the risk disaster situation and establised another solution from a different conception of risk. These social conflict and competition for priorities and solutions for risk management reveal that disaster risk is not unequivocal but a complex and holistic concept, constituted by a large set of components. From a social constructivism approach, where disaster risk is considered as the results of social, political, economic and historic process, this thesis evaluates other modes of interpreting, shaping and managing risk that can help improve methods of risk assessment and management. Studying the logic of action of actors, who mobilize to establish a solution, enables to identify as to what constitutes a disaster. For this reason, the study focus, in particular, on the analysis of practices (practical science) implemented by all actors in San Cristobal Altaverapaz. Finally, it puts into perspective the risk management in terms of an integrative approach for policy experts that find compromise between different conceptions of risk in order to obtain a solution acceptable to all those involved.
Resumo:
Concurrent aims to be a different type of task distribution system compared to what MPI like system do. It adds a simple but powerful application abstraction layer to distribute the logic of an entire application onto a swarm of clusters holding similarities with volunteer computing systems. Traditional task distributed systems will just perform simple tasks onto the distributed system and wait for results. Concurrent goes one step further by letting the tasks and the application decide what to do. The programming paradigm is then totally async without any waits for results and based on notifications once a computation has been performed.
Resumo:
The objective of this thesis is to provide a business model framework that connects customer value to firm resources and explains the change logic of the business model. Strategic supply management and especially dynamic value network management as its scope, the dissertation is based on basic economic theories, transaction cost economics and the resource-based view. The main research question is how the changing customer values should be taken into account when planning business in a networked environment. The main question is divided into questions that form the basic research problems for the separate case studies presented in the five Publications. This research adopts the case study strategy, and the constructive research approach within it. The material consists of data from several Delphi panels and expert workshops, software pilot documents, company financial statements and information on investor relations on the companies’ web sites. The cases used in this study are a mobile multi-player game value network, smart phone and “Skype mobile” services, the business models of AOL, eBay, Google, Amazon and a telecom operator, a virtual city portal business system and a multi-play offering. The main contribution of this dissertation is bridging the gap between firm resources and customer value. This has been done by theorizing the business model concept and connecting it to both the resource-based view and customer value. This thesis contributes to the resource-based view, which deals with customer value and firm resources needed to deliver the value but has a gap in explaining how the customer value changes should be connected to the changes in key resources. This dissertation also provides tools and processes for analyzing the customer value preferences of ICT services, constructing and analyzing business models and business concept innovation and conducting resource analysis.
Resumo:
Customer profitability accounting is a well-researched topic in the academic field, and it has been proved to posses rather undisputable benefits. However, the calculation of the customer profitabilities can be challenging, therefore the usage of the accounting is not self-explanatory in organizations. The aim of this study was to create a customer profitability accounting model for a wholesales unit in the case company to function as a sales management tool. The literature review of the study presents certain fundamental issues related to customer profitability accounting, in addition a theoretical framework for accounting model design is provided. The creation of the model was commenced by setting the requirements for it and examining the foundation of the model design, which consisted of for instance price setting and cost structure of products. This was followed by selecting approaches to the creation of the model. The result of the study was an accounting model, for which a determination of included revenues and costs was executed, along with the formulation of an allocation criteria of the costs. Lastly, the customer profitabilities were calculated in accordance with the accounting principles and the calculation logic of the model. The attained figures proved the model to provide an appropriate solution for obtaining the customer profitabilities and thus to use the accounting information as a sales management tool in for instance decision making and negotiation situations.
Resumo:
"Science as culture" is based on the assumption that science is a valuable component of human culture. We therefore have to build the bridge, in cultural terms, from the scientific community to the common citizen. Teaching science as culture requires the co-construction of knowledge and citizenship. Ways of articulating science/technology with society are invoked, pondering on the ethical ambivalence of such connections. The goals of this reflection are to think about: a) epistemological obstacles that, in favouring the logic of monoculture, oppose the implantation of the science as culture; b) epistemological strategies that point towards a diversity of cultural practices and "constellations" of knowledge leading to the reconfiguration of the being through knowledge; c) imperatives that force us to (re)think the epistemological bases suited to the paradigmatic changes and which translate the dynamics and complexity of the evolution of the frameworks that currently sustain science and school scientific education.
Resumo:
Collaboration between competing firms (coopetition) has emerged as an important issue forn business practice in many industries. Extant literature has examined coopetition on many levels of analysis, but lacks clarity in distinguishing it explicitly from cooperation between noncompeting organizations. Because of this, the performance implications of coopetition from the perspective of an individual firm are still ambiguous – some research suggests positive results whereas other studies suggest detrimental outcomes. The aim in this dissertation is to narrow these gaps by exploring how firms create and appropriate value through collaboration with their competitors. The dissertation is divided into two parts. The first part comprises an overview of the relevant literature, as well as the conclusions of the whole study, and the second part includes six research publications. Both qualitative and quantitative methodologies are utilized. The results suggest that coopetition embodies the distinctive logic of value creation and appropriation from the perspective of an individual firm, and thus differs in terms of performance implications from cooperation between non-competitors. The distinction comes from the fact that competitors have somewhat similar understanding, capabilities and interest related to certain markets, which is potentially both challenging and beneficial in terms of the individual firm’s competitiveness. It appears from the findings that there are distinctive firm-external and firm-specific factors affecting the success of a coopetition strategy. This study makes three main contributions. First, on the conceptual level it shows the distinction between coopetition and cooperation between non-rivals as a collaborative inter-organizational relationship. Secondly, it sets out a framework and propositions that enhance understanding of how value is created and appropriated in coopetition from the perspective of an individual firm. Thirdly, it offers empirical evidence of how coopetition affects firms’ innovation and market performance, and identifies the focal internal and external factors involved. In general terms, the thesis adds to our knowledge of how a firm can successfully utilize a coopetition strategy in its pursuit of improved performance.
Resumo:
ABSTRACT This paper is an analysis of the manner Nishida Kitarô (1870-1945), in the process of construction of his own philosophy of religion, enters into dialogue with Leibniz's thought concerning Pre-established Harmony. Although the philosophy of religion is an important theme and Nishida goes back to Leibniz at some points in his textual career, there are relatively few studies that touch on the relationship between these two thinkers. I study Nishida's approach under three headings. The first section concerns ten main aspects of the world of pre-established harmony. The second tries to show the manner in which such a world becomes a guide towards a philosophy of religion, placing the emphasis on three characteristically Christian aspects: a created, fallen, and Trinitarian world. The third section includes some elements such as the entrance into religion, metanoia, satori and a comparison between Christian agape and Buddhist maha-kruna. These are themes on which Nishida elaborates in his 1945 masterpiece, The Logic of Basho and a Religious Worldview.
Resumo:
In summary the main findings of the study are that there seems to be is no universal definition of value in the context of industrial relationships, but a notion that it is context-, time-, and actor dependent. Value co-creation is a suitable concept in the context of buyerseller relationships. The evolution of a relationship from a transactional to a partnership is long and eventful - a process where the outcome is impossible to estimate in advance. The process is filled with differenttypes of events and also conflicts, which as a matter of fact can be seen as constructive forces in relationship development. The perceived value of a relationship is an antecedent to pursuing a high-involvement strategy; once a partnership exists, the value co-creation potential is realizable through exploiting interdependencies. Those interdependencies are the trigger for value co-creation potential. The value cocreation potential is realized though different processes of value co-creation either to achieve efficiency in exchange or effective use of resources. The logic of buyer-seller partnerships is to create and exploit interdependencies in order to create both efficiency and effective use of resources. (Summary of main findings p. 176)
Resumo:
Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode.
Resumo:
Kirjallisuusarvostelu
Resumo:
The most outstanding conceptual challenge of modern crisis management is the principle of consent. It is not a problem only at the operational level - it challenges the entire decision-making structures of crisis management operations. In post-cold war times and especially in the 21st century, there has been a transition from peacekeeping with limited size and scope towards large and complex peace operations. This shift has presented peace operations with a dilemma. How to balance between maintaining consent for peace operations, whilst being able to use military force to coerce those attempting to wreck peace processes? To address such a dilemma, this research aims to promote understanding, on what can be achieved by military crisis management operations (peace support operations) in the next decade. The research concentrates on the focal research question: Should military components induce consent or rely on the compliance of conflicting parties in crisis management operations of the next decade (2020 – 2030)? The focus is on military – political strategic level considerations, and especially on the time before political decisions to commit to a crisis management operation. This study does not focus on which actor or organisation should intervene. The framework of this thesis derives from the so called ‘peacebuilding space’, the scope of peace operations and spoiler theory. Feasibility of both peace enforcement and peacekeeping in countering future risk conditions are analysed in this framework. This future-orientated qualitative research uses the Delphi-method with a panel of national and international experts. Citation analysis supports identification of relevant reference material, which consists of contemporary literature, the Delphi-questionnaires and interviews. The research process followed three main stages. In the first stage, plausible future scenarios and risk conditions were identified with the Delphi-panel. In the second stage, operating environments for peace support operations were described and consequent hypotheses formulated. In the third stage, these hypotheses were tested on the Delphi-panel. The Delphi-panel is sufficiently wide and diverse to produce plausible yet different insights. The research design utilised specifically military crisis management and peace operations theories. This produced various and relevant normative considerations. Therefore, one may argue that this research; which is based on accepted contemporary theory, hypotheses derived thereof and utilising an expert panel, contributes to the realm of peace support operations. This research finds that some degree of peace enforcement will be feasible and necessary in at least the following risk conditions: failed governance; potential spillover of ethnic, religious, ideological conflict; vulnerability of strategic chokepoints and infrastructures in ungoverned spaces; as well as in territorial and extra-territorial border disputes. In addition, some form of peace enforcement is probably necessary in risk conditions pertaining to: extremism of marginalised groups; potential disputes over previously uninhabited and resource-rich territories; and interstate rivalry. Furthermore, this research finds that peacekeeping measures will be feasible and necessary in at least risk conditions pertaining to: potential spillover of ethnic, religious, ideological conflict; uncontrolled migration; consequences from environmental catastrophes or changes; territorial and extra-territorial border disputes; and potential disputes over previously uninhabited and resource-rich territories. These findings are all subject to both generic and case specific preconditions that must exist for a peace support operation. Some deductions could be derived from the research findings. Although some risk conditions may appear illogical, understanding the underlying logic of a conflict is fundamental to understanding transition in crisis management. Practitioners of crisis management should possess cognizance of such transition. They must understand how transition should occur from threat to safety, from conflict to stability – and so forth. Understanding transition is imperative for managing the dynamic evolution of preconditions, which begins at the outset of a peace support operation. Furthermore, it is pertinent that spoilers are defined from a peace process point of view. If spoilers are defined otherwise, it changes the nature of an operation towards war, where the logic is breaking the will of an enemy - and surrender. In peace support operations, the logic is different: actions towards spoilers are intended to cause transition towards consent - not defeat. Notwithstanding future developments, history continues to provide strategic education. However, the distinction is that the risk conditions occur in novel futures. Hence, lessons learned from the past should be fitted to the case at hand. This research shows compelling evidence that swaying between intervention optimism and pessimism is not substantiated. Both peace enforcement and peacekeeping are sine qua non for successful military crisis management in the next decade.