Chondrogenic differentiation within magnetic-responsive multilayered liquified capsules containing collagen II/TFG-β3 coated microparticles

The use of stem cells is a promising therapeutic approach for the substantial challenge to regenerate cartilage. Considering the two prerequisites, namely the use of a 3D system to enable the chondrogenic differentiation and growth factors to avoid dedifferentiation, the diffusion efficiency of essential biomolecules is an intrinsic issue. We already proposed a liquified bioencapsulation system containing solid microparticles as cell adhesion sites1. Here, we intend to use the optimized system towards chondrogenic differentiation by encapsulating stem cells and collagenII-TGF-β3 PLLA microparticles. As a proof-of-concept, magnetite-nanoparticles were incorporated into the multilayered membrane. This can be a great advantage after implantation procedures to fixate the capsules in situ with the held of an external magnetic patch and for the follow-up through imaging. Results showed that the production of glycosaminoglycans and the expression of cartilage-relevant markers (collagen II, Sox9, aggrecan, and COMP) increased up to 28 days, while hypertrophic (collagen X) and fibrotic (collagen I) markers were downregulated. The presence of nanofibers in the newly deposited ECM was visualized by SEM, which resembles the collagen fibrils of native cartilage. The presence of the major constituent of cartilage, collagen II, was detected by immunocytochemistry and afranin-O and alcian blue stainings revealed a basophilic ECM deposition, which is characteristic of neocartilage. These findings suggest that the proposed system may provide a suitable environment for chondrogenic differentiation.

Aplicação da teoria das opções reais em análise de projetos estratégicos: um estudo de caso sobre o valor da opção de prosseguir com os investimentos no programa de desenvolvimento de submarinos da Marinha do Brasil

Dissertação de mestrado em Estudos de Gestão

Experimental assessment of an innovative strengthening material for brick masonry infills

The vulnerability of masonry infill walls has been highlighted in recent earthquakes in which severe inplane damage and out-of-plane collapse developed, justifying the investment in the proposal of strengthening solutions aiming to improve the seismic performance of these construction elements. Therefore, this work presents an innovative strengthening solution to be applied in masonry infill walls, in order to avoid brittle failure and thus minimize the material damage and human losses. The textilereinforced mortar technique (TRM) has been shown to improve the out-of-plane resistance of masonry and to enhance its ductility, and here an innovative reinforcing mesh composed of braided composite rods is proposed. The external part of the rod is composed of braided polyester whose structure is defined so that the bond adherence with mortar is optimized. The mechanical performance of the strengthening technique to improve the out-of-plane behaviour of brick masonry is assessed based on experimental bending tests. Additionally, a comparison of the mechanical behaviour of the proposed meshes with commercial meshes is provided. The idea is that the proposed meshes are efficient in avoiding brittle collapse and premature disintegration of brick masonry during seismic events.

Induced magnetoelectric effect driven by magnetization in BaFe12O19 -/P(VDF-TrFE) composites

Films of BaFe12O19/P(VDF-TrFE) composites with 5, 10 and 20 %wt Barium ferrite content have been fabricated. BaFe12O19 microparticles have the shape of thin hexagonal platelets, the easy direction of magnetization remaining along the c axis, which is perpendicular to the plates. This fact allows for ferrite particles orientation in-plane and out-of-plane within the composite films, as confirmed by measured hysteresis loops. While the in-plane induced magnetoelectric effect (ME) is practically zero, these composite films show a good out-of-plane magnetoelectric effect. with maximum ME coupling coefficient changes of 3, 17 and 2 mV/cm.Oe for the 5, 10 and 20%wt Barium ferrite content films, respectively. We infer that this ME behavior appears as driven by the magnetization process arising when we applied the external magnetic field. We have also measured linear and reversible magnetoelectric effect for low applied bias field, when magnetization process is still reversible.

Active magneto-optical control of spontaneous emission in graphene

We investigate the spontaneous emission rate of a two-level quantum emitter near a graphene-coated substrate under the influence of an external magnetic field or strain induced pseudo-magnetic field. We demonstrate that the application of the magnetic field can substantially increase or decrease the decay rate. We show that a suppression as large as 99$\%$ in the Purcell factor is achieved even for moderate magnetic fields. The emitter's lifetime is a discontinuous function of $|{\bf B}|$, which is a direct consequence of the occurrence of discrete Landau levels in graphene. We demonstrate that, in the near-field regime, the magnetic field enables an unprecedented control of the decay pathways into which the photon/polariton can be emitted. Our findings strongly suggest that a magnetic field could act as an efficient agent for on-demand, active control of light-matter interactions in graphene at the quantum level.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

PCBA external workbench evaluation procedure

Dissertação de mestrado integrado em Mechanical Engineering

External and internal dynamics in the EU's counter-terrorism policy: a political and legal analysis

Tese de Doutoramento em Ciência Política e Relações Internacionais

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Marine origin polysaccharides in drug delivery systems

Oceans are a vast source of natural substances. In them, we find various compounds with wide biotechnological and biomedical applicabilities. The exploitation of the sea as a renewable source of biocompounds can have a positive impact on the development of new systems and devices for biomedical applications. Marine polysaccharides are among the most abundant materials in the seas, which contributes to a decrease of the extraction costs, besides their solubility behavior in aqueous solvents and extraction media, and their interaction with other biocompounds. Polysaccharides such as alginate, carrageenan and fucoidan can be extracted from algae, whereas chitosan and hyaluronan can be obtained from animal sources. Most marine polysaccharides have important biological properties such as biocompatibility, biodegradability, and anti-inflammatory activity, as well as adhesive and antimicrobial actions. Moreover, they can be modified in order to allow processing them into various shapes and sizes and may exhibit response dependence to external stimuli, such as pH and temperature. Due to these properties, these biomaterials have been studied as raw material for the construction of carrier devices for drugs, including particles, capsules and hydrogels. The devices are designed to achieve a controlled release of therapeutic agents in an attempt to fight against serious diseases, and to be used in advanced therapies, such as gene delivery or regenerative medicine.

An R package for the integrated analysis of metabolomics and spectral data

Recently, there has been a growing interest in the field of metabolomics, materialized by a remarkable growth in experimental techniques, available data and related biological applications. Indeed, techniques as Nuclear Magnetic Resonance, Gas or Liquid Chromatography, Mass Spectrometry, Infrared and UV-visible spectroscopies have provided extensive datasets that can help in tasks as biological and biomedical discovery, biotechnology and drug development. However, as it happens with other omics data, the analysis of metabolomics datasets provides multiple challenges, both in terms of methodologies and in the development of appropriate computational tools. Indeed, from the available software tools, none addresses the multiplicity of existing techniques and data analysis tasks. In this work, we make available a novel R package, named specmine, which provides a set of methods for metabolomics data analysis, including data loading in different formats, pre-processing, metabolite identification, univariate and multivariate data analysis, machine learning, and feature selection. Importantly, the implemented methods provide adequate support for the analysis of data from diverse experimental techniques, integrating a large set of functions from several R packages in a powerful, yet simple to use environment. The package, already available in CRAN, is accompanied by a web site where users can deposit datasets, scripts and analysis reports to be shared with the community, promoting the efficient sharing of metabolomics data analysis pipelines.

From perfect strangers to research partners: a study of relationships, resource sharing and perceived benefits within R&D cooperation networks

Doctoral thesis in Marketing and Strategy.