We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects. Compared to the original cones and foci method from Groote and Springintveld, our method is more generally applicable, because it does not require a preprocessing step to eliminate τ -loops. We prove soun...

urachal anomalies are exceptionally rare. they can present in different ways in childhood as well as in adults. we present an interesting case of vesico-urachal diverticulum with alternating sinus. the interesting finding in this patient was the inversion and disappearance of the umbilicus at the termination of voiding

In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper “Self-complementary totally symmetric plane partitions” J. Combin. Theory Ser. A 42, 277–292. In other words we show that the number of shifted plane partitions invariant under the involution γ is equal to the number of alternating sign matrices invariant under the vertical flip....

We first present a previously unpublished result of Stanton [11] that the group of order four generated by rotation by 90◦ acting on alternating sign matrices exhibits the CSP with the obvious q-analogue of |ASM(n)|. In [12], Wieland introduced a much larger cyclic group that acts on the set of alternating sign matrices. Unfortunately, it has a very complex orbit structure that does not exhibit...

      A new method was developed for the spectral resolution by further determination of three- and  four-component  mixtures  of  drugs in urine samples through  the complementary application of multivariate curve resolution-alternating least squares with correlation  constraint. In the current study, a simple method was proposed to construct a calibration set for the mixture of drugs in the p...

It was shown recently that in the segment endpoint visibility graph Vis(S) of any set S of n disjoint line segments in the plane, there is an alternating path of length (log n), and this bound best possible apart from a constant factor. This talk focuses on the variant of the problem where S is a set of n disjoint axis-parallel line segments, and shows that the length of a longest alternating p...

A Parity Alternating Permutation of the set $[n] = \{1, 2,\ldots, n\}$ is a permutation with even and odd entries alternatively. We deal parity alternating permutations having an entry in first position, PAPs. study numbers that count PAPs as well parity. also subclass being derangements well, Derangements (PADs). Moreover, by considering these PADs we look into their statistical property exced...

Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system components. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition correspond...