User profiles for Barry Smith

Barry Smith

- Verified email at buffalo.edu - Cited by 50049

Barry F Smith

- Verified email at mcs.anl.gov - Cited by 20818

Fiat objects

B Smith - 2001 - philpapers.org
Human cognitive acts are directed towards entities of a wide range of different types. What
follows is a new proposal for bringing order into this typological clutter. A categorial scheme …

The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration

B Smith, M Ashburner, C Rosse, J Bard, W Bug… - Nature …, 2007 - nature.com
The value of any kind of data is greatly enhanced when it exists in a form that allows it to be
integrated with other data. One approach to integration is through the annotation of multiple …

Mereotopology: a theory of parts and boundaries

B Smith - Data & Knowledge Engineering, 1996 - Elsevier
The paper is a contribution to formal ontology. It seeks to use topological means in order to
derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of …

Ontology and geographic kinds

B Smith, DM Mark - 1998 - philpapers.org
Cognitive categories in the geographic realm appear to manifest certain special features as
contrasted with categories for objects at surveyable scales. We have argued that these …

Geographical categories: an ontological investigation

B Smith, DM Mark - International journal of geographical …, 2001 - Taylor & Francis
This paper reports the results of a series of experiments designed to establish how non-expert
subjects conceptualize geospatial phenomena. Subjects were asked to give examples of …

[BOOK][B] Building ontologies with basic formal ontology

R Arp, B Smith, AD Spear - 2015 - books.google.com
An introduction to the field of applied ontology with examples derived particularly from
biomedicine, covering theoretical components, design practices, and practical applications. In the …

Domain decomposition methods for partial differential equations

BF Smith - Parallel Numerical Algorithms, 1997 - Springer
Abstract Domain decomposition methods are iterative methods for the solution of linear or
nonlinear systems that use explicit information about the geometry, discretization, and/or …

Truth-makers

K Mulligan, P Simons, B Smith - Philosophy and phenomenological …, 1984 - JSTOR
During the realist revival in the early years of this century, philosophers of various persuasions
were concerned to investigate the ontology of truth. That is, whether or not they viewed …

Efficient management of parallelism in object-oriented numerical software libraries

S Balay, WD Gropp, LC McInnes, BF Smith - Modern software tools for …, 1997 - Springer
Parallel numerical software based on the message passing model is enormously complicated.
This paper introduces a set of techniques to manage the complexity, while maintaining …

[HTML][HTML] Diagnostic criteria for temporomandibular disorders (DC/TMD) for clinical and research applications: recommendations of the International RDC/TMD …

…, M Dent, A Petersson, P Pionchon, B Smith… - Journal of oral & …, 2014 - ncbi.nlm.nih.gov
Aims The original Research Diagnostic Criteria for Temporomandibular Disorders (RDC/TMD)
Axis I diagnostic algorithms have been demonstrated to be reliable. However, the …