Background: Cholera disease caused by Vibrio cholerae remains a major cause of morbidity and mortality throughout the world. Various strategies with different proteins as immunogens have been tried for vaccine development, none of which have been sufficiently effective to preclude cholera. Chimeric proteins, with their ability to present multiple antigens at the same time, can play important ro...

Surgical reattachment of medial meniscus posterior root tear (MMPRT) with transtibial sutures can delay the presenceof medial knee joint compartment osteoarthritis. Most suture configurations are placed five mm away from the tornmargin in the meniscal substance which is already degenerated and may decrease the pull out strengths of repairconstruct. The number of meniscus penet...

This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly σ-filtered Boolean algebras. We show that for every uncountable regular cardinal κ there are 2 pairwise non-isomorphic openly generated Boolean algebras of size κ > א1 provided there is an almost free non-free abelian group of size κ. The openly generated Boolea...

A for loop is somewhat similar to an inductive argument Just as the truth of a proposition P n depends on the truth of P n the correctness of iteration n of a for loop depends on iteration n having been completed correctly This paper presents the induce construct a new programming construct based on the form of inductive arguments It is more expressive than the for loop yet less expressive than...

In large process deployments where an enterprise has to model and maintain a large number of processes that are specializations of each other it is advantageous to provide formal support for process specialization called process inheritance. A process inheritance model definition is introduced as well as a process definition language construct for defining process specialization.

In a recent project the Ada language turned out to be not as flexible as we expected it to be. This forced us to model our application in a way that was less elegant, less maintainable and less efficient. In this paper we propose to add a language construct to the language that would enable us to do what we were missing. The extension is based on finite unions with dispatching and can quite eas...

A hyperbolic bration is set of q ?1 hyperbolic quadrics and two lines which together partition the points of PG(3; q). The classical example of a hyperbolic bration comes from a pencil of quadrics; however, several other families are known. In this paper we construct a new family of hyperbolic brations for odd prime powers q. As an application of hyperbolic brations, we note that they can be us...