Formal theory building for the avalanche game: explaining counter-intuitive behaviour of a complex system using geometrical and human behavioural/physiological effects

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.

Differentiated effects of formal and informal institutional distance between countries 2 on the environmental performance of multinational enterprises

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.

Formal linguistic approaches to L3/Ln acquisition: a focus on morphosyntactic transfer in adult multilingualism

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.

The Jua Kali and the Mali-Mali: the informal/formal nexus amongst Kenyan micro enterprises

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.

Imitation, entrepreneurship and the informal/formal economy nexus: an African perspective

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.

Reaching the underbanked and unbanked in subsistence markets at the nexus of the formal and informal economy

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.

Financial services for the poor within the formal/informal nexus in sub-Saharan Africa

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.

iPad use in fieldwork: formal and informal use to enhance pedagogical practice in a bring your own technology world

We report on use of iPads (and other IOS devices) for student fieldwork use and as electronic field notebooks and to promote active. We have used questionnaires and interviews of tutors and students to elicit their views and technology and iPad use for fieldwork. There is some reluctance for academic staff to relinquish paper notebooks for iPad use, whether in the classroom or on fieldwork, as well as use them for observational and measurement purposes. Students too are largely unaware of the potential of iPads for enhancing fieldwork. Apps can be configured for a wide variety of specific uses that make iPads useful for educational as well as social uses. Such abilities should be used to enhance existing practice as well as make new functionality. For example, for disabled students who find it difficult to use conventional note taking. iPads can be used to develop student self-directed learning and for group contributions. The technology becomes part of the students’ personal learning environments as well as at the heart of their knowledge spaces – academic and social. This blurring of boundaries is due to iPads’ usability to cultivate field use, instruction, assessment and feedback processes. iPads can become field microscopes and entries to citizen science and we see the iPad as the main ‘computing’ device for students in the near future. As part of the Bring Your Own Technology/Device (BYOD) the iPad has much to offer although, both staff and students need to be guided in the most effective use for self-directed education via development of Personal Learning Environments. A more student-oriented pedagogy is suggested to correspond to the increasing use of tablet technologies by students

Formal linguistic approaches to heritage language acquisition: bridges for pedagogically oriented research

The goal of this chapter is to lay out the central themes of heritage language acquisition research adopting a formal/theoretical linguistic perspective.  Specifically, we aim to provide a detailed discussion of the nature of heritage language grammars. In doing so, we will address the debates on how to explain heritage speaker competence differences from monolingual baselines and more. This chapter will not be limited to discussions of Spanish as a heritage language, but rather will highlight the important role that Spanish has played and will continue to play in the development of heritage language acquisition studies. Finally, we will offer some comments/insights on how the information covered regarding the formal linguistic properties of heritage speaker knowledge should be considered for and implemented in heritage language pedagogies and thus dealing with heritage speakers in the classroom setting.

A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans-the formal treatment of taxon names as explanatory hypotheses

Members of Parasabella minuta Treadwell, 1941, subsequently moved to Perkinsiana, were collected during a survey of rocky intertidal polychaetes along the state of Sao Paulo, Brazil. Additional specimens, which are referred to two new species, were also found in similar habitats from the Bocas del Toro Archipelago, Caribbean Panama, and Oahu Island, Hawaii. A phylogenetic analysis of Sabellinae, including members of P. minuta and the two new species, provided justification for establishing a new generic hypothesis, Sabellomma gen. nov., for these individuals. Formal definitions are also provided for Sabellomma minuta gen. nov., comb. nov., S. collinae gen. nov., spec. nov., and S. harrisae gen. nov., spec. nov., along with descriptions of individuals to which these hypotheses apply. The generic name Aracia nom. nov., is provided to replace Kirkia Nogueira, Lopez and Rossi, 2004, pre-occupied by a mollusk.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.