Intravenous itraconazole for treating invasive pulmonary aspergillosis in neutropenic patients with acute lymphoblastic leukemia.

Aspergillus infection is associated with a high mortality rate in immunocompromised hosts; more effective drugs for this infection are needed. Oral itraconazole has been studied in neutropenic fungus-infected patients. Using a novel formulation (intravenous) of itraconazole, we successfully treated severe necrotizing pneumonias due to Aspergillus species occurring during a postchemotherapy prolonged aplastic phase in two patients with acute lymphoblastic leukemia

Randomized comparison of power Doppler ultrasound-directed excisional biopsy with standard excisional biopsy for the characterization of lymphadenopathies in patients with suspected lymphoma.

PURPOSE: The sensitivity of lymph node excisional biopsy requires validation. Power Doppler ultrasound (US) helps predict the malignant status of lymphadenopathies. We used power Doppler US to select for biopsy the lymph node most suspected of malignancy. PATIENTS AND METHODS: One hundred fifty-two patients having lymphadenopathies with clinical suspicion of lymphoma were divided into two well-matched groups and randomly assigned to undergo either standard or power Doppler US-directed lymph node excisional biopsy. RESULTS: Histology showed a malignancy in 64% of patients in the standard group (lymphoma, 49 patients; carcinoma, two patients) and in 87% of patients in the US-assisted group (lymphoma, 62 patients; carcinoma, one patient). There were significantly fewer biopsy-related complications in the assisted group than in the standard group. During the follow-up of the patients with lymph nodes reported as being reactive, 14 of 29 patients in the standard group were rebiopsied and were found to have lymphoma (13 patients) or carcinoma at the subsequent lymph node histology, whereas none of the patients in the assisted group (nine patients) required a second biopsy. Thus, biopsy provided false-negative results for malignancy in 21% of patients affected by lymphoma in the standard group and ever in the assisted group (P <.01). CONCLUSION: Power Doppler US is an accurate tool for screening lymphadenopathies to be removed by excisional biopsy in patients with suspected lymphoma

Measurement of spleen volume by ultrasound scanning in patients with thrombocytosis: a prospective study.

Spleen size was assessed in 73 patients with thrombocytosis and in 15 healthy subjects, comparing palpation with ultra-sonography (US) measurement of longitudinal diameter and volume. Intraobserver and interobserver variability for volume on US, checked in 12 patients, was very low. Correlation between spleen volume measured by US and that measured by computed tomography was excellent. Splenomegaly was detected by palpation in 25% of patients, by US assessment of longitudinal diameter in 33%, and by US assessment of volume in 52%. After diagnostic work-up, 54 patients had a diagnosis of essential thrombocythemia (ET), 4 of idiopathic myelofibrosis (IMF), and 15 of secondary thrombocytosis (ST). Spleen volume in patients with ST was in the normal range (138 ± 47 mL) and was significantly lower than that in patients with ET or IMF (370 ± 210 mL; P &lt; .001). Thus, US-measured volume was the most sensitive method for identifying nonpalpable splenomegaly in patients with primary myeloproliferative diseases, and it may help in distinguishing these diseases from reactive disorder

Revisiting causality, coalgebraically

In this paper we recast the classical Darondeau–Degano’s causal semantics of concurrency in a coalgebraic setting, where we derive a compact model. Our construction is inspired by the one of Montanari and Pistore yielding causal automata, but we show that it is instance of an existing categorical framework for modeling the semantics of nominal calculi, whose relevance is further demonstrated. The key idea is to represent events as names, and the occurrence of a new event as name generation. We model causal semantics as a coalgebra over a presheaf, along the lines of the Fiore–Turi approach to the semantics of nominal calculi. More specifically, we take a suitable category of finite posets, representing causal relations over events, and we equip it with an endofunctor that allocates new events and relates them to their causes. Presheaves over this category express the relationship between processes and causal relations among the processes’ events. We use the allocation operator to define a category of well-behaved coalgebras: it models the occurrence of a new event along each transition. Then we turn the causal transition relation into a coalgebra in this category, where labels only exhibit maximal events with respect to the source states’ poset, and we show that its bisimilarity is essentially Darondeau–Degano’s strong causal bisimilarity. This coalgebra is still infinite-state, but we exploit the equivalence between coalgebras over a class of presheaves and History Dependent automata to derive a compact representation, where states only retain the poset of the most recent events for each atomic subprocess, and are isomorphic up to order-preserving permutations. Remarkably, this reduction of states is automatically performed along the equivalence

High number of circulating CD34+ cells in patients with myelophthisis.

Hematopoietic Stem Cells High number of circulating CD34+ cells in patients with myelophthisis Six patients with bone marrow micrometastases from solid cancers presented with increased numbers of circulating CD34+ cells; the CD34+ cell counts were very high in some cases. By contrast, no patient with metastatic cancer without bone marrow involvement showed raised numbers of circulating hemopoietic progenitors. haematologica 2005; 90:976-977 (http:/

Choreography Rehearsal ⋆

Abstract. We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised to handle event notification within the service choreography.

A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

Process calculi for service-oriented computing often feature generation of fresh resources. So-called nominal automata have been studied both as semantic models for such calculi, and as acceptors of languages of finite words over infinite alphabets. In this paper we investi-gate nominal automata that accept infinite words. These automata are a generalisation of deterministic Muller automata to the setting of nominal sets. We prove decidability of complement, union, intersection, emptiness and equivalence, and determinacy by ultimately periodic words. The key to obtain such results is to use finite representations of the (otherwise infinite-state) defined class of automata. The definition of such operations enables model checking of process calculi featuring infinite behaviours, and resource allocation, to be implemented using classical automata-theoretic methods

VoxLogicA : A Spatial Model Checker for Declarative Image Analysis

Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis.We explore a new domain, namely (semi-)automatic contouring in Medical Imaging, introducing the tool VoxLogicA which merges the state-of-the-art library of computational imaging algorithms ITK with the unique combination of declarative specification and optimised execution provided by spatial logic model checking. The result is a rapid, logic based analysis development methodology. The analysis of an existing benchmark of medical images for segmentation of brain tumours shows that simple VoxLogicA analysis can reach state-of-the-art accuracy, competing with best-in-class algorithms, with the advantage of explainability and easy replicability. Furthermore, due to a two-orders-of-magnitude speedup compared to the existing generalpurpose spatio-temporal model checker topochecker, VoxLogicA enables interactive development of analysis of 3D medical images, which can greatly facilitate the work of professionals in this domain

Unusual onset of a case of chronic recurrent multifocal osteomyelitis

Background: Chronic recurrent multifocal osteomyelitis (CRMO) is a rare condition that commonly affects the clavicle and pelvis. Case presentation: We report here a case a 12 years old girl with CRMO arising with recurrent episodes of left supraorbital headache, followed by the appearance of a periorbital dyschromia. Magnetic resonance imaging (MRI) of the skull and orbits revealed an important subacute inflammatory process. Few months after, the child presented a painful swelling of the left clavicle; the histological examination of the related biopsy allowed to establish the diagnosis of CRMO. Conclusion: CRMO presenting as acute headache involving neurocranium is rare; to our knowledge this is the first recognized case in the world literature. This pathological condition is frequently misdiagnosed as infection or neoplasm and needs a deep investigation for the differential diagnosis. The physical, laboratoristic and instrumental diagnostic investigations of the patient and the treatment employed are described in detail

Nuevas técnicas para disminuir esporas y formas vegetativas de MO en mieles previo a su fraccionamiento

La utilización de calor es una de las técnicas utilizada en la industria alimentaria, para obtener productos libres o bajos en microorganismos, pero no siempre son aplicables los métodos conocidos. En el caso de las mieles, se las suele pasteurizar, pero el calor no es suficiente para eliminar esporas y otras formas resistentes, y a temperaturas y tiempos de esterilización clásicos, se produce un deterioro de sus características organolépticas, propiedades terapéuticas, bactericidas, desnaturalización de proteínas y vitaminas, afectando su valor nutritivo y nutraceútico. Así un excesivo calentamiento genera: a) aparición de hidroximetilfurfural, uno de los compuestos formados por la degradación de los productos azucarados, que está directamente relacionado con alteraciones de color y  desarrollo de sabores y olores extraños, esta relación hace que sea uno de los parámetros de calidad más empleados en las  mieles, indicando que estas son de baja calidad, viejas, excesivamente calentadas o adulteradas, b) disminución de las actividades  enzimáticas  y por lo tanto, bajos niveles de diastasa (amilasa) que es un parámetro indicativo del grado de frescura, envejecimiento o sobrecalentamiento, siendo por consiguiente también otro factor de calidad