Results 1  10
of
1,378
ARTICLE Terminology and the Construction of Scientific Disciplines: The Case
"... This article explores the way in which social explanations underpin the names of particular disciplines. Taking the example of pharmacogenomics (a spinoff from the Human Genome Project), it shows how this term has been constructed since it appeared in 1997, the differences and similarities between ..."
Abstract
 Add to MetaCart
This article explores the way in which social explanations underpin the names of particular disciplines. Taking the example of pharmacogenomics (a spinoff from the Human Genome Project), it shows how this term has been constructed since it appeared in 1997, the differences and similarities between
Functions from a set to a set
 Journal of Formalized Mathematics
, 1989
"... function from a set X into a set Y, denoted by “Function of X,Y ”, the set of all functions from a set X into a set Y, denoted by Funcs(X,Y), and the permutation of a set (mode Permutation of X, where X is a set). Theorems and schemes included in the article are reformulations of the theorems of [1] ..."
Abstract

Cited by 1089 (23 self)
 Add to MetaCart
function from a set X into a set Y, denoted by “Function of X,Y ”, the set of all functions from a set X into a set Y, denoted by Funcs(X,Y), and the permutation of a set (mode Permutation of X, where X is a set). Theorems and schemes included in the article are reformulations of the theorems of [1
Partial Functions
"... this article we prove some auxiliary theorems and schemes related to the articles: [1] and [2]. MML Identifier: PARTFUN1. WWW: http://mizar.org/JFM/Vol1/partfun1.html The articles [4], [6], [3], [5], [7], [8], and [1] provide the notation and terminology for this paper. We adopt the following rules ..."
Abstract

Cited by 492 (10 self)
 Add to MetaCart
this article we prove some auxiliary theorems and schemes related to the articles: [1] and [2]. MML Identifier: PARTFUN1. WWW: http://mizar.org/JFM/Vol1/partfun1.html The articles [4], [6], [3], [5], [7], [8], and [1] provide the notation and terminology for this paper. We adopt the following
The fundamental properties of natural numbers
 Journal of Formalized Mathematics
, 1989
"... Summary. Some fundamental properties of addition, multiplication, order relations, exact division, the remainder, divisibility, the least common multiple, the greatest common divisor are presented. A proof of Euclid algorithm is also given. MML Identifier:NAT_1. WWW:http://mizar.org/JFM/Vol1/nat_1.h ..."
Abstract

Cited by 688 (73 self)
 Add to MetaCart
.html The articles [4], [6], [1], [2], [5], and [3] provide the notation and terminology for this paper. A natural number is an element of N. For simplicity, we use the following convention: x is a real number, k, l, m, n are natural numbers, h, i, j are natural numbers, and X is a subset of R
Illusion and wellbeing: A social psychological perspective on mental health.
 Psychological Bulletin,
, 1988
"... Many prominent theorists have argued that accurate perceptions of the self, the world, and the future are essential for mental health. Yet considerable research evidence suggests that overly positive selfevaluations, exaggerated perceptions of control or mastery, and unrealistic optimism are charac ..."
Abstract

Cited by 988 (20 self)
 Add to MetaCart
in normal human cognition (see Fiske& Taylor, 1984; In this article, we review research suggesting that certain illusions may be adaptive for mental health and wellbeing. In particular, we examine evidence that a set of interrelated positive illusionsnamely, unrealistically positive self
Terminology
"... This article cites 0 articles, 0 of which you can access for free at: permissions ..."
Abstract
 Add to MetaCart
This article cites 0 articles, 0 of which you can access for free at: permissions
Binary operations
 Journal of Formalized Mathematics
, 1989
"... Summary. In this paper we define binary and unary operations on domains. We also define the following predicates concerning the operations:... is commutative,... is associative,... is the unity of..., and... is distributive wrt.... A number of schemes useful in justifying the existence of the operat ..."
Abstract

Cited by 363 (6 self)
 Add to MetaCart
of the operations are proved. MML Identifier:BINOP_1. WWW:http://mizar.org/JFM/Vol1/binop_1.html The articles [4], [3], [5], [6], [1], and [2] provide the notation and terminology for this paper. Let f be a function and let a, b be sets. The functor f(a, b) yielding a set is defined by: (Def. 1) f(a, b) = f(〈a, b
and terminology
"... Abstract. The title and contents of this article have emerged after trying to summarize international scientific knowledge and theory, regulations by relevant international organizations, as well as several national legislative provisions issued in the area of development of historical landscapes, e ..."
Abstract
 Add to MetaCart
Abstract. The title and contents of this article have emerged after trying to summarize international scientific knowledge and theory, regulations by relevant international organizations, as well as several national legislative provisions issued in the area of development of historical landscapes
Tableau Algorithms for Description Logics
 STUDIA LOGICA
, 2000
"... Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Klone. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of descriptio ..."
Abstract

Cited by 260 (26 self)
 Add to MetaCart
for modal logicians. In this article, we will focus on three features that play an important role in description logics (number restrictions, terminological axioms, and role constructors), and show how they can be taken into account by tableau algorithms.
Results 1  10
of
1,378