Análise bilateral do timing de ativação dos músculos transverso abdominal/oblíquo interno durante o movimento rápido de flexão de cada membro superior – dominante e não-dominante

Introdução: Por mais de uma década assumiu-se que o transverso abdominal/oblíquo interno (TrA/OI) se comportava como um ventre muscular único, pré-ativando-se bilateralmente de forma simultânea para aumentar a stiffness da coluna lombar, conferindo-lhe estabilidade segmentar durante o movimento de um dos membros superiores. À luz dos estudos atuais sabe-se que tal mecanismo não ocorre, uma vez que o TrA/OI apresenta uma ativação por mecanismo de feedforward predominantemente contralateral ao membro superior movido. Apesar de morfologicamente o TrA/OI do lado não-dominante ser mais hipertrofiado do que o do lado dominante, nada se sabe acerca da influência da dominância nos timings ativação do TrA/OI. Objectivos: Confirmar se o TrA/OI tem um timing de ativação assimétrico durante o movimento rápido de flexão do membro superior (MRMS). Pretende-se ainda avaliar se o timing de ativação do TrA/OI é influenciado pela dominância de lateralidade manual. Métodos: Efectuou-se um estudo observacional descritivo, transversal e duplamente cego com 32 atletas de futebol voluntários com membro superior direito dominante, colocando-os apenas num grupo. Procedeu-se à recolha do sinal eletromiográfico de forma a avaliar os timings de ativação do TrA/OI bilateralmente aquando dos movimentos rápidos de flexão de ambos os membros superiores, à vez. Todos os dados foram tratados estatisticamente com o programa SPSS, versão 20.0 para Mac OS, com um grau de significância de 0,05. Resultados: Verificaram-se diferenças nos timings de ativação dos TrA/OI direito e esquerdo durante os MRMS direito e esquerdo (Teste ANOVA medidas repetidas: F=291,087; p<0,001). O timing de ativação do TrA/OI direito – 29,15(13,15)ms – foi superior ao esquerdo – 4,71(17,32)ms – durante MRMS direito (Teste Post Hoc Bonferroni: p<0,001). O timing de ativação do TrA/OI esquerdo – 31,98(12,50)ms – foi superior ao direito – 12,20(17,40)ms – durante MRMS esquerdo (p<0,001). O timing de ativação do TrA/IO direito aquando do MRMS direito foi superior ao observado durante MRMS esquerdo (p<0,001). O contrário sucedeu em relação ao timing ativação do TrA/IO esquerdo (p<0,001). O timing de ativação do TrA/IO esquerdo no MRMS direito foi inferior ao do TrA/IO direito aquando do movimento com o membro esquerdo (p<0,001). O TrA/IO direito possuiu um timing de ativação no MRMS direito inferior ao do TrA/IO esquerdo aquando do movimento com o membro esquerdo (p<0,001). Conclusão: Através deste estudo pôde-se concluir que o TrA/OI contralateral ao MRMS apresenta um timing de ativação inferior ao ipsilateral e ainda que durante o MRMS dominante o TrA/OI esquerdo e direito apresentam um timing de ativação inferior ao ocorrido durante o MRMS não-dominante.

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

TEA: Timing and Energy Aware compression architecture for Efficient Configuration in CGRAs

Coarse Grained Reconfigurable Architectures (CGRAs) are emerging as enabling platforms to meet the high performance demanded by modern applications (e.g. 4G, CDMA, etc.). Recently proposed CGRAs offer time-multiplexing and dynamic applications parallelism to enhance device utilization and reduce energy consumption at the cost of additional memory (up to 50% area of the overall platform). To reduce the memory overheads, novel CGRAs employ either statistical compression, intermediate compact representation, or multicasting. Each compaction technique has different properties (i.e. compression ratio, decompression time and decompression energy) and is best suited for a particular class of applications. However, existing research only deals with these methods separately. Moreover, they only analyze the compaction ratio and do not evaluate the associated energy overheads. To tackle these issues, we propose a polymorphic compression architecture that interleaves these techniques in a unique platform. The proposed architecture allows each application to take advantage of a separate compression/decompression hierarchy (consisting of various types and implementations of hardware/software decoders) tailored to its needs. Simulation results, using different applications (FFT, Matrix multiplication, and WLAN), reveal that the choice of compression hierarchy has a significant impact on compression ratio (up to 52%), decompression energy (up to 4 orders of magnitude), and configuration time (from 33 n to 1.5 s) for the tested applications. Synthesis results reveal that introducing adaptivity incurs negligible additional overheads (1%) compared to the overall platform area.

SIR performance evaluation of MB-OFDM UWB system with residual timing offset

Signal-to-interference ratio (SIR) performance of a multiband orthogonal frequency division multiplexing ultra-wideband system with residual timing offset is investigated. To do so, an exact mathematical derivation of the SIR of this system is derived. It becomes obvious that, unlike a cyclic prefixing based system, a zero padding based system is sensitive to residual timing offset.

Timing Analysis of Fixed Priority SelfSuspending Sporadic Tasks

27th Euromicro Conference on Real-Time Systems (ECRTS 2015), Lund, Sweden.

Angioplastia Coronária no Enfarte Agudo do Miocárdio: Impacto do Timing da Revascularização na Alternância da Onda Ta

Encontra-se bem estabelecido que, na abordagem terapêutica do enfarte agudo do miocárdio (EAM), a trombólise e a angioplastia coronária percutânea (ACTP) permitem diminuir a mortalidade e melhorar o prognóstico, sendo esse benefício tanto maior quanto menor o tempo decorrido entre o evento isquémico e o procedimento terapêutico. No entanto, não está ainda estabelecido qual o impacto que o atraso da implementação dessas terapêuticas tem no desenvolvimento de taquidisritmias ventriculares e por consequência no resultado da alternância da onda T(TWA), que representa um método reconhecido para avaliação da vulnerabilidade ventricular às referidas arritmias. Objectivo: Analisar os resultados da TWA por microvoltagem numa população submetida a ACTP na sequência de EAM e avaliar a influência do timing de revascularização miocárdica nos resultados da TWA. Métodos: Estudámos 79 doentes (67 do sexo masculino; 57 ± 11 anos) consecutivos, admitidos por EAM e sujeitos a revascularização miocárdica por ACTP durante o internamento. A TWA foi avaliada utilizando um aparelho da HeartTwave System (Cambridge Heart, Inc., Bedford, Massachusetts) nos 30 dias pós-EAM. Durante a realização de uma prova de esforço em tapete rolante com protocolo manual, com o objectivo de elevar a frequência cardíaca até aos 110 batimentos por minuto, realizou-se o registo electrocardiográfico através da aplicação de sete eléctrodos standard e outros sete eléctrodos sensores de alta-resolução, especialmente concebidos para redução do «ruído», dispostos segundo as derivações ortogonais de Frank(X,Y, Z). A TWA foi considerada positiva quando se verificou a presença de alternância da onda T de magnitude ³ 1,9 μV de forma consistente e mantida (> 1 minuto), com início para frequências cardíacas < 110 batimentos/minuto ou quando esta alternância se verificou em doentes em repouso. Foi considerada negativa quando se conseguiu obter dados sem artefactos durante pelo menos um minuto, com frequências > 105 batimentos/minuto, sem atingir critério de positividade e indeterminada se não podia ser classificada como positiva ou negativa. Foram excluídos doentes com EAM ou revascularização miocárdica (cirúrgica ou percutânea) prévios, os que apresentavam insuficiência cardíaca congestiva, com fibrilhação auricular, > 10 extrassístoles por minuto, pacemaker definitivo, bradicárdia < 40 bpm, complexos QRS com duração > 130 ms ou sob terapêutica anti-arrítmica. Considerámos como marcador de risco para a ocorrência de eventos arrítmicos ventriculares malignos a presença de TWA positiva ou indeterminada. (TWA «nãonegativa»). Os resultados da TWA foram comparados entre o grupo de doentes submetidos a ACTP nas primeiras 24 horas pós-EAM (Grupo A; n = 45) e o grupo de doentes submetidos a ACTP > 24 horas pós-EAM. (Grupo B; n = 34) Resultados: A TWA foi positiva em 16 doentes (20,2%) e negativa em 56 (70,9%). Em 7 casos (8,9%), o resultado do teste foi considerado indeterminado. A TWA foi «não-negativa» em 29,1% da população. No grupo A a TWA foi “não-negativa” em 9 doentes (20 %) (6 com TWA positiva e três com TWA indeterminada) e negativa em 36 doentes (80 %) e no grupo B foi «não-negativa» em 14 doentes (41%) (10 com TWA positiva e quatro com TWA indeterminada) e negativa em 20 (59 %) (p < 0,05). Não se encontraram diferenças entre os dois grupos no que respeita à fracção de ejecção ventricular esquerda. No seguimento até aos 60 dias após a alta hospitalar não foram documentados eventos arrítmicos ventriculares, síncopes ou óbito. Foram reinternados cinco doentes (7 %) por recorrênciade angor. Conclusões: Numa população de sobreviventes de EAM encontrámos uma prevalência de TWA não negativa de 29 %, apesar da revascularização miocárdica com ACTP. A ACTP, quando efectuada nas primeiras 24 horas após o início do EAM, reduz de forma significativa o número de doentes com TWA não negativa,sugerindo que esta intervenção precoce poderá baixar o risco arrítmico destes doentes e influenciar favoravelmente o prognóstico pós-EAM. O impacto da morte súbita na mortalidade pós-EAM justifica estudos prospectivos de maiores dimensões

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.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Probabilistic constraint reasoning

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Making sense of the experimental evidence on endogenous timing in duopoly markets

The prediction of asymmetric equilibria with Stackelberg outcomes is clearly the most frequent result in the endogenous timing literature. Several experiments have tried to validate this prediction empirically, but failed to find support for it. By contrast, the experiments find that simultaneous-move outcomes are modal and that behavior in endogenous timing games is quite heterogeneous. This paper generalizes Saloner’s (1987) and Hamilton and Slutsky’s (1990) endogenous timing games by assuming that players are averse to inequality in payoffs. We explore the theoretical implications of inequity aversion and compare them to the empirical evidence. We find that this explanation is able to organize most of the experimental evidence on endogenous timing games. However, inequity aversion is not able to explain delay in Hamilton and Slutsky’s endogenous timing games.

Constraint-based modelling of mixed microbial populations: Application to polyhydroxyalkanoates production

Dissertação para obtenção do Grau de Doutor em Engenharia Química e Bioquímica

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Exploiting the cointrgration between vix and CDS in a credit market timing model

We investigate the cointegration between VIX and CDS indices, and the possibility of exploiting it in an existing credit market timing investment model. We find cointegration over most of the sample period and the leadership of VIX over the CDS in the price discovery process. We present two methods for including cointegration into the model. Both strategies improve the in-sample and out-of-sample model performances, even though out-of-sample results are weaker. We find that in-sample better performances are explained by a stronger cointegration, concluding that in the presence of cointegration our strategies can be profitable in an investment model that considers transaction costs.