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".

A Mathematical Apparatus for Ontology Simulation. Specialized Extensions of the 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".

Algorithms for Data Flows

* The research was supported by INTAS 00-397 and 00-626 Projects.

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".

Fractional Integration and Fractional Differentiation of the M-Series

Mathematics Subject Classification: 26A33, 33C60, 44A15

Mathematica Balkanica New Series Book Volume 24 2010

Muharem Avdispahic 1 Coordinator of the TEMPUS Project SEE Doctoral Studies in Mathematical Sciences (144703-TEMPUS-2008-BA-TEMPUS-JPCR) The main goals of the TEMPUS Project ”SEE Doctoral Studies in Math- ematical Sciences”, funded by European Commission under the TEMPUS IV first call, consist of the development of a model of structured doctoral studies in Mathematical Sciences involving the network of Western Balkans universi- ties, the curricula design based on the existing strenghts and tendencies in the areas of Pure Mathematics, Applied Mathematics and Theoretical Computer Science and the first phase of implementation of the agreed model during the SEE Doctoral Year in Mathematical Sciences 2011. A decisive step in this direction was ”SEE Young Researchers Workshop” held in Ohrid, FYR Macedonia, September 16-20, 2009, as a part of the Math- ematical Society of South-Eastern Europe (MASSEE) International Congress on Mathematics - MICOM 2009. MICOM 2009 continued the tradition of two previous highly successful MASSEE congresses that took place in Bulgaria in 2003 and in Cyprus in 2006. This volume of the journal Mathematika Balkanica contains the talks de- livered at Ohrid Workshop by South-Eastern European PhD students in various stage of their research towards a doctoral degree in mathematics or informat- ics. Facilitating publication efforts of young researchers from the universities of Sarajevo, Tuzla, Belgrade, Skopje, Stip, Graz, and Sofia fully coincides with MASSEE goals to promote, organize and support scientific, research and edu- cational activities in South-Eastern Europe. The consent of the Editorial Board of Mathematica Balkanica to publish ”SEE Young Researchers Workshop” contributions aptly meets intentions of European reform processes aimed at creating the European Higher Education Area and European Research Area. It is an encouragement to these young researchers in the first place and at the same time an encouragement to their institutions in overcoming fragmentation and enhancing their capacities through fostering reciprocal development of human resources.

On the Arithmetic of Errors

An approximate number is an ordered pair consisting of a (real) number and an error bound, briefly error, which is a (real) non-negative number. To compute with approximate numbers the arithmetic operations on errors should be well-known. To model computations with errors one should suitably define and study arithmetic operations and order relations over the set of non-negative numbers. In this work we discuss the algebraic properties of non-negative numbers starting from familiar properties of real numbers. We focus on certain operations of errors which seem not to have been sufficiently studied algebraically. In this work we restrict ourselves to arithmetic operations for errors related to addition and multiplication by scalars. We pay special attention to subtractability-like properties of errors and the induced “distance-like” operation. This operation is implicitly used under different names in several contemporary fields of applied mathematics (inner subtraction and inner addition in interval analysis, generalized Hukuhara difference in fuzzy set theory, etc.) Here we present some new results related to algebraic properties of this operation.

Optimization Problem in a Class of Linear System. Application to Multiple Drug Administration

2000 Mathematics Subject Classification: 62H15, 62P10.