Mathematical Models of Domain Ontologies

* This paper was made according to the program No 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project "Intellectual Systems Based on Multilevel Domain Models".

Measure Refutations and Metrics on Statements of Experts (Logical Formulas) in the Models for Some Theory

* This work was financially supported by the Russian Foundation for Basic Research, project no. 04-01-00858a.

A Mathematical Apparatus for Domain Ontology Simulation. An Extendable Language of Applied Logic

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

Some Properties of Mittag-Leffler Functions and Matrix-Variate Analogues: A Statistical Perspective

Mathematical Subject Classification 2010:26A33, 33E99, 15A52, 62E15.

Matrix-Variate Statistical Distributions and Fractional Calculus

MSC 2010: 15A15, 15A52, 33C60, 33E12, 44A20, 62E15 Dedicated to Professor R. Gorenflo on the occasion of his 80th birthday

Application of MARS for the Construction of Nonparametric Models

2000 Mathematics Subject Classification: 62G08, 62P30.

Using Covariance as a Similarity Measure for Document Language Identification in Hard Contexts

2000 Mathematics Subject Classification: C2P99.

Statistical Inference for Processes Depending on Environments and Application in Regenerative Processes

We build the Conditional Least Squares Estimator of 0 based on the observation of a single trajectory of {Zk,Ck}k, and give conditions ensuring its strong consistency. The particular case of general linear models according to 0=( 0, 0) and among them, regenerative processes, are studied more particularly. In this frame, we may also prove the consistency of the estimator of 0 although it belongs to an asymptotic negligible part of the model, and the asymptotic law of the estimator may also be calculated.

Statistical Analysis of Data on Linker Histones/DNA Interactions

2000 Mathematics Subject Classification: 62P10, 92C40

A Statistical Approach for Multilingual Document Clustering and Topic Extraction from Clusters

2000 Mathematics Subject Classification: 62H30

Multiple Dipole Source Models for Scalp-Recorded Event-Related Potentials: Example from Complex Visual Processing in the Human Brain

2000 Mathematics Subject Classification: 62P10, 92C20

The Application of Cloud Computing in Education

Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2015

Design software architecture models using ontology

Software architecture plays an essential role in the high level description of a system design, where the structure and communication are emphasized. Despite its importance in the software engineering process, the lack of formal description and automated verification hinders the development of good software architecture models. In this paper, we present an approach to support the rigorous design and verification of software architecture models using the semantic web technology. We view software architecture models as ontology representations, where their structures and communication constraints are captured by the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). Specific configurations on the design are represented as concrete instances of the ontology, to which their structures and dynamic behaviors must conform. Furthermore, ontology reasoning tools can be applied to perform various automated verification on the design to ensure correctness, such as consistency checking, style recognition, and behavioral inference.

Az ajánlati könyv statisztikai tulajdonságai (Statistical properties of the limit order book)

A pénzügyi modellek jelentős része feltételezi a piacok hatékony működését. Ennek következtében számos tudományos kutatás központi témája volt a piacok hatékonyságának tesztelése és ennek igazolása, esetleg cáfolata. Ezen próbálkozások azonban mind a mai napig eredménytelenül zárultak. A tesztelések nyomán a kutatások a termékek áralakulásából indultak ki, és a hozamokat ezen keresztül elemezték. Az elmúlt években azonban a fókusz átterelődött az árak alakulásáról egy elemibb tényezőre, az ajánlati könyvre. Ugyanis végső soron az ajánlatvezérelt piacokon az árakat az ajánlati könyvbe benyújtott megbízások alakulása fogja meghatározni. Mivel a tőzsdék jelentős része ajánlatvezérelt piacként működik, ezért érdemesnek tartották a kutatók, hogy inkább az ajánlati könyv alakulásának statisztikai jellemzőit elemezzék, hátha az eredményre vezet, és sikerül közelebb jutni a hatékony piacok elméletének igazolásához vagy cáfolatához. Jelen tanulmány célja az, hogy az eddig megjelent tudományos kutatások alapján ismertesse az ajánlati könyv alapvető statisztikai tulajdonságait, és rávilágítson arra: mindez valójában hozzájárult-e a hatékony piacok elméletének igazolásához? ______ Most of the fi nancial models assume that markets are effi cient. As a result, numerous scientifi c researchers were focused on testing the effi cient market hypothesis, and tried to prove, or deny it. However, all these attempts are still unsuccessful. During these researches, the analyses of the effi cient market hypothesis were based on the price evolution of a certain asset, and through this the returns were examined. In the recent years the research interest has changed, and instead of analyzing the returns, a more primary factor got into focus, namely the limit order book. The reason is that on order driven markets the prices and the order sizes in the limit order book infl uence the price evolution on the market. Since a notable number of stock markets operate as an order driven market, the researchers thought that it worth analyzing the statistical properties of the limit order book, because maybe it will get us closer to the proof of the effi cient market hypothesis. The purpose of this study is to summarize the statistical properties of the limit order book, based on the scientifi c works published so far. The study would like to highlight whether these studies contributed to the proof or disproof of the effi cient market hypothesis.

Növelhető-e a csőd-előrejelző modellek előre jelző képessége az új klasszifikációs módszerek nélkül? (Can the predictive capacity of bankruptcy forecasting models be increased without new classification methods?)

A Bázel–2. tőkeegyezmény bevezetését követően a bankok és hitelintézetek Magyarországon is megkezdték saját belső minősítő rendszereik felépítését, melyek karbantartása és fejlesztése folyamatos feladat. A szerző arra a kérdésre keres választ, hogy lehetséges-e a csőd-előrejelző modellek előre jelző képességét növelni a hagyományos matematikai-statisztikai módszerek alkalmazásával oly módon, hogy a modellekbe a pénzügyi mutatószámok időbeli változásának mértékét is beépítjük. Az empirikus kutatási eredmények arra engednek következtetni, hogy a hazai vállalkozások pénzügyi mutatószámainak időbeli alakulása fontos információt hordoz a vállalkozás jövőbeli fizetőképességéről, mivel azok felhasználása jelentősen növeli a csődmodellek előre jelző képességét. A szerző azt is megvizsgálja, hogy javítja-e a megfigyelések szélsőségesen magas vagy alacsony értékeinek modellezés előtti korrekciója a modellek klasszifikációs teljesítményét. ______ Banks and lenders in Hungary also began, after the introduction of the Basel 2 capital agreement, to build up their internal rating systems, whose maintenance and development are a continuing task. The author explores whether it is possible to increase the predictive capacity of business-failure forecasting models by traditional mathematical-cum-statistical means in such a way that they incorporate the measure of change in the financial indicators over time. Empirical findings suggest that the temporal development of the financial indicators of firms in Hungary carries important information about future ability to pay, since the predictive capacity of bankruptcy forecasting models is greatly increased by using such indicators. The author also examines whether the classification performance of the models can be improved by correcting for extremely high or low values before modelling.