Use of formal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired to be verified for these properties, needs to be abstracted in a suitable form that can be fed to a mechanical theorem prover. The most challenging question that arises in the case of malicious code is “What are the prop...

Rice is predominantly a starch richendosperm portionof paddy (Oryza sativa). It is an important cereal used as staple food by over half of the world population. About 90% of dry matter of milled rice is starch and the rest are non-starch components like protein, lipids and ash. Most of the rice based products in Indian sub continent especially in southern part of India are made from rice flour ...

A numerical investigation was carried out to solve the flow dimensionless partial differential equations through rectangular microchannels. A purely viscous power law <span style="font-size: 10pt; colo...

Aggregation of red blood cells which manifests in the form of rouleaux is a major determinant of flow behavior of blood in both micro and macro circulation. Any alteration in the normal behavior is found to be a critical factor in plugging of arterioles and venules forming irreversible clumps. In this work, the aggregation behavior of red blood cells is analyzed using Wavelet transforms. The ar...