Varieties of contexts

R Guha, J McCarthy - … and Interdisciplinary Conference on Modeling and …, 2003 - Springer
We believe that a deeper understanding of the uses of contexts, in terms of its impact on
knowledge representation structures, as reflected by a corpus of examples, is vital to the …

Temperature lapse rate and methane in Titan's troposphere

CP McKay, SC Martin, CA Griffith, RM Keller - Icarus, 1997 - Elsevier
We have reanalyzed the Voyager radio occultation data for Titan, examining two alternative
approaches to methane condensation. In one approach, methane condensation is facilitated …

Semantic integration of environmental models for application to global information systems and decision-making

DS Mackay - ACM SIGMOD Record, 1999 - dl.acm.org
Global information systems have the potential of providing decision makers with timely
spatial information about earth systems. This information will come from diverse sources …

A multiple criteria decision support system for testing integrated environmental models

DS Mackay, VB Robinson - Fuzzy sets and systems, 2000 - Elsevier
Spatial models of ecological and hydrological processes are widely used tools for studying
natural systems over large areas. However, these models lack specific mechanisms for …

Meta-modeling: a knowledge-based approach to facilitating process model construction and reuse

RM Keller, JL Dungan - Ecological Modelling, 1999 - Elsevier
We introduce a new modeling approach called meta-modeling and illustrate its practical
applicability to the construction of physically-based ecosystem process models. As a critical …

Representing multiple theories

PP Nayak - Proceedings of the Twelfth AAAI National Conference …, 1994 - dl.acm.org
Most Artificial Intelligence programs lack generality because they reason with a single
domain theory that is tailored for a specific task and embodies a host of implicit assumptions …

[PDF][PDF] Reasoning with models

R Khardon, D Roth - AAAI, 1994 - cdn.aaai.org
We develop a model-based approach to reasoning, in which the knowledge base is
represented as a set of models (satisfying assignments) rather then a logical formula, and …

The lens of the lab: Design challenges in scientific software

F Queiroz, R Spitz - International Journal of Design …, 2016 - eprints.whiterose.ac.uk
Playful and gameful design could improve the quality of scientific software. However,
literature about gamification methods for that particular type of software is presently scarce …

Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations

T Ellman, T Murata - Automated software engineering, 1998 - Springer
Scientists and engineers face recurring problems of constructing, testing and modifying
numerical simulation programs. The process of coding and revising such simulators is …

Creating scientific software

JF Cremer, RS Palmer, RE Zippel - Transactions of the Society for …, 1997 - iro.uiowa.edu
The process of creating scientific software is expensive. It requires a costly combination of
technical scientific and software development expertise. Much of the process of creating …