In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with ...

srv. Scenario no. 1 Scenario no. 2 Physical srv. Srv rel. Physical srv. Srv rel. 1. RA init. Int srv (1) 0.99 Int srv (1) 0.99 2. Veh. listing Int DB srv (2) 0.97 Int DB srv (2) 0.97 3. Higher-grp.-veh. Asgmnt. Int DB srv (3) 0.97 Int DB srv (3) 0.97 4. Insurance order Ext srv (4) 0.91 Ext srv (4) 0.91 5. Payment Ext srv (6) 0.91 Int exec (5) 0.99 Ext alt I (6) 0.91 Ext alt II (7) 0.88 Ext alt ...

The influence of signals perceived by immature B cells during their development in bone marrow on their subsequent functions as mature cells are poorly defined. Here, we show that bone marrow cells transiently stimulated in vivo or in vitro through the Toll-like receptor 9 generate proB cells (CpG-proBs) that interrupt experimental autoimmune encephalomyelitis (EAE) when transferred at the onse...

Abstract. ProB is an animator and model checker for the B method. It also allows to visualise the state space of a B machine in graphical way. This is often very useful and allows users to quickly spot whether the machine behaves as expected. However, for larger state spaces the visualisation quickly becomes difficult to grasp by users (and the computation of the graph layout takes considerable...

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

The article discusses the formation of power industry Irkutsk region (IR), structure its fuel and energy complex (FEC). modern resource base prob-lems are analyzed. All components considered: oil gas, coal electric power. most problematic areas in each highlighted some recommendations for their elimination proposed. Also shown new risks threats to IRs associated with region.

Trust and reputation systems are central for resisting against threats from malicious agents in decentralized systems. In previous work we have introduced the Prob-Cog model of multi-layer filtering for consumer agents in e-marketplaces which provide mechanisms for identifying participants who disseminate unfair ratings by cognitively eliciting the behavioural characteristics of e-marketplace a...

ProB is being used for teaching the B-method. In this paper, we present two new features of ProB that we have introduced while teaching B. One feature allows a student (or an expert user) to graphically visualise any predicate as a tree. The underlying algorithm can deal with undefined subformulas and tries to provide useful feedback even for existentially quantified formulas which are false. T...

Widespread availability and use of music have made automated audio genre classification an important field of research. Thanks to feature extraction systems, not only music data, but also features for them have become readily available. However, handlabeling of a large amount of music data is time consuming. In this study, we introduce a semi-supervised random feature ensemble method for audio ...