EXAM-S: an Analysis tool for Multi-Domain Policy Sets

As distributed collaborative applications and architectures are adopting policy based management for tasks such as access control, network security and data privacy, the management and consolidation of a large number of policies is becoming a crucial component of such policy based systems. In large-scale distributed collaborative applications like web services, there is the need of analyzing policy interactions and integrating policies. In this thesis, we propose and implement EXAM-S, a comprehensive environment for policy analysis and management, which can be used to perform a variety of functions such as policy property analyses, policy similarity analysis, policy integration etc. As part of this environment, we have proposed and implemented new techniques for the analysis of policies that rely on a deep study of state of the art techniques. Moreover, we propose an approach for solving heterogeneity problems that usually arise when considering the analysis of policies belonging to different domains. Our work focuses on analysis of access control policies written in the dialect of XACML (Extensible Access Control Markup Language). We consider XACML policies because XACML is a rich language which can represent many policies of interest to real world applications and is gaining widespread adoption in the industry.

Software tools and efficient algorithms for the feature detection, feature tracking, event localization, and visualization of large sets of atmospheric data

Data sets describing the state of the earth's atmosphere are of great importance in the atmospheric sciences. Over the last decades, the quality and sheer amount of the available data increased significantly, resulting in a rising demand for new tools capable of handling and analysing these large, multidimensional sets of atmospheric data. The interdisciplinary work presented in this thesis covers the development and the application of practical software tools and efficient algorithms from the field of computer science, aiming at the goal of enabling atmospheric scientists to analyse and to gain new insights from these large data sets. For this purpose, our tools combine novel techniques with well-established methods from different areas such as scientific visualization and data segmentation. In this thesis, three practical tools are presented. Two of these tools are software systems (Insight and IWAL) for different types of processing and interactive visualization of data, the third tool is an efficient algorithm for data segmentation implemented as part of Insight.Insight is a toolkit for the interactive, three-dimensional visualization and processing of large sets of atmospheric data, originally developed as a testing environment for the novel segmentation algorithm. It provides a dynamic system for combining at runtime data from different sources, a variety of different data processing algorithms, and several visualization techniques. Its modular architecture and flexible scripting support led to additional applications of the software, from which two examples are presented: the usage of Insight as a WMS (web map service) server, and the automatic production of a sequence of images for the visualization of cyclone simulations. The core application of Insight is the provision of the novel segmentation algorithm for the efficient detection and tracking of 3D features in large sets of atmospheric data, as well as for the precise localization of the occurring genesis, lysis, merging and splitting events. Data segmentation usually leads to a significant reduction of the size of the considered data. This enables a practical visualization of the data, statistical analyses of the features and their events, and the manual or automatic detection of interesting situations for subsequent detailed investigation. The concepts of the novel algorithm, its technical realization, and several extensions for avoiding under- and over-segmentation are discussed. As example applications, this thesis covers the setup and the results of the segmentation of upper-tropospheric jet streams and cyclones as full 3D objects. Finally, IWAL is presented, which is a web application for providing an easy interactive access to meteorological data visualizations, primarily aimed at students. As a web application, the needs to retrieve all input data sets and to install and handle complex visualization tools on a local machine are avoided. The main challenge in the provision of customizable visualizations to large numbers of simultaneous users was to find an acceptable trade-off between the available visualization options and the performance of the application. Besides the implementational details, benchmarks and the results of a user survey are presented.

Fractal sets and their applications in medicine

La geometria euclidea risulta spesso inadeguata a descrivere le forme della natura. I Frattali, oggetti interrotti e irregolari, come indica il nome stesso, sono più adatti a rappresentare la forma frastagliata delle linee costiere o altri elementi naturali. Lo strumento necessario per studiare rigorosamente i frattali sono i teoremi riguardanti la misura di Hausdorff, con i quali possono definirsi gli s-sets, dove s è la dimensione di Hausdorff. Se s non è intero, l'insieme in gioco può riconoscersi come frattale e non presenta tangenti e densità in quasi nessun punto. I frattali più classici, come gli insiemi di Cantor, Koch e Sierpinski, presentano anche la proprietà di auto-similarità e la dimensione di similitudine viene a coincidere con quella di Hausdorff. Una tecnica basata sulla dimensione frattale, detta box-counting, interviene in applicazioni bio-mediche e risulta utile per studiare le placche senili di varie specie di mammiferi tra cui l'uomo o anche per distinguere un melanoma maligno da una diversa lesione della cute.

The catalytic class I(A) PI3K isoforms play divergent roles in breast cancer cell migration

Transforming growth factor-β (TGFβ) plays an important role in breast cancer metastasis. Here phosphoinositide 3-kinase (PI3K) signalling was found to play an essential role in the enhanced migration capability of fibroblastoid cells (FibRas) derived from normal mammary epithelial cells (EpH4) by transduction of oncogenic Ras (EpRas) and TGFβ1. While expression of the PI3K isoform p110δ was down-regulated in FibRas cells, there was an increase in the expression of p110α and p110β in the fibroblastoid cells. The PI3K isoform p110β was found to specifically contribute to cell migration in FibRas cells, while p110α contributed to the response in EpH4, EpRas and FibRas cells. Akt, a downstream targets of PI3K signalling, had an inhibitory role in the migration of transformed breast cancer cells, while Rac, Cdc42 and the ribosomal protein S6 kinase (S6K) were necessary for the response. Together our data reveal a novel specific function of the PI3K isoform p110β in the migration of cells transformed by oncogenic H-Ras and TGF-β1.

Plexiform hybrid granular cell tumor/perineurioma: a novel variant of benign peripheral nerve sheath tumor with divergent differentiation

The descriptive term hybrid peripheral nerve sheath tumor refers to any neoplasm of the neurilemmal apparatus composed of more than one pathologically defined tumoral equivalent derived from its constituent cells. Within this uncommon nosological category, participation of granular cell tumor - a neoplasm of modified Schwann cells - has been reported only exceptionally. We describe a hitherto not documented variant composed of an organoid mixture of granular cell tumor and perineurioma with plexiform growth. A solitary subcutaneous nodule of 1.5 cm diameter was excised from the right ring finger of a 19-year-old female with no antecedents of neurofibromatosis or relevant trauma. Histology revealed a monotonous, yet cytologically dimorphic proliferation of classical granular cells intermingled with flattened, inconspicuous perineurial cells. Immunohistochemical double labeling detected expression of S100 protein in the former and of EMA and GLUT-1 in the latter. While the respective staining patterns for S100 protein and EMA or GLUT-1 tended to be mutually exclusive, a minority of cells exhibited transitional granular cell/perineurial immunophenotype. Electron microscopy permitted direct visualization of a plethora of lysosomes in the granular cell moiety, and of pinocytotic vesicles and tight junctions in perineurial cells. Intratumoral axons were not detected. Expanding intraneurally, the lesion showed discrete encapsulation by the local perineurium, and resulted in plexiform growth. The MIB-1 labeling index averaged 1%. We interpret our findings as supporting evidence for the dual cell lineage to have arisen through metaplasia, with the tumor's dynamics probably having been driven by the granular cell component.

A shared 336 kb haplotype associated with the belt pattern in three divergent cattle breeds

We recently mapped the belt mutation in Brown Swiss cattle to a 922 kb interval on BTA3. In this study, we analysed two additional cattle breeds with the belted phenotype: Galloway and Dutch Belted (Lakenvelder). By genotyping microsatellites in solid-coloured and belted Galloways, we confirmed that the belt mutation in Galloways is strongly associated with the same chromosomal locus as in Brown Swiss cattle. Subsequently, we analysed 36 SNPs in the belt interval in three breeds. We identified a single belt-associated haplotype for each of the analysed breeds. The three breed-specific belt haplotypes share alleles in four blocks. Three of these blocks comprise only one single or two consecutive markers, while the largest shared haplotype block encompasses nine consecutive SNPs in a 336 kb interval. The large shared haplotype across divergent breeds suggests a common mutation for the belt phenotype in all three breeds. We identified a potential candidate gene within this interval coding for the developmental transcription factor HES6. We re-sequenced the complete HES6 coding sequence in belted and solid-coloured cattle but did not find belt-associated polymorphisms. In conclusion, our data provide strong evidence in favour of a common founder for the belt phenotype in different cattle breeds and have resulted in an improved fine-mapping of the causative mutation.