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.

Propolis: A complex natural product with a plethora of biological activities that can be explored for drug development

The health industry has always used natural products as a rich, promising, and alternative source of drugs that are used in the health system. Propolis, a natural resinous product known for centuries, is a complex product obtained by honey bees from substances collected from parts of different plants, buds, and exudates in different geographic areas. Propolis has been attracting scientific attention since it has many biological and pharmacological properties, which are related to its chemical composition. Several in vitro and in vivo studies have been performed to characterize and understand the diverse bioactivities of propolis and its isolated compounds, as well as to evaluate and validate its potential. Yet, there is a lack of information concerning clinical effectiveness. The goal of this review is to discuss the potential of propolis for the development of new drugs by presenting published data concerning the chemical composition and the biological properties of this natural compound from different geographic origins.

Real-time monitoring of progression towards renal failure in primary care patients

First published online: December 16, 2014.

Development of multifunctional coatings deposited on polymers based sensors for biomedical applications

Tese de Doutoramento (Programa Doutoral em Engenharia de Materiais)

Biological extraction of bromelain from pineapple byproducts

[Excerpt] Isolation and purification of valuable compounds are very important processes to valorize agro-food byproducts. Currently, protein extraction and development of environmentally friendly technologies are industrially relevant topics [1]. Among the extracted proteins from byproducts proteases are a relevant group for industrial applications. These enzymes are a class of hydrolytic enzymes capable of cleaving the peptide bonds of proteins chains and are essential in physiological processes [2]. (...)

Aromatic amines sources, environmental impact and remediation

Aromatic amines are widely used industrial chemicals as their major sources in the environment include several chemical industry sectors such as oil refining, synthetic polymers, dyes, adhesives, rubbers, perfume, pharmaceuticals, pesticides and explosives. They result also from diesel exhaust, combustion of wood chips and rubber and tobacco smoke. Some types of aromatic amines are generated during cooking, special grilled meat and fish, as well. The intensive use and production of these compounds explains its occurrence in the environment such as in air, water and soil, thereby creating a potential for human exposure. Since aromatic amines are potential carcinogenic and toxic agents, they constitute an important class of environmental pollutants of enormous concern, which efficient removal is a crucial task for researchers, so several methods have been investigated and applied. In this chapter the types and general properties of aromatic amine compounds are reviewed. As aromatic amines are continuously entering the environment from various sources and have been designated as high priority pollutants, their presence in the environment must be monitored at concentration levels lower than 30 mg L1, compatible with the limits allowed by the regulations. Consequently, most relevant analytical methods to detect the aromatic amines composition in environmental matrices, and for monitoring their degradation, are essential and will be presented. Those include Spectroscopy, namely UV/visible and Fourier Transform Infrared Spectroscopy (FTIR); Chromatography, in particular Thin Layer (TLC), High Performance Liquid (HPLC) and Gas chromatography (GC); Capillary electrophoresis (CE); Mass spectrometry (MS) and combination of different methods including GC-MS, HPLC-MS and CE-MS. Choosing the best methods depend on their availability, costs, detection limit and sample concentration, which sometimes need to be concentrate or pretreated. However, combined methods may give more complete results based on the complementary information. The environmental impact, toxicity and carcinogenicity of many aromatic amines have been reported and are emphasized in this chapter too. Lately, the conventional aromatic amines degradation and the alternative biodegradation processes are highlighted. Parameters affecting biodegradation, role of different electron acceptors in aerobic and anaerobic biodegradation and kinetics are discussed. Conventional processes including extraction, adsorption onto activated carbon, chemical oxidation, advanced oxidation, electrochemical techniques and irradiation suffer from drawbacks including high costs, formation of hazardous by-products and low efficiency. Biological processes, taking advantage of the naturally processes occurring in environment, have been developed and tested, proved as an economic, energy efficient and environmentally feasible alternative. Aerobic biodegradation is one of the most promising techniques for aromatic amines remediation, but has the drawback of aromatic amines autooxidation once they are exposed to oxygen, instead of their degradation. Higher costs, especially due to power consumption for aeration, can also limit its application. Anaerobic degradation technology is the novel path for treatment of a wide variety of aromatic amines, including industrial wastewater, and will be discussed. However, some are difficult to degrade under anaerobic conditions and, thus, other electron acceptors such as nitrate, iron, sulphate, manganese and carbonate have, alternatively, been tested.

Determinação de psicofármacos em cabelo humano por técnicas cromatográficas hifenadas: um método alternativo não-invasivo

Dissertação de mestrado em Técnicas de Caracterização e Análise Química

Synthesis and biological evaluation of mono and bis-naphthalimide derivatives against SH-SY5Y, human brain cancer cells

Dissertação de mestrado em Medicinal Chemistry

The state of art of biological processes in paternal care

This review of the state of art aimed to present the most recent data on neuronal, neurochemical, hormonal and genetic bases of paternal care using MEDLINE and PsycInfo databases (1970-2013). An integrated model of biological substrates that assist men in the transition to fatherhood is presented. Guided by a genetic background, hypothalamic-midbrain-limbic-paralimbic-cortical circuits were found to be activated in fathers when infant stimuli are presented. A set of specifi c neuropeptides and steroid hormones are produced and seem to be related to brain activation, potentiating the paternal phenotype. Together, genetic, brain and hormonal processes suggest the existence of biological bases of paternal care in humans, activated and enhanced by infant stimuli and responsive to variations in the father-infant relationship.