49 resultados para Formal logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The title compound is the first µ-η2-peroxodimetallic species to be characterised for a main group metal, possessing a long peroxo O–O bond, and large C–Sn–C angles, and is an unexpected product from the oxidation of [SnR2][R = CH(SiMe3)2], with a structure analogous to an organic ozonide.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper discusses many of the issues associated with formally publishing data in academia, focusing primarily on the structures that need to be put in place for peer review and formal citation of datasets. Data publication is becoming increasingly important to the scientific community, as it will provide a mechanism for those who create data to receive academic credit for their work and will allow the conclusions arising from an analysis to be more readily verifiable, thus promoting transparency in the scientific process. Peer review of data will also provide a mechanism for ensuring the quality of datasets, and we provide suggestions on the types of activities one expects to see in the peer review of data. A simple taxonomy of data publication methodologies is presented and evaluated, and the paper concludes with a discussion of dataset granularity, transience and semantics, along with a recommended human-readable citation syntax.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The traditional economic approach for appraising the costs and benefits of construction project Net Present Values involves the calculation of net returns for each investment option under different discount rates. An alternative approach consists of multiple-project discount rates based on risk modelling. The example of a portfolio of microgeneration renewable energy technology (MRET) is presented to demonstrate that risks and future available budget for re-investment can be taken into account when setting discount rates for construction project specifications in presence of uncertainty. A formal demonstration is carried out through a reversed intertemporal approach of applied general equilibrium. It is demonstrated that risk and the estimated available budget for future re-investment can be included in the simultaneous assessment of the costs and benefits of multiple projects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In 'Avalanche', an object is lowered, players staying in contact throughout. Normally the task is easily accomplished. However, with larger groups counter-intuitive behaviours appear. The paper proposes a formal theory for the underlying causal mechanisms. The aim is to not only provide an explicit, testable hypothesis for the source of the observed modes of behaviour-but also to exemplify the contribution that formal theory building can make to understanding complex social phenomena. Mapping reveals the importance of geometry to the Avalanche game; each player has a pair of balancing loops, one involved in lowering the object, the other ensuring contact. For more players, sets of balancing loops interact and these can allow dominance by reinforcing loops, causing the system to chase upwards towards an ever-increasing goal. However, a series of other effects concerning human physiology and behaviour (HPB) is posited as playing a role. The hypothesis is therefore rigorously tested using simulation. For simplicity a 'One Degree of Freedom' case is examined, allowing all of the effects to be included whilst rendering the analysis more transparent. Formulation and experimentation with the model gives insight into the behaviours. Multi-dimensional rate/level analysis indicates that there is only a narrow region in which the system is able to move downwards. Model runs reproduce the single 'desired' mode of behaviour and all three of the observed 'problematic' ones. Sensitivity analysis gives further insight into the system's modes and their causes. Behaviour is seen to arise only when the geometric effects apply (number of players greater than degrees of freedom of object) in combination with a range of HPB effects. An analogy exists between the co-operative behaviour required here and various examples: conflicting strategic objectives in organizations; Prisoners' Dilemma and integrated bargaining situations. Additionally, the game may be relatable in more direct algebraic terms to situations involving companies in which the resulting behaviours are mediated by market regulations. Finally, comment is offered on the inadequacy of some forms of theory building and the case is made for formal theory building involving the use of models, analysis and plausible explanations to create deep understanding of social phenomena.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This essay aims to make a contribution to the conversation between IR and nationalism literatures by considering a particular question: What is the relationship between interstate military competition and the emergence of nationalism as a potent force in world politics? The conventional wisdom among international security scholars, especially neorealists, holds that nationalism can be more or less treated like a “technology” that allowed states to extract significant resources as well as manpower from their respective populations. This paper underlines some of the problems involved with this perspective and pushes forward an interpretation that is based on the logic of political survival. I argue that nationalism’s emergence as a powerful force in world politics followed from the “mutation” and absorption of the universalistic/cosmopolitan republican ideas that gained temporary primacy in Europe during the eighteenth century into particularistic nationalist ideologies. This transformation, in turn, can be best explained by the French Revolution’s dramatic impacts on rulers’ political survival calculi vis-à-vis both interstate and domestic political challenges. The analysis offered in this essay contributes to our understanding of the relationship between IR and nationalism while also highlighting the potential value of the political survival framework for exploring macrohistorical puzzles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This research examines the influence of environmental institutional distance between home and host countries on the standardization of environmental performance among multinational enterprises using ordinary least-squares (OLS) regression techniques and a sample of 128 multinationals from high-polluting industries. The paper examines the environmental institutional distance of countries using the concepts of formal and informal institutional distances. The results show that whereas a high formal environmental distance between home and host countries leads multinational enterprises to achieve a different level of environmental performance according to each country's legal requirements, a high informal environmental distance encourages these firms to unify their environmental performance independently of the countries in which their units are based. The study also discusses the implications for academia, managers, and policy makers.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The goal of this article is to introduce the reader to contemporary adult multilingual acquisition research within generative linguistics. In much the same way as monolingual and bilingual acquisition studies are approached within this paradigm, generative multilingual research focuses primarily on the psycholinguistic and cognitive aspects of the acquisition process. Herein, we critically present a panoramic view of the research questions and empirical work that have dominated this nascent field, taking the reader through several interrelated epistemological discussions that are at the vanguard of contemporary multilingual morphosyntax work. We finish this article with some thoughts looking towards the near future of adult multilingual acquisition studies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a preliminary exploration of the informal/formal economy nexus and entrepreneurial processes amongst a sample of Kenyan roadside vendors who mostly operate in the informal economy. Using semi-structured interviews, data was collected from sixty street vendors across Kenya. In particular the paper focuses on the relationship between the informal and formal economy and the factors that promote formality amongst micro and small enterprises in developing countries. The paper presents a conceptualization of a potential segmentation of the informal economy, considering the implications of this in terms of base of the pyramid initiatives and the promotion of development through enterprise.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper explores a segmentation of micro and small enterprises (MSEs) in developing countries within the formal/informal economy nexus that has wide-ranging implications for the targeting of base-of-the-pyramid initiatives and entrepreneurship theory. This proposed segmentation emerges from the analysis of a sample of Kenyan MSEs utilising current and prior business models; the antecedent influences shaping the business model; barriers to entry associated with knowledge, capital and skills; the degree of innovation or imitation evident in the business model linked to the nature of opportunity recognition; and their relationship with the formal institutional business environment.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is estimated that globally over 2 billion people do not have a bank account, with many more in the developed and developing worlds ‘under-banked’, meaning they have limited access to financial services. Reaching the unbanked and underbanked with appropriate financial services is widely recognised as critical for future global economic growth and prosperity. Drawing upon multidimensional understandings of poverty, and framed by literature on poverty pools, traps and cycles, this paper explores the use of financial products and services in the developing world and critically reflects on their potential role in poverty alleviation and wider sustainable development. Discussions are illustrated with reference to qualitative empirical research undertaken in East and Southern Africa, and a sense-making of the lived financial experiences of low income individuals, households and communities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper draws upon fieldwork undertaken across Kenya, Zambia, Mozambique and South Africa to present a reflective overview of the use of financial services amongst the poorest members of society. It considers the role that access to a portfolio of financial products and services may have as a contributory factor in poverty alleviation, but also how inappropriate use of these mechanisms may exacerbate a descent into poverty. This work draws upon the notions of poverty pools and the rise of fall of low income households in and out of poverty, alongside the contributory nature of vicious cycles of economic and political poverty. Drawing on fieldwork experiences it presents a synopsis of the types of financial mechanisms commonly in use on the African continent, as well as examples of public, private and civil society partnerships that are producing services specifically tailored for those in extreme and absolute poverty.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applica- tions in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathe- matical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consis- tent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, forms an on-the- y, syntactic partition of the propositions into internally consistent sets. We show how the set of all paraconsistent, possible worlds can be represented in a transreal space. During the development of our logic we discuss how other paraconsistent logics could be arithmetised in transreal arithmetic.