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

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

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

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

Laser-assisted bumping for flip chip assembly

Published versio

ON INTERACTION BETWEEN FALLING BODIES AND THE SURROUNDING FLUID

Interactions between a finite number of bodies and the surrounding fluid, in a channel for instance, are investigated theoretically. In the planar model here the bodies or modelled grains are thin solid bodies free to move in a nearly parallel formation within a quasi-inviscid fluid. The investigation involves numerical and analytical studies and comparisons. The three main features that appear are a linear instability about a state of uniform motion, a clashing of the bodies (or of a body with a side wall) within a finite scaled time when nonlinear interaction takes effect, and a continuum-limit description of the body–fluid interaction holding for the case of many bodies

Thermosonic flip chip interconnection using electroplated copper column arrays

Published versio

Nepali Domestic Workers in New Delhi: Strategies and Agency

Scholars have noted deplorable conditions of female migrant workers who suffer several types of citizenship disabilities as most countries do not extend equal citizenship rights and protections to migrant workers. In addition to this, they are unable to take full advantage of the rights available to them in the host countries because of low cultural and social capital. Further, studies have emphasized how the breakdown of the traditional economy and the penetration of the market in developing societies have forced people, especially from rural areas, to seek low-paying dead-end jobs in the global labor market. Examining Nepali domestic workers in New Delhi, while this research agrees with the existing studies, we also bring to notice the fact that migrant female workers are not always passive victims and that they exercise considerable choice and agency. The case of Nepali domestic workers in New Delhi offers fresh insight into the ways in which migrant women attempt to actively influence and control the work conditions and immediate labour market outcomes. This paper also shows that even if Nepali migrant workers gain in a limited way, they actively collude with their employers to marginalize native domestic workers. In the end, traditional power relations and inequality are reproduced unchallenged