Algebraic Theory of Minimal Nondeterministic Finite Automata with Applications

Since the 1950s, the theory of deterministic and nondeterministic finite automata (DFAs and NFAs, respectively) has been a cornerstone of theoretical computer science. In this dissertation, our main object of study is minimal NFAs. In contrast with minimal DFAs, minimal NFAs are computationally challenging: first, there can be more than one minimal NFA recognizing a given language; second, the problem of converting an NFA to a minimal equivalent NFA is NP-hard, even for NFAs over a unary alphabet. Our study is based on the development of two main theories, inductive bases and partials, which in combination form the foundation for an incremental algorithm, ibas, to find minimal NFAs. An inductive basis is a collection of languages with the property that it can generate (through union) each of the left quotients of its elements. We prove a fundamental characterization theorem which says that a language can be recognized by an n-state NFA if and only if it can be generated by an n-element inductive basis. A partial is an incompletely-specified language. We say that an NFA recognizes a partial if its language extends the partial, meaning that the NFA's behavior is unconstrained on unspecified strings; it follows that a minimal NFA for a partial is also minimal for its language. We therefore direct our attention to minimal NFAs recognizing a given partial. Combining inductive bases and partials, we generalize our characterization theorem, showing that a partial can be recognized by an n-state NFA if and only if it can be generated by an n-element partial inductive basis. We apply our theory to develop and implement ibas, an incremental algorithm that finds minimal partial inductive bases generating a given partial. In the case of unary languages, ibas can often find minimal NFAs of up to 10 states in about an hour of computing time; with brute-force search this would require many trillions of years.

Intensive care survivors’ experiences of ward-based care: Meleis’ theory of nursing transitions and role development among critical care outreach services.

Aims and objectives. To explore the psychosocial needs of patients discharged from intensive care, the extent to which they are captured using existing theory on transitions in care and the potential role development of critical care outreach, follow-up and liaison services. Background. Intensive care patients are at an increased risk of adverse events, deterioration or death following ward transfer. Nurse-led critical care outreach, follow-up or liaison services have been adopted internationally to prevent these potentially avoidable sequelae. The need to provide patients with psychosocial support during the transition to ward-based care has also been identified, but the evidence base for role development is currently limited. Design and methods. Twenty participants were invited to discuss their experiences of ward-based care as part of a broader study on recovery following prolonged critical illness. Psychosocial distress was a prominent feature of their accounts, prompting secondary data analysis using Meleis et al.’s mid-range theory on experiencing transitions. Results. Participants described a sense of disconnection in relation to profound debilitation and dependency and were often distressed by a perceived lack of understanding, indifference or insensitivity among ward staff to their basic care needs. Negotiating the transition between dependence and independence was identified as a significant source of distress following ward transfer. Participants varied in the extent to which they were able to express their needs and negotiate recovery within professionally mediated boundaries. Conclusion. These data provide new insights into the putative origins of the psychosocial distress that patients experience following ward transfer. Relevance to clinical practice. Meleis et al.’s work has resonance in terms of explicating intensive care patients’ experiences of psychosocial distress throughout the transition to general ward–based care, such that the future role development of critical care outreach, follow-up and liaison services may be more theoretically informed.

Do gender and year of study affect the ability of the theory of planned behaviour to predict binge-drinking intentions and episodes?

Background: The present study tested the utility of the theory of planned behaviour (TPB), augmented with anticipated regret, as a model to predict binge-drinking intentions and episodes among female and male undergraduates and undergraduates in different years of study. Method: Undergraduate students (N = 180, 54 males, 126 females, 60 per year of study) completed baseline measures of demographic variables, binge-drinking episodes (BDE), TPB constructs and anticipated regret. BDE were assessed one-week later. Results: The TPB accounted for 60% of the variance in female undergraduates' intentions and 54% of the variance in male undergraduates' intentions. The TPB accounted for 57% of the variance in intentions in first-year undergraduates, 63% of the variance in intentions in second-year undergraduates and 68% of the variance in intentions in final-year undergraduates. Follow-up BDE was predicted by intentions and baseline BDE for female undergraduates as well as second- and final-year undergraduates. Baseline BDE predicted male undergraduates’ follow-up BDE and first-year undergraduates’ follow-up BDE. Conclusion: Results show that while the TPB constructs predict undergraduates’ binge-drinking intentions, intentions only predict BDE in female undergraduates, second- and final-year undergraduates. Implications of these findings for interventions to reduce binge drinking are outlined.

In search of a theory of integrated marketing communication

For the most part, the literature base for Integrated Marketing Communication (IMC) has developed from an applied or tactical level rather than from an intellectual or theoretical one. Since industry, practitioner and even academic studies have provided little insight into what IMC is and how it operates, our approach has been to investigate that other IMC community, that is, the academic or instructional group responsible for disseminating IMC knowledge. We proposed that the people providing course instruction and directing research activities have some basis for how they organize, consider and therefore instruct in the area of IMC. A syllabi analysis of 87 IMC units in six countries investigated the content of the unit, its delivery both physically and conceptually, and defined the audience of the unit. The study failed to discover any type of latent theoretical foundation that might be used as a base for understanding IMC. The students who are being prepared to extend, expand and enhance IMC concepts do not appear to be well-served by the curriculum we found in our research. The study concludes with a model for further IMC curriculum development.

Varieties of Asian capitalism : toward an institutional theory of Asian enterprise

In this paper we respond to calls for an institution-based perspective on strategy. With its emphasis upon mimetic, coercive, and normative isomorphism, institutional theory has earned a deterministic reputation and seems an unlikely foundation on which to construct a theory of strategy. However, a second movement in institutional theory is emerging that gives greater emphasis to creativity and agency. We develop this approach by highlighting co-evolutionary processes that are shaping the varieties of capitalism (VoC) in Asia. To do so, we examine the extent to which the VoC model can be fruitfully applied in the Asian context. In the spirit of the second movement of institutional theory, we describe three processes in which firm strategy collectively and intentionally feeds back to shape institutions: (1) filling institutional voids, (2) retarding institutional innovation, and (3) deploying institutional escape. We outline the key contributions contained in the articles of this Special Issue and discuss a research agenda generated by the VoC perspective.

Tests of the elaborated intrusion theory of craving and desire : features of alcohol craving during treatment for an alcohol disorder

Objectives. We tested predictions from the elaborated intrusion (EI) theory of desire, which distinguishes intrusive thoughts and elaborations, and emphasizes the importance of imagery. Secondarily, we undertook preliminary evaluations of the Alcohol Craving Experience (ACE) questionnaire, a new measure based on EI Theory. Methods. Participants (N ¼ 232) were in correspondence-based treatment trials for alcohol abuse or dependence. The study used retrospective reports obtained early in treatment using the ACE, and daily self-monitoring of urges, craving, mood and alcohol consumption. Results. The ACE displayed high internal consistency and test – retest reliability and sound relationships with self-monitored craving, and was related to Baseline alcohol dependence, but not to consumption. Imagery during craving was experienced by 81%,with 2.3 senses involved on average. More frequent imagery was associated with longer episode durations and stronger craving. Transient intrusive thoughts were reported by 87% of respondents, and were more common if they frequently attempted to stop alcohol cognitions. Associations between average daily craving and weekly consumption were seen. Depression and negative mood were associated with more frequent, stronger and longer lasting desires for alcohol. Conclusions. Results supported the distinction of automatic and controlled processes in craving, together with the importance of craving imagery. They were also consistent with prediction of consumption from cross-situational averages of craving, and with positive associations between craving and negative mood. However, this study’s retrospective reporting and correlational design require that its results be interpreted cautiously. Research using ecological momentary measures and laboratory manipulations is needed before confident inferences about causality can be made.

Imaginary relish and exquisite torture : the elaborated intrusion theory of desire

The authors argue that human desire involves conscious cognition that has strong affective connotation and is potentially involved in the determination of appetitive behavior rather than being epiphenomenal to it. Intrusive thoughts about appetitive targets are triggered automatically by external or physiological cues and by cognitive associates. When intrusions elicit significant pleasure or relief, cognitive elaboration usually ensues. Elaboration competes with concurrent cognitive tasks through retrieval of target related information and its retention in working memory. Sensory images are especially important products of intrusion and elaboration because they simulate the sensory and emotional qualities of target acquisition. Desire images are momentarily rewarding but amplify awareness of somatic and emotional deficits. Effects of desires on behavior are moderated by competing incentives, target availability, and skills. The theory provides a coherent account of existing data and suggests new directions for research and treatment.

The theory of planned behaviour applied to young people's use of social networking websites

Despite the increasing popularity of social networking websites (SNWs), very little is known about the psychosocial variables which predict people’s use of these websites. The present study used an extended model of the theory of planned behaviour (TPB), including the additional variables of self-identity and belongingness, to predict high level SNW use intentions and behaviour in a sample of young people aged between 17 and 24 years. Additional analayses examined the impact of self-identity and belongingness on young people’s addictive tendencies towards SNWs. University students (N = 233) completed measures of the standard TPB constructs (attitude, subjective norm and perceived behavioural control), the additional predictor variables (self-identity and belongingness), demographic variables (age, gender, and past behaviour) and addictive tendencies. One week later, they reported their engagement in high level SNW use during the previous week. Regression analyses partially supported the TPB, as attitude and subjective norm signficantly predicted intentions to engage in high level SNW use with intention signficantly predicting behaviour. Self-identity, but not belongingness, signficantly contributed to the prediction of intention, and, unexpectedly, behaviour. Past behaviour also signficantly predicted intention and behaviour. Self-identity and belongingness signficantly predicted addictive tendencies toward SNWs. Overall, the present study revealed that high level SNW use is influenced by attitudinal, normative, and self-identity factors, findings which can be used to inform strategies that aim to modify young people’s high levels of use or addictive tendencies for SNWs.