A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Two distinct arabinofuranosidases contribute to arabino-oligosaccharide degradation in Bacillus subtilis.

Microbiology 154 (2008) 2719-2729

Análise da estrutura e da função da proteína morfogenética RodZ de Bacillus subtilis

Resumo: RodZ é um componente do sistema morfogenético das células bacterianas. É uma proteína transmembranar que localiza em bandas ao longo do eixo longitudinal da célula. Em Bacillus subtilis, RodZ consiste numa porção citoplasmática, RodZn, e em uma parte extra-citoplasmática, RodZc. RodZn contém um domínio em helixturn- helix (HTH), enquanto que RodZc pode ser dividido num domínio coiled-coil e num domínio terminal C, de função desconhecida. Um segmento transmembranar (TM) único separa RodZn de RodZc. A eliminação de rodZ causa alongamento do nucleóide e leva à produção de células polares nucleadas. Aqui, mostramos que RodZn é estruturado, estável e em hélice α. Descobrimos que as substituições Y32A e L33A na suposta hélice de reconhecimento (3) do motivo HTH, bem como as substituições Y49A e F53A, fora do motivo HTH (4), causam divisão assimétrica, mas apenas as últimas levam à deslocalização sub-celular de RodZ. Sugerimos que as hélices 3 e 4 são utilizadas para uma interacção proteína-proteína ou proteína- DNA essencial para divisão celular enquanto que 4 deve contactar um componente do citosqueleto, possivelmente MreB, uma vez que a correcta localização sub-celular de RodZ depende desta proteína. Em todos os mutantes as células polares são anucleadas, pelo que concluímos que o alongamento do nucleóide não é um prérequisito para divisão assimétrica. RodZc é largamente não estruturado mas com conteúdo de folha , sendo estabilizado pelo domínio coiled-coil. Mostramos uma relação homóloga entre RodZc e a bomba de transporte Na+/Ca2+ NCX1 e identificámos dois resíduos no domínio C, G265 e N275, essenciais para a manutenção da forma celular. Estes resíduos fazem parte de um motivo em gancho que pode actuar como um local de interacção com um ligando desconhecido. RodZn e RodZc são monoméricos em solução. Contudo, na membrana, RodZ interage consigo própria num sistema de dois híbridos (Split-Ubiquitin) em levedura, sugerindo que possa formar multímeros in vivo.-----------ABSTRACT: RodZ is a transmembrane component of the bacterial core morphogenic apparatus. RodZ localizes in bands long the longitudinal axis of the cell, and it is though to functionally link the cell wall to the actin cytoskeleton. In Bacillus subtilis, RodZ consists of a cytoplasmic moiety, RodZn, and an extracytoplasmic moiety, RodZc. RodZn contains a predicted helix-turn-helix domain, whereas RodZc is thought to contain a coiled-coil region and a terminal C domain of unknown function. A single transmembrane domain separates RodZn from RodZc. Deletion of rodZ causes elongation of the nucleoid and leads to the production of polar minicells containing DNA. Here, we have studied the structure and function of RodZn and RodZc. We show that RodZn is a stable, folded, -helical domain. We discovered that the Y32A and L33A substitutions within the presumptive recognition helix (3) of the HTH motif, as well as the Y49A and F53A substitutions outside of the HTH motif (in 4) cause asymmetric cell division. However, only the substitutions in 4 cause sub-celular delocalization of RodZ. We suggest that 3 and 4 are used for a protein-protein or protein-DNA interaction important for cell division, whereas 4 is likely to contact a cytoskeletal component, presumably MreB. The polar cells formed by all the mutants are anucleate. We conclude that nucleoid elongation is not a prerequisite for asymmetric division. RodZc appears to be a largely unstructured domain, with some -sheet content, and is stabilized by the coiled-coil region. We show a homology relationship between RodZc and the NCX1 Na+/Ca2+ transporter and we found two residues within the C domain, G265 and N275, that are important for cell shape determination. These residues are predicted to be essential determinants of a claw-like motif, which may act as a binding site for an unknown ligand. Both the isolated RodZn and RodZc proteins are monomeric in solution. However, because full-length RodZ interacts with itself in a split-ubiquitin yeast two-hybrid assay, we suggest that it may dimerize or form higher order multimers in vivo.

Spatial point pattern analysis of gorilla nest sites in the Kagwene Sanctuary, Cameroon: Towards understanding the nesting behavior of a critically endangered subspecies

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

G-quadruplex ligands for cancer therapy

DNA may fold into a diversity of structures and topologies such as duplexes and triplexes. Some specific guanine-rich DNA sequences may even fold into a higher order structures denominated guanine G-quadruplexes (G4). These G-quadruplex forming sequences have shown biological interest since were found in telomeres and in promoter region of oncogenes. Thus, these G4 forming sequences have been explored as therapeutic targets for cancer therapy, since G4 formation was demonstrated to inhibit RNA-polymerase and telomerase activity. However, the G4 structures are transient and are only formed under specific conditions. Hence the main objective of this work is to develop new G4-specific ligands which may potentially find applications in the therapeutic area. Several potential G4-binding ligands were synthesized and characterized. The synthesis of these compounds consisted on a procedure based on van Leusen chemistry and a cross-coupling reaction through C-H activation, affording phenanthroline compounds (Phen-1, 50%; Phen-2, 20%), phenyl (Iso-1, 61%; Iso-2, 21%; Ter-1, 85%; Ter-2, 35%), and quinolyl (Quin-1, 85%; Quin-2, 45%) compounds. Screening assays for selecting the potential G4 compounds were performed by FRET-melting, G4-FID, CD-melting and DSF. Qualitative biophysical studies were performed by fluorescence and CD spectroscopy. Two high-specific G-quadruplex ligands, Phen-1 and Phen-2, were found to effectively bind telomeric and c-myc G4 structures. Phen-1 was found to stabilize parallel telomeric 22AG and c-myc sequence by 4.1 and 4.3 ˚C, respectively. Phen-2 also displayed high affinity towards 22AG (