Sciweavers

1449 search results - page 122 / 290
» Finiteness results for sigmoidal
Sort
View
JUCS
2002
101views more  JUCS 2002»
15 years 6 months ago
Descriptional Complexity of Machines with Limited Resources
: Over the last 30 years or so many results have appeared on the descriptional complexity of machines with limited resources. Since these results have appeared in a variety of diff...
Jonathan Goldstine, Martin Kappes, Chandra M. R. K...
JSCIC
2010
101views more  JSCIC 2010»
15 years 1 months ago
Boundary-Conforming Discontinuous Galerkin Methods via Extensions from Subdomains
A new way of devising numerical methods is introduced whose distinctive feature is the computation of a finite element approximation only in a polyhedral subdomain D of the origina...
Bernardo Cockburn, Deepa Gupta, Fernando Reitich
IEEESCC
2005
IEEE
15 years 12 months ago
Web Services Composition: A Story of Models, Automata, and Logics
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
Richard Hull
DAC
2008
ACM
16 years 7 months ago
Stochastic integral equation solver for efficient variation-aware interconnect extraction
In this paper we present an efficient algorithm for extracting the complete statistical distribution of the input impedance of interconnect structures in the presence of a large n...
Tarek Moselhy, Luca Daniel
EUROPAR
2005
Springer
15 years 12 months ago
Parallel Edge-Based Inexact Newton Solution of Steady Incompressible 3D Navier-Stokes Equations
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
Renato N. Elias, Marcos A. D. Martins, Alvaro L. G...