Sciweavers

1449 search results - page 16 / 290
» Finiteness results for sigmoidal
Sort
View
SMA
2010
ACM
235views Solid Modeling» more  SMA 2010»
14 years 12 months ago
Constructing A-spline weight functions for stable WEB-spline finite element methods
Whereas traditional finite element methods use meshes to define domain geometry, weighted extended B-spline finite element methods rely on a weight function. A weight function is ...
Chandrajit L. Bajaj, Radhakrishna Bettadapura, Na ...
APAL
2006
63views more  APAL 2006»
14 years 12 months ago
Satisfaction of existential theories in finitely presented groups and some embedding theorems
Abstract. The main result is that for every recursively enumerable existential consistent theory (in the usual language of group theory), there exists a finitely presented SQ-univ...
Abderezak Ould Houcine
MICCAI
2003
Springer
16 years 20 days ago
Medially Based Meshing with Finite Element Analysis of Prostate Deformation
The finite element method (FEM) is well suited for use in the non-rigid registration of magnetic resonance spectroscopy images (MRSI) with intraoperative ultrasound images of the p...
Jessica R. Crouch, Stephen M. Pizer, Edward L. Cha...
CORR
2009
Springer
115views Education» more  CORR 2009»
14 years 9 months ago
Testing the Equivalence of Regular Languages
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...
Marco Almeida, Nelma Moreira, Rogério Reis
PODS
2004
ACM
139views Database» more  PODS 2004»
15 years 12 months ago
On Preservation under Homomorphisms and Unions of Conjunctive Queries
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
Albert Atserias, Anuj Dawar, Phokion G. Kolaitis