The phenomenon of backward bifurcation in disease models, where a stable endemic equilibrium co-exists with a stable disease-free equilibrium when the associated reproduction number is less than unity, has important implications for disease control. In such a scenario, the classical requirement of the reproduction number being less than unity becomes only a necessary, but not sufficient, condit...

J.H. Wilkinson put Gaussian elimination (GE) on a sound numerical footing in the 1960s when he showed that with partial pivoting the method is stable in the sense of yielding a small backward error. He also derived bounds proportional to the condition number κ(A) for the forward error ‖x − x̂‖, where x̂ is the computed solution to Ax = b. More recent work has furthered our understanding of GE, la...

The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem. Although backward reachability is property-directed, it can unnecessarily explore (large) portions of the state space of a system which are not required to ver...

The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem. Although backward reachability is property-directed, it can unnecessarily explore (large) portions of the state space of a system which are not required to ver...

Predicting trends in the stock market is becoming complex and uncertain. In response, various artificial intelligence solutions have emerged. A significant solution for predicting of a stock’s volatile chaotic nature drawn from deep learning. The present study’s objective to compare predict closing price NIFTY 50 index through two learning methods—long short-term memory (LSTM) backward eliminat...

Synthesis of imidazo[1,2-a]pyridines over several solid supported catalysts has been investigated. Among these catalysts, ZnCl2 .SiO2 (silzic) showed excellent yields and short reaction times. The silzic catalyst could be recovered and reused in five reaction cycles. The present procedure offers several advantages such as short reaction time, simplicity of the reaction procedure, the eliminatio...

In rabbits, especially in some races, limb movement disorder called splay legs, are mostly unilateral or bilateral in front or hind legs at an early age. The severity ranges from mild to severe in this case. In breeding colony of albino Dutch laboratory rabbits, the splay leg disorder has been observed over the years permanently.Within the scope of this research, 1.5-2.5% of 700-750 number of c...