Four molecules of the recently introduced class of altan-molecules have been studied. They are the altan homologues of naphtalene, pyrene, pyracylene, and kekulene. Their optimized geometries are bowl shaped. The smaller three have current density patterns with an outer paratropic current, as expected for isolated [4n]annulenes, whereas the larger displays an outer weak diatropic circulation. Computed magnetizabilities are consistent with the current density pattern. Figure 1. The structure of [8,5]coronene (left) and the tight-binding singly occupied orbitals of triplet [16]annulene Scheme 1. Some altan-molecules. The outer [4n]annulenic loops are drawn in bold

No abstract

Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either ``at least'' or ``all but'' any number of possible futures. In this paper we show an extension of the NuSMV model-checker implementing symbolic algorithms for graded-CTL model checking. The implementation is based on the CUDD library, for BDDs and ADDs manipulation, and includes also an efficient algorithm for multiple counterexamples

No abstract

The most common image of the European Quarter of Brussels is built on the idea of a clean, free, safe and controlled space that attracts people with high economic, social and cultural capital, and a growing number of "passing" users (tourists or consumers). Against this background, our research aimed to investigate the nexus between the material, symbolic, normative and discursive construction of the EU district time-space, on one hand, and everyday life, on the other. To do so, we explored the potential of a rhythmic and nonrepresentational approach in deconstructing dominant socio-spatial-temporal representations, scraping off the layers of the commonly-known to unveil alternative chronotopes. In this article, we present and discuss a reinterpretation of our experience and discuss the results of our analysis through four chronotopes linked to the spatio-temporal rhythms we observed, rhythms we have called Public time-space, Interstices, Intersections and Traces-as-remains.