About Ontology Application to the Description of Syllabus

Publication describes the experience in application of ontology technique to structuring of educational materials. Several topics of physics were formalized by means of Protégé software tool. Some principal problems in building of knowledge structure were found, so the discussion may interest not only ontology users, but also the developers of ontology tools.

Computing and Visualizing Solution Sets of Interval Linear Systems

The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006

Sufficient Conditions of Optimality for Control Pproblem Governed by Variational Inequalities

* This work was completed while the author was visiting the University of Limoges. Support from the laboratoire “Analyse non-linéaire et Optimisation” is gratefully acknowledged.

Access Rights Inheritance in Information Systems Controlled by Metadata

All information systems have to be protected. As the number of information objects and the number of users increase the task of information system’s protection becomes more difficult. One of the most difficult problems is access rights assignment. This paper describes the graph model of access rights inheritance. This model takes into account relations and dependences between different objects and between different users. The model can be implemented in the information systems controlled by the metadata, describing information objects and connections between them, such as the systems based on CASE-technology METAS.

Applications of Nonclassical Logic Methods for Purposes of Knowledge Discovery and Data Mining

* The work is partially supported by Grant no. NIP917 of the Ministry of Science and Education – Republic of Bulgaria.

Review and Outlooks of the Means for Visualization of Syntax Semantics and Source Code. Procedural and Object Oriented Paradigm – Differences

In the article, we have reviewed the means for visualization of syntax, semantics and source code for programming languages which support procedural and/or object-oriented paradigm. It is examined how the structure of the source code of the structural and object-oriented programming styles has influenced different approaches for their teaching. We maintain a thesis valid for the object-oriented programming paradigm, which claims that the activities for design and programming of classes are done by the same specialist, and the training of this specialist should include design as well as programming skills and knowledge for modeling of abstract data structures. We put the question how a high level of abstraction in the object-oriented paradigm should be presented in simple model in the design stage, so the complexity in the programming stage stay low and be easily learnable. We give answer to this question, by building models using the UML notation, as we take a concrete example from the teaching practice including programming techniques for inheritance and polymorphism.

Well-Posedness of Diffusion-Wave Problem with Arbitrary Finite Number of Time Fractional Derivatives in Sobolev Spaces H^s

Mathematics Subject Classification 2010: 26A33, 33E12, 35S10, 45K05.

On a 3D-Hypersingular Equation of a Problem for a Crack

MSC 2010: 45DB05, 45E05, 78A45

Applications of the Fréchet subdifferential

2000 Mathematics Subject Classification: 46A30, 54C60, 90C26.

A sphere of resonance for networked learning in the ‘non-places’ of our universities

The logic of ‘time’ in modern capitalist society appears to be a fixed concept. Time dictates human activity with a regularity, which as long ago as 1944, George Woodcock referred to as The Tyranny of the Clock. Seventy years on, Hartmut Rosa suggests humans no longer maintain speed to achieve something new, but simply to preserve the status quo, in a ‘social acceleration’ that is lethal to democracy. Political engagement takes time we no longer have, as we rush between our virtual spaces and ‘non-places’ of higher education. I suggest it’s time to confront the conspirators that, in partnership with the clock, accelerate our social engagements with technology in the context of learning. Through Critical Discourse Analysis (CDA) I reveal an alarming situation if we don’t. With reference to Bauman’s Liquid Modernity, I observe a ‘lightness’ in policy texts where humans have been ‘liquified’ Separating people from their own labour with technology in policy maintains the flow of speed a neoliberal economy demands. I suggest a new ‘solidity’ of human presence is required as we write about networked learning. ‘Writing ourselves back in’ requires a commitment to ‘be there’ in policy and provide arguments that decelerate the tyranny of time. I am though ever-mindful that social acceleration is also of our own making, and there is every possibility that we actually enjoy it.

Weak Convergence to the Tangent Process of the Linear Multifractional Stable Motion

2000 Mathematics Subject Classification: 60G18, 60E07

Anomalous Singularities for Hyperbolic Equations with Degeneracy of Infinite Order

2002 Mathematics Subject Classification: 35L80

Accurate WKB Approximation for a 1D Problem with Low Regularity

2000 Mathematics Subject Classification: 34L40, 65L10, 65Z05, 81Q20.

Exact solution for the energy spectrum of Kelvin-wave turbulence in superfluids

We study the statistical and dynamical behavior of turbulent Kelvin waves propagating on quantized vortices in superfluids and address the controversy concerning the energy spectrum that is associated with these excitations. Finding the correct energy spectrum is important because Kelvin waves play a major role in the dissipation of energy in superfluid turbulence at near-zero temperatures. In this paper, we show analytically that the solution proposed by [L’vov and Nazarenko, JETP Lett. 91, 428 (2010)] enjoys existence, uniqueness, and regularity of the prefactor. Furthermore, we present numerical results of the dynamical equation that describes to leading order the nonlocal regime of the Kelvin-wave dynamics. We compare our findings with the analytical results from the proposed local and nonlocal theories for Kelvin-wave dynamics and show an agreement with the nonlocal predictions. Accordingly, the spectrum proposed by L’vov and Nazarenko should be used in future theories of quantum turbulence. Finally, for weaker wave forcing we observe an intermittent behavior of the wave spectrum with a fluctuating dissipative scale, which we interpreted as a finite-size effect characteristic of mesoscopic wave turbulence.

A kohéziós politika hatékonysága (The efficiency of cohesion policy)

A kohéziós politika hatékonyságát, eredményességét és szabályszerűségét a nemzetállami szint mellett közösségi szinten is értelmezhetjük. Azonban a közösségi szint nem a tagállami részek összege, hanem annál sokkal jelentősebb. Ha a közösségi szinten nem támasztható alá a kohéziós politika szükségszerűsége, akkor annak költségvetése és ezáltal jelentősége az EU következő pénzügyi perspektívájában csökkenhet, amelynek súlyos kihatásai lennének a tagállamok és régióik közötti kohéziós folyamatokra. Éppen ezért fontos a kohéziós politika objektív és részletes elemzése tagállami szinten, valamint a közösségi szintű kohéziós politika kritikáinak és a különböző reformelképzeléseknek vizsgálata. / === / The efficiency, effectiveness and regularity of cohesion policy can be defined both on the community level and on the national level. But the community level more than the sum of the member states. If the necessity of the cohesion policy cannot be backed sufficiently, then its budget of the policy can be decreased in the next financial framework of the EU. This could deeply undermine the process of convergence of the less developed regions of the member states. This is why the objective and detailed analysis of the cohesion policy is important, together with knowing the criticisms and reform proposals of the community level cohesion policy.