A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

Shot noise of a quantum dot with non-Fermi liquid correlations

The shot noise of a one-dimensional wire interrupted by two barriers shows interesting features related to the interplay between Coulomb blockade effects, Luttinger correlations and discrete excitations. At small bias the Fano factor reaches the lowest attainable value, 1/2, irrespective of the ratio of the two junction resistances. At larger voltages this asymmetry is power-law renormalized by the interaction strength. We discuss how the measurement of current and these features of the noise allow to extract the Luttinger liquid parameter.Comment: 4 pages, 3 figures,to be published in Phys. Rev. B. For high resolution image of Fig.1 see http://server1.fisica.unige.it/~braggio/doc.ht

Analysis of tourism in Campania as a tool for the development of high-quality cultural services for sightseers: The “Reale Osservatorio Vesuviano” case history

The purpose of this work is to identify the guidelines for the development and diversification of the cultural touristic offer achievable at the Reale Osservatorio Vesuviano (ROV). Founded in 1841, it is the oldest volcano observatory in the world and it has always had the vocation for scientific-naturalistic and formative tourism. The present study investigates the connections between the sociology of tourism and the ROV’s sustainability and competitiveness as a tourist destination. Here it is performed a study of the tourist flow, based on the sociology of tourism and on the correct processing of data sets, distinguishing the ''statistical information on tourism" from "tourism statistics", as such a study is the basis of a proper market strategy in different sectors. Tourism remains, in fact, an important phenomenon in world economy: despite the economic crisis of recent years, international tourist arrivals show a positive development of the trend in all the major sub-areas into which the large international areas are traditionally divided. The principles for a future marketing plan were outlined after collecting all the relevant information. The plan was designed to enhance the overall touristic offer of the ROV, never ceasing to consider the integration of natural- scientific aspects and cultural events to be offered within the observatory itself.Published64-872TM. Divulgazione Scientifica6TM. Poli Museali1VV. AltroN/A or not JC

Decoherence by engineered quantum baths

We introduce, and determine decoherence for, a wide class of non-trivial quantum spin baths which embrace Ising, XY and Heisenberg universality classes coupled to a two-level system. For the XY and Ising universality classes we provide an exact expression for the decay of the loss of coherence beyond the case of a central spin coupled uniformly to all the spins of the baths which has been discussed so far in the literature. In the case of the Heisenberg spin bath we study the decoherence by means of the time-dependent density matrix renormalization group. We show how these baths can be engineered, by using atoms in optical lattices.Comment: 4 pages, 4 figure

Entanglement Entropy dynamics in Heisenberg chains

By means of the time-dependent density matrix renormalization group algorithm we study the zero-temperature dynamics of the Von Neumann entropy of a block of spins in a Heisenberg chain after a sudden quench in the anisotropy parameter. In the absence of any disorder the block entropy increases linearly with time and then saturates. We analyze the velocity of propagation of the entanglement as a function of the initial and final anisotropies and compare, wherever possible, our results with those obtained by means of Conformal Field Theory. In the disordered case we find a slower (logarithmic) evolution which may signals the onset of entanglement localization.Comment: 15 pages, 9 figure

Entanglement in Many-Body Systems

The recent interest in aspects common to quantum information and condensed matter has prompted a prosperous activity at the border of these disciplines that were far distant until few years ago. Numerous interesting questions have been addressed so far. Here we review an important part of this field, the properties of the entanglement in many-body systems. We discuss the zero and finite temperature properties of entanglement in interacting spin, fermionic and bosonic model systems. Both bipartite and multipartite entanglement will be considered. At equilibrium we emphasize on how entanglement is connected to the phase diagram of the underlying model. The behavior of entanglement can be related, via certain witnesses, to thermodynamic quantities thus offering interesting possibilities for an experimental test. Out of equilibrium we discuss how to generate and manipulate entangled states by means of many-body Hamiltonians.Comment: 61 pages, 29 figure

Acupuncture to manage orofacial pain and tinnitus: Case report

BACKGROUND AND OBJECTIVES: Orofacial pain is associated to soft and mineralized oral cavity and facial tissues. In dentistry, it may have or not odontogenic origin. Temporomandibular disorder (TMD) is the most common musculoskeletal orofacial pain and presents characteristic symptoms such as masticatory muscles pain, jaw movement limitation, joint noises, earache and tinnitus. Tinnitus is a term describing the perception of sound by human ears in the absence of external sounds and causes discomfort impairing quality of life. It may be a symptom indicating TMD especially when other symptoms are present, such as facial muscles pain. Due to etiologic variability, there are several therapeutic modalities, including acupuncture. This study aimed at reporting a case of a patient with orofacial pain and tinnitus treated with acupuncture and the results after treatment. CASE REPORT: Female patient, 32 years old, came to the Acupuncture Clinic of the School of Dentistry of Piracicaba (FOP/UNICAMP) complaining of facial muscle pain and pricking at the same side, acute right ear tinnitus, already with diagnosis of left ear hearing loss and with sleep disorders and stress. Patient was treated according to her energetic unbalance with 6 sessions of traditional acupuncture, for one week, lasting 20 minutes. To evaluate orofacial pain and tinnitus intensity, the visual analog scale (VAS) was used and was called initial VAS (pre-treatment) and final VAS (post-treatment). After the second session there has been improvement in orofacial pain and tinnitus symptoms. After the sixth session tinnitus had resolved. CONCLUSION: Acupuncture has induced muscle relaxation with benefits for masticatory and middle ear (tensor tympani) muscles, as well as levator palate muscle decreasing orofacial pain and tinnitus intensity.JUSTIFICATIVA E OBJETIVOS: Dor orofacial é toda dor associada a tecidos moles e mineralizados da cavidade oral e da face. Na odontologia, podem ser de origem odontogênica e não odontogênica. A disfunção temporomandibular (DTM) é a dor orofacial musculoesquelética mais comum, apresenta sintomas característicos como dor nos músculos mastigatórios, limitação dos movimentos mandibulares, ruídos articulares, otalgia, tinido. Tinido (zumbido) é um termo que descreve a percepção de som no ouvido humano na ausência de som externo, causa de incômodo com prejuízo na qualidade de vida. Pode ser um sintoma indicativo de uma DTM principalmente quando estão presentes outros sintomas característicos da disfunção como dor nos músculos da face. Devido à variabilidade etiológica, encontram-se várias modalidades terapêuticas, incluindo a acupuntura. O objetivo deste estudo foi relatar o caso de uma paciente com dor orofacial e tinido tratada com acupuntura e seus resultados após o tratamento. RELATO DO CASO: Paciente do sexo feminino, 32 anos, compareceu a Clínica de Acupuntura da Faculdade de Odontologia de Piracicaba (FOP/UNICAMP), com queixa de dor muscular na face e formigamento do mesmo lado, tinido agudo no ouvido direito, já com diagnóstico de surdez do ouvido esquerdo e apresentando distúrbios do sono e estresse. Foi tratada de acordo com seu desequilíbrio energético, em seis sessões de acupuntura tradicional, uma por semana, com duração de 20 minutos. Para avaliar a intensidade da dor orofacial e do tinido, utilizou-se a escala analógica visual (EAV), denominada EAV inicial (pré-tratamento) e EAV final (pós-tratamento). Após a segunda sessão, observou-se melhora nos sintomas da dor orofacial e do tinido, que deixou de se manifestar após a sexta sessão. CONCLUSÃO: Acupuntura propiciou o relaxamento da musculatura com benefícios para os músculos da mastigação e da musculatura da orelha média (tensor do tímpano), bem como do músculo elevador do palato, reduzindo a intensidade da dor orofacial e do tinido.22623

Effect of chloroquine on gene expression of Plasmodium yoelii nigeriensis during its sporogonic development in the mosquito vector

<p>Abstract</p> <p>Background</p> <p>The anti-malarial chloroquine can modulate the outcome of infection during the <it>Plasmodium </it>sporogonic development, interfering with <it>Plasmodium </it>gene expression and subsequently, with transmission. The present study sets to identify <it>Plasmodium </it>genes that might be regulated by chloroquine in the mosquito vector.</p> <p>Methods</p> <p>Differential display RT-PCR (DDRT-PCR) was used to identify genes expressed during the sporogonic cycle that are regulated by exposure to chloroquine. <it>Anopheles stephensi </it>mosquitoes were fed on <it>Plasmodium yoelii nigeriensis</it>-infected mice. Three days post-infection, mosquitoes were fed a non-infectious blood meal from mice treated orally with 50 mg/kg chloroquine. Two differentially expressed <it>Plasmodium </it>transcripts (Pyn_chl091 and Pyn_chl055) were further characterized by DNA sequencing and real-time PCR analysis.</p> <p>Results</p> <p>Both transcripts were represented in <it>Plasmodium </it>EST databases, but displayed no homology with any known genes. Pyn_chl091 was upregulated by day 18 post infection when the mosquito had a second blood meal. However, when the effect of chloroquine on that transcript was investigated during the erythrocytic cycle, no significant differences were observed. Although slightly upregulated by chloroquine exposure the expression of Pyn_chl055 was more affected by development, increasing towards the end of the sporogonic cycle. Transcript abundance of Pyn_chl055 was reduced when erythrocytic stages were treated with chloroquine.</p> <p>Conclusion</p> <p>Chloroquine increased parasite load in mosquito salivary glands and interferes with the expression of at least two <it>Plasmodium </it>genes. The transcripts identified contain putative signal peptides and transmembrane domains suggesting that these proteins, due to their location, are targets of chloroquine (not as an antimalarial) probably through cell trafficking and recycling.</p

The evolution of the dust and gas content in galaxies

We use deep Herschel observations taken with both PACS and SPIRE imaging cameras to estimate the dust mass of a sample of galaxies extracted from the GOODS-S, GOODS-N and the COSMOS fields. We divide the redshift–stellar mass (M star )–star formation rate (SFR) parameter space into small bins and investigate average properties over this grid. In the first part of the work we investigate the scaling relations between dust mass, stellar mass and SFR out to z = 2.5. No clear evolution of the dust mass with redshift is observed at a given SFR and stellar mass. We find a tight correlation between the SFR and the dust mass, which, under reasonable assumptions, is likely a consequence of the Schmidt-Kennicutt (S-K) relation. The previously observed correlation between the stellar content and the dust content flattens or sometimes disappears when considering galaxies with the same SFR. Our finding suggests that most of the correlation between dust mass and stellar mass obtained by previous studies is likely a consequence of the correlation between the dust mass and the SFR combined with the main sequence, i.e., the tight relation observed between the stellar mass and the SFR and followed by the majority of star-forming galaxies. We then investigate the gas content as inferred from dust mass measurements. We convert the dust mass into gas mass by assuming that the dust-to-gas ratio scales linearly with the gas metallicity (as supported by many observations). For normal star-forming galaxies (on the main sequence) the inferred relation between the SFR and the gas mass (integrated S-K relation) broadly agrees with the results of previous studies based on CO measurements, despite the completely different approaches. We observe that all galaxies in the sample follow, within uncertainties, the same S-K relation. However, when investigated in redshift intervals, the S-K relation shows a moderate, but significant redshift evolution. The bulk of the galaxy population at z ∼ 2 converts gas into stars with an efficiency (star formation efficiency, SFE = SFR/M gas , equal to the inverse of the depletion time) about 5 times higher than at z ∼ 0. However, it is not clear what fraction of such variation of the SFE is due to an intrinsic redshift evolution and what fraction is simply a consequence of high-z galaxies having, on average, higher SFR, combined with thesuper-linear slope of the S-K relation (whileother studies finda linear slope). We confirm that the gas fraction (f gas = M gas /(M gas + M star )) decreases with stellar mass and increases with the SFR. We observe no evolution with redshift once M star and SFR are fixed. We explain these trends by introducing a universal relation between gas fraction, stellar mass and SFR that does not evolve with redshift, at least out to z ∼ 2.5. Galaxies move across this relation as their gas content evolves across the cosmic epochs. We use the 3D fundamental f gas –M star –SFR relation, along with the evolution of the main sequence with redshift, to estimate the evolution of the gas fraction in the average population of galaxies as a function of redshift and as a function of stellar mass: we find that M star > ∼ 10 11 M ? galaxies show the strongest evolution at z > ∼ 1.3 and a flatter trend at lower redshift, while f gas decreases more regularly over the entire redshift range probed in M star < ∼ 10 11 Mo galaxies, in agreement with a downsizing scenario

Cannabidiol Reduces Intestinal Inflammation through the Control of Neuroimmune Axis

Enteric glial cells (EGC) actively mediate acute and chronic inflammation in the gut; EGC proliferate and release neurotrophins, growth factors, and pro-inflammatory cytokines which, in turn, may amplify the immune response, representing a very important link between the nervous and immune systems in the intestine. Cannabidiol (CBD) is an interesting compound because of its ability to control reactive gliosis in the CNS, without any unwanted psychotropic effects. Therefore the rationale of our study was to investigate the effect of CBD on intestinal biopsies from patients with ulcerative colitis (UC) and from intestinal segments of mice with LPS-induced intestinal inflammation. CBD markedly counteracted reactive enteric gliosis in LPS-mice trough the massive reduction of astroglial signalling neurotrophin S100B. Histological, biochemical and immunohistochemical data demonstrated that S100B decrease was associated with a considerable decrease in mast cell and macrophages in the intestine of LPS-treated mice after CBD treatment. Moreover the treatment of LPS-mice with CBD reduced TNF-α expression and the presence of cleaved caspase-3. Similar results were obtained in ex vivo cultured human derived colonic biopsies. In biopsies of UC patients, both during active inflammation and in remission stimulated with LPS+INF-γ, an increased glial cell activation and intestinal damage were evidenced. CBD reduced the expression of S100B and iNOS proteins in the human biopsies confirming its well documented effect in septic mice. The activity of CBD is, at least partly, mediated via the selective PPAR-gamma receptor pathway. CBD targets enteric reactive gliosis, counteracts the inflammatory environment induced by LPS in mice and in human colonic cultures derived from UC patients. These actions lead to a reduction of intestinal damage mediated by PPARgamma receptor pathway. Our results therefore indicate that CBD indeed unravels a new therapeutic strategy to treat inflammatory bowel diseases