Filetype
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula an
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula an
Reinforcement learning systems usually assume that a value function is defined over all states (or state-action pairs) that can immediately give the value of a particular state or action. These values are used by a selection mechanism to decide which action to take. In contrast, when humans and animals make decisions, they collect evidence for different alternatives over time and take action only
Using the World Management Survey method, the authors mapped and analysed management quality in Swedish primary care centres. On average, private sector providers were better managed than public providers. Centres with a high overall social deprivation among enrolled patients also tended to have higher management quality. Management quality was positively associated with accessibility (length of w
What determines the development of rural financial markets? Starting from a simple theoretical framework, we derive the factors shaping the market entry of rural microfinance institutions across time and space. We provide empirical evidence for these determinants using the expansion of credit cooperatives in the 236 eastern counties of Prussia between 1852 and 1913. This setting is attractive as i
This article presents two case studies, which are the result of the application of a gendered interpretative tool to the collections at the Victoria & Albert Museum (London) and the Vasa Museum (Stockholm). Objects and their gendered narratives within the museums’ collections were researched across their lifecycle, from commission and manufacture to consumption and display in a museum setting.
The aim of this study was to specify the latent construct structure of the Friends and Family Interview (FFI: Steele & Steele, 2005) based on its dimensional scale coding protocol. The FFI is a semi-structured interview measuring attachment in middle childhood. We analyzed data from 341 FFI interviews with children aged 7–12 years, recruited in the Scandinavian Öresund Region. Exploratory Fact
Proinflammatory diets are associated with risk of developing colorectal cancer (CRC), however, inconsistencies exist in subsite- and sex-specific associations. The relationship between CRC and combined lifestyle-related factors that contribute toward a low-grade inflammatory profile has not yet been explored. We examined the association between the dietary inflammatory potential and an inflammator
In this review, the case is made that amyloid-β peptide in the brain of patients with Alzheimer's disease is a primary cause of the disease and that immunotherapy directed against this peptide has the potential to halt and/or reverse disease progression. This supposition is supported by the capacity of anti-β-amyloid peptide antibodies to prevent or reverse the disease in mouse models of Alzheimer
This study assesses the effect of some extended Enterprise Resource Planning (ERP) capabilities (Collaboration, Analytics, Web-portals, Add-ons) and ERP use on ERP value. The research conducted, followed a mixed-methods approach using an exploratory study (Delphi) and the resource-based view of the firm to understand the ERP capabilities and develop three competing models surrounding these capabil
To ensure that listeners pay attention and do not habituate, emotionally intense vocalizations may be under evolutionary pressure to exploit processing biases in the auditory system by maximising their bottom-up salience. This “salience code” hypothesis was tested using 128 human nonverbal vocalizations representing eight emotions: amusement, anger, disgust, effort, fear, pain, pleasure, and sadne
According to a widely cited finding by Ellis and Stark (1978 Perception 7 575-581), the duration of eye fixations is longer at the instant of perceptual reversal of an ambiguous figure than before or after the reversal. However, long fixations are more likely to include samples of an independent random event than are short fixations. This sampling bias would produce the pattern of results also whe
Using the World Management Survey method, we map and analyse management quality in Swedish primary care centres. On average, private providers have higher management quality than public ones. We also find that centres with a high overall social deprivation among enrolled patients tend to have higher management quality. Regarding quality of care, we find that management quality is positively associ
The process of transforming the industrial economy into a society largely based on the production and dissemination of information and knowledge has widespread implications for cities and regions as well as organisations and individuals. And while the economy is increasingly global, the differences in economic development between cities and regions will not necessarily disappear. Indeed, the diver
As part of an extensive air chemistry programme, during summer 1980, on board the Swedish ice-breaker 'Ymer', levels of 222Rn (radon) and its long-lived daughters 210Pb and 210Po were measured. The radon was trapped on charcoal and the long-lived daugther products sampled on filters on a daily basis. In addition, short-lived progenies were followed continuously on the filters in order to achieve a
