5608 search results - page 123 / 1122 » On the Theory of Matchgate Computations |
120
click to vote
COLING
1996
15 years 3 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
JSC
2006
15 years 1 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
118
click to vote
Lecture Notes
These notes cover several topics such as Mean-Variance Frontier, Index Models, Risk Measures, CAPM, Utility-Based Portfolio Choice, CAPM Extensions
Investment for the Long Run, Te...
100
click to vote
IWPEC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
116
click to vote
ACMSE
2005
ACM
15 years 7 months ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...