Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Code synchronization and interference management techniques for satellite navigation and communications

This thesis collects the outcomes of a Ph.D. course in Telecommunications engineering and it is focused on enabling techniques for Spread Spectrum (SS) navigation and communication satellite systems. It provides innovations for both interference management and code synchronization techniques. These two aspects are critical for modern navigation and communication systems and constitute the common denominator of the work. The thesis is organized in two parts: the former deals with interference management. We have proposed a novel technique for the enhancement of the sensitivity level of an advanced interference detection and localization system operating in the Global Navigation Satellite System (GNSS) bands, which allows the identification of interfering signals received with power even lower than the GNSS signals. Moreover, we have introduced an effective cancellation technique for signals transmitted by jammers, exploiting their repetitive characteristics, which strongly reduces the interference level at the receiver. The second part, deals with code synchronization. More in detail, we have designed the code synchronization circuit for a Telemetry, Tracking and Control system operating during the Launch and Early Orbit Phase; the proposed solution allows to cope with the very large frequency uncertainty and dynamics characterizing this scenario, and performs the estimation of the code epoch, of the carrier frequency and of the carrier frequency variation rate. Furthermore, considering a generic pair of circuits performing code acquisition, we have proposed a comprehensive framework for the design and the analysis of the optimal cooperation procedure, which minimizes the time required to accomplish synchronization. The study results particularly interesting since it enables the reduction of the code acquisition time without increasing the computational complexity. Finally, considering a network of collaborating navigation receivers, we have proposed an innovative cooperative code acquisition scheme, which allows exploit the shared code epoch information between neighbor nodes, according to the Peer-to-Peer paradigm.

Role of Reactive Oxygen Species in signalling and oxidative stress

Results reported in this Thesis contribute to the comprehension of the complicated world of “redox biology”. ROS regulate signalling pathways both in physiological responses and in pathogenesis and progression of diseases. In cancer cells, the increase in ROS generation from metabolic abnormalities and oncogenic signalling may trigger a redox adaptation response, leading to an up-regulation of antioxidant capacity in order to maintain the ROS level below the toxic threshold. Thus, cancer cells would be more dependent on the antioxidant system and more vulnerable to further oxidative stress induced by exogenous ROS-generating agents or compounds that inhibit the antioxidant system. Results here reported indicate that the development of new drugs targeting specific Nox isoforms, responsible for intracellular ROS generation, or AQP isoforms, involved in the transport of extracellular H2O2 toward intracellular targets, might be an interesting novel anti-leukaemia strategy. Furthermore, also the use of CSD peptide, which simulate the VEGFR-2 segregation into caveolae in the inactive form, might be a strategy to stop the cellular response to VEGF signalling. As above stated, in the understanding of the redox biology, it is also important to identify and distinguish the molecular effectors that maintain normal biological and physiological responses, such as agents that stimulate our adaptation systems and elevate our endogenous antioxidant defences or other protective systems. Data here reported indicate that the nutraceutical compound sulforaphane and the Klotho protein are able to stimulate the HO-1 and Prx-1 expression, as well as the GSH levels, confirming their antioxidant and protective role. Finally, results here reported demonstrated that Stevia extracts are involved in insulin regulated glucose metabolism, suggesting that the use of these compounds goes beyond their sweetening power and may also offer therapeutic benefits hence improving the quality of life.

In vitro characterization of human AML-reactive CTL clones generated from the naive subset of healthy donors and adoptive transfer into leukemia-engrafted NSG mice

Acute myeloid leukemia (AML) is a very aggressive cancer of the hematopoietic system. Chemotherapy and immunotherapeutical approaches including hematopoietic stem cell transplantation (HSCT) and donor lymphocyte infusion (DLI) are the only curative options available. The beneficial graft-versus-leukemia (GVL) effect of cellular immunotherapy is mostly mediated by donor-derived CD8+ T lymphocytes that recognize minor histocompatibility antigens (mHags) and leukemia-associated antigens (LAAs) presented on the surface of AML blasts (Falkenburg et al. 2008; Kolb 2008). A main complication is graft-versus-host disease (GVHD) that can be induced when cytotoxic T lymphocytes (CTLs) recognize broadly expressed antigens. To reduce the risk of GVHD, specific allogeneic T-cell therapy inducing selective GVL responses could be an option (Barrett & Le Blanc 2010; Parmar et al. 2011; Smits et al. 2011). This requires efficient in vitro strategies to generate AML-reactive T cells with an early differentiation phenotype as well as vigorous effector functions and humanized mouse models to analyze the anti-leukemic potential of adoptively transferred T cells in vivo. In this study, AML-reactive CTL clones and oligoclonal T-cell lines could be reliably generated from the naive subset of healthy HLA-class I-identical donors by stimulation with primary AML blasts in mini-mixed-lymphocyte / leukemia cultures (MLLCs) in eight different patient / donor pairs. These CTLs were promising candidates for cellular immunotherapy because of their relatively early differentiation phenotype and strong proliferative and lytic capabilities. The addition of the common γ-chain cytokine IL-21 to the stimulation protocol enabled more precursors to develop into potent leukemia-reactive CTLs, presumably by its beneficial effects on cell survival and antigen-specific proliferation during the first weeks of cultures. It also strengthened the early-stage phenotype. Three long-term cultured CTLs exemplarily transferred into leukemia-engrafted immunodeficient NSG mice mediated a significant reduction of the leukemic burden after a single transfusion. These results demonstrate that CTL clones with reactivity to patient-derived AML blasts can be isolated from the naive compartment of healthy donors and show potent anti-leukemic effects in vivo. The herein described allo-MLLC approach with in vitro “programmed” naive CTL precursors independent of a HSCT setting is a valuable alternative to the conventional method of isolating in vivo primed donor CTLs out of patients after transplantation (Kloosterboer et al. 2004; Warren et al. 2010). This would make leukemia-reactive CTLs already available at the time point of HSCT, when residual leukemia disease is minimal and the chances for complete leukemia eradication are high. Furthermore, leukemia-reactive CTLs effectively expanded by this in vitro protocol can be used as screening populations to identify novel candidate LAAs and mHags for antigen-specific immunotherapy.

Generation and characterisation of acute myeloid leukaemia-reactive CD4 + T cells and their potential to eliminate human leukaemia blasts in NSG mice

Acute myeloid leukaemia (AML) is a cancer of the haematopoietic system, which can in many cases only be cured by haematopoietic stem cell transplantation (HSCT) and donor lymphocyte infusion (DLI) (Burnett et al., 2011). This therapy is associated with the beneficial graft-versus-leukaemia (GvL) effect mediated by transplanted donor T and NK cells that either recognise mismatch HLA molecules or polymorphic peptides, so-called minor histocompatibility antigens, leukaemia-associated or leukaemia-specific antigens in the patient and thus eliminate remaining leukaemic blasts. Nevertheless, the mature donor-derived cells often trigger graft-versus-host disease (GvHD), leading to severe damages in patients’ epithelial tissue, mainly skin, liver and intestine (Bleakley & Riddell, 2004). Therefore, approaches for the selective mediation of strong GvL effects are needed, also in order to prevent relapse after transplantation. One promising opportunity is the in vitro generation of AML-reactive CD4+ T cells for adoptive transfer. CD4+ T cells are advantageous compared to CD8+ T cells, as HLA class II molecules are under non-inflammatory conditions only expressed on haematopoietic cells; a fact that would minimise GvHD (Klein & Sato, 2000). In this study, naive CD4+ T cells were isolated from healthy donors and were successfully stimulated against primary AML blasts in mini-mixed lymphocyte/leukaemia cell cultures (mini-MLLC) in eight patient/donor pairs. After three to seven weekly restimulations, T cells were shown to produce TH1 type cytokines and to be partially of monoclonal origin according to their TCR Vβ chain usage. Furthermore, they exhibited lytic activity towards AML blasts, which was mediated by the release of granzymes A and B and perforin. The patient/donor pairs used in this study were fully HLA-class I matched, except for one pair, and also matched for HLA-DR and -DQ, whereas -DP was mismatched in one or both alleles, reflecting the actual donor selection procedure in the clinic (Begovich et al., 1992). Antibody blocking experiments suggested that the generated CD4+ T cells were directed against the HLA-DP mismatches, which could be confirmed by the recognition of donor-derived lymphoblastoid cell lines (LCLs) electroporated with the mismatched DP alleles. Under non-inflammatory conditions primary fibroblasts did not express HLA-DP and were thus not recognised, supporting the idea of a safer application of CD4+ T cells regarding induction of GvHD. For the assessment of the biological significance of these T cells, they were adoptively transferred into NSG mice engrafted with human AML blasts, where they migrated to the bone marrow and lymphoid tissue and succeeded in eliminating the leukaemic burden after only one week. Therefore, AML-reactive CD4+ T cells expanded from the naive compartment by in vitro stimulation with primary leukaemia blasts appear to be a potent tool for DLI in HSCT patients and promise to mediate specific GvL effects without causing GvHD.

Detrimental effects of exuberant and restrained immune responses against the central nervous system in the context of multiple sclerosis and glioblastoma multiforme

Glioblastoma multiforme (GBM) is the most common and most aggressive astrocytic tumor of the central nervous system (CNS) in adults. The standard treatment consisting of surgery, followed by a combinatorial radio- and chemotherapy, is only palliative and prolongs patient median survival to 12 to 15 months. The tumor subpopulation of stem cell-like glioma-initiating cells (GICs) shows resistance against radiation as well as chemotherapy, and has been suggested to be responsible for relapses of more aggressive tumors after therapy. The efficacy of immunotherapies, which exploit the immune system to specifically recognize and eliminate malignant cells, is limited due to strong immunosuppressive activities of the GICs and the generation of a specialized protective microenvironment. The molecular mechanisms underlying the therapy resistance of GICs are largely unknown. rnThe first aim of this study was to identify immune evasion mechanisms in GICs triggered by radiation. A model was used in which patient-derived GICs were treated in vitro with fractionated ionizing radiation (2.5 Gy in 7 consecutive passages) to select for a more radio-resistant phenotype. In the model cell line 1080, this selection process resulted in increased proliferative but diminished migratory capacities in comparison to untreated control GICs. Furthermore, radio-selected GICs downregulated various proteins involved in antigen processing and presentation, resulting in decreased expression of MHC class I molecules on the cellular surface and diminished recognition potential by cytotoxic CD8+ T cells. Thus, sub-lethal fractionated radiation can promote immune evasion and hamper the success of adjuvant immunotherapy. Among several immune-associated proteins, interferon-induced transmembrane protein 3 (IFITM3) was found to be upregulated in radio-selected GICs. While high expression of IFITM3 was associated with a worse overall survival of GBM patients (TCGA database) and increased proliferation and migration of differentiated glioma cell lines, a strong contribution of IFITM3 to proliferation in vitro as well as tumor growth and invasiveness in a xenograft model could not be observed. rnMultiple sclerosis (MS) is the most common autoimmune disease of the CNS in young adults of the Western World, which leads to progressive disability in genetically susceptible individuals, possibly triggered by environmental factors. It is assumed that self-reactive, myelin-specific T helper cell 1 (Th1) and Th17 cells, which have escaped the control mechanisms of the immune system, are critical in the pathogenesis of the human disease and its animal model experimental autoimmune encephalomyelitis (EAE). It was observed that in vitro differentiated interleukin 17 (IL-17) producing Th17 cells co-expressed the Th1-phenotypic cytokine Interferon-gamma (IFN-γ) in combination with the two respective lineage-associated transcription factors RORγt and T-bet after re-isolation from the CNS of diseased mice. Pathogenic molecular mechanisms that render a CD4+ T cell encephalitogenic have scarcely been investigated up to date. rnIn the second part of the thesis, whole transcriptional changes occurring in in vitro differentiated Th17 cells in the course of EAE were analyzed. Evaluation of signaling networks revealed an overrepresentation of genes involved in communication between the innate and adaptive immune system and metabolic alterations including cholesterol biosynthesis. The transcription factors Cebpa, Fos, Klf4, Nfatc1 and Spi1, associated with thymocyte development and naïve T cells were upregulated in encephalitogenic CNS-isolated CD4+ T cells, proposing a contribution to T cell plasticity. Correlation of the murine T-cell gene expression dataset to putative MS risk genes, which were selected based on their proximity (± 500 kb; ensembl database, release 75) to the MS risk single nucleotide polymorphisms (SNPs) proposed by the most recent multiple sclerosis GWAS in 2011, revealed that 67.3% of the MS risk genes were differentially expressed in EAE. Expression patterns of Bach2, Il2ra, Irf8, Mertk, Odf3b, Plek, Rgs1, Slc30a7, and Thada were confirmed in independent experiments, suggesting a contribution to T cell pathogenicity. Functional analysis of Nfatc1 revealed that Nfatc1-deficient CD4+ T cells were restrained in their ability to induce clinical signs of EAE. Nfatc1-deficiency allowed proper T cell activation, but diminished their potential to fully differentiate into Th17 cells and to express high amounts of lineage cytokines. As the inducible Nfatc1/αA transcript is distinct from the other family members, it could represent an interesting target for therapeutic intervention in MS.rn

Comparison of three optical tracking systems in a complex navigation scenario

Three-dimensional rotational X-ray imaging with the SIREMOBIL Iso-C3D (Siemens AG, Medical Solutions, Erlangen, Germany) has become a well-established intra-operative imaging modality. In combination with a tracking system, the Iso-C3D provides inherently registered image volumes ready for direct navigation. This is achieved by means of a pre-calibration procedure. The aim of this study was to investigate the influence of the tracking system used on the overall navigation accuracy of direct Iso-C3D navigation. Three models of tracking system were used in the study: Two Optotrak 3020s, a Polaris P4 and a Polaris Spectra system, with both Polaris systems being in the passive operation mode. The evaluation was carried out at two different sites using two Iso-C3D devices. To measure the navigation accuracy, a number of phantom experiments were conducted using an acrylic phantom equipped with titanium spheres. After scanning, a special pointer was used to pinpoint these markers. The difference between the digitized and navigated positions served as the accuracy measure. Up to 20 phantom scans were performed for each tracking system. The average accuracy measured was 0.86 mm and 0.96 mm for the two Optotrak 3020 systems, 1.15 mm for the Polaris P4, and 1.04 mm for the Polaris Spectra system. For the Polaris systems a higher maximal error was found, but all three systems yielded similar minimal errors. On average, all tracking systems used in this study could deliver similar navigation accuracy. The passive Polaris system showed ? as expected ? higher maximal errors; however, depending on the application constraints, this might be negligible.

Tight junctions in brain barriers during central nervous system inflammation

Homeostasis within the central nervous system (CNS) is a prerequisite to elicit proper neuronal function. The CNS is tightly sealed from the changeable milieu of the blood stream by the blood-brain barrier (BBB) and the blood-cerebrospinal fluid (CSF) barrier (BCSFB). Whereas the BBB is established by specialized endothelial cells of CNS microvessels, the BCSFB is formed by the epithelial cells of the choroid plexus. Both constitute physical barriers by a complex network of tight junctions (TJs) between adjacent cells. During many CNS inflammatory disorders, such as multiple sclerosis, human immunodeficiency virus infection, or Alzheimer's disease, production of pro-inflammatory cytokines, matrix metalloproteases, and reactive oxygen species are responsible for alterations of CNS barriers. Barrier dysfunction can contribute to neurological disorders in a passive way by vascular leakage of blood-borne molecules into the CNS and in an active way by guiding the migration of inflammatory cells into the CNS. Both ways may directly be linked to alterations in molecular composition, function, and dynamics of the TJ proteins. This review summarizes current knowledge on the cellular and molecular aspects of the functional and dysfunctional TJ complexes at the BBB and the BCSFB, with a particular emphasis on CNS inflammation and the role of reactive oxygen species.

Biogeochemical processes in a clay formation in situ experiment: Part F - Reactive transport modelling

Reactive transport modelling was used to simulate solute transport, thermodynamic reactions, ion exchange and biodegradation in the Porewater Chemistry (PC) experiment at the Mont Terri Rock Laboratory. Simulations show that the most important chemical processes controlling the fluid composition within the borehole and the surrounding formation during the experiment are ion exchange, biodegradation and dissolution/precipitation reactions involving pyrite and carbonate minerals. In contrast, thermodynamic mineral dissolution/precipitation reactions involving alumo-silicate minerals have little impact on the fluid composition on the time-scale of the experiment. With the accurate description of the initial chemical condition in the formation in combination with kinetic formulations describing the different stages of bacterial activities, it has been possible to reproduce the evolution of important system parameters, such as the pH, redox potential, total organic C. dissolved inorganic C and SO(4) concentration. Leaching of glycerol from the pH-electrode may be the primary source of organic material that initiated bacterial growth, which caused the chemical perturbation in the borehole. Results from these simulations are consistent with data from the over-coring and demonstrate that the Opalinus Clay has a high buffering capacity in terms of chemical perturbations caused by bacterial activity. This buffering capacity can be attributed to the carbonate system as well as to the reactivity of clay surfaces.

T-cell trafficking in the central nervous system

To perform their distinct effector functions, pathogen-specific T cells have to migrate to target tissue where they recognize antigens and produce cytokines that elicit appropriate types of protective responses. Similarly, migration of pathogenic self-reactive T cells to target organs is an essential step required for tissue-specific autoimmunity. In this article, we review data from our laboratory as well as other laboratories that have established that effector function and migratory capacity are coordinately regulated in different T-cell subsets. We then describe how pathogenic T cells can enter into intact or inflamed central nervous system (CNS) to cause experimental autoimmune encephalomyelitis or multiple sclerosis. In particular, we elaborate on the role of CCR6/CCL20 axis in migration through the choroid plexus and the involvement of this pathway in immune surveillance of and autoimmunity in the CNS.

A simple presurgical necrotizing enterocolitis-mortality scoring system

OBJECTIVE: To assess the relationship between early laboratory parameters, disease severity, type of management (surgical or conservative) and outcome in necrotizing enterocolitis (NEC). STUDY DESIGN: Retrospective collection and analysis of data from infants treated in a single tertiary care center (1980 to 2002). Data were collected on disease severity (Bell stage), birth weight (BW), gestational age (GA) and pre-intervention laboratory parameters (leukocyte and platelet counts, hemoglobin, lactate, C-reactive protein). RESULTS: Data from 128 infants were sufficient for analysis. Factors significantly associated with survival were Bell stage (P<0.05), lactate (P<0.05), BW and GA (P<0.01, P<0.001, respectively). From receiver operating characteristics curves, the highest predictive value resulted from a score with 0 to 8 points combining BW, Bell stage, lactate and platelet count (P<0.001). At a cutoff level of 4.5 sensitivity and specificity for predicting survival were 0.71 and 0.72, respectively. CONCLUSION: Some single parameters were associated with poor outcome in NEC. Optimal risk stratification was achieved by combining several parameters in a score.

Spastin in the human and mouse central nervous system with special reference to its expression in the hippocampus of mouse pilocarpine model of status epilepticus and temporal lobe epilepsy

In the present in situ hybridization and immunocytochemical studies in the mouse central nervous system (CNS), a strong expression of spastin mRNA and protein was found in Purkinje cells and dentate nucleus in the cerebellum, in hippocampal principal cells and hilar neurons, in amygdala, substantia nigra, striatum, in the motor nuclei of the cranial nerves and in different layers of the cerebral cortex except piriform and entorhinal cortices where only neurons in layer II were strongly stained. Spastin protein and mRNA were weakly expressed in most of the thalamic nuclei. In selected human brain regions such as the cerebral cortex, cerebellum, hippocampus, amygdala, substania nigra and striatum, similar results were obtained. Electron microscopy showed spastin immunopositive staining in the cytoplasma, dendrites, axon terminals and nucleus. In the mouse pilocarpine model of status epilepticus and subsequent temporal lobe epilepsy, spastin expression disappeared in hilar neurons as early as at 2h during pilocarpine induced status epilepticus, and never recovered. At 7 days and 2 months after pilocarpine induced status epilepticus, spastin expression was down-regulated in granule cells in the dentate gyrus, but induced expression was found in reactive astrocytes. The demonstration of widespread distribution of spastin in functionally different brain regions in the present study may provide neuroanatomical basis to explain why different neurological, psychological disorders and cognitive impairment occur in patients with spastin mutation. Down-regulation or loss of spastin expression in hilar neurons may be related to their degeneration and may therefore initiate epileptogenetic events, leading to temporal lobe epilepsy.

VISUAL-INERTIAL INTEGRATION FOR HUMAN MOTION TRACKING AND NAVIGATION IN FREE-LIVING ENVIRONMENTS

The aging population has become a burning issue for all modern societies around the world recently. There are two important issues existing now to be solved. One is how to continuously monitor the movements of those people having suffered a stroke in natural living environment for providing more valuable feedback to guide clinical interventions. The other one is how to guide those old people effectively when they are at home or inside other buildings and to make their life easier and convenient. Therefore, human motion tracking and navigation have been active research fields with the increasing number of elderly people. However, motion capture has been extremely challenging to go beyond laboratory environments and obtain accurate measurements of human physical activity especially in free-living environments, and navigation in free-living environments also poses some problems such as the denied GPS signal and the moving objects commonly presented in free-living environments. This thesis seeks to develop new technologies to enable accurate motion tracking and positioning in free-living environments. This thesis comprises three specific goals using our developed IMU board and the camera from the imaging source company: (1) to develop a robust and real-time orientation algorithm using only the measurements from IMU; (2) to develop a robust distance estimation in static free-living environments to estimate people’s position and navigate people in static free-living environments and simultaneously the scale ambiguity problem, usually appearing in the monocular camera tracking, is solved by integrating the data from the visual and inertial sensors; (3) in case of moving objects viewed by the camera existing in free-living environments, to firstly design a robust scene segmentation algorithm and then respectively estimate the motion of the vIMU system and moving objects. To achieve real-time orientation tracking, an Adaptive-Gain Orientation Filter (AGOF) is proposed in this thesis based on the basic theory of deterministic approach and frequency-based approach using only measurements from the newly developed MARG (Magnet, Angular Rate, and Gravity) sensors. To further obtain robust positioning, an adaptive frame-rate vision-aided IMU system is proposed to develop and implement fast vIMU ego-motion estimation algorithms, where the orientation is estimated in real time from MARG sensors in the first step and then used to estimate the position based on the data from visual and inertial sensors. In case of the moving objects viewed by the camera existing in free-living environments, a robust scene segmentation algorithm is firstly proposed to obtain position estimation and simultaneously the 3D motion of moving objects. Finally, corresponding simulations and experiments have been carried out.

Depiction of small veins draining into the vein of galen using preoperative 3-dimensional navigation in living patients

OBJECTIVE: The purpose of this study was to delineate the anatomy of the precentral cerebellar vein, superior vermian vein, and internal occipital vein using reconstructions of computed tomographic and magnetic resonance imaging scans with navigation software. These data were compared with previous anatomic and angiographic findings to show the resolution and accuracy of the system. METHODS: We retrospectively reviewed 100 patients with intracranial pathologies (50 computed tomographic scans with contrast and 50 magnetic resonance imaging scans with gadolinium) using a neuronavigation workstation for 3-dimensional reconstruction. Particular attention was paid to depiction of the precentral cerebellar vein, superior vermian vein, and internal occipital vein. The data were reviewed and analyzed. RESULTS: The precentral cerebellar vein, superior vermian vein, and its tributary, the supraculminate vein, were depicted in 52 (52%) patients. The internal occipital vein was delineated on 99 (49.5%) sides and joined the basal vein and vein of Galen in 39 (39.4%) and 60 (60.6%) hemispheres, respectively. Comparing these results with previous angiographic studies, the ability of the neuronavigation system for depicting these vessels is similar to that of digital subtraction angiography. CONCLUSION: This study illustrates the possibility of depicting the small vessels draining into the pineal region venous complex using 3-dimensional neuronavigation with an accuracy comparable to that of digital subtraction angiography. This tool provides important information for both surgical planning and intraoperative orientation.

Supporting Task-oriented Navigation in IDEs with Configurable HeatMaps

Mainstream IDEs generally rely on the static structure of a software project to support browsing and navigation. We propose HeatMaps, a simple but highly configurable technique to enrich the way an IDE displays the static structure of a software system with additional kinds of information. A heatmap highlights software artifacts according to various metric values, such as bright red or pale blue, to indicate their potential degree of interest. We present a prototype system that implements heatmaps, and we describe an initial study that assesses the degree to which different heatmaps effectively guide developers in navigating software.