The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. The Mu-calculus is a logic capable of expressin
An introduction to computer security for teenage users explains how to protect one's home computer from viruses and prevent identity theft and covers a variety of key issues, including how to ensure o
With Windows 10 arriving later in 2015, many questions remain to be answered, both for businesses and home users. Will it provide the compatibility of Windows XP, and the usability of Windows 7? Will
A way to solve the naturalness problem of the Higgs mass arising from the standard model is to introduce a new symmetry: the supersymmetry. Supersymmetry predicts, along with every particle, its super
We give a pedagogical introduction to the differential calculus on quantum groups by stressing at all stages the connection with the classical case. We further analyze the relation between differentia
The theory of elliptic complexes of linear partial differential operators is closely interwoven with complex analysis. In particular, the Dolbeault complex is at the same time an important example of
In this thesis we deal with the models of subspace arrangements introduced by De Concini and Procesi. In particular we study their integer cohomology rings, which are torsion free Z-modules of which w
