Sciweavers

2008 search results - page 253 / 402
» Computing with Equations
Sort
View
102
Voted
ICRA
2005
IEEE
156views Robotics» more  ICRA 2005»
15 years 9 months ago
Multi Robot Trajectory Generation for Single Source Explosion Parameter Estimation
— This paper addresses the problem of estimating the parameters of the advection-diffusion equation, which describes the propagation of an instantaneously released gas. A team of...
Vassilios N. Christopoulos, Stergios I. Roumelioti...
144
Voted
ICCS
2005
Springer
15 years 9 months ago
Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
Albert Hartono, Alexander Sibiryakov, Marcel Nooij...
139
Voted
IFIP
2005
Springer
15 years 9 months ago
Numerical Approximation of a Control Problem for Advection-Diffusion Processes
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
Alfio Quarteroni, Gianluigi Rozza, L. Dedè,...
115
Voted
SCALESPACE
2005
Springer
15 years 9 months ago
Relations Between Higher Order TV Regularization and Support Vector Regression
We study the connection between higher order total variation (TV) regularization and support vector regression (SVR) with spline kernels in a one-dimensional discrete setting. We p...
Gabriele Steidl, Stephan Didas, Julia Neumann
133
Voted
FSTTCS
2004
Springer
15 years 9 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula