Sciweavers

5510 search results - page 288 / 1102
» Mathematics
Sort
View
AML
2011
177views Mathematics» more  AML 2011»
15 years 1 months ago
A superhigh diamond in the c.e. tt-degrees
The notion of superhigh computably enumerable (c.e.) degrees was first introduced by Mohrherr in [7], where she proved the existence of incomplete superhigh c.e. degrees, and high...
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu ...
CORR
2011
Springer
206views Education» more  CORR 2011»
15 years 1 months ago
Convergence analysis of a proximal Gauss-Newton method
Abstract An extension of the Gauss-Newton algorithm is proposed to find local minimizers of penalized nonlinear least squares problems, under generalized Lipschitz assumptions. Co...
Saverio Salzo, Silvia Villa
NFM
2011
209views Formal Methods» more  NFM 2011»
15 years 29 days ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...
SIAMMA
2011
70views more  SIAMMA 2011»
15 years 29 days ago
Global Smooth Solutions of Euler Equations for Van der Waals Gases
We prove global in time existence of solutions of the Euler compressible equations for a Van der Waals gas when the density is small enough in Hm , for m large enough. To do so, w...
Magali Lécureux-Mercier
JOTA
2010
104views more  JOTA 2010»
15 years 24 days ago
Structure and Weak Sharp Minimum of the Pareto Solution Set for Piecewise Linear Multiobjective Optimization
Abstract. In this paper the Pareto solution set of a piecewise linear multiobjective optimization problem in a normed space is shown to be a union of finitely many semiclosed polyh...
X. Q. Yang, N. D. Yen