Sciweavers

1652 search results - page 79 / 331
» Integration in Real PCF
Sort
View
SSDBM
2000
IEEE
155views Database» more  SSDBM 2000»
15 years 5 months ago
Knowledge-Based Integration of Neuroscience Data Sources
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
Amarnath Gupta, Bertram Ludäscher, Maryann E....
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 3 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
JCC
2008
125views more  JCC 2008»
15 years 1 months ago
Efficient electronic integrals and their generalized derivatives for object oriented implementations of electronic structure cal
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
Norbert Flocke, Victor Lotrich
168
Voted
SIAMAM
2011
14 years 8 months ago
On the Kleinman-Martin Integral Equation Method for Electromagnetic Scattering by a Dielectric Body
The interface problem describing the scattering of time-harmonic electromagnetic waves by a dielectric body is often formulated as a pair of coupled boundary integral equations fo...
Martin Costabel, Frédérique Le Lou&e...
ICPADS
2005
IEEE
15 years 6 months ago
Systematic Performance Modeling and Characterization of Heterogeneous IP Networks
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
Alessio Botta, Donato Emma, Antonio Pescapè...