The paper describes a new implementation of feature structures containing disjunctive values, which can be characterized by the following main points: Local representation of embedded disjunctions, avoidance of expansion to disjunctive normal form and of repeated test-unifications for checking consistence. The method is based on a modification of Kasper and Rounds' calculus of feature descripti...

The discrete-time epidemic model is investigated, which is obtained using the Euler method. It is verified that there exist some dynamical behaviors in this model, such as transcritical bifurcation, flip bifurcation, Hopf bifurcation, and chaos. The numerical simulations, including bifurcation diagrams and computation of Lyapunov exponents, not only show the consistence with the theoretical ana...

We present an inductive learning algorithm that allows for a partial completeness and consistence, i.e. that derives classification rules correctly describing, e.g, most of the examples belonging to a class and not describing most of the examples not belonging to this class. The problem is represented as a modification of the set covering problem that is solved by a greedy algorithm. The approa...

Sufficient conditions are given so that the initial value problem for the Shabat equation has a unique analytic solution, which, together with its first derivative, converges absolutely for z ∈ C : |z| < T , T > 0. Moreover, a bound of this solution is given. The sufficient conditions involve only the initial condition, the parameters of the equation, and T . Furthermore, from these conditions,...

Telecom services are usually described from an applicative perspective. Service providers should yet describe formally what their services do for their users, in order to adapt them to user's needs and to compose them. We propose here a framework to describe communication services from a usage perspective, by describing formally the actions of the service users and of the service provider. This...

Interpolation and approximation of functionals with conditionally positive definite kernels is considered on sets centers that are not determining for polynomials. It shown polynomial consistence sufficient in order to define kernel-based numerical the functional usual properties optimal recovery. Application examples include generation sparse differentiation formulas Laplacian a grid accurate ...

The term desmoid was first used by Muller [1] to describe the tendon-like aspect and the hard consistence of this type of proliferation (desmos in Greek means band). Desmoid tumours (DTs) are classified as extraor intraabdominal. The extra-abdominal DTs arise from fascial or muscoloaponeurotic structures predominantly of the abdominal wall (Fig 1a, 1b, 1c) and occasionally of the shoulder girdl...

For the stochastic present value of aggregate claims in the renewal risk model, a numerical algorithm is constructed based on the Monte Carlo and random process principle. The basic idea and design process of this algorithm is detailed. The numerical simulation results show that it is consistence with the theory analysis result under different parameter different distribution. The numerical alg...

A model for the universe on basis of a self interacting fermionic tachyon field is investigated here. It shown that, devising interaction potential proper form, capable producing an accelerating expansion that at late time tends to constant value which in consistence with cosmological constant. This way introduced can be interpreted as source dark energy.

in this paper, we consider first-order fuzzy differential equations with initial value conditions. the convergence, consistency and stability of difference method for approximating the solution of fuzzy differential equations involving generalized h-differentiability, are studied. then the local truncation error is defined and sufficient conditions for convergence, consistency and stability of ...