This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF ) is built from a functor F that describes data, and a ...

In this study, the adsorption of 4-hydroxy phenyl-azobenzene on the surface of (4, 0) zigzag open-end boron nitride nanotube (BNNT) has been investigated by quantum calculations. In order to find the preferred adsorption site, different positions and orientations were considered. The impacts of donor-acceptor electron delocalization on the structural and electronic properties and reactivity of ...

Fourier Transform Near Infrared Raman Spectroscopy has been used to monitor the molecular changes of collagen in a tendon subjected to strain. In the Raman spectrum of the unstrained tendon, some protein bands, mainly assigned to collagen, can be observed: amide I (1666 cm-1) and III (1266 and 1248 cm-1) vibrational modes and skeletal (C-C) stretching vibrations (816 and 940 cm-1). The position...

Background & Objectives: Oral submucous fibrosis (OSMF) is a condition where excessive deposition of dense collagen fibers occurred in the connective tissue of oral mucosa. An alteration of collagen necessitates an in depth understanding of collagen in oral tissues as no breakthrough studies have been reported. Therefore the aim was to correlate the clinical, functional and histopathol...

We have studied functional alteration of immunocytes in mice following inoculation of Toxocara canis second stage larvae. Results indicated depression of lymphocyte blastogenesis in response to concanavalin-A, phytohemagglutinin and allogeneic non B-cells; however, B-cell polyclonal activation was not affected as indicated by the production of total IgG. In contrast, frequency of antibody ...

In this study, the adsorption of 4-hydroxy phenyl-azobenzene on the surface of (4, 0) zigzag open-end boron nitride nanotube (BNNT) has been investigated by quantum calculations. In order to find the preferred adsorption site, different positions and orientations were considered. The impacts of donor-acceptor electron delocalization on the structural and electronic properties and reactivity of ...

sarygamesh basin one of the bulhary chay tributary take place in moghan plain, northeastern azarbyjan area in iran and south edge of kora- araz zone. aims of this research are study specificities and geomorphic evolution of sarygamesh basin, survey rivers work on structure and geologic formation, and corresponding hydrographic with earth structure. toward above aim is used to litologic, structu...