33800485
Non-Null Implication
An implication A ⊃ B is said to be null in case A is false in all instances. This note describes several formal systems for first-order predicate logic and arithmetic in which null implications do not occur. In fact, the most restrictive systems avoid the occurrences of any formulas which represent null predicates. The precise sense of this avoidance is explained below. An intuitionistic negation is a statement of the form A ⊃ F where F is a contradiction. The absence of null implications among true statements entails the absence of intuitionistic negations, and hence systems described here might be called negationless intuitionistic systems.
34002226
Constructible Falsity and Inexact Predicates
6896612
Twenty-Fifth Annual Meeting of the Association for Symbolic Logic
45399680
Experiences in Deploying Model-Driven Engineering
In this paper, we describe how Motorola has deployed model-driven engineering in product development, in particular for the development of highly reliable telecommunications systems, and outline the benefits obtained. Model-driven engineering has dramatically increased both the quality and the reliability of software developed in our organization, as well as the productivity of our software engineers. Our experience demonstrates that model-driven engineering significantly improves the development process for telecommunications systems. We discuss the elements we found most important for deployment of model-driven engineering in a large product development organization: An appropriate modeling language, a powerful domain-specific code generator, and a deployment support team.
31868554
Database Interoperability using a Database's own Natural Query Language
10972430
High-Throughput GoMiner, an 'industrial-strength' integrative gene ontology tool for interpretation of multiple-microarray experiments, with application to studies of Common Variable Immune Deficiency (CVID)
BackgroundWe previously developed GoMiner, an application that organizes lists of 'interesting' genes (for example, under-and overexpressed genes from a microarray experiment) for biological interpretation in the context of the Gene Ontology. The original version of GoMiner was oriented toward visualization and interpretation of the results from a single microarray (or other high-throughput experimental platform), using a graphical user interface. Although that version can be used to examine the results from a number of microarrays one at a time, that is a rather tedious task, and original GoMiner includes no apparatus for obtaining a global picture of results from an experiment that consists of multiple microarrays. We wanted to provide a computational resource that automates the analysis of multiple microarrays and then integrates the results across all of them in useful exportable output files and visualizations.ResultsWe now introduce a new tool, High-Throughput GoMiner, that has those capabilities and a number of others: It (i) efficiently performs the computationally-intensive task of automated batch processing of an arbitrary number of microarrays, (ii) produces a human-or computer-readable report that rank-orders the multiple microarray results according to the number of significant GO categories, (iii) integrates the multiple microarray results by providing organized, global clustered image map visualizations of the relationships of significant GO categories, (iv) provides a fast form of 'false discovery rate' multiple comparisons calculation, and (v) provides annotations and visualizations for relating transcription factor binding sites to genes and GO categories.ConclusionHigh-Throughput GoMiner achieves the desired goal of providing a computational resource that automates the analysis of multiple microarrays and integrates results across all of the microarrays. For illustration, we show an application of this new tool to the interpretation of altered gene expression patterns in Common Variable Immune Deficiency (CVID). High-Throughput GoMiner will be useful in a wide range of applications, including the study of time-courses, evaluation of multiple drug treatments, comparison of multiple gene knock-outs or knock-downs, and screening of large numbers of chemical derivatives generated from a promising lead compound.
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.
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.