Results 1  10
of
3,079,301
On the Monotonic Computability of SemiComputable Real Numbers
"... Let h: N → Q be a computable function. A real number x is hmonotonically computable (hmc, for short) if there is a computable sequence (xs) of rational numbers which converges to x in such a way that the ratios of the approximation errors are bounded by h. In this paper we discuss the hmonotonic ..."
Abstract
 Add to MetaCart
monotonic computability of semicomputable real numbers which are limits of monotone computable sequences of rational numbers. Especially, we show a sufficient and necessary condition for the function h such that the hmonotonic computability is simply equivalent to the normal computability.
Computable real functions of bounded variation and semicomputable real numbers
 In Proceedings of COCOON 2002
"... Abstract. In this paper we discuss some basic properties of computable real functions of bounded variation (CBVfunctions for short). Especially, it is shown that the image set of semicomputable real numbers under CBVfunctions is a proper subset of the class of weakly computable real numbers; Two ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. In this paper we discuss some basic properties of computable real functions of bounded variation (CBVfunctions for short). Especially, it is shown that the image set of semicomputable real numbers under CBVfunctions is a proper subset of the class of weakly computable real numbers
Computable Functions of Bounded Variation and SemiComputable Real Numbers
, 2002
"... In this paper we discuss some basic properties of computable real functions which have bounded variations (CBVfunctions for short). Especially, it is shown that the image set of semicomputable real numbers under CBVfunctions is a proper subset of weakly computable real number class; Two applicati ..."
Abstract
 Add to MetaCart
In this paper we discuss some basic properties of computable real functions which have bounded variations (CBVfunctions for short). Especially, it is shown that the image set of semicomputable real numbers under CBVfunctions is a proper subset of weakly computable real number class; Two
Basic Properties of Real Numbers
 Journal of Formalized Mathematics
, 1989
"... this paper. A real number is an element of R ..."
Reflectance and texture of realworld surfaces
 ACM TRANS. GRAPHICS
, 1999
"... In this work, we investigate the visual appearance of realworld surfaces and the dependence of appearance on scale, viewing direction and illumination direction. At ne scale, surface variations cause local intensity variation or image texture. The appearance of this texture depends on both illumina ..."
Abstract

Cited by 586 (23 self)
 Add to MetaCart
In this work, we investigate the visual appearance of realworld surfaces and the dependence of appearance on scale, viewing direction and illumination direction. At ne scale, surface variations cause local intensity variation or image texture. The appearance of this texture depends on both
Determining the Number of Factors in Approximate Factor Models
, 2000
"... In this paper we develop some statistical theory for factor models of large dimensions. The focus is the determination of the number of factors, which is an unresolved issue in the rapidly growing literature on multifactor models. We propose a panel Cp criterion and show that the number of factors c ..."
Abstract

Cited by 538 (29 self)
 Add to MetaCart
In this paper we develop some statistical theory for factor models of large dimensions. The focus is the determination of the number of factors, which is an unresolved issue in the rapidly growing literature on multifactor models. We propose a panel Cp criterion and show that the number of factors
On Bayesian analysis of mixtures with an unknown number of components
 INSTITUTE OF INTERNATIONAL ECONOMICS PROJECT ON INTERNATIONAL COMPETITION POLICY,&QUOT; COM/DAFFE/CLP/TD(94)42
, 1997
"... ..."
Formal and real authority in organizations
 The Journal of Political Economy
, 1997
"... This paper develops a theory of the allocation of formal authority (the right to decide) and real authority (the effective control over decisions) within organizations, and it illustrates how a formally integrated structure can accommodate various degrees of "real" integration. Real author ..."
Abstract

Cited by 845 (22 self)
 Add to MetaCart
of formal authority within organizations, the paper examines a number of factors that increase the subordinates ' real authority in a formally integrated structure: overload, lenient rules, urgency of decision, reputation, performance measurement, and multiplicity of superiors. Finally, the amount
Bro: A System for Detecting Network Intruders in RealTime
, 1999
"... We describe Bro, a standalone system for detecting network intruders in realtime by passively monitoring a network link over which the intruder's traffic transits. We give an overview of the system's design, which emphasizes highspeed (FDDIrate) monitoring, realtime notification, clear ..."
Abstract

Cited by 903 (41 self)
 Add to MetaCart
specialized language used to express a site's security policy. Event handlers can update state information, synthesize new events, record information to disk, and generate realtime notifications via syslog. We also discuss a number of attacks that attempt to subvert passive monitoring systems
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 682 (76 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
Results 1  10
of
3,079,301