We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O’Hearn and Pym’s logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have th...

Many behaviors display various forms of activity-dependent plasticity. An example of such plasticity is the progressive shortening of the duration of protraction phase of feeding responses of Aplysia that occurs when feeding responses are repeatedly elicited. A similar protraction-duration shortening is observed in isolated ganglia of Aplysia when feeding-like motor programs are elicited throug...

Soluble guanylyl cyclase (sGC), a ubiquitously expressed heme-containing receptor for nitric oxide (NO), is a key mediator of NO-dependent processes. In addition to NO, a number of synthetic compounds that target the heme-binding region of sGC and activate it in a NO-independent fashion have been described. We report here that dicyanocobinamide (CN2-Cbi), a naturally occurring intermediate of v...

BACKGROUND Valid and reliable instruments in Arabic are needed to measure self-efficacy and quality of life for Arabic patients with cancer. OBJECTIVE The aim of this study was to test the psychometric performance of the Cancer Behavior Inventory-Brief Arabic (CBI-BA), including participant understanding of items, and the Functional Assessment of Cancer Therapy-Breast Arabic (FACT-BA). METH...

The effect of density of embedded post-questions on learning from computer-based instruction (CBI) was studied among 90 sixth-graders randomly assigned to three versions of a CBI programme — high density, low density, and no embedded questions. Children made significant achievement gains across each increase in question density, consistent across the continuum of reading ability represented in ...

BACKGROUND In 2004, a community-based health insurance scheme (CBI) was introduced in Nouna health district, Burkina Faso. Since its inception, coverage has remained low and dropout rates high. One important reason for low coverage and high dropout is that health workers do not support the CBI scheme because they are dissatisfied with the provider payment mechanism of the CBI. METHODS A discr...

By a facile strategy, we obtained three pure regioisomers of multiaryl coronene bisimide (CBI) derivatives via IBr-mediated annelation and subsequent Suzuki coupling reactions with high yields. A series of aromatic groups with different electron properties were efficiently introduced to obtain functional CBI derivatives under mild conditions with good yields. Furthermore, the annelation mechani...

Neurobehavioural and psychiatric symptoms are common in a range of neurodegenerative disorders with distinct profiles which are helpful in the diagnosis and monitoring of these disorders. The Cambridge Behavioural Inventory (CBI) has been shown to distinguish frontotemporal dementia (FTD), Alzheimer's disease (AD), Huntington's disease (HD) and Parkinson's disease (PD), but it is lengthy. Obj...

Internet gaming disorder (IGD) is characterized by high levels of craving for online gaming and related cues. Since addiction-related cues can evoke increased activation in brain areas involved in motivational and reward processing and may engender gaming behaviors or trigger relapse, ameliorating cue-induced craving may be a promising target for interventions for IGD. This study compared neura...