This paper describes the integration of concurrency control in Balloon, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface speciications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and c...

This paper describes the integration of concurrency control in BALLOON, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface specifications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and ...

We present a case study on the use of magnetic amplitude inversion in imaging volcanics that are buried in sedimentary basins and have strong remanent magnetization. The application arises in exploration of natural gas hosted in volcanic units. We show that combined with reliable approaches for magnetic anomaly separation, amplitude inversion can overcome the lack of information on magnetizatio...

Anomaly Detection (AD) has recently become an important application of hyperspectral images analysis. The goal of these algorithms is to find the objects in the image scene which are anomalous in comparison to their surrounding background. One way to improve the performance and runtime of these algorithms is to use Dimensionality Reduction (DR) techniques. This paper evaluates the effect of thr...

Visualization of learning-based intrusion detection methods is a challenging problem. In this paper we propose a novel method for visualization of anomaly detection and feature selection, based on prediction sensitivity. The method allows an expert to discover informative features for separation of normal and attack instances. Experiments performed on the KDD Cup dataset show that explanations ...

Title of thesis: A PERFORMANCE CHARACTERIZATION OF KERNEL-BASED ALGORITHMS FOR ANOMALY DETECTION IN HYPERSPECTRAL IMAGERY Hirsh Goldberg Master of Science, 2007 Thesis directed by: Professor Rama Chellappa Department of Electrical Engineering This thesis provides a performance comparison of linear and nonlinear subspacebased anomaly detection algorithms. Using a dual-window technique to separat...

AIMS To clarify the developmental mechanism and critical period for the uncommon complex of Peters' anomaly and persistent hyperplastic primary vitreous (PHPV). METHODS Two eyes with Peters' anomaly and PHPV were histologically examined by serial section. One eye was enucleated at age 7 months (case 1) and the other at age 4 months (case 2) owing to severe anterior staphyloma. RESULTS In bo...

We analyze PLANET and MACHO observations of MACHO 99-BLG-47, the first nearly-normal microlensing event for which high signal-to-noise-ratio data reveal a well-covered, short-duration anomaly. This anomaly occurs near the peak of the event. Short-duration anomalies near the peak of otherwise normal events are expected to arise both from extreme-separation (either very close or very wide), rough...

Subducted lithosphere and crust are chem1cally d1stinct from amb1ent mantle, and some have hypoth.,sized that the result1ng anomdlous buoyancy may affect m1x1ng and, in particular, may CciUSe chem1cal heterogeneity topers ist. To explore th1s effect, two-dimensional convective mix1ng calculations have been carried out. Boundary cond1tions m1micking features of plate kinematics have been imposed...

Case Description- A 3-month-old, female mixed breed dog was presented to the Veterinary Teaching Hospital of Ferdowsi University with an obvious deformity in its right forelimb. Clinical Findings- - In clinical examination, there was a separation from elbow joint to the end of digits and a long skin cleft between these separated regions was seen. Radiographic examination revealed a wide space b...