11397 search results - page 108 / 2280 » A Relational Abstraction for Functions |
MPC
2010
Springer
14 years 1 days ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
FGCS
2006
13 years 10 months ago
2006
The optical virtual concatenation (OVC) function of The Terabit LAN was demonstrated for the first time at the iGrid 2005 workshop in San Diego, California. The TERAbit-LAN establ...
EUSFLAT
2007
13 years 11 months ago
2007
This paper is devoted to construction of fuzzy preference relations and to showing how this construction is connected with Lukasiewicz filters and TL-evaluators. We will study al...
DIMACS
2001
13 years 11 months ago
2001
The notion of relative closure (X, Y )0 of a semi-Pfaffian couple (X, Y ) was introduced by Gabrielov to give a description of the o-minimal structure generated by Pfaffian functio...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum info...