• Publications
  • Influence
On the logic of demonstratives
  • D. Kaplan
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1979
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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