Sciweavers

1893 search results - page 197 / 379
» Computational composites
Sort
View
ENTCS
2008
112views more  ENTCS 2008»
13 years 11 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
CPHYSICS
2006
135views more  CPHYSICS 2006»
13 years 10 months ago
USPEX - Evolutionary crystal structure prediction
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
Colin W. Glass, Artem R. Oganov, Nikolaus Hansen
IJAR
2008
95views more  IJAR 2008»
13 years 10 months ago
Rule reduction for efficient inferencing in similarity based reasoning
The two most important models of inferencing in approximate reasoning with fuzzy sets are Zadeh's Compositional Rule of Inference (CRI) and Similarity Based Reasoning (SBR). ...
Balasubramaniam Jayaram
ITA
2000
13 years 10 months ago
Iteration of rational transductions
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of tr...
Alain Terlutte, David Simplot
MICS
2010
62views more  MICS 2010»
13 years 5 months ago
Linear Differential Elimination for Analytic Functions
This paper provides methods to decide whether a given analytic function of several complex variables is a linear combination of finitely many given analytic functions with coeffic...
Wilhelm Plesken, Daniel Robertz