Sciweavers

300 search results - page 38 / 60
» Extension of a theorem of Whitney
Sort
View
AMCS
2008
124views Mathematics» more  AMCS 2008»
13 years 9 months ago
Approximate Controllability of Infinite Dimensional Systems of the n-th Order
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
Jerzy Stefan Respondek
CORR
2008
Springer
126views Education» more  CORR 2008»
13 years 9 months ago
A TLA+ Proof System
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
CORR
2006
Springer
154views Education» more  CORR 2006»
13 years 9 months ago
Functional Bregman Divergence and Bayesian Estimation of Distributions
Abstract--A class of distortions termed functional Bregman divergences is defined, which includes squared error and relative entropy. A functional Bregman divergence acts on functi...
B. A. Frigyik, Santosh Srivastava, Maya R. Gupta
JGO
2008
85views more  JGO 2008»
13 years 9 months ago
On the solution existence of pseudomonotone variational inequalities
Abstract. As shown by Thanh-Hao [11], the solution existence results established by Facchinei and Pang [5, Vol. I, Prop. 2.2.3 and Theorem 2.3.4] for variational inequalities in ge...
B. T. Kien, J. C. Yao, N. D. Yen
MP
2008
91views more  MP 2008»
13 years 9 months ago
The rate of convergence of the augmented Lagrangian method for nonlinear semidefinite programming
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
Defeng Sun, Jie Sun, Liwei Zhang