The role of working memory in compulsive checking and OCD:a systematic classification of 58 experimental findings

Despite the large body of research regarding the role of memory in OCD, the results are described as mixed at best (Hermans et al., 2008). For example, inconsistent findings have been reported with respect to basic capacity, intact verbal, and generally affected visuospatial memory. We suggest that this is due to the traditional pursuit of OCD memory impairment as one of the general capacity and/or domain specificity (visuospatial vs. verbal). In contrast, we conclude from our experiments (i.e., Harkin & Kessler, 2009, 2011; Harkin, Rutherford, & Kessler, 2011) and recent literature (e.g., Greisberg & McKay, 2003) that OCD memory impairment is secondary to executive dysfunction, and more specifically we identify three common factors (EBL: Executive-functioning efficiency, Binding complexity, and memory Load) that we generalize to 58 experimental findings from 46 OCD memory studies. As a result we explain otherwise inconsistent research – e.g., intact vs. deficient verbal memory – that are difficult to reconcile within a capacity or domain specific perspective. We conclude by discussing the relationship between our account and others', which in most cases is complementary rather than contradictory.

Using SAT for Combinational Implementation Checking

The problem of checking whether a system of incompletely specified Boolean functions is implemented by the given combinational circuit is considered. The task is reduced to testing out if two given logical descriptions are equivalent on the domain of one of them having functional indeterminacy. We present a novel SAT-based verification method that is used for testing whether the given circuit satisfies all the conditions represented by the system of incompletely specified Boolean functions.

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented. In this paper, we present an approximate model checking technique based on a genetic algorithm to check real-time automata for linear durration invariants in reasonable times. Genetic algorithm is a good optimization method when a problem needs massive computation and it works particularly well in our case because the fitness function which is derived from the linear duration invariant is linear. ACM Computing Classification System (1998): D.2.4, C.3.

Returns on key accounts:do the results justify the expenditures?

Purpose – The use of key accounts has become a mature trend and most industrial firms use this concept in some form. Selling firms establish key account teams to attend to important customers and consolidate their selling activities. Yet, despite such increased efforts on behalf of key accounts, sufficient research has not quantified the returns on key account strategy nor has it firmly established performance differences between key and non-key accounts within a firm. In response to this shortcoming, this study aims to examine returns on key accounts. Design Methodology/approach – Data were collected from a global consulting firm. The data collection started two years after the implementation of the key account program. Data were collected on recently acquired customers (within the previous year) at two time periods: year 1 and year 3 (based on company access of data). Findings – Initially, key accounts perform as well or better than other types of accounts. However, in the long term, key accounts are less satisfied, less profitable and less beneficial for a firm’s growth than other types of accounts. Because the returns to key account expenditures, thus, appear mixed, firms should be cautious in expanding their key account strategies. Research limitations implications – The study contributes to research in three areas. First, most research on the effectiveness of key accounts refers to the between-firm level, whereas this study examines the effect within a single firm. Second, this study examines the temporal aspects of key accounts, namely, what happens to key accounts over time, in comparison with other accounts in a fairly large sample. Third, it considers the survival rates of key accounts versus other types of accounts. Practical implications – The authors suggest that firms also need to track their key accounts better because the results show that key accounts are less satisfied, less profitable and less beneficial for a firm’s growth than other types of accounts. Originality/value – Extant research has not examined these issues.

Information or context : what accounts for positional proximity between the European Commission and lobbyists?

Peer reviewed

Skepticism and epistemic closure : two Bayesian accounts

Peer reviewed

Information or context : what accounts for positional proximity between the European Commission and lobbyists?

Peer reviewed

Skepticism and epistemic closure : two Bayesian accounts

Peer reviewed

Modelling Provenance of Sensor Data for Food Safety Compliance Checking

Postprint

Mary Anne Krupsak opening a checking account at the Women's bank

General note: Title and date provided by Bettye Lane.

Stationary Engineer checking air conditioning gauges

Inscriptions: Verso: [stamped] Photograph by Freda Leinwand. [463 West Street, Studio 229G, New York, NY 10014].

Nurse checking patient's monitors in the intensive care unit at Douglas County hospital in Alexandria, Minnesota

Inscriptions: Verso: [stamped] Photograph by Freda Leinwand. [463 West Street, Studio 229G, New York, NY 10014].

Nurse checking patient's monitors in the intensive care unit at Douglas County hospital in Alexandria, Minnesota

Inscriptions: Verso: [stamped] Credit must be given to Leinwand from Monkmeyer Press Photo Service].

Embodied sexualities: exploring accounts of Irish women’s sexual knowledge and sexual experiences, 1920–1970

This chapter explores the ways in which sexuality has been understood, embodied and negotiated by a cohort of Irish women through their lives. It is based on qualitative data generated as part of an oral history project on Irish women’s experiences of sexuality and reproduction during the period 1920–1970.1 The interviews, which were conducted with 21 Irish women born between 1914 and 1955, illustrate that social and cultural discourses of sexuality as secretive, dangerous, dutiful and sinful were central to these women’s interpretative repertoires around sexuality and gender. However, the data also contains accounts of behaviours, experiences and feelings that challenged or resisted prevailing scripts of sexuality and gender. Drawing on feminist conceptualisations of sexuality and embodiment (Holland et al., 1994; Jackson and Scott, 2010), this chapter demonstrates that the women’s sexual subjectivities were forged in the tensions that existed between normative sexual scripts and their embodied experiences of sexual desires and sexual and reproductive practices. While recollections of sexual desire and pleasure did feature in the accounts of some of the women, it was the difficulties experienced around sexuality and reproduction that were spoken about in greatest detail. What emerges clearly from the data is the confusion, anxiety and pain occasioned by the negotiation of external demands and internal desires and the contested, unstable nature of both cultural power and female resistance.