Metabolic profiling and classification of propolis samples from Southern Brazil: an NMR-based platform coupled with machine learning

The chemical composition of propolis is affected by environmental factors and harvest season, making it difficult to standardize its extracts for medicinal usage. By detecting a typical chemical profile associated with propolis from a specific production region or season, certain types of propolis may be used to obtain a specific pharmacological activity. In this study, propolis from three agroecological regions (plain, plateau, and highlands) from southern Brazil, collected over the four seasons of 2010, were investigated through a novel NMR-based metabolomics data analysis workflow. Chemometrics and machine learning algorithms (PLS-DA and RF), including methods to estimate variable importance in classification, were used in this study. The machine learning and feature selection methods permitted construction of models for propolis sample classification with high accuracy (>75%, reaching 90% in the best case), better discriminating samples regarding their collection seasons comparatively to the harvest regions. PLS-DA and RF allowed the identification of biomarkers for sample discrimination, expanding the set of discriminating features and adding relevant information for the identification of the class-determining metabolites. The NMR-based metabolomics analytical platform, coupled to bioinformatic tools, allowed characterization and classification of Brazilian propolis samples regarding the metabolite signature of important compounds, i.e., chemical fingerprint, harvest seasons, and production regions.

The influence of nitrogen and oxygen additions on the thermal characteristics of aluminium-based thin films

The ternary aluminium oxynitride (AlNxOy) system offers the possibility to obtain a wide range of properties by tailoring the ratio between pure Al, AlNx and AlOy and therefore opening a significant number of possible applications. In this work the thermal behaviour of AlNxOy thin films was analysed by modulated infrared radiometry (MIRR), taking as reference the binary AlOy and AlNx systems. MIRR is a non-contact and non-destructive thermal wave measurement technique based on the excitation, propagation and detection of temperature oscillations of very small amplitudes. The intended change of the partial pressure of the reactive gas (N2 and/or O2) influenced the target condition and hence the deposition characteristics which, altogether, affected the composition and microstructure of the films. Based on the MIRR measurements and their qualitative and quantitative interpretation, some correlations between the thermal transport properties of the films and their chemical/physical properties have been found. Furthermore, the potential of such technique applied in this oxynitride system, which present a wide range of different physical responses, is also discussed. The experimental results obtained are consistent with those reported in previous works and show a high potential to fulfil the demands needed for the possible applications of the systems studied. They are clearly indicative of an adequate thermal response if this particular thin film system is aimed to be applied in small sensor devices or in electrodes for biosignal acquisition, such as those for electroencephalography or electromyography as it is the case of the main research area that is being developed in the group.

Development of advanced cell/tissue culture systems, based on enhanced polymeric scaffolds and sophisticated bioreactors, for tissue engineering applications

Programa Doutoral em Engenharia Biomédica

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Electroconvulsive therapy and anticoagulation after pulmonary embolism: a case report

Introduction Electroconvulsive therapy (ECT) is considered the most effective treatment for catatonia regardless its underlying condition. The rigid fixed posture and immobility observed in catatonia may lead to several clinical complications, of which, pulmonary embolism (PE) is one of the most severe. The rapid improvement of the psychiatric condition in catatonia-related PE is essential, since immobility favors the occurrence of new thromboembolic events and further complications. In that scenario, ECT should be considered, based on a risk-benefit analysis, aiming at the faster resolution of the catatonia. Methods Case report and literature review. Results A 66-years-old woman admitted to the psychiatric ward with catatonia due to a depressive episode presented bilateral PE. Clinically stable, but still severely depressed after a trial of antidepressants, she was treated with ECT in the course of full anticoagulation with enoxaparin. After five ECT sessions, her mood was significantly better and she was walking and eating spontaneously. She did not present complications related either to PE or to anticoagulation. After the eighth ECT session, she evolved with hypomania, which was managed with oral medication adjustments. The patient was completely euthymic at discharge. Conclusion The case we presented provides further evidence to the anecdotal case reports on the safety of ECT in the course of concomitant full anticoagulant therapy after PE, and illustrates how, with the proper precautions, the benefits of ECT in such condition might outweigh its risks.

Why should we expect worlds to collide? - Exploratory reflections departing from a case study analysis of “Jornal de Notícias” (Portugal)

As 2008 came to a close the avalanche of discourse on the demise of newspapers (and traditional media in general) grew to such an extent that consideration of any alternative scenario became almost difficult to utter. Academic articles, conferences, newspaper and magazine features were abundantly produced on thematic variations which went from ‘The End of Newspapers’ to ‘The End of Journalism’ (testing these expressions in a popular search engine we can easily get in excess of 23 thousand references for the first one and over 290 thousand references for the second one and there is even a dedicated ‘Newspaper Death Watch’ site with constant updates). The broad assumption of this production – particularly the one that identifies one possibility with the other – revolves around notions like the collapse of rigid business models, the breakdown of producer/user fidelity/trust, and the failings of a self-centred and entrenched professional (the journalist). The present seems to be enunciated as a ‘the end of days’ period, with images of irrevocable perdition funnelling our reasoning towards one single possible outcome – the imperious necessity of complete reinvention, not necessarily with the same agents.

Levitação literal na arquitetura: Desenvolvimento de um sistema de caixilharia Panoramah! com sistema de elevação eletromagnético

Tese de Mestrado Ciclo de Estudos Integrados Conducentes ao Grau de Mestre em Arquitectura Área de Especialização: Construção e Tecnologia

Development of a poly(L-Lactic acid) based drug release system

Dissertação de mestrado em Biofísica e Bionanossistemas

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.

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.

Socially integrative customer service (SICS) : identification of a symbiotic link with corporate social responsibility

The aim of this study is to answer the research question "can customer service be revitalised through identification of a symbiotic relationship with social responsibility, linked by people-centricity?" The concept of customer service remains weak and there has been a lack of attention to the underlying purpose: "to serve". To strengthen the theory the humanistic nature of the concept should be revised. Fundamental to this argument is the question of who is a customer? To fully discover the scope of the concept requires a broader or more specifically a societal view. Herein the theme of social corporate responsibility is critical to the recognition of the customer service network (CSN). This suggestion in isolation is useful but structural. Another aspect must be identified to validate the "service" ethos. Through this reasoning the relational theme (RT) provides for a mechanism for this to be achieved. Therefore the theory of socially integrative customer service is based on broadening and deepening the customer service concept. This study is illustrated in the context of the grocery retail sector in the Republic of Ireland. Four case studies are presented, three based on company-wide and in-store research and a fourth is a cross-company study. Results across companies indicate acceptance of the research question and show evidence to validate SICS. There is scope to further develop SICS and to build on the CSN and the RT. Finally the concept of SICS provides for a diverse basis for further research. This theory does no purport to cause a paradigm shift but does add innovation to the body of knowledge. As is the hallmark of good theoretical development, the author has aimed to keep the philosophy simple.

Fertilizer policy in the developing countries: the case of Brazil

This paper deals initially with the role of mineral fertilizers in increasing agricultural production: the relationship between the two variables is illustrated within global, regional national and local contexts. The pattern and trends in fertilizer usage in Brazil are presented next, namely: increase in consumption in the period 1950/72; regional distribution; consumption as related to crops and cultivated land. It is shown that in less than a quarter or century fertilizer use has increased in the country nearly 12 fold, whereas world consumption was raised 7 fold, thus exceeding estimates based in several criteria. Steps taken to secure the raise in fertilizer consumption above the historical trend are discussed: research experience for outlining fertilization recomendations; the transfer of the knowledge to the farmer by the extension work both official and private; the credit policy and special incentives for the purchase of fertilizer; the national policy for minumum proces of agricultural products; the implantation of a national fertilizer industry. It is considered that the Brazilian experience adapted to similar local conditions in other developing countries, presents a possibility for achieving beneficial results without inflationary reflexes in the economy.

The Barcelonnettes: an example of network-entrepreneurs in XIX century Mexico. An explanation based on a theory of bounded rational choice with social embeddedness

A theory of network-entrepreneurs or "spin-off system" is presented in this paper for the creation of firms based on the community’s social governance. It is argued that firm’s capacity for accumulation depends on the presence of employees belonging to the same social/ethnic group with expectations of "inheriting" the firm and becoming entrepreneurs once they have been selected for their merits and loyalty towards their patrons. Such accumulation is possible because of the credibility of the patrons’ promises of supporting newcomers due to high social cohesion and specific social norms prevailing in the community. This theory is exemplified through the case of the Barcelonnettes, a group of immigrants from the Alps in the South of France (Provence) who came to Mexico in the XIX Century.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism (Long version)

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism.

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.