Electric-drive vehicles (EDVs) have drawn more and more attention worldwide. As one of the most important parts of EDVs, battery management systems (BMSs) manage the huge amount of battery cells in EDVs and assures their safety. To achieve these goals, re‐ searches in BMS, such as battery modeling, battery state estimation, and battery balanc‐ ing have gained a new vigor. This chapter will revi...

In this paper we present a 3D visualization tool developed to gain insight about buildings energy consumption. We will focus on the usage of this software to extract information from a raw dataset, and more especially how unexpected features can be discovered. In this paper, we will present some related work on data visualization, our visualization tool and finally, two case studies of data ana...

Nowadays, many buildings are equipped with a building management system (BMS), which plays a key role in maintaining the operation, energy efficiency, and safety of a building. With the rising concerns in energy conservation and the fact that buildings are major energy consumers, there is an increasing interest in studies on building management systems in computing society. One key difficulty w...

We construct two possible candidates for the non-relativistic bms4 algebra in four space-time dimensions by contracting the original relativistic bms4 algebra. The bms4 algebra is infinitedimensional and it contains the generators of the Poincaré algebra, together with the so-called super-translations. Similarly, the proposed nrbms4 algebras can be regarded as two infinitedimensional extensions...

At the 13 AIDS Conference in Durban new data from the following randomized clinical trials on the use of antiretrovirals (ARVs) to prevent mother to child transmission were presented: • PETRA Trial (South Africa, Tanzania and Uganda) • Perinatal HIV Prevention Trial (Thailand) • ANRS/CDC pooled analysis West Africa (Côte d’Ivoire and Burkina Faso) • SAINT Study (South Africa) • HIVNET012 trial ...

Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however...

a Arnold Sommerfeld Center for Theoretical Physics, Department für Physik, Ludwig-Maximilians-Universität München, Theresienstr. 37, 80333 München, Germany b Max-Planck-Institut für Physik, Föhringer Ring 6, 80805 München, Germany c Center for Cosmology and Particle Physics, Department of Physics, New York University, 4 Washington Place, New York, NY 10003, USA d Instituto de Física Teórica UAM...

Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however...