Preliminary Design of the SAFE Platform

SAFE is a clean-slate design for a secure host architecture. It integrates advances in programming languages, operating systems, and hardware and incorporates formal methods at every step. Though the project is still at an early stage, we have assembled a set of basic architectural choices that we believe will yield a high-assurance system. We sketch the current state of the design and discuss several of these choices.Engineering and Applied Science

Preliminary Design of the SAFE Platform

Safe is a clean-slate design for a secure host architecture. It integrates advances in programming languages, operating systems, and hardware and incorporates formal methods at every step. Though the project is still at an early stage, we have assembled a set of basic architectural choices that we believe will yield a high-assurance system. We sketch the current state of the design and discuss several of these choices

The relationship between perceived social support and depressive symptoms in informal caregivers of community-dwelling older persons in Chile

AIM: Depression among caregivers of older persons is a serious concern, but it is often overlooked and neglected in developing countries. The aim of this study was to examine the relationship between perceived social support and depression in informal caregivers of community-dwelling older persons in Chile. Methods: We analyzed cross-sectional secondary data on 377 dyads of community-dwelling older persons and their informal caregivers from a nationwide survey in Chile. The Duke-UNC Functional Social Support Questionnaire (FSSQ) was used to measure caregivers’ perceived social support, and the Center for Epidemiologic Studies Depression Scale assessed their depression. Results: In this study, 76.9% of the caregivers perceived a high level of social support, and 46.9% were assessed as having depression. Based on multivariable analysis, factors that decrease the likelihood of being depressed are a high level of social support (odds ratio (OR) = 0.311, 95% confidence interval (CI): 0.167–0.579) and having taken holidays in the past 12 months (OR = 0.513, 95%CI: 0.270–0.975). Factors that increase the likelihood of being depressed are being a female caregiver (OR = 2.296, 95%CI: 1.119–4.707), being uninsured (OR = 4.321, 95%CI: 1.750–10.672), being the partner or spouse of the care recipient (OR = 3.832, 95%CI: 1.546–9.493), and the number of hours of care (OR = 1.053, 95%CI: 1.021–1.085). Conclusion: Higher levels of perceived social support and holidays were associated with lower levels of depression. However, being female, being the care recipient's partner or spouse, being uninsured, and having long care periods had detrimental effects. Interventions to preserve and enhance perceived social support could help improve depressive symptoms in informal caregivers. Additionally, support should be available to caregivers who are women, uninsured, and the care recipient's partner or spouse, as well as those who provide care for long hours, to ensure they have respite from their caregiving role

ER stress regulates myeloid-derived suppressor cell fate through TRAIL-R–mediated apoptosis

Myeloid-derived suppressor cells (MDSCs) dampen the immune response thorough inhibition of T cell activation and proliferation and often are expanded in pathological conditions. Here, we studied the fate of MDSCs in cancer. Unexpectedly, MDSCs had lower viability and a shorter half-life in tumor-bearing mice compared with neutrophils and monocytes. The reduction of MDSC viability was due to increased apoptosis, which was mediated by increased expression of TNF-related apoptosis–induced ligand receptors (TRAIL-Rs) in these cells. Targeting TRAIL-Rs in naive mice did not affect myeloid cell populations, but it dramatically reduced the presence of MDSCs and improved immune responses in tumor-bearing mice. Treatment of myeloid cells with proinflammatory cytokines did not affect TRAIL-R expression; however, induction of ER stress in myeloid cells recapitulated changes in TRAIL-R expression observed in tumor-bearing hosts. The ER stress response was detected in MDSCs isolated from cancer patients and tumor-bearing mice, but not in control neutrophils or monocytes, and blockade of ER stress abrogated tumor-associated changes in TRAIL-Rs. Together, these data indicate that MDSC pathophysiology is linked to ER stress, which shortens the lifespan of these cells in the periphery and promotes expansion in BM. Furthermore, TRAIL-Rs can be considered as potential targets for selectively inhibiting MDSCs

Assessing species’ habitat associations from occurrence records, standardised monitoring data and expert opinion: a test with British butterflies

Accurate knowledge of species’ habitat associations is important for conservation planning and policy. Assessing habitat associations is a vital precursor to selecting appropriate indicator species for prioritising sites for conservation or assessing trends in habitat quality. However, much existing knowledge is based on qualitative expert opinion or local scale studies, and may not remain accurate across different spatial scales or geographic locations. Data from biological recording schemes have the potential to provide objective measures of habitat association, with the ability to account for spatial variation. We used data on 50 British butterfly species as a test case to investigate the correspondence of data-derived measures of habitat association with expert opinion, from two different butterfly recording schemes. One scheme collected large quantities of occurrence data (c. 3 million records) and the other, lower quantities of standardised monitoring data (c. 1400 sites). We used general linear mixed effects models to derive scores of association with broad-leaf woodland for both datasets and compared them with scores canvassed from experts. Scores derived from occurrence and abundance data both showed strongly positive correlations with expert opinion. However, only for occurrence data did these fell within the range of correlations between experts. Data-derived scores showed regional spatial variation in the strength of butterfly associations with broad-leaf woodland, with a significant latitudinal trend in 26% of species. Sub-sampling of the data suggested a mean sample size of 5000 occurrence records per species to gain an accurate estimation of habitat association, although habitat specialists are likely to be readily detected using several hundred records. Occurrence data from recording schemes can thus provide easily obtained, objective, quantitative measures of habitat association

Is There an Upper Limit to Genome Size?

O.H. was supported by the Marie Skłodowska Curie Action Individual Fellowship program (CAPITULA, grant agreement 657918

The Impossibility of a Perfectly Competitive Labor Market

Using the institutional theory of transaction cost, I demonstrate that the assumptions of the competitive labor market model are internally contradictory and lead to the conclusion that on purely theoretical grounds a perfectly competitive labor market is a logical impossibility. By extension, the familiar diagram of wage determination by supply and demand is also a logical impossibility and the neoclassical labor demand curve is not a well-defined construct. The reason is that the perfectly competitive market model presumes zero transaction cost and with zero transaction cost all labor is hired as independent contractors, implying multi-person firms, the employment relationship, and labor market disappear. With positive transaction cost, on the other hand, employment contracts are incomplete and the labor supply curve to the firm is upward sloping, again causing the labor demand curve to be ill-defined. As a result, theory suggests that wage rates are always and everywhere an amalgam of an administered and bargained price. Working Paper 06-0

BRITICE Glacial Map, version 2: a map and GIS database of glacial landforms of the last British-Irish Ice Sheet

During the last glaciation, most of the British Isles and the surrounding continental shelf were covered by the British–Irish Ice Sheet (BIIS). An earlier compilation from the existing literature (BRITICE version 1) assembled the relevant glacial geomorphological evidence into a freely available GIS geodatabase and map (Clark et al. 2004: Boreas 33, 359). New high-resolution digital elevation models, of the land and seabed, have become available casting the glacial landform record of the British Isles in a new light and highlighting the shortcomings of the V.1 BRITICE compilation. Here we present a wholesale revision of the evidence, onshore and offshore, to produce BRITICE version 2, which now also includes Ireland. All published geomorphological evidence pertinent to the behaviour of the ice sheet is included, up to the census date of December 2015. The revised GIS database contains over 170 000 geospatially referenced and attributed elements – an eightfold increase in information from the previous version. The compiled data include: drumlins, ribbed moraine, crag-and-tails, mega-scale glacial lineations, glacially streamlined bedrock (grooves, roches moutonnées, whalebacks), glacial erratics, eskers, meltwater channels (subglacial, lateral, proglacial and tunnel valleys), moraines, trimlines, cirques, trough-mouth fans and evidence defining ice-dammed lakes. The increased volume of features necessitates different map/database products with varying levels of data generalization, namely: (i) an unfiltered GIS database containing all mapping; (ii) a filtered GIS database, resolving data conflicts and with edits to improve geo-locational accuracy (available as GIS data and PDF maps); and (iii) a cartographically generalized map to provide an overview of the distribution and types of features at the ice-sheet scale that can be printed at A0 paper size at a 1:1 250 000 scale. All GIS data, the maps (as PDFs) and a bibliography of all published sources are available for download from: https://www.sheffield.ac.uk/geography/staff/clark_chris/britice