• Publications
  • Influence
On the logic of demonstratives
  • D. Kaplan
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1979
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. Expand
  • 363
  • 24
  • PDF
A paradox regained
  • 159
  • 13
Assessing data quality in accounting information systems
Accounting information systems maintain and produce the data used by organizations to plan, evaluate, and diagnose the dynamics of operations and financial circumstances [1]. Expand
  • 96
  • 5
On Data Reliability Assessment in Accounting Information Systems
We develop a formal, process-oriented ontology of an accounting information system that defines its components and semantic constraints. Expand
  • 70
  • 4
  • PDF
Bobcat: AMD's Low-Power x86 Processor
Bobcat is an AMD processor core designed for the low-power, mobile, lower-end desktop x86 markets. Expand
  • 28
  • 2
Bayesian Statistical Methods
  • 23
  • 2
The 2001 Mars In-situ-propellant-production Precursor (MIP) Flight Demonstration - Project objectives and qualification test results
Strategic planning for human missions of exploration to Mars has conclusively identified in-situ propellant production (ISPP) as an enabling technology. A team of scientists and engineers from NASAExpand
  • 11
  • 2
  • PDF
The core-C6 (CC6) sleep state of the AMD bobcat x86 microprocessor
This paper describes the architecture and physical design of the AMD Bobcat x86 core-C6 (CC6) sleep state in concert with a network of PFET sleep transistors that drive an internal voltage domain. Expand
  • 8
  • 1