An interactive application, Modelface, was presented for Modeller software based on windows platform. The application is able to run all steps of homology modeling including pdb to fasta generation, running clustal, model building and loop refinement. Other modules of modeler including energy calculation, energy minimization and the ability to make single point mutations in the PDB structures a...

We propose a notion of local modules for imperative langauges. To be specific, we introduce a new implication statement of the form D ⊃ G where D is a module (i.e., a set of procedure declarations) and G is a statement. This statement tells the machine to add D temporarily to the program in the course of executing G. Thus, D acts as a local module and will be discarded after executing G. It the...

Using Howe duality we compute explicitly Kostant-type homology groups for a wide class of representations of the infinite-dimensional Lie superalgebra b gl∞|∞ and its classical subalgebras at positive integral levels. We also obtain Kostant-type homology formulas for the Lie algebra b gl∞ at negative integral levels. We further construct resolutions in terms of generalized Verma modules for the...

we introduce the notions of t-dual rickart and strongly t-dual rickart modules. we provide several characterizations and investigate properties of each of these concepts. it is shown that every free (resp. finitely generated free) $r$-module is t-dual rickart if and only if $overline{z}^2(r)$ is a  direct summand of $r$ and end$(overline{z}^2(r))$ is a semisimple (resp. regular) ring. it is sho...