Results 11  20
of
1,733,297
Analysis of Fractional Differential Equations
, 1999
"... We discuss existence, uniqueness and structural stability of solutions of nonlinear dierential equations of fractional order. The dierential operators are taken in the RiemannLiouville sense and the initial conditions are specied according to Caputo's suggestion, thus allowing for interpretati ..."
Abstract

Cited by 201 (4 self)
 Add to MetaCart
for interpretation in a physically meaningful way. We investigate in particular the dependence of the solution on the order of the dierential equation and on the initial condition and we relate our results to the selection of appropriate numerical schemes for the solution of fractional dierential equations. 1
Lambda Lifting: Transforming Programs to Recursive Equations
, 1985
"... Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combinator) definitions which will be used as rewrite rules. Different ways of doing lambd ..."
Abstract

Cited by 218 (4 self)
 Add to MetaCart
Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combinator) definitions which will be used as rewrite rules. Different ways of doing
Principles of Constraint Programming
, 2000
"... Introduction 1.1 Preliminaries Constraint programming is an alternative approach to programming in which the programming process is limited to a generation of requirements (constraints) and a solution of these requirements by means of general or domain specific methods. The general methods are us ..."
Abstract

Cited by 258 (3 self)
 Add to MetaCart
: ffl a program that solves systems of linear equations, ffl a package for linear programming, ffl an implementation of the unification algorithm, a cornerstone of automated theorem proving. Problems that can be solved in a natural way by means of constraint programming are usually those for which
Thermodynamics of spacetime: the Einstein equation of state
 Phys Rev Lett
, 1995
"... The Einstein equation is derived from the proportionality of entropy and horizon area together with the fundamental relation δQ = TdS connecting heat, entropy, and temperature. The key idea is to demand that this relation hold for all the local Rindler causal horizons through each spacetime point, w ..."
Abstract

Cited by 177 (7 self)
 Add to MetaCart
, with δQ and T interpreted as the energy flux and Unruh temperature seen by an accelerated observer just inside the horizon. This requires that gravitational lensing by matter energy distorts the causal structure of spacetime in just such a way that the Einstein equation holds. Viewed in this way
The Gambler's Ruin Problem, Genetic Algorithms, and the Sizing of Populations
, 1997
"... This paper presents a model for predicting the convergence quality of genetic algorithms. The model incorporates previous knowledge about decision making in genetic algorithms and the initial supply of building blocks in a novel way. The result is an equation that accurately predicts the quality of ..."
Abstract

Cited by 246 (90 self)
 Add to MetaCart
This paper presents a model for predicting the convergence quality of genetic algorithms. The model incorporates previous knowledge about decision making in genetic algorithms and the initial supply of building blocks in a novel way. The result is an equation that accurately predicts the quality
Meanfield backward stochastic differential equations and related patial differential equations
, 2007
"... In [5] the authors obtained MeanField backward stochastic differential equations (BSDE) associated with a Meanfield stochastic differential equation (SDE) in a natural way as limit of some highly dimensional system of forward and backward SDEs, corresponding to a large number of “particles” (or “a ..."
Abstract

Cited by 180 (13 self)
 Add to MetaCart
In [5] the authors obtained MeanField backward stochastic differential equations (BSDE) associated with a Meanfield stochastic differential equation (SDE) in a natural way as limit of some highly dimensional system of forward and backward SDEs, corresponding to a large number of “particles” (or
The electronic properties of graphene
 Rev. Mod. Phys. 2009
"... This article reviews the basic theoretical aspects of graphene, a oneatomthick allotrope of carbon, with unusual twodimensional Diraclike electronic excitations. The Dirac electrons can be controlled by application of external electric and magnetic fields, or by altering sample geometry and/or t ..."
Abstract

Cited by 236 (1 self)
 Add to MetaCart
/or topology. The Dirac electrons behave in unusual ways in tunneling, confinement, and the integer quantum Hall effect. The electronic properties of graphene stacks are discussed and vary with stacking order and number of layers. Edge �surface � states in graphene depend on the edge termination �zigzag
The AdS5 × S 5 superstring worldsheet Smatrix and crossing symmetry
, 2008
"... An Smatrix satisying the YangBaxter equation with symmetries relevant to the AdS5 × S 5 superstring has recently been determined up to an unknown scalar factor. Such scalar factors are typically fixed using crossing relations, however due to the lack of conventional relativistic invariance, in thi ..."
Abstract

Cited by 228 (6 self)
 Add to MetaCart
An Smatrix satisying the YangBaxter equation with symmetries relevant to the AdS5 × S 5 superstring has recently been determined up to an unknown scalar factor. Such scalar factors are typically fixed using crossing relations, however due to the lack of conventional relativistic invariance
A powerdomain construction
 SIAM J. OF COMPUTING
, 1976
"... We develop a powerdomain construction, [.], which is analogous to the powerset construction and also fits in with the usual sum, product and exponentiation constructions on domains. The desire for such a construction arises when considering programming languages with nondeterministic features or p ..."
Abstract

Cited by 234 (15 self)
 Add to MetaCart
or parallel features treated in a nondeterministic way. We hope to achieve a natural, fully abstract semantics in which such equivalences as (pparq)=(qparp) hold. The domain (D Truthvalues) is not the right one, and instead we take the (finitely) generable subsets of D. When D is discrete they are ordered
Variational principles, Surface Evolution, PDE's, level set methods and the Stereo Problem
 IEEE TRANSACTIONS ON IMAGE PROCESSING
, 1999
"... We present a novel geometric approach for solving the stereo problem for an arbitrary number of images (greater than or equal to 2). It is based upon the denition of a variational principle that must be satisfied by the surfaces of the objects in the scene and their images. The EulerLagrange equati ..."
Abstract

Cited by 225 (22 self)
 Add to MetaCart
Lagrange equations which are deduced from the variational principle provide a set of PDE's which are used to deform an initial set of surfaces which then move towards the objects to be detected. The level set implementation of these PDE's potentially provides an efficient and robust way of achieving
Results 11  20
of
1,733,297