Fractional calculus: application in modelling and control

This contribution introduces the fractional calculus (FC) fundamental mathematical aspects and discuses some of their consequences. Based on the FC concepts, the chapter reviews the main approaches for implementing fractional operators and discusses the adoption of FC in control systems. Finally are presented some applications in the areas of modeling and control, namely fractional PID, heat diffusion systems, electromagnetism, fractional electrical impedances, evolutionary algorithms, robotics, and nonlinear system control.

O uso das redes sociais no recrutamento externo em empresas portuguesas

Este estudo tem como objetivo explorar o papel das redes sociais nos processos de recrutamento das organizações portuguesas. Em específico, procura identificar os motivos que levam as organizações a recrutar através da internet e dos meios on-line ao dispor, nomedamente através das Redes Socais na Internet (RSIs), as vantagens e desvantagens da sua utilização comparativamente com os métodos tradicionais. Para a realização do estudo foram selecionadas 5 empresas portuguesas que utilizam as redes sociais on-line para divulgar as suas ofertas de emprego, atrair e recrutar talentos. Foi utilizada a metodologia qualitativa, optando-se pelo estudo caso múltiplo e exploratório. O instrumento de recolha de informação foi a entrevista semiestruturada. Integraram este estudo 5 empresas de distintas áreas de negócio e com a sua sede no distrito do Porto. No total, foram realizadas 5 entrevistas, uma a cada responsável pelos recursos humanos ou recrutamento das empresas em estudo. Um desses responsáveis é, simultaneamente, o gerente da empresa. Os resultados sugerem que as empresas portuguesas, de forma gradual, começam a aceder cada vez mais às redes sociais para apoiar os seus processos de recrutamento. No entanto, essa técnica de recrutamento ainda não é utilizada de forma isolada nem substitui os métodos tradicionais de recrutamento. Na parte final da dissertação são discutidos os principais resultados obtidos e apresentadas as conclusões do estudo aqui levado a cabo.

The role of functional polymorphisms in immune response genes as biomarkers of BCG Immunotherapy outcome in bladder cancer: Establishment of a predictive profile in a Southern Europe population

OBJECTIVE: To evaluate the predictive value of genetic polymorphisms in the context of BCG immunotherapy outcome and create a predictive profile that may allow discriminating the risk of recurrence. MATERIAL AND METHODS: In a dataset of 204 patients treated with BCG, we evaluate 42 genetic polymorphisms in 38 genes involved in the BCG mechanism of action, using Sequenom MassARRAY technology. Stepwise multivariate Cox Regression was used for data mining. RESULTS: In agreement with previous studies we observed that gender, age, tumor multiplicity and treatment scheme were associated with BCG failure. Using stepwise multivariate Cox Regression analysis we propose the first predictive profile of BCG immunotherapy outcome and a risk score based on polymorphisms in immune system molecules (SNPs in TNFA-1031T/C (rs1799964), IL2RA rs2104286 T/C, IL17A-197G/A (rs2275913), IL17RA-809A/G (rs4819554), IL18R1 rs3771171 T/C, ICAM1 K469E (rs5498), FASL-844T/C (rs763110) and TRAILR1-397T/G (rs79037040) in association with clinicopathological variables. This risk score allows the categorization of patients into risk groups: patients within the Low Risk group have a 90% chance of successful treatment, whereas patients in the High Risk group present 75% chance of recurrence after BCG treatment. CONCLUSION: We have established the first predictive score of BCG immunotherapy outcome combining clinicopathological characteristics and a panel of genetic polymorphisms. Further studies using an independent cohort are warranted. Moreover, the inclusion of other biomarkers may help to improve the proposed model.

Energy resources management in three distinct time horizons considering a large variation in wind power

The intensive use of distributed generation based on renewable resources increases the complexity of power systems management, particularly the short-term scheduling. Demand response, storage units and electric and plug-in hybrid vehicles also pose new challenges to the short-term scheduling. However, these distributed energy resources can contribute significantly to turn the shortterm scheduling more efficient and effective improving the power system reliability. This paper proposes a short-term scheduling methodology based on two distinct time horizons: hour-ahead scheduling, and real-time scheduling considering the point of view of one aggregator agent. In each scheduling process, it is necessary to update the generation and consumption operation, and the storage and electric vehicles status. Besides the new operation condition, more accurate forecast values of wind generation and consumption are available, for the resulting of short-term and very short-term methods. In this paper, the aggregator has the main goal of maximizing his profits while, fulfilling the established contracts with the aggregated and external players.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

A Publicidade no Ensino do Inglês no 1.º Ciclo: uma abordagem didática

Numa era de globalização, de desenvolvimento tecnológico exponencial e de consumismo exacerbado, a publicidade conquistou o quotidiano das sociedades modernas e seduziu, também, as nossas crianças. Subjacente ao paradigma de que o comportamento humano dá respostas favoráveis a estímulos adequados e apresentados com oportunidade e habilidade (Caetano et al., 2011), colocamos a hipótese de utilização didática de anúncios publicitários na aula de Inglês para o desenvolvimento de competências comunicativas. Este projeto assentou no aproveitamento do potencial que a publicidade oferece, tendo em conta, por um lado, a envolvência sedutora que a torna um meio privilegiado para captar a atenção e veicular informação e, por outro, a prevalência de palavras em Inglês que nela se observa. O estudo, de natureza qualitativa, é o resultado de uma investigação-ação, na qual adotamos uma metodologia baseada num modelo descritivo e interpretativo, através de métodos qualitativos de recolha de dados e análise de informação, que teve como participantes crianças do 4.º ano de escolaridade. Desenvolvemos questionários, como instrumentos de recolha de dados, aplicados a professores e alunos. Construímos, igualmente, guiões de atividades com sugestões de exploração da publicidade no ensino da língua. Comprovamos que a publicidade, aliada ao Inglês, pode ser um valioso recurso no desenvolvimento e aprendizagem das crianças, pois é um material autêntico, motivador, atrai a atenção, possibilita o contacto com situações reais, envolve linguagem verbal e não-verbal e permite a exploração de diferentes temas, o que contribui, certamente, para a compreensão intercultural, a mobilização de saberes e o desenvolvimento do espírito crítico.