First-Order Logic for Flow-Limited Authorization

We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties, and develop its security guarantees. In particular, FLAFOL is the first logic to provide a non-interference guarantee while supporting all connectives of first-order logic. Furthermore, this guarantee is the first to combine the notions of non-interference from both authorization logic and information-flow systems. All theorems in this paper are proven in Coq.Comment: Coq code can be found at https://github.com/FLAFOL/flafol-co

Control of sedimentation by active tectonics, glaciation and contourite-depositing currents in Endurance Basin, South Georgia

Endurance Basin is an elongate broadly WNW-ESE trending basin located on the northern margin of the Scotia Sea, adjacent to the southern margin of the South Georgia micro-continent. Bathymetric and TOPAS sub-bottom profile data acquired in 2010 by the British research ship RRS James Clark Ross map this basin and its sedimentology for the first time. Endurance Basin contains a number of sub-basins and a substantial glaciogenic fan. The northern margin of Endurance Basin is formed by a series of steep slopes and intervening troughs. These are interpreted as a left-stepping en echelon array of oblique, strike-slip faults whilst the sub-basins are separated by compressional dip-slip faults. It appears that South Georgia is moving NW with respect to the basin. We interpret five seismic facies from TOPAS data, which are associated with distinct sedimentologies. The most striking units in the basin fill are: substantial contourite drifts located in the NW of the basin and on its southern margin; and two distinct mass transport deposits that pond in the centre of the basin. Combined with the known regional oceanographic setting, the contourites provide evidence of broadly eastward flowing bottom currents, entering the basin from at least two locations. Although landslide scars are present on the steep northern basin margin, the imaged mass transport deposits are interpreted to have been sourced from the glaciogenic fan, located in the SE of the basin, and from a contourite unit located on the basin’s southern margin. Sediments from these events are transported at least 40 km. The contourite drift sequence is at least 100 m thick in the west of the basin and may contain a palaeoenvironmental archive of Antarctic Cirumpolar Current (ACC) flow and the climate of South Georgia extending to the Pliocene. Such an archive would allow reconstruction of ACC flow through the Pleistocene glaciations and provide a means of linking ocean circulation and climate records in the sub-Antarctic Polar Front region

Discovery of a potent deubiquitinase (DUB) small molecule activity‐based probe enables broad spectrum DUB activity profiling in living cells

Deubiquitinases (DUBs) are a family of >100 proteases that hydrolyze isopeptide bonds linking ubiquitin to protein substrates. This leads to reduced substrate degradation through the ubiquitin proteasome system. Deregulation of DUB activity has been implicated in many diseases, including cancer, neurodegeneration and auto-inflammation, and several have been recognized as attractive targets for therapeutic intervention. Ubiquitin-derived covalent activity-based probes (ABPs) provide a powerful tool for DUB activity profiling, but their large recognition element impedes cellular permeability and presents an unmet need for small molecule ABPs which can account for regulation of DUB activity in intact cells or organisms. Here, through comprehensive chemoproteomic warhead profiling, we identify cyanopyrrolidine (CNPy) probe IMP-2373 (12) as a small molecule pan-DUB ABP to monitor DUB activity in physiologically relevant live cells. Through proteomics and targeted assays, we demonstrate that IMP-2373 quantitatively engages more than 35 DUBs across a range of non-toxic concentrations in diverse cell lines. We further demonstrate its application to quantification of changes in intracellular DUB activity during pharmacological inhibition and during MYC deregulation in a model of B cell lymphoma. IMP-2373 thus offers a complementary tool to ubiquitin ABPs to monitor dynamic DUB activity in the context of disease-relevant phenotypes

Growth and mass wasting of volcanic centers in the northern South Sandwich arc, South Atlantic, revealed by new multibeam mapping

New multibeam (swath) bathymetric sonar data acquired using an EM120 system on the RRS James Clark Ross, supplemented by sub-bottom profiling, reveals the underwater morphology of a not, vert, similar 12,000 km2 area in the northern part of the mainly submarine South Sandwich volcanic arc. The new data extend between 55° 45′S and 57° 20′S and include Protector Shoal and the areas around Zavodovski, Visokoi and the Candlemas islands groups. Each of these areas is a discrete volcanic center. The entirely submarine Protector Shoal area, close to the northern limit of the arc, forms a 55 km long east–west-trending seamount chain that is at least partly of silicic composition. The seamounts are comparable to small subaerial stratovolcanoes in size, with volumes up to 83 km3, indicating that they are the product of multiple eruptions over extended periods. Zavodovski, Visokoi and the Candlemas island group are the summits of three 3–3.5 km high volcanic edifices. The bathymetric data show evidence for relationships between constructional volcanic features, including migrating volcanic centers, structurally controlled constructional ridges, satellite lava flows and domes, and mass wasting of the edifices. Mass wasting takes place mainly by strong erosion at sea level, and dispersal of this material along chutes, probably as turbidity currents and other mass flows that deposit in extensive sediment wave fields. Large scale mass wasting structures include movement of unconsolidated debris in slides, slumps and debris avalanches. Volcanism is migrating westward relative to the underlying plate and major volcanoes are asymmetrical, being steep with abundant recent volcanism on their western flanks, and gently sloping with extinct, eroded volcanic sequences to their east. This is consistent with the calculated rate of subduction erosion of the fore-arc

Western Indian Ocean marine and terrestrial records of climate variability: a review and new concepts on land-ocean interactions since AD 1660

We examine the relationship between three tropical and two subtropical western Indian Ocean coral oxygen isotope time series to surface air temperatures (SAT) and rainfall over India, tropical East Africa and southeast Africa. We review established relationships, provide new concepts with regard to distinct rainfall seasons, and mean annual temperatures. Tropical corals are coherent with SAT over western India and East Africa at interannual and multidecadal periodicities. The subtropical corals correlate with Southeast African SAT at periodicities of 16–30 years. The relationship between the coral records and land rainfall is more complex. Running correlations suggest varying strength of interannual teleconnections between the tropical coral oxygen isotope records and rainfall over equatorial East Africa. The relationship with rainfall over India changed in the 1970s. The subtropical oxygen isotope records are coherent with South African rainfall at interdecadal periodicities. Paleoclimatological reconstructions of land rainfall and SAT reveal that the inferred relationships generally hold during the last 350 years. Thus, the Indian Ocean corals prove invaluable for investigating land–ocean interactions during past centuries

Review of research to inform California's climate scoping plan: Agriculture and working lands

Agriculture in California contributes 8% of the state's greenhouse gas (GHG) emissions. To inform the state's policy and program strategy to meet climate targets, we review recent research on practices that can reduce emissions, sequester carbon and provide other co-benefits to producers and the environment across agriculture and rangeland systems. Importantly, the research reviewed here was conducted in California and addresses practices in our specific agricultural, socioeconomic and biophysical environment. Farmland conversion and the dairy and intensive livestock sector are the largest contributors to GHG emissions and offer the greatest opportunities for avoided emissions. We also identify a range of other opportunities including soil and nutrient management, integrated and diversified farming systems, rangeland management, and biomass-based energy generation. Additional research to replicate and quantify the emissions reduction or carbon sequestration potential of these practices will strengthen the evidence base for California climate policy

Effects of antiplatelet therapy on stroke risk by brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases: subgroup analyses of the RESTART randomised, open-label trial

Background Findings from the RESTART trial suggest that starting antiplatelet therapy might reduce the risk of recurrent symptomatic intracerebral haemorrhage compared with avoiding antiplatelet therapy. Brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases (such as cerebral microbleeds) are associated with greater risks of recurrent intracerebral haemorrhage. We did subgroup analyses of the RESTART trial to explore whether these brain imaging features modify the effects of antiplatelet therapy

The Prevalence of Visual Impairment in People with Dementia (the PrOVIDe study): a cross-sectional study of people aged 60–89 years with dementia and qualitative exploration of individual, carer and professional perspectives

Background: The prevalence of visual impairment (VI) and dementia increases with age and these conditions may coexist, but few UK data exist on VI among people with dementia. Objectives: To measure the prevalence of eye conditions causing VI in people with dementia and to identify/describe reasons for underdetection or inappropriate management. Design: Stage 1 – cross-sectional prevalence study. Stage 2 – qualitative research exploring participant, carer and professional perspectives of eye care. Setting: Stage 1 – 20 NHS sites in six English regions. Stage 2 – six English regions. Participants: Stage 1 – 708 participants with dementia (aged 60–89 years): 389 lived in the community (group 1) and 319 lived in care homes (group 2). Stage 2 – 119 participants. Interventions: Stage 1 gathered eye examination data following domiciliary sight tests complying with General Ophthalmic Services requirements and professional guidelines. Cognitive impairment was assessed using the Standardised Mini-Mental State Examination (sMMSE) test, and functional ability and behavior were assessed using the Bristol Activities of Daily Living Scale and Cambridge Behavioural Inventory – Revised. Stage 2 involved individual interviews (36 people with dementia and 11 care workers); and separate focus groups (34 optometrists; 38 family and professional carers). Main outcome measures.: VI defined by visual acuity (VA) worse than 6/12 or worse than 6/18 measured before and after refraction. Results: Stage 1 – when participants wore their current spectacles, VI prevalence was 32.5% [95% confidence interval (CI) 28.7% to 36.5%] and 16.3% (95% CI 13.5% to 19.6%) for commonly used criteria for VI of VA worse than 6/12 and 6/18, respectively. Of those with VI, 44% (VA 80% of participants. There was no evidence that the management of VI in people with dementia differed from that in older people in general. Exploratory analysis suggested significant deficits in some vision-related aspects of function and behaviour in participants with VI. Stage 2 key messages – carers and care workers underestimated how much can be achieved in an eye examination. People with dementia and carers were unaware of domiciliary sight test availability. Improved communication is needed between optometrists and carers; optometrists should be informed of the person’s dementia. Tailoring eye examinations to individual needs includes allowing extra time. Optometrists wanted training and guidance about dementia. Correcting VI may improve the quality of life of people with dementia but should be weighed against the risks and burdens of undergoing examinations and cataract surgery on an individual basis. Limitations: Sampling bias is possible owing to quota-sampling and response bias. Conclusions: The prevalence of VI is disproportionately higher in people with dementia living in care homes. Almost 50% of presenting VI is correctable with spectacles, and more with cataract surgery. Areas for future research are the development of an eye-care pathway for people with dementia; assessment of the benefits of early cataract surgery; and research into the feasibility of specialist optometrists for older people