WAITING FOR GODOT: A CROSS SECTIONAL SURVEY BASED ANALYSIS OF THE HYDROXYCHLOROQUINE PROPHYLAXIS STRATEGY AGAINST COVID-19 IN INDIA

Waiting for Godot: A cross sectional survey based analysis of the hydroxychloroquine prophylaxis strategy against COVID-19 in India

Background: India currently has the second largest burden of infections due to COVID-19.Health Care Worker (HCW) shortages are endemic to Indian healthcare.It should therefore be a huge priority to protect this precious resource as a critical component of the systemic response to this pandemic.Advisories from the Indian Council of Medical Research

read more

Expressive Logics for Coinductive Predicates

The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic.In this paper we study this type of result in a general context, moving from Protein Bars transition systems to coalgebras and from bisimilarity to coinductive predicate

read more

Simulation Analysis of the Electromagnetic Force Distribution and Formability Parameters for Sheet Metal Electromagnetic Bulging Using a New Magnetic Field Shaper

While electromagnetic forming of aluminum alloy sheet has gained several advantages, the uneven radial deformation of the sheet is still one of the main drawback of this technology that calls for reliable and cost-effective solution.Aiming at this point, this paper presents an electromagnetic bulging system equipped with a new magnetic field shaper

read more