3 resultados para Modal transformation
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
The topology of real-world complex networks, such as in transportation and communication, is always changing with time. Such changes can arise not only as a natural consequence of their growth, but also due to major modi. cations in their intrinsic organization. For instance, the network of transportation routes between cities and towns ( hence locations) of a given country undergo a major change with the progressive implementation of commercial air transportation. While the locations could be originally interconnected through highways ( paths, giving rise to geographical networks), transportation between those sites progressively shifted or was complemented by air transportation, with scale free characteristics. In the present work we introduce the path-star transformation ( in its uniform and preferential versions) as a means to model such network transformations where paths give rise to stars of connectivity. It is also shown, through optimal multivariate statistical methods (i.e. canonical projections and maximum likelihood classification) that while the US highways network adheres closely to a geographical network model, its path-star transformation yields a network whose topological properties closely resembles those of the respective airport transportation network.
Resumo:
Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.
Resumo:
Agrobacterium tumefaciens is widely used for plant DNA transformation and more recently, has also been used to transform yeast, filamentous fungi and even human cells. Using this technique, we developed the first transformation protocol for the saprobic aquatic fungus Blastocladiella emersonii, a Blastocladiomycete localized at the base of fungal phylogenetic tree, which has been shown as a promising and interesting model of study of cellular function and differentiation. We constructed binary T-DNA vectors containing hygromycin phosphotransferase (hph) or enhanced green fluorescent protein (egfp) genes, under the control of Aspergillus nidulans trpC promoter and terminator sequences. 24 h of co-cultivation in induction medium (IM) agar plates, followed by transfer to PYG-agar plates containing cefotaxim to kill Agrobacterium tumefsciens and hygromycin to select transformants, resulted in growth and sporulation of resistant transformants. Genomic DNA from the pool o resistant zoospores were shown to contain T-DNA insertion as evidenced by PCR amplification of hph gene. Using a similar protocol we could also evidence the expression of enhanced green fluorescent protein (EGFP) in zoospores derived from transformed cells. This protocol can also open new perspectives for other non-transformable closely related fungi, like the Chytridiomycete class. (C) 2011 Elsevier Inc. All rights reserved.