Topology is a classical branch of mathematics, born essentially from Euler’s studies in the XVII century, which deals with abstract notion shape and geometry. Last decades were characterized by renewed interest topology topology-based tools, due to birth computational topological data analysis (TDA). A large novel family methods algorithms computing features descriptors (e.g., persistent homolo...

Abstract In this chapter we briefly introduce important concepts from homology theory and highlight how some results Chap. 3 can be understood through the lens of algebraic topology. This accumulates in showing that Euler characteristic by means CW complexes, or intersection theory.

Abstract This chapter presents the main general topological tools, as used in later parts. In particular we highlight manifolds, homotopies and retractions.

In this paper, the authors discuss employees’ beliefs about their abilities to competently use computer information security tools in the determination of effective information security practices within organizations. In the first section the authors present a background about information security practices at work. Then, the authors present a research approach based on social cognitive theory ...

SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally suppo...