منابع مشابه
Epistemic Model Checking Using Conditional Independence ( Extended
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demons...
متن کاملPortfolio Optimization Based on Cross Efficiencies By Linear Model of Conditional Value at Risk Minimization
Markowitz model is the first modern formulation of portfolio optimization problem. Relyingon historical return of stocks as basic information and using variance as a risk measure aretow drawbacks of this model. Since Markowitz model has been presented, many effortshave been done to remove theses drawbacks. On one hand several better risk measures havebeen introduced and proper models have been ...
متن کاملOptimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demons...
متن کاملAutoregressive Conditional Duration Model with an Extended Weibull Error Distribution
Trade duration and daily range data often exhibit asymmetric shape with long right tail. In analysing the dynamics of these positively valued time series under autoregressive conditional duration (ACD) models, the choice of the conditional distribution for innovations has posed challenges. A suitably chosen distribution, which is capable of capturing unique characteristics inherent in these dat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications, Faculty Of Science, University of Ankara Series A1Mathematics and Statistics
سال: 2004
ISSN: 1303-5991
DOI: 10.1501/commua1_0000000268