The systematic construction of information systems

Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different levels of abstraction. These may range from detailed regulation for process execution to the interrelation of basic core processes on a strategic level. To ensure consistency and to allow for a flexible integration of process information on different levels of abstraction, we introduce a transformational calculus that allows the incremental addition to and refinement of the information in a process model, while maintaining the validity of more abstract high level processes. A complete formal treatment of model and the calculus is given and is illustrated on a small banking example.Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/0258

Macrolides in Chronic Inflammatory Skin Disorders

Long-term therapy with the macrolide antibiotic erythromycin was shown to alter the clinical course of diffuse panbronchiolitis in the late 1980s. Since that time, macrolides have been found to have a large number of anti-inflammatory properties in addition to being antimicrobials. These observations provided the rationale for many studies performed to assess the usefulness of macrolides in other inflammatory diseases including skin and hair disorders, such as rosacea, psoriasis, pityriasis rosea, alopecia areata, bullous pemphigoid, and pityriasis lichenoides. This paper summarizes a collection of clinical studies and case reports dealing with the potential benefits of macrolides antibiotics in the treatment of selected dermatoses which have primarily been classified as noninfectious and demonstrating their potential for being disease-modifying agents

Haar Wavelet Method for the System of Integral Equations

We employed the Haar wavelet method to find numerical solution of the system of Fredholm integral equations (SFIEs) and the system of Volterra integral equations (SVIEs). Five test problems, for which the exact solution is known, are considered. Comparison of the results is obtained by the Haar wavelet method with the exact solution

Evaluation of regulatory T cells in obese asthmatic children

Background: Asthma is an airway inflammatory disorder with functional and structural changes. Regulatory T (T reg) cells are important in controlling immune responses. The study was aimed to investigate the frequency of Treg cells in obese asthmatic children, in comparison to non-obese asthmatics and healthy matched controls .Methods: In addition to anthropometric and body mass index (BMI) assessment, peripheral blood samples from healthy control subjects (n = 30) and asthmatic obese (n=30) and asthmatic non-obese children (n=30) were examined for serum IgE, eosinophils counts, and flowcytometric measurement of CD4+CD25+CD127 low/neg- T cells. Pulmonary function testing was performed for asthmatic children . Results: Obese asthmatics showed significantly higher levels of serum IgE and CD4+CD25+CD127 low/neg- T cells as compared to healthy controls (p<0.001, 0.001, respectively) while comparable numbers of T reg cells were found among obese and non-obese asthmatic children. Asthmatics receiving inhaled corticosteroids (ICS) showed higher percentages of CD4+CD25+CD127 low/neg- T cells than the non-receivers (median 11.8% vs 8.8%, p <0.001). No significant correlations were found between Treg and age, eosinophil percentage, total serum IgE, pulmonary functions, or BMI and its Z score . Conclusion: Our study demonstrates an increased frequency of Treg cells in asthmatic children compared to controls with possible association with the use of ICS but not with obesity. Small sample size and lack of obese non-asthmatic group are the main points of limitation in our study

ATOM: an object-based formal method for real-time systems

An object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured methodology known as HRT-HOOD. ATOM is a systematic formal approach based on the refinement calculus. Within ATOM, a formal specification (or abstract description statement) contains Interval Temporal Logic (ITL) description of the timing, functional, and communication behavior of the proposed real-time system. This formal specification can be analyzed and then refined into concrete statements through successive applications of sound refinement laws. Both abstract and concrete statements are allowed to freely intermix. The semantics of the concrete statements in ATOM are defined denotationally in specification-oriented style using ITL.Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/0258

Turbulent convective heat transfer and pressure drop of dilute CuO (copper oxide) - water nanofluid Inside a circular tube

This paper was presented at the 3rd Micro and Nano Flows Conference (MNF2011), which was held at the Makedonia Palace Hotel, Thessaloniki in Greece. The conference was organised by Brunel University and supported by the Italian Union of Thermofluiddynamics, Aristotle University of Thessaloniki, University of Thessaly, IPEM, the Process Intensification Network, the Institution of Mechanical Engineers, the Heat Transfer Society, HEXAG - the Heat Exchange Action Group, and the Energy Institute.Turbulent forced convective heat transfer and pressure drop of 0.01 vol.% CuO-water nanofluid was assessed experimentally. The nanofluids were made flow into a heated horizontal tube under uniform constant heat flux within Reynolds number range of 11,500 to 32,000. The first objective is to know how close traditional correlation/formula for, both, heat transfer and pressure drop can predict nanofluid’s heat transfer and pressure drop. The second is to know how nanofluid’s convective heat transfer and pressure drop are compared to those of its base fluid; in this case water. The results showed that the abovementioned characteristics of the nanofluid can be predicted by the traditional correlation available. It is also found that the nanofluid’s Nusselt number and friction factor, which represent the heat transfer rate and pressure drop, respectively, are close to those of water. Hence, there is no anomaly due to the dispersed nanoparticles within the water.KACST (King Abdulaziz City for Science and Technology

New Solutions for System of Fractional Integro-Differential Equations and Abel’s Integral Equations by Chebyshev Spectral Method

Chebyshev spectral method based on operational matrix is applied to both systems of fractional integro-differential equations and Abel’s integral equations. Some test problems, for which the exact solution is known, are considered. Numerical results with comparisons are made to confirm the reliability of the method. Chebyshev spectral method may be considered as alternative and efficient technique for finding the approximation of system of fractional integro-differential equations and Abel’s integral equations

Haar wavelet method for the system of integral equations

We employed the Haar wavelet method to find numerical solution of the system of Fredholm integral equations (SFIEs) and the system of Volterra integral equations (SVIEs). Five test problems, for which the exact solution is known, are considered. Comparison of the results is obtained by the Haar wavelet method with the exact solution