To understand the home-based difficulties encountered in the health care pathways of patients with Amyotrophic Lateral Sclerosis (ALS), we must annotate a large amount of textual data, from a database created by the A...
详细信息
ISBN:
(纸本)9781614999874;9781614999867
To understand the home-based difficulties encountered in the health care pathways of patients with Amyotrophic Lateral Sclerosis (ALS), we must annotate a large amount of textual data, from a database created by the ALS Ile de France coordination network. For this purpose, we have developed a modular ontology, consisting of four modules, and a semantic annotation tool integrating the created ontology. The specificity of our approach is the creation of equivalent classes at different levels of the ontology. These equivalent classes represent variables of interest allowing a statistical approach and a clinical analysis of comprehension of care pathways ruptures causing.
Software Defined Networks (SDNs) and corresponding platforms are expected to be widely used in future generation networks and especially deployed and activated on-demand as agile networking control service components....
详细信息
ISBN:
(纸本)9789897583001
Software Defined Networks (SDNs) and corresponding platforms are expected to be widely used in future generation networks and especially deployed and activated on-demand as agile networking control service components. The correct functioning of SDN platforms must be assured, i.e., such platforms should be thoroughly tested before deployment. After thorough verification of SDN controllers and switches, the composition of them still requires additional testing in order to guarantee the absence of critical faults. We propose a model based testing technique for checking SDN platforms that relies on appropriate graph enumeration. In particular, we define a fault model where the fault domain contains the wrongly and correctly implemented paths allowed with respect to the underlying resource connectivity graph. We also establish the conditions for deriving a complete test suite with respect to such fault model under black box and white box testing assumptions.
Switching max-plus-linear (SMPL) systems are discrete-event systems that can switch between different modes of operation. In each mode the system is described by a max-plus-linear state equation and a max-plus-linear ...
详细信息
Switching max-plus-linear (SMPL) systems are discrete-event systems that can switch between different modes of operation. In each mode the system is described by a max-plus-linear state equation and a max-plus-linear output equation, with different system matrices for each mode. The switching may depend on the inputs and the states, or it may be a stochastic process. In this paper two equivalent descriptions for switching max-plus-linear systems will be discussed. We will also show that a switching max-plus-linear system can be written as a piecewise affine system or as a constrained max-min-plus-scaling system. The last translation can be established under (rather mild) additional assumptions on the boundedness of the states and the inputs. We also develop a stabilizing model predictive controller for SMPL systems with deterministic and/or stochastic switching. In general, the optimization in the model predictive control approach then boils down to a nonlinear nonconvex optimization problem, where the cost criterion is piecewise polynomial on polyhedral sets and the inequality constraints are linear. However, in the case of stochastic switching that depends on the previous mode only, the resulting optimization problem can be solved using linear programming algorithms.
This Letter is to provide a new approach to study the phenomena of degeneracy of the number of the collinear central configurations under geometric equivalence. A direct and simple explicit parametric expression of th...
详细信息
This Letter is to provide a new approach to study the phenomena of degeneracy of the number of the collinear central configurations under geometric equivalence. A direct and simple explicit parametric expression of the singular surface H(3) is constructed in the mass space (m(1), m(2), m(3)) is an element of (R(+))(3). The construction of H(3) is from an inverse respective, that is, by specifying positions for the bodies and then determining the masses that are possible to yield a central configuration. It reveals the relationship between the phenomena of degeneracy and the inverse problem of central configurations. We prove that the number of central configurations is decreased to 3!/2 1 = 2, m(1), m(2), and m(3) are mutually distinct if m is an element of H(3). Moreover, we know not only the number of central configurations but also what the nonequivalent central configurations are. (C) 2011 Elsevier B.V. All rights reserved.
With the rise of active research fields such as bioinformatics, taxonomies and the growing use of XML documents, tree data are playing a more and more important role. Mining for frequent subtrees from these data is th...
详细信息
With the rise of active research fields such as bioinformatics, taxonomies and the growing use of XML documents, tree data are playing a more and more important role. Mining for frequent subtrees from these data is thus an active research problem and traditional methods (e. g., itemset mining from transactional databases) have to be extended in order to tackle the problem of handling tree-based data. Some approaches have been proposed in the literature, mainly based on generate-and-prune methods. However, they generate a large volume of candidates before pruning them, whereas it could be possible to discard some solutions as they contain unfrequent subtrees. We thus propose a novel approach, called pivot, based on equivalence classes in order to decrease the number of candidates. Three equivalence classes are defined, the first one relying on a right equivalence relation between two trees, the second one on a left equivalence relation, and the third one on the ground of a root equivalence relation. In this paper, we introduce this new method, showing that it is complete (i.e., no frequent subtree is forgotten), and efficient, as illustrated by the experiments led on synthetic and real datasets.
This approach uses the criterion of equivalent classes to establish the equivalence between two circuits and designs. Combining simulation and automatic test pattern generation, it exploits similarities among designs ...
详细信息
This approach uses the criterion of equivalent classes to establish the equivalence between two circuits and designs. Combining simulation and automatic test pattern generation, it exploits similarities among designs to assess logical equivalence quickly and reliably.
暂无评论