Pharmacologic modulation of experimentally induced allergic asthma

Allergic asthma is the most frequent disease of the respiratory tract. The aim of the current experimental and clinical studies was to find new sources of drugs able to control asthmatic inflammation and airway hyperresponsiveness. Our experimental studies were focused on efficiency evaluation of substances able to influence activities of ion channels, phosphodiesterase (PDE) isoforms, substances from the group of polyphenols and NO metabolism modulators during experimentally induced allergic asthma

The representation of program synthesis in higher order logic

Systems built for automated program construction aim at the formalization of the programming process in order to produce better software. Their implementations, however, suffer from problems similar to those they are intended to solve. Due to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. For that, systems capable of formal reasoning about both programs and programming methods are needed. In this paper we develop principles of a formal theory on reasoning about programs and program construction within a unified higher order framework. By an exemplified formalization of principal approaches to program synthesis we will show that a higher degree of abstraction leads to clearer insights into the meta-mathematics of program construction. Ridding the representation of deductive methods from superfluous context also results in simpler, sometimes almost trivial, proofs. Simplicity is one of the most important features of the formal theory and quite valuable if one considers the wide range of intended applications. We present the theory in a highly formalized form built on top of Intuitionistic Type Theory. This allows us to straightforwardly implemented the concepts developed here with a proof system for Type Theory and derive verified implementations of deductive mechanisms from mechanically proven theorems

Phytoplasma Diseases in Ornamental Crops

An extensive and update review of the literature reporting the phytoplasma associated diseases in a number of ornamental plants and their classification is presented with major emphasis to reports in the main floricultural areas. Symptomatology of reported diseases is described in the most relevant traditional species as well as in emerging species used in floriculture and gardening worldwide

Proceedings Of The 23Rd Paediatric Rheumatology European Society Congress: Part Two

PubMe