Non-deterministic Boolean Proof Nets

16 pagesInternational audienceWe introduce Non-deterministic Boolean proof nets to study the correspondence with Boolean circuits, a parallel model of computation. We extend the cut elimination of Non-deterministic Multiplicative Linear logic to a parallel procedure in proof nets. With the restriction of proof nets to Boolean types, we prove that the cut-elimination procedure corresponds to Non-deterministic Boolean circuit evaluation and reciprocally. We obtain implicit characterization of the complexity classes NP and NC (the efficiently parallelizable functions)

A survey of performance enhancement of transmission control protocol (TCP) in wireless ad hoc networks

This Article is provided by the Brunel Open Access Publishing Fund - Copyright @ 2011 Springer OpenTransmission control protocol (TCP), which provides reliable end-to-end data delivery, performs well in traditional wired network environments, while in wireless ad hoc networks, it does not perform well. Compared to wired networks, wireless ad hoc networks have some specific characteristics such as node mobility and a shared medium. Owing to these specific characteristics of wireless ad hoc networks, TCP faces particular problems with, for example, route failure, channel contention and high bit error rates. These factors are responsible for the performance degradation of TCP in wireless ad hoc networks. The research community has produced a wide range of proposals to improve the performance of TCP in wireless ad hoc networks. This article presents a survey of these proposals (approaches). A classification of TCP improvement proposals for wireless ad hoc networks is presented, which makes it easy to compare the proposals falling under the same category. Tables which summarize the approaches for quick overview are provided. Possible directions for further improvements in this area are suggested in the conclusions. The aim of the article is to enable the reader to quickly acquire an overview of the state of TCP in wireless ad hoc networks.This study is partly funded by Kohat University of Science & Technology (KUST), Pakistan, and the Higher Education Commission, Pakistan

Immunoregulation of bovine macrophages by factors in the salivary glands of Rhipicephalus microplus

<p>Abstract</p> <p>Background</p> <p>Alternative strategies are required to control the southern cattle tick, <it>Rhipicephalus microplus</it>, due to evolving resistance to commercially available acaricides. This invasive ectoparasite is a vector of economically important diseases of cattle such as bovine babesiosis and anaplasmosis. An understanding of the biological intricacies underlying vector-host-pathogen interactions is required to innovate sustainable tick management strategies that can ultimately mitigate the impact of animal and zoonotic tick-borne diseases. Tick saliva contains molecules evolved to impair host innate and adaptive immune responses, which facilitates blood feeding and pathogen transmission. Antigen presenting cells are central to the development of robust T cell responses including Th1 and Th2 determination. In this study we examined changes in co-stimulatory molecule expression and cytokine response of bovine macrophages exposed to salivary gland extracts (SGE) obtained from 2-3 day fed, pathogen-free adult <it>R. microplus</it>.</p> <p>Methods</p> <p>Peripheral blood-derived macrophages were treated for 1 hr with 1, 5, or 10 μg/mL of SGE followed by 1, 6, 24 hr of 1 μg/mL of lipopolysaccharide (LPS). Real-time PCR and cytokine ELISA were used to measure changes in co-stimulatory molecule expression and cytokine response.</p> <p>Results</p> <p>Changes were observed in co-stimulatory molecule expression of bovine macrophages in response to <it>R</it>. <it>microplus </it>SGE exposure. After 6 hrs, CD86, but not CD80, was preferentially up-regulated on bovine macrophages when treated with 1 μg/ml SGE and then LPS, but not SGE alone. At 24 hrs CD80, CD86, and CD69 expression was increased with LPS, but was inhibited by the addition of SGE. SGE also inhibited LPS induced upregulation of TNFα, IFNγ and IL-12 cytokines, but did not alter IL-4 or CD40 mRNA expression.</p> <p>Conclusions</p> <p>Molecules from the salivary glands of adult <it>R. microplus </it>showed bimodal concentration-, and time-dependent effects on differential up-regulation of CD86 in bovine macrophages activated by the TLR4-ligand, LPS. Up regulation of proinflammatory cytokines and IL-12, a Th1 promoting cytokine, were inhibited in a dose-dependent manner. The co-stimulatory molecules CD80, as well as the cell activation marker, CD69, were also suppressed in macrophages exposed to SGE. Continued investigation of the immunomodulatory factors will provide the knowledge base to research and develop therapeutic or prophylactic interventions targeting <it>R. microplus</it>-cattle interactions at the blood-feeding interface.</p

Synthesis of Well-Defined, Surfactant-Free Co₃O₄ Nanoparticles:The Impact of Size and Manganese Promotion on Co₃O₄ Reduction and Water Oxidation Activity

Abstract: A surfactant-free synthetic route has been developed to produce size-controlled, cube-like cobalt oxide nanoparticles of three different sizes in high yields. It was found that by using sodium nitrite as salt-mediating agent, near-quantitative yields could be obtained. The size of the nanoparticles could be altered from 11 to 22 nm by changing the cobalt concentration and reaction time. These surfactant-free nanoparticles form ideal substrates for facile deposition of further elements such as manganese. The effect of size of the cobalt oxide nanoparticles and the presence of manganese on the reducibility of cobalt oxide to metallic cobalt was investigated. Similarly, the effect of these parameters was investigated with a visible light promoted water oxidation system with cobalt oxide as catalyst, together with [Ru(bpy) 3] 2+ light harvester dye and an electron acceptor. Graphical Abstract: A novel surfactant-free synthetic route has been developed to produce size-controlled, cube shaped cobalt oxide nanoparticles in high yields. [Figure not available: see fulltext.]. </p

Cytomegalovirus infection in pediatric rheumatic diseases: a review

Human cytomegalovirus (HCMV) is familiar to pediatric rheumatologists mainly as a cause of opportunistic disease in pharmacologically immune suppressed patients. However, HCMV also has a variety of immuno-modulatory effects, through which it may influence the course of rheumatic conditions. In this article we discuss the interplay between HCMV and the immune system, and review the clinical manifestations, diagnosis, and treatment of HCMV infection in children with rheumatic disease

Glucocortiocoid Treatment of MCMV Infected Newborn Mice Attenuates CNS Inflammation and Limits Deficits in Cerebellar Development

Infection of the developing fetus with human cytomegalovirus (HCMV) is a major cause of central nervous system disease in infants and children; however, mechanism(s) of disease associated with this intrauterine infection remain poorly understood. Utilizing a mouse model of HCMV infection of the developing CNS, we have shown that peripheral inoculation of newborn mice with murine CMV (MCMV) results in CNS infection and developmental abnormalities that recapitulate key features of the human infection. In this model, animals exhibit decreased granule neuron precursor cell (GNPC) proliferation and altered morphogenesis of the cerebellar cortex. Deficits in cerebellar cortical development are symmetric and global even though infection of the CNS results in a non-necrotizing encephalitis characterized by widely scattered foci of virus-infected cells with mononuclear cell infiltrates. These findings suggested that inflammation induced by MCMV infection could underlie deficits in CNS development. We investigated the contribution of host inflammatory responses to abnormal cerebellar development by modulating inflammatory responses in infected mice with glucocorticoids. Treatment of infected animals with glucocorticoids decreased activation of CNS mononuclear cells and expression of inflammatory cytokines (TNF-α, IFN-β and IFNγ) in the CNS while minimally impacting CNS virus replication. Glucocorticoid treatment also limited morphogenic abnormalities and normalized the expression of developmentally regulated genes within the cerebellum. Importantly, GNPC proliferation deficits were normalized in MCMV infected mice following glucocorticoid treatment. Our findings argue that host inflammatory responses to MCMV infection contribute to deficits in CNS development in MCMV infected mice and suggest that similar mechanisms of disease could be responsible for the abnormal CNS development in human infants infected in-utero with HCMV