The shallow water approximation applied to the aluminium electrolysis process

The industrial production of aluminium is an electrolysis process where two superposed horizontal liquid layers are subjected to a mainly vertical electric current supplied by carbon electrodes. The lower layer consists of molten aluminium and lies on the cathode. The upper layer is the electrolyte and is covered by the anode. The interface between the two layers is often perturbed, leading to oscillations, or waves, similar to the waves on the surface of seas or lakes. The presence of electric currents and the resulting magnetic field are responsible for electromagnetic (Lorentz) forces within the fluid, which can amplify these oscillations and have an adverse influence on the process. The electrolytic bath vertical to horizontal aspect ratio is such, that it is advantageous to use the shallow water equations to model the interface motion. These are the depth-averaging the Navier-Stokes equations so that nonlinear and dispersion terms may be taken into account. Although these terms are essential to the prediction of wave dynamics, they are neglected in most of the literature on interface instabilities in aluminium reduction cells where only the linear theory is usually considered. The unknown variables are the two horizontal components of the fluid velocity, the height of the interface and the electric potential. In this application, a finite volume resolution of the double-layer shallow water equations including the electromagnetic sources has been developed, for incorporation into a generic three-dimensional computational fluid dynamics code that also deals with heat transfer within the cell.

Solar coronal jets: observations, theory, and modeling

Coronal jets represent important manifestations of ubiquitous solar transients, which may be the source of significant mass and energy input to the upper solar atmosphere and the solar wind. While the energy involved in a jet-like event is smaller than that of “nominal” solar flares and coronal mass ejections (CMEs), jets share many common properties with these phenomena, in particular, the explosive magnetically driven dynamics. Studies of jets could, therefore, provide critical insight for understanding the larger, more complex drivers of the solar activity. On the other side of the size-spectrum, the study of jets could also supply important clues on the physics of transients close or at the limit of the current spatial resolution such as spicules. Furthermore, jet phenomena may hint to basic process for heating the corona and accelerating the solar wind; consequently their study gives us the opportunity to attack a broad range of solar-heliospheric problems.

Motivation in action: A process model of L2 motivation

As part of a long-term project aimed at designing classroom interventions to motivate language learners, we have searched for a motivation model that could serve as a theoretical basis for the methodological applications. We have found that none of the existing models we considered were entirely adequate for our purpose for three reasons: (1) they did not provide a sufficiently comprehensive and detailed summary of all the relevant motivational influences on classroom behaviour; (2) they tended to focus on how and why people choose certain courses of action, while ignoring or playing down the importance of motivational sources of executing goal-directed behaviour; and (3) they did not do justice to the fact that motivation is not static but dynamically evolving and changing in time, making it necessary for motivation constructs to contain a featured temporal axis. Consequently, partly inspired by Heckhausen and Kuhl's 'Action Control Theory', we have developed a new 'Process Model of L2 Motivation', which is intended both to account for the dynamics of motivational change in time and to synthesise many of the most important motivational conceptualisations to date. In this paper we describe the main components of this model, also listing a number of its limitations which need to be resolved in future research.

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Sense-making in theory and practice: a metatheoretical foundation and application for health information seeking

This thesis attempts to provide deeper historical and theoretical grounding for sense-making, thereby illustrating its applicability to practical information seeking research. In Chapter One I trace the philosophical origins of Brenda Dervin’s theory known as “sense making,” reaching beyond current scholarship that locates the origins of sense-making in twentieth-century Phenomenology and Communication theory and find its rich ontological, epistemological, and etymological heritage that dates back to the Pre-Socratics. After exploring sense-making’s Greek roots, I examine sense-making’s philosophical undercurrents found in Hegel’s Phenomenology of Spirit (1807), where he also returns to the simplicity of the Greeks for his concept of sense. With Chapter Two I explore sense-making methodology and find, in light of the Greek and Hegelian dialectic, a dialogical bridge connecting sense-making’s theory with pragmatic uses. This bridge between Dervin’s situation and use occupies a distinct position in sense-making theory. Moreover, building upon Brenda Dervin’s model of sense-making, I use her metaphors of gap and bridge analogy to discuss the dialectic and dialogic components of sense making. The purpose of Chapter Three is pragmatic – to gain insight into the online information-seeking needs, experiences, and motivation of first-degree relatives (FDRs) of breast cancer survivors through the lens of sense-making. This research analyses four questions: 1) information-seeking behavior among FDRs of cancer survivors compared to survivors and to undiagnosed, non-related online cancer information seekers in the general population, 2) types of and places where information is sought, 3) barriers or gaps and satisfaction rates FDRs face in their cancer information quest, and 4) types and degrees of cancer information and resources FDRs want and use in their information search for themselves and other family members. An online survey instrument designed to investigate these questions was developed and pilot tested. Via an email communication, the Susan Love Breast Cancer Research Foundation distributed 322,000 invitations to its membership to complete the survey, and from March 24th to April 5th 10,692 women agreed to take the survey with 8,804 volunteers actually completing survey responses. Of the 8,804 surveys, 95% of FDRs have searched for cancer information online, and 84% of FDRs use the Internet as a sense-making tool for additional information they have received from doctors or nurses. FDRs report needing much more information than either survivors or family/friends in ten out of fifteen categories related to breast and ovarian cancer. When searching for cancer information online, FDRs also rank highest in several of sense-making’s emotional levels: uncertainty, confusion, frustration, doubt, and disappointment than do either survivors or friends and family. The sense-making process has existed in theory and praxis since the early Greeks. In applying sense–making’s theory to a contemporary problem, the survey reveals unaddressed situations and gaps of FDRs’ information search process. FDRs are a highly motivated group of online information seekers whose needs are largely unaddressed as a result of gaps in available online information targeted to address their specific needs. Since FDRs represent a quarter of the population, further research addressing their specific online information needs and experiences is necessary.

'Malicious Code Execution Detection and Response Immune System inspired by the Danger Theory'

The analysis of system calls is one method employed by anomaly detection systems to recognise malicious code execution. Similarities can be drawn between this process and the behaviour of certain cells belonging to the human immune system, and can be applied to construct an artificial immune system. A recently developed hypothesis in immunology, the Danger Theory, states that our immune system responds to the presence of intruders through sensing molecules belonging to those invaders, plus signals generated by the host indicating danger and damage. We propose the incorporation of this concept into a responsive intrusion detection system, where behavioural information of the system and running processes is combined with information regarding individual system calls.

Jung and Goddess: the significance of Jungian and post-Jungian theory to the development of the Western Goddess Movement

This study is concerned with the significance of Jungian and post-Jungian theory to the development of the contemporary Western Goddess Movement, which includes the various self-identified nature-based, Pagan, Goddess Feminism, Goddess Consciousness, Goddess Spirituality, Wicca, and Goddess-centred faith traditions that have seen a combined increase in Western adherents over the past five decades and share a common goal to claim Goddess as an active part of Western consciousness and faith traditions. The Western Goddess Movement has been strongly influenced by Jung’s thought, and by feminist revisions of Jungian Theory, sometimes interpreted idiosyncratically, but presented as a route to personal and spiritual transformation. The analysis examines ways in which women encounter Goddess through a process of Jungian Individuation and traces the development of Jungian and post-Jungian theories by identifying the key thinkers and central ideas that helped to shape the development of the Western Goddess Movement. It does so through a close reading and analysis of five biographical ‘rebirth’ memoirs published between 1981 and 1998: Christine Downing’s (1981) The Goddess: Mythological Images of the Feminine; Jean Shinoda Bolen’s (1994) Crossing to Avalon: A Woman’s Midlife Pilgrimage; Sue Monk Kidd’s (1996) The Dance of the Dissident Daughter: A Woman’s Journey from Christian Tradition to the Sacred Feminine; Margaret Starbird’s (1998) The Goddess in the Gospels: Reclaiming the Sacred Feminine; and Phyllis Curott’s (1998) Book of Shadows: A Modern Woman’s Journey into the Wisdom of Witchcraft and the Magic of the Goddess. These five memoirs reflect the diversity of the faith traditions in the Western Goddess Movement. The enquiry centres upon two parallel and complementary research threads: 1) critically examining the content of the memoirs in order to determine their contribution to the development of the Goddess Movement and 2) charting and sourcing the development of the major Jungian and post-Jungian theories championed in the memoirs in order to evaluate the significance of Jungian and post-Jungian thought in the Movement. The aim of this study was to gain a better understanding of the original research question: what is the significance of Jungian and post-Jungian theory for the development of the Western Goddess Movement? Each memoir is subjected to critical review of its intended audiences, its achievements, its functions and strengths, and its theoretical frameworks. Research results offered more than the experiences of five Western women, it also provided evidence to analyse the significance of Jungian and post-Jungian theory to the development of the Western Goddess Movement. The findings demonstrate the vital contributions of the analytical psychology of Carl Jung, and post-Jungians M Esther Harding, Erich Neumann, Christine Downing, E.C. Whitmont, and Jean Shinoda Bolen; the additional contributions of Sue Monk Kidd, Margaret Starbird, and Phyllis Curott, and exhibit Jungian and post-Jungian pathways to Goddess. Through a variety of approaches to Jungian categories, these memoirs constitute a literature of Individuation for the Western Goddess Movement.

'Malicious Code Execution Detection and Response Immune System inspired by the Danger Theory'

The analysis of system calls is one method employed by anomaly detection systems to recognise malicious code execution. Similarities can be drawn between this process and the behaviour of certain cells belonging to the human immune system, and can be applied to construct an artificial immune system. A recently developed hypothesis in immunology, the Danger Theory, states that our immune system responds to the presence of intruders through sensing molecules belonging to those invaders, plus signals generated by the host indicating danger and damage. We propose the incorporation of this concept into a responsive intrusion detection system, where behavioural information of the system and running processes is combined with information regarding individual system calls.

Assessing and reducing vulnerability to climate change: Moving from theory to practical decision-support

As climate change continues to impact socio-ecological systems, tools that assist conservation managers to understand vulnerability and target adaptations are essential. Quantitative assessments of vulnerability are rare because available frameworks are complex and lack guidance for dealing with data limitations and integrating across scales and disciplines. This paper describes a semi-quantitative method for assessing vulnerability to climate change that integrates socio-ecological factors to address management objectives and support decision-making. The method applies a framework first adopted by the Intergovernmental Panel on Climate Change and uses a structured 10-step process. The scores for each framework element are normalized and multiplied to produce a vulnerability score and then the assessed components are ranked from high to low vulnerability. Sensitivity analyses determine which indicators most influence the analysis and the resultant decision-making process so data quality for these indicators can be reviewed to increase robustness. Prioritisation of components for conservation considers other economic, social and cultural values with vulnerability rankings to target actions that reduce vulnerability to climate change by decreasing exposure or sensitivity and/or increasing adaptive capacity. This framework provides practical decision-support and has been applied to marine ecosystems and fisheries, with two case applications provided as examples: (1) food security in Pacific Island nations under climate-driven fish declines, and (2) fisheries in the Gulf of Carpentaria, northern Australia. The step-wise process outlined here is broadly applicable and can be undertaken with minimal resources using existing data, thereby having great potential to inform adaptive natural resource management in diverse locations.

"Family Education and Support" program for families at psychosocial risk: the role of implementation process

This paper analyses the implementation characteristics of the Family Education and Support program, a theory-driven, needs-based, and evidence-based positive parenting program originally developed for the Andalusian family preservation services. The implementation process of 34 trials of the FAF program with 155 participants was analyzed. Cluster analyses were also performed to explore variability in implementation conditions from a comprehensive perspective. Results showed different implementation profiles that moderated the FAF effectiveness (namely lengthier interventions, higher program fidelity, and practitioners' positive perceptions and satisfaction with the program). The relevance of examining implementation process across several trials is discussed in order to distinguish core and non-core FAF components, as well as the need for combining faithful and adaptable implementations that guarantee the ecologic validity of evidence-based positive parenting programs.

Jiao Tong: A Grounded Theory of Chinese International Students' Transition to American Tertiary Education

University students are more globally mobile than ever before, increasingly receiving education outside of their home countries. One significant student exchange pattern is between China and the United States; Chinese students are the largest population of international students in the U.S. (Institute of International Education, 2014). Differences between Chinese and American culture in turn influence higher education praxis in both countries, and students are enculturated into the expectations and practices of their home countries. This implies significant changes for students who must navigate cultural differences, academic expectations, and social norms during the process of transition to a system of higher education outside their home country. Despite the trends in students’ global mobility and implications for international students’ transitions, scholarship about international students does not examine students’ experiences with the transition process to a new country and system of higher education. Related models were developed with American organizations and individuals, making it unlikely that they would be culturally transferable to Chinese international students’ transitions. This study used qualitative methods to deepen the understanding of Chinese international students’ transition processes. Grounded theory methods were used to invite the narratives of 18 Chinese international students at a large public American university, analyze the data, and build a theory that reflects Chinese international students’ experiences transitioning to American university life. Findings of the study show that Chinese international students experience a complex process of transition to study in the United States. Students’ pre-departure experiences, including previous exposure to American culture, family expectations, and language preparation, informed their transition. Upon arrival, students navigate resource seeking to fulfill their practical, emotional, social, intellectual, and ideological needs. As students experienced various positive and discouraging events, they developed responses to the pivotal moments. These behaviors formed patterns in which students sought familiarity or challenge subsequent to certain events. The findings and resulting theory provide a framework through which to better understand the experiences of Chinese international students in the context of American higher education.

Theory and language of climate change communication

Climate change communication has become a salient topic in science and society. It has grown to be something like a booming industry alongside more established ‘communication enterprises’, such as health communication, risk communication, and science communication. This article situates the theory of climate change communication within theoretical developments in the field of science communication. It discusses the importance and difficulties inherent in talking about climate change to different types of publics using various types of communication tools and strategies. It engages with the difficult issue of the relationship between climate change communication and behavior change, and it focuses, in particular, on the role of language (metaphors, words, strategies, frames, and narratives) in conveying climate change issues to stakeholders. In the process, it attempts to provide an overview of emerging theories of climate change communication, theories that recently have begun to proliferate quite dramatically. In some cases, we can, therefore only provide signposts to the most relevant research that is being carried out with regard to climate change communication without being able to engage with all its aspects. We end with an assessment of how communication could be improved in light of the theories and practices discussed in this article.

Ideological Complex Systems: Mathematical Theory

The goal of this article is to build an abstract mathematical theory rather than a computational one of the process of transmission of ideology. The basis of much of the argument is Patten's Environment Theory that characterizes a system with its double environment (input or stimulus and output or response) and the existing interactions among them. Ideological processes are semiotic processes, and if in Patten's theory, the two environments are physical, in this theory ideological processes are physical and semiotic, as are stimulus and response.

Three Creative Tensions in Document Interpretation Theory Set as Evidence of the Need fora Descriptive Informatics

Describes three tensions in the theoretical literature of indexing: chief sources of evidence indexing, process of indexing (rubrics and methods), and philosophical position of indexing scholarship. Following this exposition, we argue for a change in perspective in Knowledge Organization research. Using the difference between prescriptive and descriptive linguis- tics as a metaphor, we advocate for a shift to a more descriptive, rather than the customary prescriptive, approach to the theo- retical and empirical study of indexing, and by extension Knowledge Organization.