Focusing [1] is a proof-theoretic device to structure proof search in the sequent calculus: it provides a normal form to cut-free proofs in which the application of invertible and non-invertible inference rules is structured in two separate and disjoint phases. It is commonly believed that every “reasonable” sequent calculus has a natural focused version. Although stemming from proof-search con...

Model-based diagnosis is based on first-principles reasoning using the behavioral specifications of the primitive components of a device. Unless the computational architecture of the model-based reasoning engine is carefully designed, combinatorial explosion renders the approach useless for devices consisting of more than a handful of components. This paper analyzes the diverse origins of this ...

The external granular layer (EGL) of the cerebellum thickens, thins and disappears in its developmental process. We examined the thickness of the EGL, both intralobule differences and interlobule differences, in the whole midline sections of mouse cerebella for the entire postnatal period up to disappearance. The thinnest site in each lobule was located at the outer apex throughout the observat...

OBJECTIVE Chronic pain frequently coexists with psychiatric symptoms in patients diagnosed with complex regional pain syndrome (CRPS). Previous studies have shown a relationship between CRPS and the risk of suicide. The purpose of this study was to assess risk factors for suicidal ideation in patients with CRPS. METHODS Based on criteria established by the International Association for the St...

BACKGROUND The cyclic adenosine monophosphate response element-binding proteins (CREB) and their interaction with brain-derived neurotrophic factor (BDNF) are essential elements in signal transduction pathways important for cellular resilience and neuroplasticity. They play a decisive role in the concept of altered neuroplasticity in major depression. We have previously demonstrated that the in...

Currently, there are no data available comparing cost-effectiveness of two antidepressants in the primary care setting in the UK. Alongside a randomized, double-blind, 24-week study of mirtazapine and paroxetine, data were prospectively collected on patients' use of hospital and non-hospital services and days off work. Costs were estimated in each treatment arm from National Health Service (NHS...

BACKGROUND Previous comparative studies of the selective serotonin reuptake inhibitors (SSRIs) have rarely included a placebo control group and have rarely demonstrated significant between-group differences. The study reported on here was a placebo-controlled comparison of the antidepressant effects of two SSRIs, citalopram and sertraline. METHODS Three hundred twenty-three patients with DSM-...

Spindle poles are discernible by light microscopy as the sites where microtubules converge at the ends of both mitotic and meiotic spindles. In most cell types centrosomes are present at spindle poles due to their dominant role in microtubule nucleation. However, in some specialized cell types microtubules converge into spindle poles in the absence of centrosomes. Thus, spindle poles in centros...

In the paper, we consider local aspects of the entropy of nonautonomous dynamical systems. For this purpose, we introduce the notion of a (asymptotical) focal entropy point. The notion of entropy appeared as a result of practical needs concerning thermodynamics and the problem of information flow, and it is connected with the complexity of a system. The definition adopted in the paper specifies...