CORR
2007
Springer
13 years 5 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
— Recently, it has been shown that the max flow capacity can be achieved in a multicast network using network coding. In this paper, we propose and analyze a more realistic mode...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
In this paper, we present a generalization of the relational data model based on interval neutrosophic set [1]. Our data model is capable of manipulating incomplete as well as inc...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
