Cauchy's residue theorem for a class of real valued functions

Let $[a,b]$ be an interval in $\mathbb{R}$ and let $F$ be a real valued function defined at the endpoints of $[a,b]$ and with a certain number of discontinuities within $[a,b]$. Having assumed $F$ to be differentiable on a set $[a,b] \backslash E$ to the derivative $f$, where $E$ is a subset of $[a,b]$ at whose points $F$ can take values $\pm \infty$ or not be defined at all, we adopt the convention that $F$ and $f$ are equal to 0 at all points of $E$ and show that $\mathcal{KH-}vt\int_{a}^{b}f=F(b) -F(a)$%, where $\mathcal{KH-}$ $vt$ denotes the total value of the \textit{% Kurzweil-Henstock} integral. The paper ends with a few examples that illustrate the theory.Comment: 6 page

Goal models for acceptance requirements analysis and gamification design.

The success of software systems highly depends on user engagement. Thus, to deliver engaging systems, software has to be designed carefully taking into account Acceptance Requirements, such as '70% of users will use the system', and the psychological factors that could influence users to use the system. Analysis can then consider mechanisms that affect these factors, such as Gamification (making a game out of system use), advertising, incentives and more. We propose a Systematic Acceptance Requirements Analysis Framework based on Gamification for supporting the requirements engineer in analyzing and designing engaging software systems. Our framework, named Agon, encompasses both a methodology and a meta-model capturing acceptance and gamification knowledge. In this paper, we describe the Agon Meta-Model and provide examples from the gamification of a decision-making platform in the context of a European Project

A monument to the player: Preserving a landscape of socio-cultural capital in the transitional MMORPG

This is the pre-print version of the Article. The official published version can be accessed from the links below - Copyright @ 2012 Taylor & Francis LtdMassively multiplayer online role-playing games (MMORPGs) produce dynamic socio-ludic worlds that nurture both culture and gameplay to shape experiences. Despite the persistent nature of these games, however, the virtual spaces that anchor these worlds may not always be able to exist in perpetuity. Encouraging a community to migrate from one space to another is a challenge now facing some game developers. This paper examines the case of Guild Wars® and its “Hall of Monuments”, a feature that bridges the accomplishments of players from the current game to the forthcoming sequel. Two factor analyses describe the perspectives of 105 and 187 self-selected participants. The results reveal four factors affecting attitudes towards the feature, but they do not strongly correlate with existing motivational frameworks, and significant differences were found between different cultures within the game. This informs a discussion about the implications and facilitation of such transitions, investigating themes of capital, value perception and assumptive worlds. It is concluded that the way subcultures produce meaning needs to be considered when attempting to preserve the socio-cultural landscape

Determination of Omega_b From Big Bang Nucleosynthesis in the Presence of Regions of Antimatter

Production of regions of antimatter in the early universe is predicted in many baryogenesis models. Small scale antimatter regions would annihilate during or soon after nucleosynthesis, affecting the abundances of the light elements. In this paper we study how the acceptable range in Omega_b changes in the presence of antimatter regions, as compared to the standard big bang nucleosynthesis. It turns out that it is possible to produce at the same time both a low 4He value (Y_p < 0.240) and a low D/H value (D/H < 4e-5), but overproduction of 7Li is unavoidable at large Omega_b.Comment: 9 pages, PRD version, ref. 6 correcte

An EMA analysis of the effect of increasing word length on consonant production in apraxia of speech: A case study

The effect of increasing word length on the articulatory dynamics (i.e. duration, distance, maximum acceleration, maximum deceleration, and maximum velocity) of consonant production in acquired apraxia of speech was investigated using electromagnetic articulography (EMA). Tongue-tip and tongue-back movement of one apraxic patient was recorded using the AG-200 EMA system during word-initial consonant productions in one, two, and three syllable words. Significantly deviant articulatory parameters were recorded for each of the target consonants during one, two, and three syllables words. Word length effects were most evident during the release phase of target consonant productions. The results are discussed with respect to theories of speech motor control as they relate to AOS

Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Toward a conceptual framework of emotional relationship marketing: an examination of two UK political parties

The purpose of this paper is to review the notion of branding and evaluate its applicability to political parties. As ideological politics is in decline, branding may provide a consistent narrative where voters feel a sense of warmth and belonging. The paper aims to build an understanding of the complexity of building a political brand where a combination of image, logo, leadership, and values can all contribute to a compelling brand narrative. It investigates how competing positive and negative messages attempt to build and distort the brand identity. A critical review of bran ding, relationship marketing, and political science literature articulates the conceptual development of branding and its applicability to political parties. The success or failure of negative campaigning is due to the authenticity of a political party’s brand values — creating a coherent brand story — if there is no distance between the brand values articulated by the political party and the values their community perceives then this creates an "authentic" brand. However, if there is a gap this paper illustrates how negative campaigning can be used to build a "doppelganger brand," which undermines the credibility of the authentic political brand. The paper argues that political parties need to understand how brand stories are developed but also how they can be used to protect against negative advertising. This has implications for political marketing strategists and political parties. This paper draws together branding theory and relationship marketing and incorporates them into a framework that makes a contribution to the political marketing literature

Managing Minds at Work: development of a digital line manager training programme

Background Mental ill health is the leading cause of sickness absence with high economic burden. Workplace interventions aimed at supporting employers with prevention of mental ill-health in the workforce are urgently required. Managing Minds at Work (MMW) is a digital intervention targeting support for line managers in any work setting to promote better mental health at work through a preventative approach. Objectives To describe the design and development of the MMW digital training programme, prior to feasibility testing. We adopted a collaborative participatory design involving co-design (users as partners) and principles of user-centred design (pilot and usability testing). Agile methodology was used to co-create intervention content with a stakeholder community of practice. Development processes were mapped to core elements of the Medical Research Council (MRC) framework for developing and evaluating complex interventions. Results The program covers five broad areas: (i) promoting self-care techniques among line managers; (ii) designing work to prevent work-related stress; (iii) management competencies to prevent and reduce stress; (iv) having conversations with employees about mental health; (v) building a psychologically safe work environment. Pilot and usability testing (n = 37 surveys) aligned with the Technology Acceptance Model (TAM) demonstrated that MMW was perceived to be useful, relevant, and easy to use by managers across sectors, organization types and sizes. We identified positive impacts on manager attitudes and behavioural intentions related to preventing mental ill-health and promoting good mental well-being at work. Conclusions MMW is a digital training programme for line managers that has been co-created using rigorous development processes and aims to support employers with primary prevention in mental health. The next step is to explore the feasibility and acceptability of this intervention with line managers in diverse employment settings. Key message

Enteral lactoferrin supplementation for very preterm infants: a randomised placebo-controlled trial

Background Infections acquired in hospital are an important cause of morbidity and mortality in very preterm infants. Several small trials have suggested that supplementing the enteral diet of very preterm infants with lactoferrin, an antimicrobial protein processed from cow's milk, prevents infections and associated complications. The aim of this large randomised controlled trial was to collect data to enhance the validity and applicability of the evidence from previous trials to inform practice. Methods In this randomised placebo-controlled trial, we recruited very preterm infants born before 32 weeks' gestation in 37 UK hospitals and younger than 72 h at randomisation. Exclusion criteria were presence of a severe congenital anomaly, anticipated enteral fasting for longer than 14 days, or no realistic prospect of survival. Eligible infants were randomly assigned (1:1) to receive either enteral bovine lactoferrin (150 mg/kg per day; maximum 300 mg/day; lactoferrin group) or sucrose (same dose; control group) once daily until 34 weeks' postmenstrual age. Web-based randomisation minimised for recruitment site, gestation (completed weeks), sex, and single versus multifetal pregnancy. Parents, caregivers, and outcome assessors were unaware of group assignment. The primary outcome was microbiologically confirmed or clinically suspected late-onset infection (occurring >72 h after birth), which was assessed in all participants for whom primary outcome data was available by calculating the relative risk ratio with 95% CI between the two groups. The trial is registered with the International Standard Randomised Controlled Trial Number 88261002. Findings We recruited 2203 participants between May 7, 2014, and Sept 28, 2017, of whom 1099 were assigned to the lactoferrin group and 1104 to the control group. Four infants had consent withdrawn or unconfirmed, leaving 1098 infants in the lactoferrin group and 1101 in the sucrose group. Primary outcome data for 2182 infants (1093 [99·5%] of 1098 in the lactoferrin group and 1089 [99·0] of 1101 in the control group) were available for inclusion in the modified intention-to-treat analyses. 316 (29%) of 1093 infants in the intervention group acquired a late-onset infection versus 334 (31%) of 1089 in the control group. The risk ratio adjusted for minimisation factors was 0·95 (95% CI 0·86–1·04; p=0·233). During the trial there were 16 serious adverse events for infants in the lactoferrin group and 10 for infants in the control group. Two events in the lactoferrin group (one case of blood in stool and one death after intestinal perforation) were assessed as being possibly related to the trial intervention. Interpretation Enteral supplementation with bovine lactoferrin does not reduce the risk of late-onset infection in very preterm infants. These data do not support its routine use to prevent late-onset infection and associated morbidity or mortality in very preterm infants. Funding UK National Institute for Health Research Health Technology Assessment programme (10/57/49)

Enteral lactoferrin supplementation for very preterm infants: a randomised placebo-controlled trial

Background Infections acquired in hospital are an important cause of morbidity and mortality in very preterm infants. Several small trials have suggested that supplementing the enteral diet of very preterm infants with lactoferrin, an antimicrobial protein processed from cow's milk, prevents infections and associated complications. The aim of this large randomised controlled trial was to collect data to enhance the validity and applicability of the evidence from previous trials to inform practice. Methods In this randomised placebo-controlled trial, we recruited very preterm infants born before 32 weeks' gestation in 37 UK hospitals and younger than 72 h at randomisation. Exclusion criteria were presence of a severe congenital anomaly, anticipated enteral fasting for longer than 14 days, or no realistic prospect of survival. Eligible infants were randomly assigned (1:1) to receive either enteral bovine lactoferrin (150 mg/kg per day; maximum 300 mg/day; lactoferrin group) or sucrose (same dose; control group) once daily until 34 weeks' postmenstrual age. Web-based randomisation minimised for recruitment site, gestation (completed weeks), sex, and single versus multifetal pregnancy. Parents, caregivers, and outcome assessors were unaware of group assignment. The primary outcome was microbiologically confirmed or clinically suspected late-onset infection (occurring >72 h after birth), which was assessed in all participants for whom primary outcome data was available by calculating the relative risk ratio with 95% CI between the two groups. The trial is registered with the International Standard Randomised Controlled Trial Number 88261002. Findings We recruited 2203 participants between May 7, 2014, and Sept 28, 2017, of whom 1099 were assigned to the lactoferrin group and 1104 to the control group. Four infants had consent withdrawn or unconfirmed, leaving 1098 infants in the lactoferrin group and 1101 in the sucrose group. Primary outcome data for 2182 infants (1093 [99·5%] of 1098 in the lactoferrin group and 1089 [99·0] of 1101 in the control group) were available for inclusion in the modified intention-to-treat analyses. 316 (29%) of 1093 infants in the intervention group acquired a late-onset infection versus 334 (31%) of 1089 in the control group. The risk ratio adjusted for minimisation factors was 0·95 (95% CI 0·86–1·04; p=0·233). During the trial there were 16 serious adverse events for infants in the lactoferrin group and 10 for infants in the control group. Two events in the lactoferrin group (one case of blood in stool and one death after intestinal perforation) were assessed as being possibly related to the trial intervention. Interpretation Enteral supplementation with bovine lactoferrin does not reduce the risk of late-onset infection in very preterm infants. These data do not support its routine use to prevent late-onset infection and associated morbidity or mortality in very preterm infants. Funding UK National Institute for Health Research Health Technology Assessment programme (10/57/49)