Sciweavers

3 search results - page 1 / 1
» Fuzzy transforms of higher order approximate derivatives: A ...
Sort
View
FSS
2011
82views more  FSS 2011»
12 years 8 months ago
Fuzzy transforms of higher order approximate derivatives: A theorem
In many practical applications, it is useful to represent a function f(x) by its fuzzy transform, i.e., by the “average” values Fi = f(x) · Ai(x) dx Ai(x) dx over different ...
Irina Perfilieva, Vladik Kreinovich
TPHOL
2007
IEEE
13 years 11 months ago
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
Norbert Völker
DATE
2002
IEEE
79views Hardware» more  DATE 2002»
13 years 9 months ago
Formulation of Low-Order Dominant Poles for Y-Matrix of Interconnects
This paper presents an efficient approach to compute the dominant poles for the reduced-order admittance (Y parameter) matrix of lossy interconnects. Using the global approximati...
Qinwei Xu, Pinaki Mazumder