Per-unit royalty and fixed-fee licensing in a differentiated Stackelberg model

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.

A module for the FTT-SE protocol in ns-3

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters

Demo presented in 12th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2015). 8 to 12, Jun, 2015. La Roche-en-Ardenne, Belgium. Extended abstract.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A Fractional Calculus Perspective in the Evolutionary Design of Combinational Circuits

This paper analyses the performance of a genetic algorithm (GA) in the synthesis of digital circuits using two novel approaches. The first concept consists in improving the static fitness function by including a discontinuity evaluation. The measure of variability in the error of the Boolean table has similarities with the function continuity issue in classical calculus. The second concept extends the static fitness by introducing a fractional-order dynamical evaluation.

New Concepts Towards the Synthesis of Digital Circuits Through Genetic Algorithms

This paper analyses the performance of a Genetic Algorithm using two new concepts, namely a static fitness function including a discontinuity measure and a fractional-order dynamic fitness function, for the synthesis of combinational logic circuits. In both cases, experiments reveal superior results in terms of speed and convergence to achieve a solution.

Ontologies learn by searching

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

Combining sparse and dense methods in 6D Visual Odometry

13th International Conference on Autonomous Robot Systems (Robotica), 2013, Lisboa

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Myoelectric Signal Monitoring System

The Electromyography (EMG) is an important tool for gait analyzes and disorders diagnoses. Traditional methods involve equipment that can disturb the analyses, being gradually substituted by different approaches, like wearable and wireless systems. The cable replacement for autonomous systems demands for technologies capable of meeting the power constraints. This work presents the development of an EMG and kinematic data capture wireless module, designed taking into account power consumption issues. This module captures and converts the analog myoeletric signal to digital, synchronously with the capture of kinetic information. Both data are time multiplexed and sent to a PC via Bluetooth link. The work carried out comprised the development of the hardware, the firmware and a graphical interface running in an external PC. The hardware was developed using the PIC18F14K22, a low power family of microcontrollers. The link was established via Bluetooth, a protocol designed for low power communication. An application was also developed to recover and trace the signal to a Graphic User Interface (GUI), coordinating the message exchange with the firmware. Results were obtained which allowed validating the conceived system in static and with the subject performing short movements. Although it was not possible to perform the tests within more dynamic movements, it is shown that it is possible to capture, transmit and display the captured data as expected. Some suggestions to improve the system performance also were made.

Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs

Presented at Embed with Linux Workshop (EWiLi 2015). 4 to 9, Oct, 2015. Amsterdam, Netherlands.

Feasibility and acceptability of an exergame intervention for schizophrenia

Objectives To evaluate the feasibility and acceptability of an exergame intervention as a tool to promote physical activity in outpatients with schizophrenia. Design Feasibility/Acceptability Study and Quasi-Experimental Trial. Method Sixteen outpatients with schizophrenia received treatment as usual and they all completed an 8-week exergame intervention using Microsoft Kinect® (20 min sessions, biweekly). Participants completed pre and post treatment assessments regarding functional mobility (Timed Up and Go Test), functional fitness performance (Senior Fitness Test), motor neurological soft signs (Brief Motor Scale), hand grip strength (digital dynamometer), static balance (force plate), speed of processing (Trail Making Test), schizophrenia-related symptoms (Positive and Negative Syndrome Scale) and functioning (Personal and Social Performance Scale). The EG group completed an acceptability questionnaire after the intervention. Results Attrition rate was 18.75% and 69.23% of the participants completed the intervention within the proposed schedule. Baseline clinical traits were not related to game performance indicators. Over 90% of the participants rated the intervention as satisfactory and interactive. Most participants (76.9%) agreed that this intervention promotes healthier lifestyles and is an acceptable alternative to perform physical activity. Repeated-measures MANOVA analyses found no significant multivariate effects for combined outcomes. Conclusion This study established the feasibility and acceptability of an exergame intervention for outpatients with schizophrenia. The intervention proved to be an appealing alternative to physical activity. Future trials should include larger sample sizes, explore patients' adherence to home-based exergames and consider greater intervention dosage (length, session duration, and/or frequency) in order to achieve potential effects.

Calcium signaling and the novel anti-proliferative effect of the UTP-sensitive P2Y11 receptor in rat cardiac myofibroblasts

During myocardial ischemia and reperfusion both purines and pyrimidines are released into the extracellular milieu, thus creating a signaling wave that propagates to neighboring cells via membrane-bound P2 purinoceptors activation. Cardiac fibroblasts (CF) are important players in heart remodeling, electrophysiological changes and hemodynamic alterations following myocardial infarction. Here, we investigated the role UTP on calcium signaling and proliferation of CF cultured from ventricles of adult rats. Co-expression of discoidin domain receptor 2 and -smooth muscle actin indicate that cultured CF are activated myofibroblasts. Intracellular calcium ([Ca2+]i) signals were monitored in cells loaded with Fluo-4 NW. CF proliferation was evaluated by the MTT assay. UTP and the selective P2Y4 agonist, MRS4062, caused a fast desensitizing [Ca2+]i rise originated from thapsigargin-sensitive internal stores, which partially declined to a plateau providing the existence of Ca2+ in the extracellular fluid. The biphasic [Ca2+]i response to UTP was attenuated respectively by P2Y4 blockers, like reactive blue-2 and suramin, and by the P2Y11 antagonist, NF340. UTP and the P2Y2 receptor agonist MRS2768 increased, whereas the selective P2Y11 agonist NF546 decreased, CF growth; MRS4062 was ineffective. Blockage of the P2Y11receptor or its coupling to adenylate cyclase boosted UTP-induced CF proliferation. Confocal microscopy and Western blot analysis confirmed the presence of P2Y2, P2Y4 and P2Y11 receptors. Data indicate that besides P2Y4 and P2Y2 receptors which are responsible for UTP-induced [Ca2+]i transients and growth of CF, respectively, synchronous activation of the previously unrecognized P2Y11 receptor may represent an important target for anti-fibrotic intervention in cardiac remodeling.

Simulation of masonry out-of-plane failure modes by multi-body dynamics

The seismic assessment of the local failure modes in existing masonry buildings is currently based on the identification of the so-called local mechanisms, often associated with the out-of-plane wall behavior, whose stability is evaluated by static force-based approaches and, more recently, by some displacement-based proposals. Local mechanisms consist of kinematic chains of masonry portions, often regarded as rigid bodies, with geometric nonlinearity and concentrated nonlinearity in predefined contact regions (unilateral no-tension behavior, possible sliding with friction). In this work, the dynamic behavior of local mechanisms is simulated through multi-body dynamics, to obtain the nonlinear response with efficient time history analyses that directly take into account the characteristics of the ground motion. The amplification/filtering effects of the structure are considered within the input motion. The proposed approach is validated with experimental results of two full-scale shaking-table tests on stone masonry buildings: a sacco-stone masonry façade tested at Laboratório Nacional de Engenharia Civil and a two-storey double-leaf masonry building tested at European Centre for Training and Research in Earthquake Engineering (EUCENTRE).

Projecto de estruturas de uma passagem superior em madeira

Este projecto visa um estudo de uma solução para uma ponte pedonal de Madeira Lamelada Colada (MLC) entre o Hospital Pedro Hispano e o Norte-Shopping, localizada na Senhor da Hora. Inicialmente foram analisadas diversas variantes, com vários tipos de sistemas, sendo adoptada uma ponte formada por dois arcos, que se aproximam à medida que se afastam dos encontros unidos por contraventamentos em cruz. O tabuleiro encontra-se suspenso por tirantes e apoiados dos dois lados nos encontros. Foi realizado uma pequena introdução histórica da utilização da madeira enquanto material de construção, a sua fabricação e os vários tipos de pontes pedonais em MLC. O uso da madeira em estruturas fez com que a abordagem do Eurocódigo 5 (EC5) tivesse uma maior importância. A estrutura é modelada no programa de cálculo “DLUBAL ” através de um modelo de barras tridimensional de modo a efectuar uma análise estática e dinâmica global, recorrendo-se para tal a normas e princípios gerais de verificação de segurança dos regulamentos Europeus, nomeadamente os Eurocódigos das várias especialidades. Apresentam-se em anexo vários desenhos da ponte, desenhos das peças de ligação, o mapa de trabalhos e quantidades, ideias preliminares, dimensionamento e a escolha dos ligadores e por fim os diagramas de esforços dos elementos aos Estados-limite Último.