Triple negative breast cancer: nanosolutions for a big challenge

Triple negative breast cancer (TNBC) is a particular immunopathological subtype of breast cancer that lacks expression of estrogen and progesterone receptors (ER/PR) and amplification of the human epidermal growth factor receptor 2 (HER2) gene. Characterized by aggressive and metastatic phenotypes and high rates of relapse, TNBC is the only breast cancer subgroup still lacking effective therapeutic options, thus presenting the worst prognosis. The development of targeted therapies, as well as early diagnosis methods, is vital to ensure an adequate and timely therapeutic intervention in patients with TNBC. This review intends to discuss potentially emerging approaches for the diagnosis and treatment of TNBC patients, with a special focus on nano-based solutions that actively target these particular tumors.

Perchlorate and chlorate reduction by the Crenarchaeon Aeropyrum pernix and two thermophilic Firmicutes

This study reports the ability of one hyperthermophile and two thermophilic microorganisms to grow anaerobically by the reduction of chlorate and perchlorate. Physiological, genomic and proteome analyses suggest that the Crenarchaeon Aeropyrum pernix reduces perchlorate with a periplasmic enzyme related to nitrate reductases, but that it lacks a functional chlorite-disproportionating enzyme (Cld) to complete the pathway. A. pernix, previously described as a strictly aerobic microorganism, seems to rely on the chemical reactivity of reduced sulfur compounds with chlorite, a mechanism previously reported for perchlorate-reducing Archaeoglobus fulgidus. The chemical oxidation of thiosulfate (in excessive amounts present in the medium) and the reduction of chlorite result in the release of sulfate and chloride, which are the products of a biotic-abiotic perchlorate reduction pathway in A. pernix. The apparent absence of Cld in two other perchlorate-reducing microorganisms, Carboxydothermus hydrogenoformans and Moorella glycerini strain NMP, and their dependence on sulfide for perchlorate reduction is consistent with observations made on A. fulgidus. Our findings suggest that microbial perchlorate reduction at high temperature differs notably from the physiology of perchlorate- and chlorate-reducing mesophiles and that it is characterized by the lack of a chlorite dismutase and is enabled by a combination of biotic and abiotic reactions.

OnBoard reconfigurable battery charger for electric vehicles with traction-to-auxiliary mode

This paper proposes a single-phase reconfigurable battery charger for Electric Vehicle (EV) that operates in three different modes: Grid-to-Vehicle (G2V) mode, in which the traction batteries are charged from the power grid; Vehicle-to-Grid (V2G) mode, in which the traction batteries deliver part of the stored energy back to the power grid; and in Traction-to-Auxiliary (T2A) mode, in which the auxiliary battery is charged from the traction batteries. When connected to the power grid, the battery charger works with sinusoidal current in the AC side, for both G2V and V2G modes, and also regulates the reactive power. When the EV is disconnected from the power grid, the control algorithms are modified and the full-bridge AC-DC bidirectional converter works as a full-bridge isolated DC-DC converter that is used to charge the auxiliary battery of the EV, avoiding the use of an additional charger to accomplish this task. To assess the behavior of the proposed reconfigurable battery charger under different operation scenarios, a 3.6 kW laboratory prototype has been developed and experimental results are presented.

Gellan gum-Ionic liquid membranes for electrochromic device application

Biopolymer-based materials have been of particular interest and they are alternatives to synthetic polymers based on the decreasing oil resources. The polymer electrolytes were doped with choline-based IL N,N,Ntrimethyl- N-(2-hydroxyethyl)ammonium bis(trifluoromethylsulfonyl)imide ([N1 1 1 2(OH)][NTf2]), or Er (CF3SO3)3 or both. The polymer electrolytes were employed in the production of glass/ITO/WO3/electrolyte/ CeO2–TiO2/ITO/glass electrochromic devices (ECDs). The lowest onset temperature for the degradation of all the SPEs is at ~130 °C for the Gellan Er (CF3SO3)3 (10:1) this temperature range of stability is wide enough for a material to be applied as an electrolyte/separator component in electrochemical devices. The three ECDs displayed fast switching speed (ca. 15 s). Gellan [N1 1 1 2(OH)][NTf2] Er (CF3SO3)3 (5:1:10) exhibited an electrochromic contrast of 4.2% in the visible region, the coloration efficiency attained at 555 nm was 3.5 and 0.90 cm-2 C-1 in the “colored” and “bleached” states, respectively, and the open circuit memorywas 48 h. Preliminary tests performed with a prototype electrochromic device (ECD) incorporating WO3 as cathodic electrochromic layer, are extremely encouraging.

Exploring the role of O-Mannosylation in the modulation of E-Cadherin function in Gastric Cancer cell line models

Dissertação de mestrado em Bioquímica Aplicada – Biomedicina

Study of grapevine solute transporters involved in berry quality. A biochemical and molecular approach

Tese de Doutoramento em Biologia de Plantas

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

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.

Searching for therapeutic strategies in a mouse modelo of Machado-Joseph disease: targeting proteostases

Tese de Doutoramento em Ciências da Saúde