Minimal computation structures for visual information applications based on printed electronics

In the early nineties, Mark Weiser wrote a series of seminal papers that introduced the concept of Ubiquitous Computing. According to Weiser, computers require too much attention from the user, drawing his focus from the tasks at hand. Instead of being the centre of attention, computers should be so natural that they would vanish into the human environment. Computers become not only truly pervasive but also effectively invisible and unobtrusive to the user. This requires not only for smaller, cheaper and low power consumption computers, but also for equally convenient display solutions that can be harmoniously integrated into our surroundings. With the advent of Printed Electronics, new ways to link the physical and the digital worlds became available. By combining common printing techniques such as inkjet printing with electro-optical functional inks, it is starting to be possible not only to mass-produce extremely thin, flexible and cost effective electronic circuits but also to introduce electronic functionalities into products where it was previously unavailable. Indeed, Printed Electronics is enabling the creation of novel sensing and display elements for interactive devices, free of form factor. At the same time, the rise in the availability and affordability of digital fabrication technologies, namely of 3D printers, to the average consumer is fostering a new industrial (digital) revolution and the democratisation of innovation. Nowadays, end-users are already able to custom design and manufacture on demand their own physical products, according to their own needs. In the future, they will be able to fabricate interactive digital devices with user-specific form and functionality from the comfort of their homes. This thesis explores how task-specific, low computation, interactive devices capable of presenting dynamic visual information can be created using Printed Electronics technologies, whilst following an approach based on the ideals behind Personal Fabrication. Focus is given on the use of printed electrochromic displays as a medium for delivering dynamic digital information. According to the architecture of the displays, several approaches are highlighted and categorised. Furthermore, a pictorial computation model based on extended cellular automata principles is used to programme dynamic simulation models into matrix-based electrochromic displays. Envisaged applications include the modelling of physical, chemical, biological, and environmental phenomena.

Machine diagnosis based on artificial immune systems

Nowadays, many of the manufactory and industrial system has a diagnosis system on top of it, responsible for ensuring the lifetime of the system itself. It achieves this by performing both diagnosis and error recovery procedures in real production time, on each of the individual parts of the system. There are many paradigms currently being used for diagnosis. However, they still fail to answer all the requirements imposed by the enterprises making it necessary for a different approach to take place. This happens mostly on the error recovery paradigms since the great diversity that is nowadays present in the industrial environment makes it highly unlikely for every single error to be fixed under a real time, no production stop, perspective. This work proposes a still relatively unknown paradigm to manufactory. The Artificial Immune Systems (AIS), which relies on bio-inspired algorithms, comes as a valid alternative to the ones currently being used. The proposed work is a multi-agent architecture that establishes the Artificial Immune Systems, based on bio-inspired algorithms. The main goal of this architecture is to solve for a resolution to the error currently detected by the system. The proposed architecture was tested using two different simulation environment, each meant to prove different points of views, using different tests. These tests will determine if, as the research suggests, this paradigm is a promising alternative for the industrial environment. It will also define what should be done to improve the current architecture and if it should be applied in a decentralised system.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Predicting market movement with Artificial Neural Networks

This paper presents an application of an Artificial Neural Network (ANN) to the prediction of stock market direction in the US. Using a multilayer perceptron neural network and a backpropagation algorithm for the training process, the model aims at learning the hidden patterns in the daily movement of the S&P500 to correctly identify if the market will be in a Trend Following or Mean Reversion behavior. The ANN is able to produce a successful investment strategy which outperforms the buy and hold strategy, but presents instability in its overall results which compromises its practical application in real life investment decisions.

Assessing initial embodied energy in building structures using LCA methodology

The considerable amount of energy consumed on Earth is a major cause for not achieving sustainable development. Buildings are responsible for the highest worldwide energy consumption, nearly 40%. Strong efforts have been made in what concerns the reduction of buildings operational energy (heating, hot water, ventilation, electricity), since operational energy is so far the highest energy component in a building life cycle. However, as operational energy is being reduced the embodied energy increases. One of the building elements responsible for higher embodied energy consumption is the building structural system. Therefore, the present work is going to study part of embodied energy (initial embodied energy) in building structures using a life cycle assessment methodology, in order to contribute for a greater understanding of embodied energy in buildings structural systems. Initial embodied energy is estimated for a building structure by varying the span and the structural material type. The results are analysed and compared for different stages, and some conclusions are drawn. At the end of this work it was possible to conclude that the building span does not have considerable influence in embodied energy consumption of building structures. However, the structural material type has influence in the overall energetic performance. In fact, with this research it was possible that building structure that requires more initial embodied energy is the steel structure; then the glued laminated timber structure; and finally the concrete structure.

Using artificial neural networks to generate trading signals for crude oil, copper and gold futures

In this thesis, a feed-forward, back-propagating Artificial Neural Network using the gradient descent algorithm is developed to forecast the directional movement of daily returns for WTI, gold and copper futures. Out-of-sample back-test results vary, with some predictive abilities for copper futures but none for either WTI or gold. The best statistically significant hit rate achieved was 57% for copper with an absolute return Sharpe Ratio of 1.25 and a benchmarked Information Ratio of 2.11.

Análise da vulnerabilidade sísmica do arco da Rua Augusta

Em Portugal grande parte dos edifícios históricos antigos são constituídos por alvenaria de pedra. Este género de construção é particularmente vulnerável a ações de natureza dinâmica, nomeadamente a ações sísmicas. O estudo da vulnerabilidade sísmica destes edifícios permite estimar os níveis de dano expectáveis, aquando da ocorrência de um sismo e apoiar o desenvolvimento de técnicas de reforço que permitam evitar o colapso dos mesmos. O objetivo principal do presente estudo é avaliar a vulnerabilidade sísmica do arco da rua Augusta em Lisboa, perante um evento sísmico regulamentar, utilizando um programa de cálculo comercial especializado que permite a utilização de análises dinâmicas não lineares. Numa primeira fase procedeu-se à identificação modal do arco, com recurso a ensaios de vibração ambiental. Os resultados destes ensaios de caracterização dinâmica foram utilizados para calibrar o modelo numérico, o qual foi desenvolvido no programa de cálculo Extreme Loading for Structures, baseado no Método dos Elementos Aplicados. O modelo numérico foi utilizado, numa segunda fase, para avaliar a vulnerabilidade sísmica do arco. Uma análise preliminar pushover permitiu obter a curva de capacidade da estrutura, que por sua vez, possibilita a definição os limites de um conjunto de estados de dano considerados relevantes para o arco. Subsequentes análises sísmicas não lineares e a definição de curvas de fragilidade, permitem estimar os níveis de dano prováveis para vários níveis de ação sísmica e concluir sobre a vulnerabilidade sísmica do Arco da Rua Augusta perante um cenário sísmico regulamentar.

Acellular Gellan-gum based bilayered structures for the regeneration of osteochondral defects: a preclinical study

 In orthopaedics, the management and treatment of osteochondral (OC) defects remains an ongoing clinical challenge. Autologous osteochondral mosaicplasty has been used as a valid option for OC treatments although donor site morbidity remains a source of concern [1]. Engineering a whole structure capable of mimicking different tissues (cartilage and subchondral bone) in an integrated manner could be a possible approach to regenerate OC defects. In our group we have been proposing the use of bilayered structures to regenerate osteochondral defects [2,3]. The present study aims to investigate the pre-clinical performance of bilayered hydrogels and spongy-like hydrogels in in vivo  models (mice and rabbit, respectively), in both subcutaneous and orthotopic models. The bilayered structures were produced from Low Acyl Gellan Gum (LAGG) from Sigma-Aldrich, USA. Cartilage-like layers were obtained from a 2wt% LAGG solution. The bone-like layers were made of 2wt% LAGG with incorporation of hydroxyapatite at 20% and 30% (w/v). Hydrogels and spongy-like were subcutaneouly implanted in mice to evaluate the inflammatory response. Then, OC defects were induced in rabbit knee to create a critical size defect (4 mm diameter and 5 mm depth), and then hydrogels and sponges implanted. Both structures followed different processing methods. The hydrogels were injected allowing in situ  crosslinking. Unlike, the spongy-like were pre-formed by freeze-drying. The studies concerning subcutaneous implantation and critical size OC defect were performed for 2 and 4 weeks time, respectively. Cellular behavior and inflammatory responses were assessed by means of histology staining and biochemical function and matrix deposition by immunohistochemistry. Additionally, both OC structures stability and new cartilage and bone formation were evaluated by using vivo- computed tomography (Scanco 80). The results showed no acute inflammatory response for both approaches. New tissue formation and integration in the adjacent tissues were also observed, which present different characteristic behaviors when comparing hydrogels and sponges response. As future insights, a novel strategy for regeneration of OC defects can be designed encompassing both, hydrogels and spongy-like structures and cellular approaches. References: 1. Espregueira-Mendes J. et al. Osteochondral transplantation using autografts from the upper tibio-fibular joint for the treatment of knee cartilage lesions. Knee Surgery, Sports Traumatology, Arthroscopy 20,1136, 2012. 2. Oliveira JM. et al, Novel hydroxyapatite/chitosan bilayered scaffold for osteochondral tissue-engineering applications: Scaffold design and its performance when seeded with goat bone marrow stromal cells. Biomaterials 27, 6123, 2006. 3. Pereira D R. et al. Gellan Gum-Based Hydrogel Bilayered Scaffolds for Osteochondral Tissue Engineering. Key Engineering Materials 587, 255, 2013.

Artificial thymus: a tissue engineering strategy

The thymus is the central organ responsible for the generation of T lymphocytes (1). Various diseases cause the thymus to produce in- sufficient T cells, which can lead to immune-suppression (2). Since T cells are essential for the protection against pathogens, it is crucial to promote de novo differentiation of T cells on diseased individuals. The available clinical solutions are: 1) one protocol involving the transplant of thymic stroma from unrelated children only applicable for athymic children (3); 2) for patients with severe peripheral T cell depletion and reduced thymic activity, the administration of stimu- lating molecules stimulating the activity of the endogenous thymus (4). A scaffold (CellFoam) was suggested to support thymus regen- eration in vivo (5), although this research was discontinued. Herein, we propose an innovative strategy to generate a bioartificial thymus. We use a polycaprolactone nanofiber mesh (PCL-NFM) seeded and cultured with human thymic epithelial cells (hTECs). The cells were obtained from infant thymus collected during pediatric cardio-tho- racic surgeries. We report new data on the isolation and characterization of those cells and their interaction with PCL-NFM, by expanding hTECs into relevant numbers and by optimizing cell seeding methods.

Proceedings of CMS WORKSHOP: Cracking of massive concrete structures

978-2-35158-155-1

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.

Experimental and numerical approaches for structural assessment in new footbridge designs (SFRSCC–GFPR hybrid structure)

Within the civil engineering field, the use of the Finite Element Method has acquired a significant importance, since numerical simulations have been employed in a broad field, which encloses the design, analysis and prediction of the structural behaviour of constructions and infrastructures. Nevertheless, these mathematical simulations can only be useful if all the mechanical properties of the materials, boundary conditions and damages are properly modelled. Therefore, it is required not only experimental data (static and/or dynamic tests) to provide references parameters, but also robust calibration methods able to model damage or other special structural conditions. The present paper addresses the model calibration of a footbridge bridge tested with static loads and ambient vibrations. Damage assessment was also carried out based on a hybrid numerical procedure, which combines discrete damage functions with sets of piecewise linear damage functions. Results from the model calibration shows that the model reproduces with good accuracy the experimental behaviour of the bridge.

Interdisciplinary knowledge transfer and technological applications for assessment, strengthening and monitoring of timber structures in Europe

COST (European Co-operation in the field of scientific and technical research) is the longest running framework for research co-operation iri Europe, having been established in 1971 by a Ministerial Conference attended by Ministers for Science and Technology from 19 countries. Today COST is used by the scientific communities of 35 European countries to cooperate in exchanging knowledge and technology developed within research projects supported by national or European funds. The main objective of COST is to contribute to the realization of the European Research Área (ERA) anticipating and complementing the activities of the' Framework Programmes, constituting a "bridge" towards the scientific communities of emerging countries, increasing the mobility of researchers across Europe and fostering the establishment of "Networks of Excelience". Another essential objective is the knowledge transfer between the scientific soc'iety and industry. It is widely acknowledged that European scientific performance in relation to investment in science is excellent but technological and commercial performance has steadily worsened. The present paper discusses how the COST Action's instruments, from training schools to short scientific missions and workshops have been used within The COST ACTION FP11O1 Assessment, Reinforcement and Monitoring of Timber Structures to achieve such objectives.

Analytical approach for the flexural analysis of RC beams strengthened with prestressed CFRP

The objective of this paper is to propose a simplified analytical approach to predict the flexural behavior of simply supported reinforced-concrete (RC) beams flexurally strengthened with prestressed carbon fiber reinforced polymer (CFRP) reinforcements using either externally bonded reinforcing (EBR) or near surface mounted (NSM) techniques. This design methodology also considers the ultimate flexural capacity of NSM CFRP strengthened beams when concrete cover delamination is the governing failure mode. A moment–curvature (M–χ) relationship formed by three linear branches corresponding to the precracking, postcracking, and postyielding stages is established by considering the four critical M–χ points that characterize the flexural behavior of CFRP strengthened beams. Two additional M–χ points, namely, concrete decompression and steel decompression, are also defined to assess the initial effects of the prestress force applied by the FRP reinforcement. The mid-span deflection of the beams is predicted based on the curvature approach, assuming a linear curvature variation between the critical points along the beam length. The good predictive performance of the analytical model is appraised by simulating the force–deflection response registered in experimental programs composed of RC beams strengthened with prestressed NSM CFRP reinforcements.