5608 search results - page 123 / 1122 » On the Theory of Matchgate Computations |
175
click to vote
COLING
1996
15 years 7 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...
129
click to vote
JSC
2006
15 years 6 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...
189
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...
151
click to vote
IWPEC
2004
Springer
15 years 11 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...
173
click to vote
ACMSE
2005
ACM
15 years 12 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...