Sciweavers

1893 search results - page 197 / 379
» Computational composites
Sort
View
ENTCS
2008
112views more  ENTCS 2008»
15 years 22 days 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
91
Voted
CPHYSICS
2006
135views more  CPHYSICS 2006»
15 years 21 days 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
95
Voted
IJAR
2008
95views more  IJAR 2008»
15 years 21 days 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
111
Voted
ITA
2000
15 years 14 days 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
85
Voted
MICS
2010
62views more  MICS 2010»
14 years 7 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