Categorical consequence for paraconsistent logic

Includes bibliographical references (pages 149-150).Consequence relations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion categorical consequence relations

The neural correlates of emotion regulation by implementation intentions

Several studies have investigated the neural basis of effortful emotion regulation (ER) but the neural basis of automatic ER has been less comprehensively explored. The present study investigated the neural basis of automatic ER supported by ‘implementation intentions’. 40 healthy participants underwent fMRI while viewing emotion-eliciting images and used either a previously-taught effortful ER strategy, in the form of a goal intention (e.g., try to take a detached perspective), or a more automatic ER strategy, in the form of an implementation intention (e.g., “If I see something disgusting, then I will think these are just pixels on the screen!”), to regulate their emotional response. Whereas goal intention ER strategies were associated with activation of brain areas previously reported to be involved in effortful ER (including dorsolateral prefrontal cortex), ER strategies based on an implementation intention strategy were associated with activation of right inferior frontal gyrus and ventro-parietal cortex, which may reflect the attentional control processes automatically captured by the cue for action contained within the implementation intention. Goal intentions were also associated with less effective modulation of left amygdala, supporting the increased efficacy of ER under implementation intention instructions, which showed coupling of orbitofrontal cortex and amygdala. The findings support previous behavioural studies in suggesting that forming an implementation intention enables people to enact goal-directed responses with less effort and more efficiency

The role of religiosity types in the phenomenology of hallucinations:A large cross-sectional community-based study in a predominantly Muslim society

Religiosity is a multidimensional construct known to influence the occurrence of hallucinations. However, it remains unknown how different religiosity types affect clinically relevant phenomenological features of hallucinations. Therefore, we wished to explore associations between intrinsic and extrinsic (non-organizational and organizational) religiosity and hallucinations severity, distress or impact on daily function in a non-clinical Muslim population. We recruited a representative sample of full-time students at Qatar's only national university via systematic random sampling and administered the Questionnaire of Psychotic Experiences online. The study design was cross-sectional. Using structural equation modeling, we estimated effects of the religiosity types on hallucinations severity, distress or impact on daily function in the past week while accounting for sociodemographic variables, anxiety, depressive symptoms, and, delusions. Extrinsic non-organizational religiosity (ENORG) was associated with experiencing reduced distress or impact on daily function from hallucinations both directly and indirectly through intrinsic religiosity. In contrast, extrinsic non-organizational religiosity (EORG) was associated with increased hallucinations distress or impact albeit only through higher intrinsic religiosity. We found no association between any religiosity types and hallucinations severity. Younger and married participants from lower socio-economic class had comparatively more severe hallucinations and more distress from them. Qatari nationality was positively associated EORG and negatively associated with hallucinations distress or impact. Evidence of differential associations between the religiosity types, socioeconomic and cultural groups, and distress or impact from past week's hallucinations supports the importance of alignment between religious, mental health, and well-being education

Trends in prevalence of depression and anxiety symptoms and effects of sociodemographic variables before and after the first wave of COVID-19 in Qatar

Background Prevalence trends from Arabic speaking countries on psychiatric symptoms before and after the first wave of the COVID-19 pandemic are lacking. We estimated the point prevalence and change in depression and anxiety symptoms scores in relation to sociodemographic variables following the resolution of the first wave in Qatar compared with before the pandemic. Methods We conducted a trend analysis using repeated nationally representative cross-sectional surveys spanning 2017, 2018, 2020/2021 and using the Patient Health Questionnaire-9 (PHQ-9) and Generalized Anxiety Disorder-7 (GAD-7) to assess depressive and anxiety symptoms. Negative binomial regression was used to model changes in these symptoms in relation sociodemographics and survey year. Results The two-week prevalence of depressive symptoms (≥10 on the PHQ-9) was 6.6% in 2017 and 6.5% in 2020/2021 (p = 0.986). The two-week prevalence of anxiety symptoms (≥10 on the GAD-7) was 3.6% in 2018 and 5.1% in 2020/2021 (p = 0.062). The data for 2020/21 showed a 35.1% and 29.2% decrease in depression and anxiety symptoms scores compared to pre-pandemic years (2017/2018) after adjusting for sociodemographic factors. Limitations Screening tools rather than structured interviews were used to assess depressive and anxiety symptoms Conclusions The prevalence of depression and anxiety after the first COVID wave did not differ significantly to pre-pandemic estimates. The end of the first wave of the pandemic weakened the associations of these symptoms with traditional sociodemographic risk factors. The 2020/21 depression and anxiety symptoms scores remained high for Qataris and Arabs, suggesting that these cultural groups may benefit most from public mental health interventions.This research received an Emergency Response Grant Fund from Qatar University ( QUERGCAS-2020-1 ). The Funding agency had no input in the study design, data analysis or writing of this manuscript. The statements made herein are solely the responsibility of the authors.Scopu

The C5a anaphylatoxin receptor CD88 is expressed in presynaptic terminals of hippocampal mossy fibres

Background: In the periphery, C5a acts through the G-protein coupled receptor CD88 to enhance/maintain inflammatory responses. In the brain, CD88 can be expressed on astrocytes, microglia and neurons. Previous studies have shown that the hippocampal CA3 region displays CD88-immunolabelling, and CD88 mRNA is present within dentate gyrus granule cells. As granule cells send dense axonal projections (mossy fibres) to CA3 pyramidal neurons, CD88 expression could be expressed on mossy fibres. However, the cellular location of CD88 within the hippocampal CA3 region is unknown

Renormalisation-theoretic analysis of non-equilibrium phase transitions I: The Becker-Doring equations with power law rate coefficients

We study in detail the application of renormalisation theory to models of cluster aggregation and fragmentation of relevance to nucleation and growth processes. We investigate the Becker-Dorging equations, originally formulated to describe and analyse non-equilibrium phase transitions, and more recently generalised to describe a wide range of physicochemical problems. In the present paper we analyse how the systematic coarse-graining renormalisation of the \BD system of equations affects the aggregation and fragmentation rate coefficients. We consider the case of power-law size-dependent cluster rate coefficients which we show lead to only three classes of system that require analysis: coagulation-dominated systems, fragmentation-dominated systems and those where coagulation and fragmentation are exactly balanced. We analyse the late-time asymptotics associated with each class.Comment: 18 pages, to appear in J Phys A Math Ge

The role of religiosity types in the phenomenology of hallucinations: A large cross-sectional community-based study in a predominantly Muslim society

Religiosity is a multidimensional construct known to influence the occurrence of hallucinations. However, it remains unknown how different religiosity types affect clinically relevant phenomenological features of hallucinations. Therefore, we wished to explore associations between intrinsic and extrinsic (non-organizational and organizational) religiosity and hallucinations severity, distress or impact on daily function in a non-clinical Muslim population. We recruited a representative sample of full-time students at Qatar's only national university via systematic random sampling and administered the Questionnaire of Psychotic Experiences online. The study design was cross-sectional. Using structural equation modeling, we estimated effects of the religiosity types on hallucinations severity, distress or impact on daily function in the past week while accounting for sociodemographic variables, anxiety, depressive symptoms, and, delusions. Extrinsic non-organizational religiosity (ENORG) was associated with experiencing reduced distress or impact on daily function from hallucinations both directly and indirectly through intrinsic religiosity. In contrast, extrinsic non-organizational religiosity (EORG) was associated with increased hallucinations distress or impact albeit only through higher intrinsic religiosity. We found no association between any religiosity types and hallucinations severity. Younger and married participants from lower socio-economic class had comparatively more severe hallucinations and more distress from them. Qatari nationality was positively associated EORG and negatively associated with hallucinations distress or impact. Evidence of differential associations between the religiosity types, socioeconomic and cultural groups, and distress or impact from past week's hallucinations supports the importance of alignment between religious, mental health, and well-being education

CHERI Concentrate: Practical Compressed Capabilities

We present CHERI Concentrate, a new fat-pointer compression scheme applied to CHERI, the most developed capability-pointer system at present. Capability fat-pointers are a primary candidate for enforcing fine-grained and non-bypassable security properties in future computer systems, although increased pointer size can severely affect performance. Thus, several proposals for capability compression have been suggested but these did not support legacy instruction sets, ignored features critical to the existing software base, and also introduced design inefficiencies to RISC-style processor pipelines. CHERI Concentrate improves on the state-of-the-art region-encoding efficiency, solves important pipeline problems, and eases semantic restrictions of compressed encoding, allowing it to protect a full legacy software stack. We analyze and extend logic from the open-source CHERI prototype processor design on FPGA to demonstrate encoding efficiency, minimize delay of pointer arithmetic, and eliminate additional load-to-use delay. To verify correctness of our proposed high-performance logic, we present a HOL4 machine-checked proof of the decode and pointer-modify operations. Finally, we measure a 50%-75% reduction in L2 misses for many compiled C-language benchmarks running under a commodity operating system using compressed 128-bit and 64-bit formats, demonstrating both compatibility with and increased performance over the uncompressed, 256-bit format

Commissioning and quality assurance for VMAT delivery systems: An efficient time-resolved system using real-time EPID imaging.

PURPOSE: An ideal commissioning and quality assurance (QA) program for Volumetric Modulated Arc Therapy (VMAT) delivery systems should assess the performance of each individual dynamic component as a function of gantry angle. Procedures within such a program should also be time-efficient, independent of the delivery system and be sensitive to all types of errors. The purpose of this work is to develop a system for automated time-resolved commissioning and QA of VMAT control systems which meets these criteria. METHODS: The procedures developed within this work rely solely on images obtained, using an electronic portal imaging device (EPID) without the presence of a phantom. During the delivery of specially designed VMAT test plans, EPID frames were acquired at 9.5 Hz, using a frame grabber. The set of test plans was developed to individually assess the performance of the dose delivery and multileaf collimator (MLC) control systems under varying levels of delivery complexities. An in-house software tool was developed to automatically extract features from the EPID images and evaluate the following characteristics as a function of gantry angle: dose delivery accuracy, dose rate constancy, beam profile constancy, gantry speed constancy, dynamic MLC positioning accuracy, MLC speed and acceleration constancy, and synchronization between gantry angle, MLC positioning and dose rate. Machine log files were also acquired during each delivery and subsequently compared to information extracted from EPID image frames. RESULTS: The largest difference between measured and planned dose at any gantry angle was 0.8% which correlated with rapid changes in dose rate and gantry speed. For all other test plans, the dose delivered was within 0.25% of the planned dose for all gantry angles. Profile constancy was not found to vary with gantry angle for tests where gantry speed and dose rate were constant, however, for tests with varying dose rate and gantry speed, segments with lower dose rate and higher gantry speed exhibited less profile stability. MLC positional accuracy was not observed to be dependent on the degree of interdigitation. MLC speed was measured for each individual leaf and slower leaf speeds were shown to be compensated for by lower dose rates. The test procedures were found to be sensitive to 1 mm systematic MLC errors, 1 mm random MLC errors, 0.4 mm MLC gap errors and synchronization errors between the MLC, dose rate and gantry angle controls systems of 1°. In general, parameters measured by both EPID and log files agreed with the plan, however, a greater average departure from the plan was evidenced by the EPID measurements. CONCLUSION: QA test plans and analysis methods have been developed to assess the performance of each dynamic component of VMAT deliveries individually and as a function of gantry angle. This methodology relies solely on time-resolved EPID imaging without the presence of a phantom and has been shown to be sensitive to a range of delivery errors. The procedures developed in this work are both comprehensive and time-efficient and can be used for streamlined commissioning and QA of VMAT delivery systems