A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is completed. This paper proposes to use Cousot and Cousot’s Cardinal power domain to capture dependencies of analysis output on its input and obtain a parametric analysis by parametrizing a base analysis. We illustrate the meth...

Granular surface flows are common in industrial practice and natural systems, however, theoretical description of such flows is at present incomplete. Two prototype systems involving surface flow are compared: heap formation by pouring at a point and rotating cylinders. Continuum models for analysis of these flows are reviewed, and experimental results for quasi-2D systems are presented. Experi...

In this note we will construct, under the assumption that union of less than continuum many meager subsets of R is meager in R, an additive connectivity function f : R → R with Cantor intermediate value property which is not almost continuous. This gives a partial answer to a question of D. Banaszewski [2]. (See also [12, Question 5.5].) We will also show that every extendable function g : R → ...

We are interested in the computability of the invariant measures in a computable dynamical system. We construct two counter-examples. The first one has a unique SRB measure, which is not computable. The second one has no computable invariant measure at all. The systems are topological, i.e. continuous transformations on compact spaces, so they admit invariant measures. A topological dynamical s...

In a recent paper Iyama and Yoshino consider two interesting examples of isolated singularities over which it is possible to classify the indecomposable maximal Cohen-Macaulay modules in terms of linear algebra data. In this paper we present two new approaches to these examples. In the first approach we give a relation with cluster categories. In the second approach we use Orlov’s result on the...

In this paper, we study the complete synchronization of a class of time-varying delayed coupled chaotic systems using feedback control. In terms of Linear Matrix Inequalities, a sufficient condition is obtained through using a Lyapunov-Krasovskii functional and differential equation inequalities. The conditions can be easily verified and implemented. We present two simulation examples to illust...

In this paper, the Multi-Section Transformers (MSTs), the lengths of whose sections are not the same, are proposed and considered as matchers between two complex and frequency dependent impedances in a wide frequency range. The optimum values of the MST parameters are obtained through optimization approach. The usefulness of the proposed structure is verified using some examples.

We show that the generating series of some Hodge integrals involving one or two partitions are τ -functions of the KP hierarchy or the 2-Toda hierarchy respectively. We also formulate a conjecture on the connection between relative invariants and integrable hierarchies. The conjecture is verified in some examples.

In this paper, a multi-objective intuitionistic fuzzy linear fractional programm ing problem is discussed with two different methods namely Kanti Swarup’s Fractional algorithm and weighting factor method in which the constraints are triangular intuitionistic fuzzy number. The optimal solutions are verified for the proposed methods. Numerical examples are provided to check the feasibility of the...