We investigated to what extent maximal ventricular elastance (E(max)) is dynamically controlled by the arterial baroreflex and force-frequency relation in conscious dogs and to what extent these mechanisms are attenuated after the induction of heart failure (HF). We mathematically analyzed spontaneous beat-to-beat hemodynamic variability. First, we estimated E(max) for each beat during a baseli...

Picture fuzzy relation is an important and powerful concept which suitable for describing correspondences between objects. It represents the strength of association elements picture sets. In this paper we have defined min-max composition relations some properties are explored based on definition. Also discussed max-min relations. Finally, application as illustration to show how applied in decis...

Amyloid deposits from several human diseases have been found to contain membrane lipids. Co-aggregation of lipids and amyloid proteins in amyloid aggregates, and the related extraction of lipids from cellular membranes, can influence structure and function in both the membrane and the formed amyloid deposit. Co-aggregation can therefore have important implications for the pathological consequen...

Compositional aggregation is a technique to palliate state explosion — the phenomenon that the behaviour graph of a parallel composition of asynchronous processes grows exponentially with the number of processes — which is the main drawback of explicit-state verification. It consists in building the behaviour graph by incrementally composing and minimizing parts of the composition modulo an equ...

This paper presents a partial-order reduction method for performance analysis of max-plus timed systems. Amax-plus timed system is a network of automata, where the timing behavior of deterministic system tasks (events in an automaton) is captured in (max,+) matrices. These tasks can be characterized in various formalisms like synchronous data flow, Petri nets, or real-time calculus. The timing ...

Problems are considered in which an objective function expressible as a max of finitely many C2 functions, or more generally as the composition of a piecewise linear-quadratic function with a C2 mapping, is minimized subject to finitely many C2 constraints. The essential objective function in such a problem, which is the sum of the given objective and the indicator of the constraints, is shown ...

Travel time and speed estimation are part of many intelligent transportation applications. Existing approaches rely on either function fitting or data aggregation represent different tradeoffs between generalizability accuracy. Function-fitting learn functions that map feature vectors of, e.g., routes to travel estimates, which enables generalization unseen routes. However, mapping imperfect of...