Sciweavers

181 search results - page 21 / 37
» On Quantification with A Finite Universe
Sort
View
FECS
2006
142views Education» more  FECS 2006»
13 years 9 months ago
CFD Graphical Interface in Matlab
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
Tiago Pinho, Senhorinha Teixeira
JFPLC
2000
13 years 9 months ago
Preuves infinies en Programmation logique
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
Mathieu Jaume
SIAMCO
2008
72views more  SIAMCO 2008»
13 years 7 months ago
Optimal Consumption in a Growth Model with the Cobb--Douglas Production Function
An optimal consumption problem is studied in a growth model for the Cobb-Douglas production function in a finite horizon. The problem is transfered into a stochastic Ramsey proble...
Hiroaki Morimoto, Xun Yu Zhou
ISCI
2002
106views more  ISCI 2002»
13 years 7 months ago
Neighborhood operator systems and approximations
This paper presents a framework for the study of generalizing the standard notion of equivalence relation in rough set approximation space with various categories of k-step neighb...
Wei-Zhi Wu, Wen-Xiu Zhang
CATS
2006
13 years 9 months ago
On the Logical Implication of Multivalued Dependencies with Null Values
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe (Fagin 1977, Zaniolo 1976). Whi...
Sebastian Link