On the isomorphism between the reduction algebra and the invariant differential operators on Lie groups

Using techniques of deformation (bi)quantization we establish a non-canonical algebra isomorphism between the deformed reduction algebra and the invariant differential operators on G/H. Further results concerning other deformations of these two algebras are also proved. Part of the author's PhD thesis at University Paris 7, 2009.Comment: 27 page

Seeing clearly – the redevelopment of the Central Library, Imperial College London: a review of the extension and refurbishment of the Central Library, South Kensington campus, from concept to completion and beyond

A review of the redevelopment of Level one of the Central Library, Imperial College LondonPublished versio

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Performance of EcoSan Toilets at Majumbasita in Dar Es Salaam – Tanzania

The performance of Ecological Sanitation (ECOSAN) toilets at Majumbasita-Ukonga in Dar es Salaam, Tanzania was studied in order to assess their feasibility for low cost and effective environmental protection. The studied parameters for urine were pH, TKN, phosphorus , potassium and E-coli and for faecal sludge were temperature, pH, TS, VS, COD , TKN, ammonium, phosphorus, potassium and Ascaris eggs. Results indicated a high pH up to 10.3 in the faecal contents due to addition of ashes. The temperatures were between 270C – 31.70C during the whole study period. The total COD measurements varied from 33 - 74 gCOD/l, while TS and VS were respectively 57– 81 gTS/l and 21 – 46 gVS/l. The results for TKN, ammonium, phosphorus and potassium in faecal sludge were 5045 – 6080mg/L, 5207-5852 mg/L, 29-70mg/L and 105-176 mg/L, respectively. Ascaris eggs were efficiently removed from faecal sludge that were strictly dry and had a pH of more than 10. The results for TKN, ammonium, phosphorus and potassium in urine were 4285-5010 mg/L, 111-195 mg/L and 190-251 mg/L, respectively. E-Coli were present in urine with pH less than 11.5 and were efficiently removed from urine with pH more than 11.5. Presence of pathogens in urine implies the separated urine can be reused in tree growing and not for fertilising food crops consumed raw

Expert system for tool wear monitoring in blanking

A description is given of a simple yet powerful expert system created using the CRYSTAL shell which is able to monitor the potential and functional failures of the tool and the monitoring equipment. The techniques of feature extraction, selection and classification using the Bayesian rule are presented. Finally supervised learning, necessary when new situations are encountered, is also discussed

User characteristics: Professional vs. lay users

(User characteristics: professional use vs lay use by Cifter A and Dong H) The market success of a product largely depends on whether it correctly addresses the user needs. Understanding the user is increasingly becoming important in the design process. Different user models may determine different approaches to design. This paper identifies the characteristics of different types of users, with a specific focus on professional users and lay users. It gives a definition of professional users and lay users in the context of adapting products originally designed for professional use to the use of lay people (for example, home use medical devices). It summarises, and compares, the characteristics of professional users and lay users, suggesting that designers pay attention to user characteristics and the context of use so as to better address user perceptions and meet user needs

RESERVATION AND TICKETING DIVISION IN SRIWIJAYA AIR SOLO DISTRICT

Nuryaning Melati As Dewi. 2008. Reservation and Ticketing Division in Sriwijaya Air District Solo. English Diploma Program, Faculty of Letters and Fine Arts, Sebelas Maret University. The objective of this report is to describe the activities of reservation and ticketing division in Sriwijaya Air district Solo. There are two types of data collecting methods used in this final project. They are observation and library study. The collected data give specific information related to the activities of reservation and ticketing division in Sriwijaya Air district Solo. Based on the observation done during the job training, the writer concludes that there are many activities done by reservation and ticketing division. The activities are handling telephone, making reservations, issuing tickets, giving information to the customers and checking in. The strengths and weaknesses of the cases are therefore identified. The weaknesses usually come from the human errors and computer damages. From this condition, the writer suggests the Airline to overcome all the weaknesses immediately because the competition among airlines in Solo is very hard. The steps are by increasing the quality and quantity of service