This paper describes an interface specification language designed in the LIME project (LIME ISL) and the supporting runtime monitoring tool. The interface specification language is tailored for the Java programming language and supports two kinds of specifications: (i) call specifications that specify requirements for the allowed call sequences to a Java object instance and (ii) return specific...

The aims of this work were principally two-fold: first, to show that cyclic voltammetry is a simple, cheap and practical method for determining antioxidants in citrus fruit juices; second, to evaluate vitamin C in four species of citrus fruits. Two are known world wide, the lemon, Citrus limon (L.) Burm.f., and the lime, Citrus aurantiifolia (Christm.) Swingle, and two are principally but not e...

abstract due to the importance of using clay soil in many constructive projects such as, road foundation, irrigation canals and related hydraulic structures and etc., improvement of the physical and mechanical soil properties has been the main interest of the geo-technique specialists for years. in this regard different methods such as mixing clay soil with lime or cement have been used. it has...

Hemp-based composites are eco-friendly building materials as they improve energy efficiency in buildings and entail low waste production and pollutant emissions during their manufacturing process. Nevertheless, the organic nature of hemp enhances the bio-receptivity of the material, with likely negative consequences for its long-term performance in the building. The main purpose of this study w...

Geotechnical engineers, in many cases face with low strength or high swelling potential of clayey soils. Stabilization methods are used to improve the mechanical properties of this type of soils. Lime and cement are the most popular materials used in chemical stabilization of clayey soils. If sulphate exists in the stabilized clayey soil with lime, or if soil is exposed to sulphates, problems s...

The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores are here today, the future is likely to witness architectures that use reconfigurable fabrics (FPGAs) as coprocessors. FPGAs provide an unmatched ability to tailor their circuitry per application, leading to better performance at...

The work describes the production of alkaline protease in a lab scale fermentor from Bacillus subtilis IH-72. The production of alkaline protease was enhanced by optimization of cultural conditions in a stirred fermentor. The alkaline protease so produced was applied to the goat skin for the removal of hair. The skin pieces were treated in three different ways; singly with the enzyme, in combin...

A qualitative modelling approach is used into the description of lime-mash flow processes of an industrial lime transport machine in order to monitor and analyze its performance prior to its application. Realistic and reliable qualitative models of the lime transport system under investigation were produced offline. The results obtained from running the simulation of these models, in order to a...