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.

Using data mining with time series data in short-term stocks prediction

Data Mining (DM) methods are being increasingly used in prediction with time series data, in addition to traditional statistical approaches. This paper presents a literature review of the use of DM with time series data, focusing on short- time stocks prediction. This is an area that has been attracting a great deal of attention from researchers in the field. The main contribution of this paper is to provide an outline of the use of DM with time series data, using mainly examples related with short-term stocks prediction. This is important to a better understanding of the field. Some of the main trends and open issues will also be introduced.

Aborto recorrente das causas na mulher às consequências para o casal

RESUMO: O aborto recorrente (AR) é um evento extremamente traumático com grande impacto na vida dos casais. Apesar de avanços significativos verificados na investigação médica, cerca de 50% dos casos continua sem uma causa identificada. Alguns aspectos como a caracterização inadequada das doentes e das perdas gestacionais, assim como diferentes metodologias utilizadas no seu estudo, têm influenciado a prevalência de alguns dos factores causais e dificultado a compreensão do AR. Da mesma forma, pouco se sabe sobre as diferenças de género na vivência psicológica do aborto recorrente e das suas eventuais repercussões para o relacionamento do casal, centrando-se os poucos estudos existentes preferencialmente na mulher. Por esta razão, o objectivo desta tese foi a caracterização dos factores médicos associados ao AR e das consequências psicológicas desta entidade, contribuindo para promover estratégias clínicas baseadas na evidência específica. Na primeira parte desta tese (capítulos 1 e 2), após uma breve introdução geral e através de uma revisão da literatura, efectua-se uma reflexão sobre o tema, abordando a epidemiologia do aborto recorrente, os factores médicos e os aspectos psicológicos associados. Nos capítulos 3 e 4 descrevemos três estudos efectuados em mulheres portuguesas com aborto recorrente. O primeiro estudo teve por objectivo caracterizar os factores médicos e determinar o padrão da perda recorrente de gravidez, numa coorte de mulheres submetidas a um protocolo de diagnóstico definido. As participantes foram agrupadas de acordo com a paridade (AR primário ou secundário) e a idade gestacional das perdas (embrionárias ou fetais). As anomalias da cavidade uterina, a SAAF e as translocações equilibradas parentais foram os factores mais prevalentes. 15,6% das participantes eram obesas. Em 55,5% dos casos não foi identificado nenhum factor. A história obstétrica materna influenciou significativamente os resultados encontrados: os factores anatómicos e a SAAF foram mais prevalentes em nulíparas e as perdas inexplicadas foram mais frequentes em mulheres com AR secundário. Assim, os nossos dados reforçam os resultados de pesquisas anteriores sobre a importância da obesidade, da síndrome de anticorpos antifosfolípidos e das anomalias uterinas estruturais como factores associados ao AR e mostram que os a paridade é um moderador da importância desses factores. Capítulo 6 94 A ausência de resultados consensuais na literatura sobre a etiologia do AR condiciona a pesquisa sistemática de alguns factores, envolvendo exames dispendiosos, muitas vezes sem que exista evidência que suporte a sua associação com esta entidade. A trombofilia hereditária é uma das condições frequentemente investigadas nestas doentes. O nosso segundo estudo pretende contribuir para clarificar o papel de duas mutações (factor V Leiden e protrombina G20210A) na perda recorrente de gravidez e esclarecer a necessidade do seu rastreio nestas situações. Foi efectuada a pesquisa destes polimorfismos em 100 mulheres com AR inexplicado e num grupo de controlo de multíparas sem história de perdas de gravidez. Na nossa amostra não se verificou uma associação entre perdas embrionárias recorrentes e estas mutações. Nas mulheres com este tipo de perdas, a prevalência do FLV foi inclusive menor do que a verificada nos controlos. Pelo contrário, nas participantes com perdas fetais a prevalência destes polimorfismos foi muito superior à verificada nos controlos, sugerindo uma possível associação entre estas duas entidades. A pequena dimensão deste último subgrupo de mulheres, não nos permitiu contudo tirar conclusões. Uma investigação prospectiva multicêntrica é necessária antes de recomendar a pesquisa da trombofilia hereditária na investigação do AR. Procurámos incluir também nesta tese uma dimensão psicológica e contribuir assim para o conhecimento dos processos relacionais originados pelo AR. No terceiro estudo foram investigadas as diferenças de género na vivência do AR e o seu impacto no relacionamento e sexualidade do casal. Participaram neste estudo 30 casais sem filhos, com pelo menos 3 abortos espontâneos consecutivos. Cada membro do casal respondeu a um conjunto de questionários (Impact of Events Scale, Perinatal Grief Scale, Partnership Questionnaire e Intimate Relationship Scale). Os resultados mostram que as mulheres sofrem mais intensamente do que os homens com o AR, relacionando-se a intensidade do seu sofrimento com a qualidade do relacionamento conjugal. A sexualidade do casal é também afectada pelo stress e pelo sofrimento associados ao AR. Uma avaliação e acompanhamento deste tipo de problemas são imprescindíveis para ajudar estes casais a manterem a qualidade afectiva e sexual da sua relação. Finalmente, no capítulo 5 sumariámos as conclusões de toda a contribuição pessoal para a investigação sobre os factores associados e repercussões para o casal da perda recorrente de gravidez.-------------------ABSTRACT: Recurrent miscarriage (RM), a rare condition, has been described as a traumatic event for couples. Parental chromosomal anomalies, maternal thrombophilic disorders and structural uterine anomalies have been directly associated with RM. However, despite significant advances in medical research, the vast majority of cases remain unexplained. Aspects as the ethnic diversity of the population with different expression of genes, the inappropriate characterization of patients and of pregnancy losses, as well as different methodologies used in their study, have influenced the prevalence of etiological factors and have hampered the understanding of this problem. Similarly, little is known about gender differences in psychological experience of RM and its implications for the relationship of the couple. The first objective of this thesis is the characterization of the medical factors and of the psychological consequences related with RM, in the Portuguese population, helping to promote specific evidence-based clinical strategies. In the first part of this thesis, and after a brief general introduction (Chapter 1), a critical review of literature on the definition, the epidemiology and the dimensions involved, with a special emphasis on associated medical and psychological aspects of recurrent miscarriage, is presented (Chapter 2). In Chapters 3 and 4 we describe three studies carried out in Portuguese couples with RM. The first study aimed to investigate the etiological factors and the pattern of pregnancy loss in a cohort of women with RM. Subjects were divided in groups according to their parity (primary or secondary RM) and time of pregnancy loss (embryonic or fetal). Parental chromosome anomalies, uterine anomalies and antiphospholipid syndrome were the most prevalent medical factors. 15.6% of the women were obese. In the majority of cases (55.5%) no identifiable cause was detected. Parity influenced significantly our results. There was a higher prevalence of anatomic factors and antiphospholipid syndrome in primary RM. On the other hand, unexplained losses were more frequent in secondary RM. Except for the parental chromosomal abnormalities; the frequency of risk factors was similar among women with fetal or embryonic losses. Our data emphasizes the results of previous research on the importance of obesity, antiphospholipid syndrome and structural uterine abnormalities as known risk factors for RM, and shows that parity is an important moderator of the weight of those risk factors. Our second study aims to clarify the role of two mutations (factor V Leiden and prothrombin G20210A) and elucidate the need for their screening in Portuguese women with RM. FVL and PT G20210A analysis was carried out in 100 women with three or more consecutive miscarriages and a control group of 100 parous controls with no history of pregnancy losses. Secondary analysis was made regarding gestational age at miscarriage (embryonic and fetal loss). Overall the prevalence of FVL and PT G20210A was similar in RM women compared with controls. In the RM embryonic subgroup of women, FVL prevalence was inclusively lower than that of controls. Conversely in women with fetal losses both polymorphisms were much more frequent, although statistical significance was not reached due to the small size of this subgroup of patients. These data indicate that inherited maternal thrombophilia is not associated with RM prior to 10 weeks of gestation. Therefore, its screening is not indicated as an initial approach in Portuguese women with RM and a negative personal history of thromboembolic.96 Our second study aims to clarify the role of two mutations (factor V Leiden and prothrombin G20210A) and elucidate the need for their screening in Portuguese women with RM. FVL and PT G20210A analysis was carried out in 100 women with three or more consecutive miscarriages and a control group of 100 parous controls with no history of pregnancy losses. Secondary analysis was made regarding gestational age at miscarriage (embryonic and fetal loss). Overall the prevalence of FVL and PT G20210A was similar in RM women compared with controls. In the RM embryonic subgroup of women, FVL prevalence was inclusively lower than that of controls. Conversely in women with fetal losses both polymorphisms were much more frequent, although statistical significance was not reached due to the small size of this subgroup of patients. These data indicate that inherited maternal thrombophilia is not associated with RM prior to 10 weeks of gestation. Therefore, its screening is not indicated as an initial approach in Portuguese women with RM and a negative personal history of thromboembolic. In our third study, we investigate gender differences in RM experience and its impact on the couple's relationship and sexuality. Each member of 30 couples with RM answered a set of questionnaires, including the Impact of Events Scale (Horowitz et al., 1979), the Perinatal Grief Scale (Toedter et al., 1988), the Partnership Questionnaire (Hahlweg, 1979) and the Intimate Relationship Scale (Hetherington e Soeken, 1990). Results showed that men do grieve, but less intensely than women. Although the quality of the couple‟s relationship seemed not to be adversely affected by RM, both partners described sexual changes after those events. Grief was related to the quality of communication in the couple for women, and to the quality of sex life for men. An understanding of such issues is critical in helping these couples to maintain sexual and affective quality of their relationship. Finally, in Chapter 5, conclusions and clinical implications of all personal contribution to the investigation on associated factors and relational consequences of recurrent miscarriage are presented.

Task partitioning and priority assignment for distributed hard real-time systems

In this paper, we propose the Distributed using Optimal Priority Assignment (DOPA) heuristic that finds a feasible partitioning and priority assignment for distributed applications based on the linear transactional model. DOPA partitions the tasks and messages in the distributed system, and makes use of the Optimal Priority Assignment (OPA) algorithm known as Audsley’s algorithm, to find the priorities for that partition. The experimental results show how the use of the OPA algorithm increases in average the number of schedulable tasks and messages in a distributed system when compared to the use of Deadline Monotonic (DM) usually favoured in other works. Afterwards, we extend these results to the assignment of Parallel/Distributed applications and present a second heuristic named Parallel-DOPA (P-DOPA). In that case, we show how the partitioning process can be simplified by using the Distributed Stretch Transformation (DST), a parallel transaction transformation algorithm introduced in [1].

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems

5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

A Real-Time Optimization for 2R Manipulators

This work proposes a real-time algorithm to generate a trajectory for a 2 link planar robotic manipulator. The objective is to minimize the space/time ripple and the energy requirements or the time duration in the robot trajectories. The proposed method uses an off line genetic algorithm to calculate every possible trajectory between all cells of the workspace grid. The resultant trajectories are saved in several trees. Then any trajectory requested is constructed in real-time, from these trees. The article presents the results for several experiments.

Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Real-Time Visual Ground-Truth System for Indoor Robotic Applications

The robotics community is concerned with the ability to infer and compare the results from researchers in areas such as vision perception and multi-robot cooperative behavior. To accomplish that task, this paper proposes a real-time indoor visual ground truth system capable of providing accuracy with at least more magnitude than the precision of the algorithm to be evaluated. A multi-camera architecture is proposed under the ROS (Robot Operating System) framework to estimate the 3D position of objects and the implementation and results were contextualized to the Robocup Middle Size League scenario.

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.

Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers

Presented at IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015.

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.