20210048
Constructible Falsity
34002226
Constructible Falsity and Inexact Predicates
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.
6896612
Twenty-Fifth Annual Meeting of the Association for Symbolic Logic
44549777
SIGGRAPH public policy committee activity detailed
We start this column with the results of our third on-line opinion survey on public policy issues affecting computer graphics. Next we provide an introduction to and a copy of the definition paper for a prospective study of computer graphics research to be conducted by the National Research Council with partial funding from SIGGRAPH. This is followed by an update on our activities in proposing a course on public policy and a panel on digital rights management of intellectual property for SIGGRAPH 2001. Myles Losch provides an update on the issues related to the slow pace of adoption of Digital TV. Finally, we close with another set of comments from a reader.
31868554
Database Interoperability using a Database's own Natural Query Language
62102270
Interactive video—a producer's medium
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.
7726004
Ideas in Teaching, Learning and Assessment of Databases: A Communication of the 7thInternational Workshop on Teaching, Learning and Assessment of Databases (TLAD 2009)
This paper is a record of the Seventh International Workshop on the Teaching, Learning and Assessment of Databases (TLAD 2009). Based on the contributions received, the paper describes the efforts that academics based in the UK and elsewhere around the world have made towards finding and disseminating new and interesting ways to enhance the teaching and learning of the database subject area. This year most of the submissions centred around the following areas: issues in teaching for databases and how to resolve these; methods for teaching enterprise systems development and the relevance of databases; interactive and collaborative learning support environments; and tools to aid learning in the database area.