We demonstrate that a system of bi-orthogonal polynomials and their associated functions corresponding to a regular semi-classical weight on the unit circle constitute a class of general classical solutions to the Garnier systems by explicitly constructing its Hamiltonian formulation and showing that it coincides with that of a Garnier system. Such systems can also be characterised by recurrenc...

Regular model checking is an exploration technique for infinite state systems where spaces are represented as regular languages and transition relations expressed using rational over (or finite) strings. We extend the paradigm to permit use of more powerful relations: class relations, which a strict subset. language monadic second-order logic (MSO) on strings specify such adopt streaming string...

If a ring element α = 1 − ab is Drazin invertible, so is β = 1 − ba. We show that the Drazin inverse of β is expressible by a simple formula (in generalization of “Jacobson’s Lemma”) in terms of the Drazin inverse and the spectral idempotent of α. The commutation rules αa = a β and b α = β b are extended to the Drazin inverses, and the spectral idempotents of α and β are shown to be isomorphic....

In this paper, we present an energy dissipation model for reconfigurable systems in which FPGAs have the property of online reprogramming. The proposed system contains regular nodes and one control node. Each regular node contains both CPU capable of software processing, and FPGA unit which after being programmed with bitstream serves as the hardware processing parts. Nodes are connected in som...

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to ωXG(t), where XG(t) is the chromatic quasisymmetric function of the incomparability graph G of the corresponding natural unit interval order, and ω is the usual involutio...

We derive the Christoffel-Geronimus-Uvarov transformations of a system of bi-orthogonal polynomials and associated functions on the unit circle, that is to say the modification of the system corresponding to a rational modification of the weight function. In the specialisation of the weight function to the regular semi-classical case with an arbitrary number of regular singularities {z 1 ,. .. ...

Cellular structures with highly controlled micro-architectures are promising materials for orthopedic applications that require bone-substituting biomaterials or implants. The availability of additive manufacturing techniques has enabled manufacturing of biomaterials made of one or multiple types of unit cells. The diamond lattice unit cell is one of the relatively new types of unit cells that ...