Flexible gastrointestinal motility pressure sensors based on aluminum thin-film strain-gauge arrays

This paper reports on an innovative approach to measuring intraluminal pressure in the upper gastrointestinal (GI) tract, especially monitoring GI motility and peristaltic movements. The proposed approach relies on thin-film aluminum strain gauges deposited on top of a Kapton membrane, which in turn lies on top of an SU-8 diaphragm-like structure. This structure enables the Kapton membrane to bend when pressure is applied, thereby affecting the strain gauges and effectively changing their electrical resistance. The sensor, with an area of 3.4 mm2, is fabricated using photolithography and standard microfabrication techniques (wet etching). It features a linear response (R2 = 0.9987) and an overall sensitivity of 2.6 mV mmHg−1. Additionally, its topology allows a high integration capability. The strain gauges’ responses to pressure were studied and the fabrication process optimized to achieve high sensitivity, linearity, and reproducibility. The sequential acquisition of the different signals is carried out by a microcontroller, with a 10-bit ADC and a sample rate of 250 Hz. The pressure signals are then presented in a user-friendly interface, developed using the Integrated Development Environment software, QtCreator IDE, for better visualization by physicians.

Design of bio-based supramolecular structures through self-assembly of α-lactalbumin and lysozyme

Bovine α-lactalbumin (α-La) and lysozyme (Lys), two globular proteins with highly homologous tertiary structures and opposite isoelectric points, were used to produce bio-based supramolecular structures under various pH values (3, 7 and 11), temperatures (25, 50 and 75 °C) and times (15, 25 and 35 min) of heating. Isothermal titration calorimetry experiments showed protein interactions and demonstrated that structures were obtained from the mixture of α-La/Lys in molar ratio of 0.546. Structures were characterized in terms of morphology by transmission electron microscopy (TEM) and dynamic light scattering (DLS), conformational structure by circular dichroism and intrinsic fluorescence spectroscopy and stability by DLS. Results have shown that protein conformational structure and intermolecular interactions are controlled by the physicochemical conditions applied. The increase of heating temperature led to a significant decrease in size and polydispersity (PDI) of α-La–Lys supramolecular structures, while the increase of heating time, particularly at temperatures above 50 °C, promoted a significant increase in size and PDI. At pH 7 supramolecular structures were obtained at microscale – confirmed by optical microscopy – displaying also a high PDI (i.e. > 0.4). The minimum size and PDI (61 ± 2.3 nm and 0.14 ± 0.03, respectively) were produced at pH 11 for a heating treatment of 75 °C for 15 min, thus suggesting that these conditions could be considered as critical for supramolecular structure formation. Its size and morphology were confirmed by TEM showing a well-defined spherical form. Structures at these conditions showed to be stable at least for 30 or 90 days, when stored at 25 or 4 °C, respectively. Hence, α-La–Lys supramolecular structures showed properties that indicate that they are a promising delivery system for food and pharmaceutical applications.

High performance screen printable lithium-ion battery cathode ink based on C-LiFePO4

Lithium-ion battery cathodes have been fabricated by screen-printing through the development of CLiFePO4 inks. It is shown that shear thinning polymer solutions in N-methyl-2-pyrrolidone (NMP) with Newtonian viscosity above 0.4 Pa s are the best binders for formulating a cathode paste with satisfactory film forming properties. The paste shows an elasticity of the order of 500 Pa and, after shear yielding, shows an apparent viscosity of the order of 3 Pa s for shear rates corresponding to those used during screen-printing. The screen-printed cathode produced with a thickness of 26 mm shows a homogeneous distribution of the active material, conductive additive and polymer binder. The total resistance and diffusion coefficient of the cathode are 450 V and 2.5 10 16cm2 s 1, respectively. The developed cathodes show an initial discharge capacity of 48.2 mAh g 1 at 5C and a discharge value of 39.8 mAh g 1 after 50 cycles. The capacity retention of 83% represents 23% of the theoretical value (charge and/or discharge process in twenty minutes), demonstrating the good performance of the battery. Thus, the developed C-LiFePO4 based inks allow to fabricate screen-printed cathodes suitable for printed lithium-ion batteries

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

Tese de Doutoramento (Programa Doutoral em Engenharia de Materiais)

Estudo sobre os determinantes dos projetos financiados por crowdfunding: o caso do PPL Crowdfunding

Dissertação de mestrado em Economia Social

Avaliação de desempenho no Theatro Circo: criação de um Balanced Scorecard

Projeto de mestrado em Estudos de Gestão

Highly robust chitosan hydrogels via a fast, simple and biocompatible dual crosslinking-based process

Load-bearing soft tissues such as cartilage, blood vessels and muscles are able to withstand a remarkable compressive stress of several MPa without fracturing. Interestingly, most of these structural tissues are mainly composed of water and in this regard, hydrogels, as highly hydrated 3D-crosslinked polymeric networks, constitute a promising class of materials to repair lesions on these tissues. Although several approaches can be employed to shape the mechanical properties of artificial hydrogels to mimic the ones found on biotissues, critical issues regarding, for instance, their biocompatibility and recoverability after loading are often neglected. Therefore, an innovative hydrogel device made only of chitosan (CHI) was developed for the repair of robust biological tissues. These systems were fabricated through a dual-crosslinking process, comprising a photo- and an ionic-crosslinking step. The obtained CHIbased hydrogels exhibited an outstanding compressive strength of ca. 20 MPa at 95% of strain, which is several orders of magnitude higher than those of the individual components and close to the ones found in native soft tissues. Additionally, both crosslinking processes occur rapidly and under physiological conditions, enabling cellsâ encapsulation as confirmed by high cell survival rates (ca. 80%). Furthermore, in contrast with conventional hydrogels, these networks quickly recover upon unloading and are able to keep their mechanical properties under physiological conditions as result of their non-swell nature.

Influence of chitosan coating on protein-based nanohydrogels properties and in vitro gastric digestibility

Chitosan coating was applied in Lactoferrin (Lf)-Glycomacropeptide (GMP) nanohydrogels by layer-by-layer coating process. A volume ratio of 0.1 of Lf-GMP nanohydrogels (0.2 mg.mL-1, at pH 5.0) to chitosan (1 mg.mL-1, at pH 3) demonstrated to be the optimal condition to obtain stable nanohydrogels with size of 230 ± 12 nm, a PdI of 0.22 ± 0.02 and a -potential of 30.0 ± 0.15 mV. Transmission electron microscopy (TEM) images showed that the application of chitosan coating in Lf-GMP did not affect the spherical shape of nanohydrogels and confirmed the low aggregation of nanohydrogels in solution. The analysis of chemical interactions between chitosan and Lf-GMP nanohydrogels were performed by Fourier transform infrared spectroscopy (FTIR) and by circular dichroism (CD) that revealed that a specific chemical interaction occurring between functional groups of protein-based nanohydrogels and active groups of the chitosan was established. The effect of chitosan coating on release mechanisms of Lf-GMP nanohydrogels at acid conditions (pH 2, 37 ºC) was evaluated by the encapsulation of a model compound (caffeine) in these systems. Linear Superposition Model was used to fit the experimental data and revealed that Fick and relaxation mechanisms are involved in caffeine release. It was also observed that the Fick contribution increase with the application of chitosan coating. In vitro gastric digestion was performed with Lf-GMP nanohydrogels and Lf-GMP nanohydrogels with chitosan coating and it was observed that the presence of chitosan improve the stability of Lf and GMP (proteins were hydrolysed at a slower rate and were present in solution by longer time). Native electrophoreses revealed that the nanohydrogels without coating remained intact in solution until 15 min and with chitosan coating remained intact until 60 min, during gastric digestion.

In vivo imaging of glycol chitosan-based nanogel biodistribution

The preclinical development of nanomedicines raises several challenges and requires a comprehensive characterization. Among them is the evaluation of the biodistribution following systemic administration. In previous work, the biocompatibility and in vitro targeting ability of a glycol chitosan (GC) based nanogel have been validated. In the present study, its biodistribution in the mice is assessed, using near-infrared (NIR) fluorescence imaging as a tool to track the nanogel over time, after intravenous administration. Rapid whole body biodistribution of both Cy5.5 labeled GC nanogel and free polymer is found at early times. It remains widespreadly distributed in the body at least up to 6 h postinjection and its concentration then decreases drastically after 24 h. Nanogel blood circulation half-life lies around 2 h with the free linear GC polymer presenting lower blood clearance rate. After 24 h, the blood NIR fluorescence intensity associated with both samples decreases to insignificant values. NIR imaging of the organs shows that the nanogel had a body clearance time of 48 h, because at this time point a weak signal of NIR fluorescence is observed only in the kidneys. Hereupon it can be concluded that the engineered GC nanogel has a fairly long blood circulation time, suitable for biomedical applications, namely, drug delivery, simultaneously allowing efficient and quick body clearance.

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Production of whey protein-based aggregates under ohmic heating

Formation of whey protein isolate protein aggregates under the influence of moderate electric fields upon ohmic heating (OH) has been monitored through evaluation of molecular protein unfolding, loss of its solubility, and aggregation. To shed more light on the microstructure of the protein aggregates produced by OH, samples were assayed by transmission electron microscopy (TEM). Results show that during early steps of an OH thermal treatment, aggregation of whey proteins can be reduced with a concomitant reduction of the heating chargeby reducing the come-up time (CUT) needed to reach a target temperatureand increase of the electric field applied (from 6 to 12 V cm1). Exposure of reactive free thiol groups involved in molecular unfolding of -lactoglobulin (-lg) can be reduced from 10 to 20 %, when a CUT of 10 s is combined with an electric field of 12 V cm1. Kinetic and multivariate analysis evidenced that the presence of an electric field during heating contributes to a change in the amplitude of aggregation, as well as in the shape of the produced aggregates. TEM discloses the appearance of small fibrillar aggregates upon the influence of OH, which have recognized potential in the functionalization of food protein networks. This study demonstrated that OH technology can be used to tailor denaturation and aggregation behavior of whey proteins due to the presence of a constant electric field together with the ability to provide a very fast heating, thus overcoming heat transfer limitations that naturally occur during conventional thermal treatments.

A clinical recommendation system to maternity care

Nowadays in healthcare, the Clinical Decision Support Systems are used in order to help health professionals to take an evidence-based decision. An example is the Clinical Recommendation Systems. In this sense, it was developed and implemented in Centro Hospitalar do Porto a pre-triage system in order to group the patients on two levels (urgent or outpatient). However, although this system is calibrated and specific to the urgency of obstetrics and gynaecology, it does not meet all clinical requirements by the general department of the Portuguese HealthCare (Direção Geral de Saúde). The main requirement is the need of having priority triage system characterized by five levels. Thus some studies have been conducted with the aim of presenting a methodology able to evolve the pre-triage system on a Clinical Recommendation System with five levels. After some tests (using data mining and simulation techniques), it has been validated the possibility of transformation the pre-triage system in a Clinical Recommendation System in the obstetric context. This paper presents an overview of the Clinical Recommendation System for obstetric triage, the model developed and the main results achieved.

Pre-clinical trials for Machado-Joseph Disease: Hypothesis-based and hypothesis-free therapeutic approaches

Tese de Doutoramento em Ciências da Saúde

Quantifying the risk of coronary artery disease in a community: The Bambuí Project

OBJECTIVE: To determine the coronary risk profile in adults and elderly in a community. METHODS: The study comprised a sample of adults (30-59 years, n=547) and the entire elderly population (60-74 years, n=1165) residing in Bambuí town, Brazil. The Framingham score based on sex, age, smoking, diabetes mellitus, systolic and diastolic blood pressure, total cholesterol, and HDL-C was used. The score based on age and sex was defined as "expected" and compared with the mean score obtained by the sum of all risk factors in each age group and sex (score "observed"). RESULTS: The difference between the scores "observed" and "expected" increased with aging in both sexes. Smoking increased the difference from 30 years of age onwards, in both sexes, and hypertension was important in men above the age of 30 years and in women above the age of 50 years. Diabetes and elevated total cholesterol increased the risk of the disease above the age of 50 years in both sexes. A higher level of HDL-C reduced the risk among men above the age of 30 years, with no significant difference among women. Less schooling (< 4 years versus ³ 4 years) was associated with a higher score in adults of both sexes, but not among the elderly. CONCLUSION: Based on these results, in the community studied, the risk of coronary artery disease may be reduced up to 44% in men and 38% in women.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.