37712874
Database: Enterprise, Skills and Innovation, 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005, Proceedings
Invited Paper.- Databases in Grid Applications: Locality and Distribution.- Spatio-temporal Databases.- Spatial Hierarchies and Topological Relationships in the Spatial MultiDimER Model.- Multidimensional Structures Dedicated to Continuous Spatiotemporal Phenomena.- TimeERplus: A Temporal EER Model Supporting Schema Changes.- Data Integration and Information Retrieval.- Semantically Rich Materialisation Rules for Integrating Heterogeneous Databases.- Answering Queries Using Views in the Presence of Functional Dependencies.- LAX: An Efficient Approximate XML Join Based on Clustered Leaf Nodes for XML Data Integration.- Exploitation of Referential Integrity Constraints for Efficient Update of Data Warehouse Views.- Correlation-Based Data Broadcasting in Wireless Networks.- Hierarchical Group-Based Sampling.- Using Schema Transformation Pathways for Data Lineage Tracing.- XML.- XDGL: XPath-Based Concurrency Control Protocol for XML Data.- Updating XML Using Object-Relational Database.- Applied Information Management.- Image Retrieval Using Weighted Color Co-occurrence Matrix.- Street Address Correction Based on Spelling Techniques.- Personalising Patient Information in the Real World.- Republishers in a Publish/Subscribe Architecture for Data Streams.
31868554
Database Interoperability using a Database's own Natural Query Language
6896612
Twenty-Fifth Annual Meeting of the Association for Symbolic Logic
123376083
Coursework in cognition by mathematics undergraduates: a seven year review
ABSTRACT In recent times it has become increasingly possible for mathematics students to include a limited number of approved optional non-specialist modules in their degree programs in the UK. These courses may offer opportunities for essay writing or experimental project work which are not generally available to students confined to specialist mathematics modules. Many staff believe the availability of such opportunities to be a valuable component of a degree program. This article surveys such coursework in four such non-specialist modules over a seven-year period and, in particular, examines work in the area of mathematical cognition.
29108592
Automated semantic analysis of design models
Based on several years of experience in generating code from large SDL and UML models in the telecommunications domain, it has become apparent that model analysis must be used to augment more traditional validation and testing techniques. While model correctness is extremely important, the difficulty of use and non-scalability of most formal verification techniques when applied to large-scale design models renders them insufficient for most applications. We have also repeatedly seen that even the most complete test coverage fails to find many problems. In contrast, sophisticated model analysis techniques can be applied without human interaction to large-scale models. A discussion of the model analysis techniques and the model defects that they can detect is provided, along with some real-world examples of defects that have been caught.
7556411
A database system for constructing, integrating, and displaying physical maps of chromosome 19
Efforts are underway at numerous sites around the world to construct physical maps of all human chromosomes. These maps will enable researchers to locate, characterize, and eventually understand the genes that control human structure and function. The volume and complexity of the data already generated requires a sophisticated array of computational support to collect, store, analyze, integrate and display data in biologically meaningful ways. The Human Genome Center at Livermore has spent the past 6 years constructing a database system to support its physical mapping efforts on human chromosome 19. Our computational support team is composed of experienced computer professionals who share a common pragmatic primary goal of rapidly supplying tools that meet the ever-changing needs of the biologists. In this paper, we concentrate on the design issues, tradeoffs, and consequences from the point of view of building a complex database system to support leading-edge genomic research. We introduce the topic of physical mapping, discuss the key design issues involved in our database, and discuss the use of this data by our major tools (DNA fingerprint analysis and overlap computation, contig assembly, map integration and database browsing). Given the advantage of hindsight, we discuss what worked, what didn't, and where to go from here. As early pioneers in this field, we hope that our experience may prove useful to others who are now beginning to design and construct similar systems.<<ETX>>
128780900
Expert system classification of urban land use/cover for Delhi, India
This study presents the results of classifying land use/land cover for Delhi, India using an expert system approach. For this study Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) data of 22 September 2003 were used. The research goals of this project are two‐fold. In one respect, the research goal is to report on the extent covered by urbanization using the classified image. Thirteen different land‐cover categories were identified with an 85.55% overall classification accuracy based on 256 random points for validation and 50 on the ground observations. Secondly, we report on our efforts to duplicate an expert system model previously developed for Phoenix Arizona as a generalized approach for urban land use classification. Results suggest that while some of the methodology could be duplicated, there are local factors (e.g. data availability and specific land features) that required the approach to be modified.