Sciweavers

2008 search results - page 102 / 402
» Computing with Equations
Sort
View
CIE
2008
Springer
13 years 11 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
ISBI
2004
IEEE
14 years 10 months ago
Diffusion Smoothing on Brain Surface via Finite Element Method
Surface data such as the segmented cortical surface of the human brain plays an important role in medical imaging. To increase the signal-to-noise ratio for data residing on the b...
Moo Chung, Jonathan Taylor
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
14 years 1 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
ADBIS
2006
Springer
118views Database» more  ADBIS 2006»
14 years 3 months ago
Computational Database Technology Applied to Option Pricing Via Finite Differences
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
Jöns Åkerlund, Krister Åhlander, ...
IPPS
1998
IEEE
14 years 1 months ago
Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
Peter R. Cappello, Ömer Egecioglu