Sciweavers

5510 search results - page 385 / 1102
» Mathematics
Sort
View
CALCO
2005
Springer
97views Mathematics» more  CALCO 2005»
16 years 11 days ago
Modelling Fusion Calculus using HD-Automata
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, ...
FPL
2005
Springer
86views Hardware» more  FPL 2005»
16 years 11 days ago
On the Reliability Evaluation of SRAM-Based FPGA Designs
Benefits of Field Programmable Gate Arrays (FPGAs) have lead to a spectrum of use ranging from consumer products to astronautics. This diversity necessitates the need to evaluate ...
Olivier Héron, Talal Arnaout, Hans-Joachim ...
153
Voted
GECCO
2005
Springer
153views Optimization» more  GECCO 2005»
16 years 11 days ago
Symbolic regression in multicollinearity problems
In this paper the potential of GP-generated symbolic regression for alleviating multicollinearity problems in multiple regression is presented with a case study in an industrial s...
Flor A. Castillo, Carlos M. Villa
HYBRID
2005
Springer
16 years 11 days ago
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...
Sophie Chareyron, Pierre-Brice Wieber
ICCS
2005
Springer
16 years 10 days ago
Multiscale Interpolation, Backward in Time Error Analysis for Data-Driven Contaminant Simulation
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...