The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...

The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...

The rules of calculating three undetermined functions which defined a solution in the LTB model are used to study the class of exact nonhomogeneous models with f (μ) = 1, Λ = 0. The parameter ν(μ) defined the difference between LTB and FRW models is found out and the limit transformation to the FRW model is shown. The initial conditions are present throught density and Habble function at the mo...

BACKGROUND The cysteinyl-leukotrienes (LTC(4), LTD(4), LTE(4)) are critical bronchoconstrictor and eosinophilotactic mediators in asthma while LTB(4) is a potent neutrophil chemoattractant. Glucocorticosteroids are front line anti-inflammatory treatment for asthma but the evidence that they reduce leukotriene (LT) synthesis in vivo is poor. METHODS In a randomised, double blind, placebo contr...

The nasal decongestant oxymetazoline effectively reduces rhinitis symptoms. We hypothesized that oxymetazoline affects arachidonic acid-derived metabolites concerning inflammatory and oxidative stress-dependent reactions. The ability of oxymetazoline to model pro- and anti-inflammatory and oxidative stress responses was evaluated in cell-free systems, including 5-lipoxygenase (5-LO) as proinfla...

BACKGROUND Mucosal infections are a major global health problem and it is generally accepted that mucosal vaccination strategies, able to block infection at their entry site, would be preferable with respect to other prevention approaches. However, there are still relatively few mucosal vaccines available, mainly because of the lack of efficient delivery systems and of mucosal adjuvants. Recomb...

The understanding of the mechanisms underlying eosinophil recruitment in vivo may aid in the development of novel strategies for the treatment of allergic disorders. In this study, we investigated the role of chemokines in the cascade of events leading to eosinophil recruitment in a stem cell factor (SCF)- and leukotriene B(4) (LTB(4))-dependent allergic pleurisy model in mice. The intrapleural...