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.

Novo sistema de armaduras de punçoamento

Esta dissertação apresenta os resultados de um conjunto de ensaios sobre lajes fungiformes, armadas com um novo sistema de armaduras de punçoamento. Adicionalmente, também foram testadas lajes fungiformes com um novo sistema de armaduras horizontais. O sistema de armaduras de punçoamento consiste em estribos de ramos verticais produzidos a partir de malhas de varões eletrossoldados, ancorados na armadura longitudinal superior por um varão transversal eletrossoldado. As vantagens deste sistema são a simplicidade, a rapidez de instalação e o baixo custo. O sistema de armaduras horizontais é formado por um conjunto de malhas de varões eletrossoldados sobrepostas em camadas. Foram ensaiadas cinco lajes quadradas, com dimensões em planta de 1650 x 1650 mm e 150 mm de espessura. Os resultados experimentais mostraram que a capacidade resistente das lajes armadas com armaduras específicas pode aumentar até 72%, quando comparadas com lajes sem armaduras de punçoamento. Quanto à capacidade de rotação da laje, o aumento foi ainda mais significativo. A capacidade de deformação da laje com maior quantidade de armaduras de punçoamento aumentou três vezes, quando comparada com a laje de referência. No respeitante às armaduras horizontais, os resultados obtidos demonstram que este sistema pode contribuir para o aumento da capacidade resistente pós-colapso da laje. Os resultados experimentais foram comparados com as estimativas segundo algumas normas de dimensionamento atuais e a Critical Shear Crack Theory. Em lajes com grande quantidade de armaduras de punçoamento o EC2 pode sobrestimar a resistência ao punçoamento quando a rotura ocorre por esmagamento do betão junto do pilar, ou quando a rotura ocorre pelo exterior da zona com armaduras de punçoamento. Os resultados mostraram que o MC2010 subestima significativamente a resistência ao punçoamento com rotura no interior da zona com armaduras de punçoamento.

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 (

Spiteful Strategies. The ontogeny and the practice of spite in human interaction: an experimental game theory approach and empirical applications

As estratégias de malevolência implicam que um indivíduo pague um custo para infligir um custo superior a um oponente. Como um dos comportamentos fundamentais da sociobiologia, a malevolência tem recebido menos atenção que os seus pares o egoísmo e a cooperação. Contudo, foi estabelecido que a malevolência é uma estratégia viável em populações pequenas quando usada contra indivíduos negativamente geneticamente relacionados pois este comportamento pode i) ser eliminado naturalmente, ou ii) manter-se em equilíbrio com estratégias cooperativas devido à disponibilidade da parte de indivíduos malevolentes de pagar um custo para punir. Esta tese propõe compreender se a propensão para a malevolência nos humanos é inerente ou se esta se desenvolve com a idade. Para esse efeito, considerei duas experiências de teoria de jogos em crianças em ambiente escolar com idades entre os 6 e os 22 anos. A primeira, um jogo 2x2 foi testada com duas variantes: 1) um prémio foi atribuído a ambos os jogadores, proporcionalmente aos pontos acumulados; 2), um prémio foi atribuído ao jogador com mais pontos. O jogo foi desenhado com o intuito de causar o seguinte dilema a cada jogador: i) maximizar o seu ganho e arriscar ter menos pontos que o adversário; ou ii) decidir não maximizar o seu ganho, garantindo que este não era inferior ao do seu adversário. A segunda experiência consistia num jogo do ditador com duas opções: uma escolha egoísta/altruísta (A), onde o ditador recebia mais ganho, mas o seu recipiente recebia mais que ele e uma escolha malevolente (B) que oferecia menos ganhos ao ditador que a A mas mais ganhos que o recipiente. O dilema era que se as crianças se comportassem de maneira egoísta, obtinham mais ganho para si, ao mesmo tempo que aumentavam o ganho do seu colega. Se fossem malevolentes, então prefeririam ter mais ganho que o seu colega ao mesmo tempo que tinham menos para eles próprios. As experiências foram efetuadas em escolas de duas áreas distintas de Portugal (continente e Açores) para perceber se as preferências malevolentes aumentavam ou diminuíam com a idade. Os resultados na primeira experiência sugerem que (1) os alunos compreenderam a primeira variante como um jogo de coordenação e comportaram-se como maximizadores, copiando as jogadas anteriores dos seus adversários; (2) que os alunos repetentes se comportaram preferencialmente como malevolentes, mais frequentemente que como maximizadores, com especial ênfase para os alunos de 14 anos; (3) maioria dos alunos comportou-se reciprocamente desde os 12 até aos 16 anos de idade, após os quais começaram a desenvolver uma maior tolerância às escolhas dos seus parceiros. Os resultados da segunda experiência sugerem que (1) as estratégias egoístas eram prevalentes até aos 6 anos de idade, (2) as tendências altruístas emergiram até aos 8 anos de idade e (3) as estratégias de malevolência começaram a emergir a partir dos 8 anos de idade. Estes resultados complementam a literatura relativamente escassa sobre malevolência e sugerem que este comportamento está intimamente ligado a preferências de consideração sobre os outros, o paroquialismo e os estágios de desenvolvimento das crianças.************************************************************Spite is defined as an act that causes loss of payoff to an opponent at a cost to the actor. As one of the four fundamental behaviours in sociobiology, it has received far less attention than its counterparts selfishness and cooperation. It has however been established as a viable strategy in small populations when used against negatively related individuals. Because of this, spite can either i) disappear or ii) remain at equilibrium with cooperative strategies due to the willingness of spiteful individuals to pay a cost in order to punish. This thesis sets out to understand whether propensity for spiteful behaviour is inherent or if it develops with age. For that effect, two game-theoretical experiments were performed with schoolboys and schoolgirls aged 6 to 22. The first, a 2 x 2 game, was tested in two variants: 1) a prize was awarded to both players, proportional to accumulated points; 2), a prize was given to the player with most points. Each player faced the following dilemma: i) to maximise pay-off risking a lower pay-off than the opponent; or ii) not to maximise pay-off in order to cut down the opponent below their own. The second game was a dictator experiment with two choices, (A) a selfish/altruistic choice affording more payoff to the donor than B, but more to the recipient than to the donor, and (B) a spiteful choice that afforded less payoff to the donor than A, but even lower payoff to the recipient. The dilemma here was that if subjects behaved selfishly, they obtained more payoff for themselves, while at the same time increasing their opponent payoff. If they were spiteful, they would rather have more payoff than their colleague, at the cost of less for themselves. Experiments were run in schools in two different areas in Portugal (mainland and Azores) to understand whether spiteful preferences varied with age. Results in the first experiment suggested that (1) students understood the first variant as a coordination game and engaged in maximising behaviour by copying their opponent’s plays; (2) repeating students preferentially engaged in spiteful behaviour more often than maximising behaviour, with special emphasis on 14 year-olds; (3) most students engaged in reciprocal behaviour from ages 12 to 16, as they began developing higher tolerance for their opponent choices. Results for the second experiment suggested that (1) selfish strategies were prevalent until the age of 6, (2) altruistic tendencies emerged since then, and (3) spiteful strategies began being chosen more often by 8 year-olds. These results add to the relatively scarce body of literature on spite and suggest that this type of behaviour is closely tied with other-regarding preferences, parochialism and the children’s stages of development.