Social action entails leaders being proactive in bringing about positive change their communities. Through charisma, vision, and sheer willpower, transformational try to mould society into own image. They want envision as a better environment for all people. Religious scholars, sociologists, political economists have always wondered how transformative leadership traits social are related. Accor...

J. R. Thompson, A. V. Silhanek, L. Civale, K. J. Song, C. V. Tomy, and D. McK. Paul Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831-6061 Department of Physics, University of Tennessee, Knoxville, Tennessee 37996-1200 Comisión Nacional de Energı́a Atómica-Centro Atómico Bariloche and Instituto Balseiro, 8400 Bariloche, Argentina Department of Physics, I.I.T. Powai, Mumbai, 400076, India...

A prominent problem in Graph Theory is to find extremal graphs or digraphs with restrictions in their diameter, degree and number of vertices. Here we obtain a new family of digraphs with minimal diameter, that is, given the number of vertices and degree there is no other digraph with a smaller diameter. This new family is called modified cyclic digraphsMCK(d, ) and it is derived from the Kautz...

Expression of mini-dystrophin driven by the 1.35 kb MCK promoter ameliorates muscular dystrophy in fast, but not in slow muscles of transgenic mdx mice. Gentamicin fails to increase dystrophin expression in dystrophin-deficient muscle. (2003) U7 snRNAs induce correction of mutated dystrophin pre-mRNA by exon skipping. Antibody-mediated targeting of an adenovirus vector modified to contain a syn...

This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An approach to the synthesis problem based on the use of symbolic representations is described. The method has been implemented as an extension to the model checker MCK. Two applications of the implemented synthesis system...

We present a novel approach to the verification of multi-agent systems using bounded model checking for specifications in LTLK, a linear time temporal-epistemic logic. The method is based on binary decision diagrams rather than the standard conversion to Boolean satisfiability. We apply the approach to two classes of interpreted systems: the standard, synchronous semantics and the interleaved s...