Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Synthesis and characterization of novel 4H-pyran-4-ylidene indole-based heterocyclic systems for several optical applications

The development of organic materials displaying high two-photon absorption (TPA) has attracted much attention in recent years due to a variety of potential applications in photonics and optoelectronics, such as three-dimensional optical data storage, fluorescence imaging, two-photon microscopy, optical limiting, microfabrication, photodynamic therapy, upconverted lasing, etc. The most frequently employed structural motifs for TPA materials are donor–pi bridge–acceptor (D–pi–A) dipoles, donor–pi bridge–donor (D–pi–D) and acceptor–pi bridge-acceptor (A–pi–A) quadrupoles, octupoles, etc. In this work we present the synthesis and photophysical characterization of quadrupolar heterocyclic systems with potential applications in materials and biological sciences as TPA chromophores. Indole is a versatile building block for the synthesis of heterocyclic systems for several optoelectronic applications (chemosensors, nonlinear optical, OLEDs) due to its photophysical properties and donor electron ability and 4H-pyran-4-ylidene fragment is frequently used for the synthesis of red light-emitting materials. On the other hand, 2-(2,6-dimethyl-4H-pyran-4-ylidene)malononitrile (1) and 1,3-diethyl-dihydro-5-(2,6-dimethyl-4H-pyran-4-ylidene)-2-thiobarbituric (2) units are usually used as strong acceptor moieties for the preparation of π-conjugated systems of the push-pull type. These building blocks were prepared by Knoevenagel condensation of the corresponding ketone precursor with malononitrile or 1,3-diethyl-dihydro-2-thiobarbituric acid. The new quadrupolar 4H-pyran-4-ylidene fluorophores (3) derived from indole were prepared through condensation of 5-methyl-1H-indole-3-carbaldehyde with the acceptor precursors 1 and 2, in the presence of a catalytical amount of piperidine. The new compounds were characterized by the usual spectroscopic techniques (UV-vis., FT-IR and multinuclear NMR - 1H, 13C).

The greener grass: da autorrepresentação em Alanis Morissette

Tese de Doutoramento em Ciências da Literatura - Especialidade em Teoria da Literatura

Biotechnological approaches for yield improvement of anticancer alkaloids in the plant Catharanthus roseus

Dissertação de mestrado em Biologia Molecular, Biotecnologia e Bioempreendedorismo em Plantas

Development of folate-targeted liposomes for rheumatoid arthritis therapy

Tese de Doutoramento em Biologia Molecular e Ambiental (área de especialização em Biologia Celular e Saúde).

Impact of TGF-ß1 -509C/T and 869T/C polymorphisms on glioma risk and patient prognosis

Transforming growth factor beta (TGF-ß) plays an important role in carcinogenesis. Two polymorphisms in the TGF-ß1 gene (-509C/T and 869T/C) were described to influence susceptibility to gastric and breast cancers. The 869T/C polymorphism was also associated with overall survival in breast cancer patients. In the present study, we investigated the relevance of these TGF-ß1 polymorphism in glioma risk and prognosis. A case-control study that included 114 glioma patients and 138 cancer-free controls was performed. Single nucleotide polymorphisms (SNPs) were evaluated by polymerase chain reaction followed by restriction fragment length polymorphism (PCR-RFLP). Univariate and multivariate logistic regression analyses were used to calculate odds ratio (OR) and 95 % confidence intervals (95 % CI). The influence of TGF-ß1 -509C/T and 869T/C polymorphisms on glioma patient survival was evaluated by a Cox regression model adjusted for patients' age and sex and represented in Kaplan-Meier curves. Our results demonstrated that TGF-ß1 gene polymorphisms -509C/T and 869T/C are not significantly associated with glioma risk. Survival analyses showed that the homozygous -509TT genotype associates with longer overall survival of glioblastoma (GBM) patients when compared with patients carrying CC + CT genotypes (OR, 2.41; 95 % CI, 1.06-5.50; p = 0.036). In addition, the homozygous 869CC genotype is associated with increased overall survival of GBM patients when compared with 869TT + TC genotypes (OR, 2.62; 95 % CI, 1.11-6.17; p = 0.027). In conclusion, this study suggests that TGF-ß1 -509C/T and 869T/C polymorphisms are not significantly associated with risk for developing gliomas but may be relevant prognostic biomarkers in GBM patients.

O Espelho do Índio: A estética da afetividade no autorretrato da criança indígena na Fotopintura

Tese de Doutoramento em Estudos da Criança - Especialidade Comunicação Visual e Expressão Plástica

Comparative genomics reveals adaptations of a halotolerant thaumarchaeon in the interfaces of brine pools in the Red Sea

The bottom of the Red Sea harbors over 25 deep hypersaline anoxic basins that are geochemically distinct and characterized by vertical gradients of extreme physicochemical conditions. Because of strong changes in density, particulate and microbial debris get entrapped in the brine-seawater interface (BSI), resulting in increased dissolved organic carbon, reduced dissolved oxygen toward the brines and enhanced microbial activities in the BSI. These features coupled with the deep-sea prevalence of ammonia-oxidizing archaea (AOA) in the global ocean make the BSI a suitable environment for studying the osmotic adaptations and ecology of these important players in the marine nitrogen cycle. Using phylogenomic-based approaches, we show that the local archaeal community of five different BSI habitats (with up to 18.2% salinity) is composed mostly of a single, highly abundant Nitrosopumilus-like phylotype that is phylogenetically distinct from the bathypelagic thaumarchaea; ammonia-oxidizing bacteria were absent. The composite genome of this novel Nitrosopumilus-like subpopulation (RSA3) co-assembled from multiple single-cell amplified genomes (SAGs) from one such BSI habitat further revealed that it shares [sim]54% of its predicted genomic inventory with sequenced Nitrosopumilus species. RSA3 also carries several, albeit variable gene sets that further illuminate the phylogenetic diversity and metabolic plasticity of this genus. Specifically, it encodes for a putative proline-glutamate 'switch' with a potential role in osmotolerance and indirect impact on carbon and energy flows. Metagenomic fragment recruitment analyses against the composite RSA3 genome, Nitrosopumilus maritimus, and SAGs of mesopelagic thaumarchaea also reiterate the divergence of the BSI genotypes from other AOA.

Priming of a DNA metabarcoding approach for species identification and inventory in marine macrobenthic communities

Dissertação de mestrado em Molecular Genetics

Fragmento e ruína: retratos modernos

"Cadernos de literatura comparada, nº. 28 (2013) - Modernismos revisitados, 1912-2012"

Insights on the mechanical behavior of keratin fibrils

Supplementary data associated with this article can be found,in the online version, at http://dx.doi.org/10.1016/j.ijbiomac.2016.05.018.