model K.R. Apt [CP99] for propagation (based on chaotic iterations) Reduction functions of functions Abstraction Constraint CSP Fixed point Partial Ordering Application Hybrid Constraint Solving – p. 55 A Generic Algorithm: propagation for constraint propagation: ordering on size of domains work on a CSP F = { set of propagation functions} X = initial CSP G = F While G 6= ∅ choose g ∈ G G = G− ...

One-third of the people with an age over twenty have some signs of degenerated discs. However, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. This paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...

In this paper, we study the discrete hybrid system with different initial times. By employing Lyapunov-like functions, some new comparison theorems and several practical stability criteria for discrete hybrid system with initial time difference are obtained.

in this paper, we consider a new class of analytic functions in the unit disk using polynomials of order alpha. we give some sufficient conditions for functions belonging to this class.

In this paper, we study the Igusa’s local zeta functions of a class of hybrid polynomials with coefficients in a non-archimedean local field of positive characteristic. Such class of hybrid polynomial was first introduced by Hauser in 2003 to study the resolution of singularities in positive characteristic. We prove the rationality of these local zeta functions and describe explicitly their pol...

MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control systems using Nichols plots, presenting an inverted pendulum and a magnetic disk drive reader system. Given a hybrid systems specified by a system of differential equations, we use Maple to obtain a problem involving the ...

Let $X$ be a reflexive Banach space, $T:Xto X$ be a nonexpansive mapping with $C=Fix(T)neqemptyset$ and $F:Xto X$ be $delta$-strongly accretive and $lambda$- strictly pseudocotractive with $delta+lambda>1$. In this paper, we present modified hybrid steepest-descent methods, involving sequential errors and functional errors with functions admitting a center, which generate convergent sequences ...

A common practice in most of deep convolutional neural architectures is to employ fully-connected layers followed by Softmax activation to minimize cross-entropy loss for the sake of classification. Recent studies show that substitution or addition of the Softmax objective to the cost functions of support vector machines or linear discriminant analysis is highly beneficial to improve the classi...

C2E2 is a bounded reachability analysis tool for nonlinear dynamical systems and hybrid automaton models. Previously it required users to annotate each system of differential equations of the hybrid automaton with discrepancy functions, and since these annotations are difficult to get for general nonlinear differential equations, the tool had limited usability. This version of C2E2 is improved ...