Results 1  10
of
21,813
Functions and their basic properties
 JOURNAL OF FORMALIZED MATHEMATICS
, 2003
"... The definitions of the mode Function and the graph of a function are introduced. The graph of a function is defined to be identical with the function. The following concepts are also defined: the domain of a function, the range of a function, the identity function, the composition of functions, the ..."
Abstract

Cited by 1336 (32 self)
 Add to MetaCart
The definitions of the mode Function and the graph of a function are introduced. The graph of a function is defined to be identical with the function. The following concepts are also defined: the domain of a function, the range of a function, the identity function, the composition of functions
Neuronal Synchrony: A Versatile Code for the Definition of Relations?
, 1999
"... temporal relations requires the joint evaluation of responses from more than one neuron, only experiments that permit simultaneous measurements of responses 60528 Frankfurt from multiple units are considered. These include multiFederal Republic of Germany electrode recordings from multiple individu ..."
Abstract

Cited by 470 (20 self)
 Add to MetaCart
individual cells, but also measurements of local field potentials (LFPs) and electroencephalographic (EEG) or magnetoencephaloMost of our knowledge about the functional organization of neuronal systems is based on the analysis of the firing patterns of individual neurons that have been recorded one by one
The functional definition of geodesics
, 1997
"... Abstract. In this paper a functional definition of geodesics is introduced which allows to generalize the notion of a geodesic from smooth to topological manifolds. It is shown that in the C ∞case the new definition coincides with the classical definition of geodesics of a linear connection. If C ∞ ..."
Abstract
 Add to MetaCart
Abstract. In this paper a functional definition of geodesics is introduced which allows to generalize the notion of a geodesic from smooth to topological manifolds. It is shown that in the C ∞case the new definition coincides with the classical definition of geodesics of a linear connection. If C
Automated Generalisation of Function Definitions
 In Middeldorp and Sato [33
, 1999
"... We address the problem of finding the common generalisation of a set of Haskell function definitions so that each function can be defined by partial application of the generalisation. By analogy with unification, which derives the most general common specialisation of two terms, we aim to infer ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We address the problem of finding the common generalisation of a set of Haskell function definitions so that each function can be defined by partial application of the generalisation. By analogy with unification, which derives the most general common specialisation of two terms, we aim to infer
Entity Authentication and Key Distribution
, 1993
"... Entity authentication and key distribution are central cryptographic problems in distributed computing  but up until now, they have lacked even a meaningful definition. One consequence is that incorrect and inefficient protocols have proliferated. This paper provides the first treatment of these p ..."
Abstract

Cited by 578 (13 self)
 Add to MetaCart
Entity authentication and key distribution are central cryptographic problems in distributed computing  but up until now, they have lacked even a meaningful definition. One consequence is that incorrect and inefficient protocols have proliferated. This paper provides the first treatment
The Askeyscheme of hypergeometric orthogonal polynomials and its qanalogue
, 1998
"... We list the socalled Askeyscheme of hypergeometric orthogonal polynomials and we give a qanalogue of this scheme containing basic hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence relation, the second order differenti ..."
Abstract

Cited by 578 (6 self)
 Add to MetaCart
scheme. In chapter 3 we list the qanalogues of the polynomials in the Askeyscheme. We give their definition, orthogonality relation, three term recurrence relation, second order di#erence equation, forward and backward shift operator, Rodriguestype formula and generating functions. In chapter 4 we give the limit
Domain names  Implementation and Specification
 RFC883, USC/Information Sciences Institute
, 1983
"... This RFC describes the details of the domain system and protocol, and assumes that the reader is familiar with the concepts discussed in a companion RFC, "Domain Names Concepts and Facilities " [RFC1034]. The domain system is a mixture of functions and data types which are an official pr ..."
Abstract

Cited by 725 (9 self)
 Add to MetaCart
This RFC describes the details of the domain system and protocol, and assumes that the reader is familiar with the concepts discussed in a companion RFC, "Domain Names Concepts and Facilities " [RFC1034]. The domain system is a mixture of functions and data types which are an official
Projection Pursuit Regression
 Journal of the American Statistical Association
, 1981
"... A new method for nonparametric multiple regression is presented. The procedure models the regression surface as a sum of general smooth functions of linear combinations of the predictor variables in an iterative manner. It is more general than standard stepwise and stagewise regression procedures, ..."
Abstract

Cited by 550 (6 self)
 Add to MetaCart
A new method for nonparametric multiple regression is presented. The procedure models the regression surface as a sum of general smooth functions of linear combinations of the predictor variables in an iterative manner. It is more general than standard stepwise and stagewise regression procedures
Fair endtoend windowbased congestion control
 IEEE/ACM TRANS. ON NETWORKING
, 2000
"... In this paper, we demonstrate the existence of fair endtoend windowbased congestion control protocols for packetswitched networks with first comefirst served routers. Our definition of fairness generalizes proportional fairness and includes arbitrarily close approximations of maxmin fairness. T ..."
Abstract

Cited by 676 (3 self)
 Add to MetaCart
In this paper, we demonstrate the existence of fair endtoend windowbased congestion control protocols for packetswitched networks with first comefirst served routers. Our definition of fairness generalizes proportional fairness and includes arbitrarily close approximations of maxmin fairness
IdentityBased Encryption from the Weil Pairing
, 2001
"... We propose a fully functional identitybased encryption scheme (IBE). The scheme has chosen ciphertext security in the random oracle model assuming an elliptic curve variant of the computational DiffieHellman problem. Our system is based on bilinear maps between groups. The Weil pairing on elliptic ..."
Abstract

Cited by 1748 (28 self)
 Add to MetaCart
We propose a fully functional identitybased encryption scheme (IBE). The scheme has chosen ciphertext security in the random oracle model assuming an elliptic curve variant of the computational DiffieHellman problem. Our system is based on bilinear maps between groups. The Weil pairing
Results 1  10
of
21,813