Study of the electromyographic signal dynamic behavior in Amyotrophic Lateral Sclerosis (ALS)

Amyotrophic Lateral Sclerosis (ALS) is a neurodegenerative disease characterized by motor neurons degeneration, which reduces muscular force, being very difficult to diagnose. Mathematical methods are used in order to analyze the surface electromiographic signal’s dynamic behavior (Fractal Dimension (FD) and Multiscale Entropy (MSE)), evaluate different muscle group’s synchronization (Coherence and Phase Locking Factor (PLF)) and to evaluate the signal’s complexity (Lempel-Ziv (LZ) techniques and Detrended Fluctuation Analysis (DFA)). Surface electromiographic signal acquisitions were performed in upper limb muscles, being the analysis executed for instants of contraction for ipsilateral acquisitions for patients and control groups. Results from LZ, DFA and MSE analysis present capability to distinguish between the patient group and the control group, whereas coherence, PLF and FD algorithms present results very similar for both groups. LZ, DFA and MSE algorithms appear then to be a good measure of corticospinal pathways integrity. A classification algorithm was applied to the results in combination with extracted features from the surface electromiographic signal, with an accuracy percentage higher than 70% for 118 combinations for at least one classifier. The classification results demonstrate capability to distinguish members between patients and control groups. These results can demonstrate a major importance in the disease diagnose, once surface electromyography (sEMG) may be used as an auxiliary diagnose method.

Process virtualization theory (PVT) and institutional theory (INT) to explain SAAS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the pressures existing in the organization’s environment. We propose an integrated research model that combines the process virtualization theory (PVT) and the institutional theory (INT). PVT seeks to explain whether SaaS processes are suitable for migration into virtual environments via an information technology-based mechanism. INT seeks to explain the effects of the institutionalized environment on the structure and actions of the organization. The research makes three contributions. First, it addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and external coercive, normative, and mimetic pressures faced by an organization. Second, it empirically tests many of the propositions of PVT and INT in the SaaS context, thereby helping to determine how the theory operates in practice. Third, the integration of PVT and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.

Electrohysterogram signal component cataloging with spectral and time-frequency methods

The Electrohysterogram (EHG) is a new instrument for pregnancy monitoring. It measures the uterine muscle electrical signal, which is closely related with uterine contractions. The EHG is described as a viable alternative and a more precise instrument than the currently most widely used method for the description of uterine contractions: the external tocogram. The EHG has also been indicated as a promising tool in the assessment of preterm delivery risk. This work intends to contribute towards the EHG characterization through the inventory of its components which are: • Contractions; • Labor contractions; • Alvarez waves; • Fetal movements; • Long Duration Low Frequency Waves; The instruments used for cataloging were: Spectral Analysis, parametric and non-parametric, energy estimators, time-frequency methods and the tocogram annotated by expert physicians. The EHG and respective tocograms were obtained from the Icelandic 16-electrode Electrohysterogram Database. 288 components were classified. There is not a component database of this type available for consultation. The spectral analysis module and power estimation was added to Uterine Explorer, an EHG analysis software developed in FCT-UNL. The importance of this component database is related to the need to improve the understanding of the EHG which is a relatively complex signal, as well as contributing towards the detection of preterm birth. Preterm birth accounts for 10% of all births and is one of the most relevant obstetric conditions. Despite the technological and scientific advances in perinatal medicine, in developed countries, prematurity is the major cause of neonatal death. Although various risk factors such as previous preterm births, infection, uterine malformations, multiple gestation and short uterine cervix in second trimester, have been associated with this condition, its etiology remains unknown [1][2][3].

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

Quantum field theory approach to the optical conductivity of strained and deformed graphene

The computation of the optical conductivity of strained and deformed graphene is discussed within the framework of quantum field theory in curved spaces. The analytical solutions of the Dirac equation in an arbitrary static background geometry for one dimensional periodic deformations are computed, together with the corresponding Dirac propagator. Analytical expressions are given for the optical conductivity of strained and deformed graphene associated with both intra and interbrand transitions. The special case of small deformations is discussed and the result compared to the prediction of the tight-binding model.

Pseudofermion dynamical theory for the spin dynamical correlation functions of the half-filled 1D Hubbard model

A modified version of the metallic-phase pseudofermion dynamical theory (PDT) of the 1D Hubbard model is introduced for the spin dynamical correlation functions of the half-filled 1D Hubbard model Mott– Hubbard phase. The Mott–Hubbard insulator phase PDT is applied to the study of the model longitudinal and transverse spin dynamical structure factors at finite magnetic field h, focusing in particular on the sin- gularities at excitation energies in the vicinity of the lower thresholds. The relation of our theoretical results to both condensed-matter and ultra-cold atom systems is discussed.

On the temperature dependence of the absorption cross section for black holes in string theory

We study the low frequency absorption cross section of spherically symmetric nonextremal d-dimensional black holes. In the presence of α′ corrections, this quantity must have an explicit dependence on the Hawking temperature of the form 1/TH. This property of the low frequency absorption cross section is shared by the D1-D5 system from type IIB superstring theory already at the classical level, without α′ corrections. We apply our formula to the simplest example, the classical d-dimensional Reissner-Nordstr¨om solution, checking that the obtained formula for the cross section has a smooth extremal limit. We also apply it for a d-dimensional Tangherlini-like solution with α′3 corrections.

Absorption of scalars by nonextremal charged black holes in string theory

We analyze the low frequency absorption cross section of minimally coupled massless scalar fields by different kinds of charged static black holes in string theory, namely the D1–D5 system in d=5 and a four dimensional dyonic four-charged black hole. In each case we show that this cross section always has the form of some parameter of the solution divided by the black hole Hawking temperature. We also verify in each case that, despite its explicit temperature dependence, such quotient is finite in the extremal limit, giving a well defined cross section. We show that this precise explicit temperature dependence also arises in the same cross section for black holes with string \alpha' corrections: it is actually induced by them.

Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

Sensitive label-free electron chemical capacitive transducer signal for D-dimer electroanalyses

Supplementary data associated with this article can be found, in the online version, at: http://dx.doi.org/10.1016/j.electacta.2015.09.169.

Atrial activation during sinus rhythm in patients with rheumatic and non-rheumatic paroxysmal atrial fibrillation. Frequency-domain analysis using signal-averaged electrocardiography

OBJECTIVE: Using P-wave signal-averaged electrocardiography, we assessed the patterns of atrial electrical activation in patients with idiopathic atrial fibrillation as compared with patterns in patients with atrial fibrillation associated with structural heart disease. METHODS: Eighty patients with recurrent paroxysmal atrial fibrillation were divided into 3 groups as follows: group I - 40 patients with atrial fibrillation associated with non-rheumatic heart disease; group II - 25 patients with rheumatic atrial fibrillation; and group III - 15 patients with idiopathic atrial fibrillation. All patients underwent P-wave signal-averaged electrocardiography for frequency-domain analysis using spectrotemporal mapping and statistical techniques for detecting and quantifying intraatrial conduction disturbances. RESULTS: We observed an important fragmentation in atrial electrical conduction in 27% of the patients in group I, 64% of the patients in group II, and 67% of the patients in group III (p=0.003). CONCLUSION: Idiopathic atrial fibrillation has important intraatrial conduction disturbances. These alterations are similar to those observed in individuals with rheumatic atrial fibrillation, suggesting the existence of some degree of structural involvement of the atrial myocardium that cannot be detected with conventional electrocardiography and echocardiography.

Detection of incipient left ventricular hypertrophy in mild to moderate arterial hypertension with normal electrocardiogram and echocardiogram: a new use for signal-averaged electrocardiography

OBJECTIVE: To assess signal-averaged electrocardiogram (SAECG) for diagnosing incipient left ventricular hypertrophy (LVH). METHODS: A study with 115 individuals was carried out. The individuals were divided as follows: GI - 38 healthy individuals; GII - 47 individuals with mild to moderate hypertension and normal findings on echocardiogram and ECG; and GIII - 30 individuals with hypertension and documented LVH. The magnitude vector of the SAECG was analyzed with the high-pass cutoff frequency of 40 Hz through the bidirectional four-pole Butterworth high-pass digital filter. The mean quadratic root of the total QRS voltage (RMST) and the two-dimensional integral of the QRS area of the spectro-temporal map were analyzed between 0 and 30 Hz for the frequency domain (Int FD), and between 40 and 250 Hz for the time domain (Int TD). The electrocardiographic criterion for LVH was based on the Cornell Product. Left ventricular mass was calculated with the Devereux formula. RESULTS: All parameters analyzed increased from GI to GIII, except for Int FD (GII vs GIII) and RMST log (GII vs GIII). Int TD showed greater accuracy for detecting LVH with an appropriate cutoff > 8 (sensitivity of 55%, specificity of 81%). Positive values (> 8) were found in 56.5% of the G II patients and in 18.4% of the GI patients (p< 0.0005). CONCLUSION: SAECG can be used in the early diagnosis of LVH in hypertensive patients with normal ECG and echocardiogram.

Metabolismo de fosfolípidos, señal de calcio y sus implicancias en la diferenciación de Trypanosoma cruzi. Phospholipids metabolism, calcium signal and its implications in the differentiation of Trypanosoma cruzi.

Trypanosoma cruzi es un protozoo primitivo agente causal de la enfermedad de Chagas. La transmisión de esta enfermedad depende tanto del desarrollo y de la diferenciación del microorganismo en el intestino del vector. Las diferentes formas del parásito se han adaptado a una serie de condiciones impuestas por los distintos ambientes en donde debió habitar. Esta capacidad de sobrevivir a medios externos tan variados está dada por la diversidad en las vías de transducción de señales en el parásito. T. cruzi se multiplica y diferencia (metaciclogénesis) en el recto de los triatominos. A este nivel, los parásitos se enfrentan a un incremento en la osmolaridad causado por un elevado contenido de NaCl en la orina. En nuestro laboratorio se observó que diferentes estímulos son capaces de producir incrementos en los niveles de IP3 y de Ca2+ intracelular, consecuencia de la activación del ciclo del inositol fosfato, y activación de fosfolipasa D (PLD) y fosfatidilinositol 3 quinasa (PI3K). En un medio carente de Na+ los epimastigotes estimulados con carbacol, mostraron una señal de calcio disminuida mientras que la acumulación de IP3 no se modificó. Además, esta señal se incrementó en presencia de PMA, activador de proteína quinasa C, mientras que la acumulación de IP3 se anuló completamente. Estos resultados indujeron a pensar en un mecanismo alternativo y/o paralelo a IP3 en la liberación de Ca2+, en el cual la presencia de un intercambiador Na+/H+ favorecería la liberación del ion desde organelas acídicas. Es conocido que la señal de calcio es requerida para la metaciclogénesis, y que esta señal es independiente del Ca2+ extracelular (Lammel y col. 1996, Marchesini y col., 2002). De este modo se propone que "los epimastigotes de T. cruzi utilizan como elementos conservados a lo largo de la evolución a los elementos del ciclo del inositol fosfato, uno de los sistemas de transducción de señales más antiguo, para responder a estímulos que inducen la diferenciación del parásito". Por lo tanto, para el desarrollo de este proyecto se propone determinar la presencia de un RcIP3 en epimastigotes y conocer su compromiso en la liberación de Ca2+ desde reservorios intracelulares. Además, establecer si un intercambiador Na+/H+ en membrana de acidocalcisomas estaría relacionado con la señal de calcio intracelular y su posible regulación por proteina quinasa C y A (PKC y PKA, respectivamente). Por otro lado, para dilucidar la implicancia de estos mecanismos en el proceso de metaciclogénesis, se propone estudiar la activación del intercambiador Na+/H+ y la señal de calcio en condiciones de hiperosmolaridad, tal como ocurre en el recto del triatomino. Ademas, ya que el proceso de diferenciación involucra una reorganización de los microtubulos del citoesqueleto se pretende estudiar el compromiso del metabolismo de fosfolípidos y tubulina en procesos que contribuyen a la inducción de la metaciclogenesis. El alcance de los objetivos mencionados ayudará a dilucidar la presencia de componentes tales como RcIP3 y el intercambiador Na+/H+ involucrados en la señalización del ion bivalente. Por otro lado, se espera demostrar que los isotipos de tubulina encontrados en T. cruzi cambien en cantidad relativa y nivel de expresión cuando los epimastigotes sean estimulados con posibles inductores de la diferenciación. Además, se espera observar simultáneamente un aumento en la actividad de dos enzimas relacionadas con la reorganización de microtúbulos: PI-3K y PLD. En tal caso, y para comprobar su implicancia en el proceso, se espera que la inhibición de tales enzimas sea capaz de revertir el efecto producido por los estímulos. Como la PLC se expresa principalmente en las forma epimastigotes mas que en los tripomastigotes (forma infectiva), la señal de Ca2+ inducida por IP3 se relacionaría con la capacidad del parásito para responder a ciertos cambios de pH y osmolaridad que enfrenta el microorganismo en el tracto digestivo del insecto vector.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.