The Drinfel'd Double and Twisting in Stringy Orbifold Theory

This paper exposes the fundamental role that the Drinfel'd double \dkg of the group ring of a finite group $G$ and its twists \dbkg, \beta \in Z^3(G,\uk) as defined by Dijkgraaf--Pasquier--Roche play in stringy orbifold theories and their twistings. The results pertain to three different aspects of the theory. First, we show that $G$--Frobenius algebras arising in global orbifold cohomology or K-theory are most naturally defined as elements in the braided category of \dkg--modules. Secondly, we obtain a geometric realization of the Drinfel'd double as the global orbifold $K$--theory of global quotient given by the inertia variety of a point with a $G$ action on the one hand and more stunningly a geometric realization of its representation ring in the braided category sense as the full $K$--theory of the stack $[pt/G]$. Finally, we show how one can use the co-cycles $\beta$ above to twist a) the global orbifold $K$--theory of the inertia of a global quotient and more importantly b) the stacky $K$--theory of a global quotient $[X/G]$. This corresponds to twistings with a special type of 2--gerbe.Comment: 35 pages, no figure

Design of the battery management system of LiFePO4 batteries for electric off-road vehicles

This paper describes the design of a modular battery management system for electric off-road vehicles, where lithiumion batteries are expected to be widely used. A massive electrification of off-road vehicles can be enabled by the availability of a standard battery module, provided with an effective management unit. The design and some preliminary experimental results of the module management unit are discussed in this paper. The unit contains a high current active equalizer that enables the dynamic charge equalization among cells and maximizes the usable capacity of the battery

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals

The importance of the Electronic Health Record (EHR) has been addressed in recent years by governments and institutions.Many large scale projects have been funded with the aim to allow healthcare professionals to consult patients data. Properties such as confidentiality, authentication and authorization are the key for the success for these projects. The Integrating the Healthcare Enterprise (IHE) initiative promotes the coordinated use of established standards for authenticated and secure EHR exchanges among clinics and hospitals. In particular, the IHE integration profile named XUA permits to attest user identities by relying on SAML assertions, i.e. XML documents containing authentication statements. In this paper, we provide a formal model for the secure issuance of such an assertion. We first specify the scenario using the process calculus COWS and then analyse it using the model checker CMC. Our analysis reveals a potential flaw in the XUA profile when using a SAML assertion in an unprotected network. We then suggest a solution for this flaw, and model check and implement this solution to show that it is secure and feasible

Chen-Ruan cohomology of ADE singularities

We study Ruan's \textit{cohomological crepant resolution conjecture} for orbifolds with transversal ADE singularities. In the $A_n$-case we compute both the Chen-Ruan cohomology ring $H^*_{\rm CR}([Y])$ and the quantum corrected cohomology ring $H^*(Z)(q_1,...,q_n)$. The former is achieved in general, the later up to some additional, technical assumptions. We construct an explicit isomorphism between $H^*_{\rm CR}([Y])$ and $H^*(Z)(-1)$ in the $A_1$-case, verifying Ruan's conjecture. In the $A_n$-case, the family $H^*(Z)(q_1,...,q_n)$ is not defined for $q_1=...=q_n=-1$. This implies that the conjecture should be slightly modified. We propose a new conjecture in the $A_n$-case which we prove in the $A_2$-case by constructing an explicit isomorphism.Comment: This is a short version of my Ph.D. Thesis math.AG/0510528. Version 2: chapters 2,3,4 and 5 has been rewritten using the language of groupoids; a link with the classical McKay correpondence is given. International Journal of Mathematics (to appear

A prototype large-angle photon veto detector for the P326 experiment at CERN

The P326 experiment at the CERN SPS has been proposed with the purpose of measuring the branching ratio for the decay K^+ \to \pi^+ \nu \bar{\nu} to within 10%. The photon veto system must provide a rejection factor of 10^8 for \pi^0 decays. We have explored two designs for the large-angle veto detectors, one based on scintillating tiles and the other using scintillating fibers. We have constructed a prototype module based on the fiber solution and evaluated its performance using low-energy electron beams from the Frascati Beam-Test Facility. For comparison, we have also tested a tile prototype constructed for the CKM experiment, as well as lead-glass modules from the OPAL electromagnetic barrel calorimeter. We present results on the linearity, energy resolution, and time resolution obtained with the fiber prototype, and compare the detection efficiency for electrons obtained with all three instruments.Comment: 8 pages, 9 figures, 2 tables. Presented at the 2007 IEEE Nuclear Science Symposium, Honolulu HI, USA, 28 October - 3 November 200