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

MAKE YOURSELF AS COMFORTABLE AS POSSIBLE: A PROXEMICS APPROACH FOR PASSENGER COMFORT OF ONLINE MOTORCYCLE RIDE-HAILING (OJOL)

Motorcycle ride-hailing service (Ojek Online also known as Ojol) that using phone / mobile application as the public transport of two-wheeled taxi, currently a popular public transport used by the general public, Ojol Services in addi-tion to having some advantages such as the speed of road access in urban areas, high cruising range, and economical, but on the other hand there are things that are basically out of the ordinary situation, that will affect to the comfort of passengers, both from the psychological and physical side. The phenomenon of distance and sitting position between the driver and passengers that are very close was the attention of the author, that condition becomes one of the research questions to know what factors which makes passengers feel the condition is still reasonable although the distance privacy and the position has entered into an intimate distance and how to make that situation more comfortable by develop some product design. In this study data collection is planned using literature study method, observation, interview and questionnaire so as to get data such as complaints from users psychologically or the perception of passengers by using proxemics approach related to passenger seating position and other findings that can be considered in improving the comfortable of Ojol service users. The result, distance and sitting position will create a condition that is uncomfortable for the passengers, and tend to try to create space or physical distance apart, psychology suggestions in various ways, or positions in order to get a little comfort, there is a consensus about the prevalence where that “out of the ordinary” is still considered reasonable, temporary, always in a 'supervised' state by the public, professionalism expectation, and various other psychology suggestions. Keywords: comfort, motorcycle, ojek online, passenger, perception, product design, proxemic

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

Pakistan in 2009: Tackling the Taliban?

Party-based political competition played an important part in shaping key events in Pakistan in 2009. This article examines the impact of party-based competition on the much-delayed restoration of Supreme Court Chief Justice Mohammad Iftikhar Chaudhry, efforts to address (with U.S. assistance) Pakistan’s growing Taliban-affiliated insurgency, and both federal and provincial economic policies. This article concludes that party-based competition will continue to shape Pakistan’s evolving security and economic situation in 2010

Pakistan in 2008: Moving Beyond Musharraf

Following the assassination of Benazir Bhutto in December 2007 and national elections in February 2008, Pakistan struggled to distance itself from the discredited military regime of President (General) Pervez Musharraf. Competition between the Pakistan People’s Party (PPP), once led by Benazir Bhutto and subsequently by her widower Asif Ali Zardari, and the Pakistan Muslim League (PML-N) led by Nawaz Sharif, however, threatened to thwart the cause of political stability in Pakistan

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