Sciweavers

6039 search results - page 240 / 1208
» The Function Space of an Activity
Sort
View
AMC
2010
86views more  AMC 2010»
15 years 7 months ago
BVMs for computing Sturm-Liouville symmetric potentials
The paper deals with the numerical solution of inverse Sturm-Liouville problems with unknown potential symmetric over the interval [0, ]. The proposed method is based on the use o...
Paolo Ghelardoni, Cecilia Magherini
JGO
2011
116views more  JGO 2011»
15 years 2 months ago
On generalized Ekeland's variational principle and equivalent formulations for set-valued mappings
We propose a very weak type of generalized distance called weak τ-function and use it to weaken the assumptions about lower semicontinuity in existing formulations of Ekeland’s ...
Phan Quoc Khanh, D. N. Quy
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 11 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
DCC
2008
IEEE
15 years 7 months ago
A characterization of quadrics by intersection numbers
This work is inspired by a paper of Hertel and Pott on maximum non-linear functions [8]. Geometrically, these functions correspond with quasi-quadrics; objects introduced in [5]. ...
Jeroen Schillewaert
DCC
2008
IEEE
16 years 6 months ago
On the graph of a function in many variables over a finite field
Some improved bounds on the number of directions not determined by a point set in the affine space AG(k, q) are presented. More precisely, if there are more than pe (q -1) directio...
Simeon Ball