394 research outputs found

    On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

    Full text link
    Uniquely closable skeletons of lambda terms are Motzkin-trees that predetermine the unique closed lambda term that can be obtained by labeling their leaves with de Bruijn indices. Likewise, uniquely typable skeletons of closed lambda terms predetermine the unique simply-typed lambda term that can be obtained by labeling their leaves with de Bruijn indices. We derive, through a sequence of logic program transformations, efficient code for their combinatorial generation and study their statistical properties. As a result, we obtain context-free grammars describing closable and uniquely closable skeletons of lambda terms, opening the door for their in-depth study with tools from analytic combinatorics. Our empirical study of the more difficult case of (uniquely) typable terms reveals some interesting open problems about their density and asymptotic behavior. As a connection between the two classes of terms, we also show that uniquely typable closed lambda term skeletons of size 3n+13n+1 are in a bijection with binary trees of size nn.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

    Colocalization of ANCA-antigens and fibrinoid necrosis in ANCA-associated vasculitis

    Get PDF
    Colocalization of ANCA-antigens and fibrinoid necrosis in ANCA-associated vasculitis. A variety of antineutrophil cytoplasmic auto-antibodies (ANCAs) are known to be associated with small vessel vasculitides such as Wegener's granulomatosis and microscopic polyangiitis. To visualize colocalization patterns of the fibrinoid necrotic lesions and ANCA-antigens more accurately, we have developed a double staining technique in which an immunohistochemical staining is followed by a histological staining. Instead of using sequential biopsy slides of histologically and immunohistochemically stained sections, which may lead to an underestimation of the number and size of the lesions, our technique permits the visualization of the colocalized patterns of fibrinoid necrosis with an ANCA-antigen in a single slide. The double staining procedure is presented in this Technical Note

    Development of frequency domain multiplexing for the X-ray Integral Field Unit (X-IFU) on the Athena

    Full text link
    We are developing the frequency domain multiplexing (FDM) read-out of transition-edge sensor (TES) microcalorimeters for the X-ray Integral Field Unit (X-IFU) instrument on board of the future European X-Ray observatory Athena. The X-IFU instrument consists of an array of ∼\sim3840 TESs with a high quantum efficiency (>>90 \%) and spectral resolution ΔE\Delta E=2.5 eV @@ 7 keV (E/ΔE∼E/\Delta E\sim2800). FDM is currently the baseline readout system for the X-IFU instrument. Using high quality factor LC filters and room temperature electronics developed at SRON and low-noise two stage SQUID amplifiers provided by VTT, we have recently demonstrated good performance with the FDM readout of Mo/Au TES calorimeters with Au/Bi absorbers. An integrated noise equivalent power resolution of about 2.0 eV at 1.7 MHz has been demonstrated with a pixel from a new TES array from NASA/Goddard (GSFC-A2). We have achieved X-ray energy resolutions ∼\sim2.5 eV at AC bias frequency at 1.7 MHz in the single pixel read-out. We have also demonstrated for the first time an X-ray energy resolution around 3.0 eV in a 6 pixel FDM read-out with TES array (GSFC-A1). In this paper we report on the single pixel performance of these microcalorimeters under MHz AC bias, and further results of the performance of these pixels under FDM.Comment: 8 pages, 4 figures, Proceedings of the SPIE Astronomical Instrumentation "Space Telescopes and Instrumentation 2014: Ultraviolet to Gamma Ray

    Beta-Blocking Agents and Electroconvulsive Therapy

    Get PDF
    In this review we want to summarize the results of the placebo-controlled randomized clinical trials with betablocking adrenergic agents during electroconvulsive therapy (ECT), and review the effect on seizure duration and cardiovascular variables. We sea

    A double blind, fixed blood-level study comparing mirtazapine with imipramine in depressed in-patients

    Get PDF
    Antidepressant effects of mirtazapine and imipramine were compared in a randomized, double blind, fixed blood-level study with in-patients in a single centre. Patients with a DSM-III-R diagnosis of major depression and a Hamilton (17-item) score of ≤ 18 were selected. After a drug-free and a placebo-washout period of 7 days in total, 107 patients still fulfilling the HRSD criterion of ≤ 18, started on active treatment. The dose was adjusted to a predefined fixed blood level to avoid suboptimal dosing of imipramine. Concomitant psychotropic medication was administered only in a few cases because of intolerable anxiety or intolerable psychotic symptoms. Eight patients dropped out and two were excluded from analyses because of non-compliance; 97 completed the study. According to the main response criterion (50% or more reduction on the HRSD score) 11/51 (21.6%) patients responded on mirtazapine and 23/46 (50%) on imipramine after 4 weeks' treatment on the predefined blood level. Such a dramatic difference in efficacy between antidepressants has not often been reported before. The selection of (severely ill) in-patients, including those with suicidal or psychotic features, may have significance in this respect. Optimization of treatment with the reference drug imipramine through blood level control, exclusion of non-compliance for both drugs, exclusion of most concomitant medication and a low drop-out rate may also have contributed. It is concluded that imipramine is superior to mirtazapine in the patient population studied

    The European Vasculitis Society 2016 Meeting Report.

    Get PDF
    The 2016 European Vasculitis Society (EUVAS) meeting, held in Leiden, the Netherlands, was centered around phenotypic subtyping in antineutrophil cytoplasmic antibody (ANCA)-associated vasculitis (AAV). There were parallel meetings of the EUVAS petals, which here report on disease assessment; database; and long-term follow-up, registries, genetics, histology, biomarker studies, and clinical trials. Studies currently conducted will improve our ability to discriminate between different forms of vasculitis. In a project that involves the 10-year follow-up of AAV patients, we are working on retrieving data on patient and renal survival, relapse rate, the cumulative incidence of malignancies, and comorbidities. Across Europe, several vasculitis registries were developed covering over 10,000 registered patients. In the near future, these registries will facilitate clinical research in AAV on a scale hitherto unknown. Current studies on the genetic background of AAV will explore the potential prognostic significance of genetic markers and further refine genetic associations with distinct disease subsets. The histopathological classification of ANCA-associated glomerulonephritis is currently evaluated in light of data coming out of a large international validation study. In our continuous search for biomarkers to predict clinical outcome, promising new markers are important subjects of current research. Over the last 2 decades, a host of clinical trials have provided evidence for refinement of therapeutic regimens. We give an overview of clinical trials currently under development, and consider refractory vasculitis in detail. The goal of EUVAS is to stimulate ongoing research in clinical, serological, and histological management and techniques for patients with systemic vasculitis, with an outlook on the applicability for clinical trials

    General practitioners apply the usual care for shoulder complaints better than expected – analysis of videotaped consultations

    Get PDF
    BACKGROUND: The education and activation program (EAP) is a newly developed intervention to prevent the development of chronic shoulder complaints (SCs). Trained general practitioners (GPs) administer the EAP. The EAP addresses inadequate cognitions and maladaptive behavior related to the SCs. The effect of the EAP is evaluated in a randomized clinical trial. The aim of the present study is to use videotaped consultations to study (1) the performance of trained GPs administering the EAP and (2) the presence of key features of the EAP already embedded in usual care (UC). METHODS: Five trained GPs were videotaped while treating a standardized patient with EAP. Additionally, five GPs administering UC were videotaped. Two blinded observers evaluated the videotapes in relation to key features of the EAP which were scored on the EAP checklist. RESULTS: The mean total score on the EAP checklist was 4.7 (SD = 2.9) for the UC group and 7.1 (SD = 2.1) for the EAP group. Neither group reached a score higher than 8, which was considered to reflect an acceptable number of key EAP features. CONCLUSION: Our comparison of the presence of key features of EAP shows that the UC and EAP groups differed less than was expected. GPs in the UC group performed above expectation, with a mean total score of 4.7. Moreover, the low number of key features present in the EAP group may very well have led to a reduced effectiveness of the EAP. The results of this study can be used to optimize the training of GPs using the EAP
    • …
    corecore