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

Thermosonic flip chip interconnection using electroplated copper column arrays

Published versio

Kinetics of phloretin binding to phosphatidylcholine vesicle membranes.

The submillisecond kinetics for phloretin binding to unilamellar phosphatidylcholine (PC) vesicles was investigated using the temperature-jump technique. Spectrophotometric studies of the equilibrium binding performed at 328 nm demonstrated that phloretin binds to a single set of independent, equivalent sites on the vesicle with a dissociation constant of 8.0 microM and a lipid/site ratio of 4.0. The temperature of the phloretin-vesicle solution was jumped by 4 degrees C within 4 microseconds producing a monoexponential, concentration-dependent relaxation process with time constants in the 30--200-microseconds time range. An analysis of the concentration dependence of relaxation time constants at pH 7.30 and 24 degrees C yielded a binding rate constant of 2.7 X 10(8) M-1 s-1 and an unbinding constant of 2,900 s-1; approximately 66 percent of total binding sites are exposed at the outer vesicle surface. The value of the binding rate constant and three additional observations suggest that the binding kinetics are diffusion limited. The phloretin analogue, naringenin, which has a diffusion coefficient similar to phloretin yet a dissociation constant equal to 24 microM, bound to PC vesicle with the same rate constant as phloretin did. In addition, the phloretin-PC system was studied in buffers made one to six times more viscous than water by addition of sucrose or glycerol to the differ. The equilibrium affinity for phloretin binding to PC vesicles is independent of viscosity, yet the binding rate constant decreases with the expected dependence (kappa binding alpha 1/viscosity) for diffusion-limited processes. Thus, the binding rate constant is not altered by differences in binding affinity, yet depends upon the diffusion coefficient in buffer. Finally, studies of the pH dependence of the binding rate constant showed a dependence (kappa binding alpha [1 + 10pH-pK]) consistent with the diffusion-limited binding of a weak acid

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