Sciweavers

2509 search results - page 104 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
84
Voted
DAC
1996
ACM
15 years 4 months ago
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
Joel R. Philips, Eli Chiprout, David D. Ling
SPC
2005
Springer
15 years 6 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
VISSYM
2007
15 years 3 months ago
Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PCA
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
Alexander Broersen, Robert van Liere, Ron M. A. He...
104
Voted
BMCBI
2007
98views more  BMCBI 2007»
15 years 23 days ago
Duration learning for analysis of nanopore ionic current blockades
Background: Ionic current blockade signal processing, for use in nanopore detection, offers a promising new way to analyze single molecule properties, with potential implications ...
Alexander G. Churbanov, Carl Baribault, Stephen Wi...
111
Voted
COMPGEOM
2010
ACM
15 years 5 months ago
Approximating loops in a shortest homology basis from point data
Inference of topological and geometric attributes of a hidden manifold from its point data is a fundamental problem arising in many scientific studies and engineering application...
Tamal K. Dey, Jian Sun, Yusu Wang