ANALYSIS OF COMPOSITE TRANSVERSE MECHANICAL PROPERTIES BASED ON MICROMECHANICAL FINITE ELEMENT METHOD


Hariprasad Tamta: Father of Shilpkar Revolution in India

Uttarakhand is a region replete with social diversity.This can be observed in its culture, customs and language.The social perspective of these diversities is outwardly similar but in the social and economic perspective the discrimination between Dalits and upper castes can be easily seen.The Shilpkar (the term used for Dalit caste) here also suffe

read more

Certification of Prefixed Tableau Proofs for Modal Logic

Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.This work falls within the general project Cover Sets of establishing a common specification language in order to certify proofs given in a

read more