CORR
2007
Springer
15 years 18 days ago
2007
Springer
62
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
103
Voted
CORR
2007
Springer
15 years 18 days 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...
97
Voted
CORR
2007
Springer
15 years 18 days 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...
38
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
95
Voted
CORR
2007
Springer
15 years 18 days 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...
109
click to vote
CORR
2007
Springer
15 years 18 days 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...
68
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
37
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
48
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
