Sciweavers

5210 search results - page 780 / 1042
» Exact geometric computation
Sort
View
107
Voted
CMSB
2008
Springer
15 years 5 months ago
Formal Analysis of Abnormal Excitation in Cardiac Tissue
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entche...
ECCB
2008
IEEE
15 years 5 months ago
Towards de novo identification of metabolites by analyzing tandem mass spectra
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...
Sebastian Böcker, Florian Rasche
135
Voted
ECCV
2008
Springer
15 years 5 months ago
Fourier Analysis of the 2D Screened Poisson Equation for Gradient Domain Problems
We analyze the problem of reconstructing a 2D function that approximates a set of desired gradients and a data term. The combined data and gradient terms enable operations like mod...
Pravin Bhat, Brian Curless, Michael F. Cohen, C. L...
113
Voted
ESA
2008
Springer
112views Algorithms» more  ESA 2008»
15 years 5 months ago
Time-Dependent SHARC-Routing
In recent years, many speed-up techniques for Dijkstra's algorithm have been developed that make the computation of shortest paths in static road networks a matter of microse...
Daniel Delling
127
Voted
FPL
2008
Springer
150views Hardware» more  FPL 2008»
15 years 5 months ago
Compiler generated systolic arrays for wavefront algorithm acceleration on FPGAs
Wavefront algorithms, such as the Smith-Waterman algorithm, are commonly used in bioinformatics for exact local and global sequence alignment. These algorithms are highly computat...
Betul Buyukkurt, Walid A. Najjar