Equations of motion for constrained systems

"Series title: Springerbriefs in applied sciences and technology, ISSN 2191-530X"

Anomalous origin of the left coronary artery from the pulmonary trunk. Clinical features and midterm results after surgical treatment

OBJECTIVE: To report the authors' experience with the anomalous origin of the left coronary artery (AOLCA) from the pulmonary trunk, emphasizing preoperative data, surgical aspects and midterm results of the follow-up. METHODS: Retrospective analysis of 11 patients operated upon at the Royal Brompton Hospital from October, 84 to April, 97. RESULTS: Nine infants had heart failure (HF) and two other children presented with dyspnea and chest pain. All had ECG changes. The echocardiogram identified the anomalous origin of the coronary artery in 7 (64%) patients and hemodynamic studies were performed in 7 patients. All infants were operated upon between the 2nd and 10th month of life. Six patients were treated with aortic reimplantation of the left coronary artery, whereas five were operated upon according to the Takeuchi technique. All patients are alive, with clear improvement of the ECG changes and ventricular function, as evaluated by echocardiography. Two patients operated upon according to the Takeuchi technique required additional surgery due to severe supravalvular pulmonary stenosis. CONCLUSION: AOLCA is a rare disease. Most patients show early signs of severe HF associated with ECG findings. Surgical therapy must be instituted early in the disease, preferentially through aortic implantation of the anomalous coronary artery, with a high possibility of success. Shortly after surgery, clinical and ECG improvement, as well as normalization of left ventricular function, should be expected.

A critical evaluation of methods for the reconstruction of tissue-specific models

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.

Reduction in left ventricular hypertrophy in hypertensive patients treated with enalapril, losartan or the combination of enalapril and losartan

OBJECTIVE: To compare the regression of left ventricular hypertrophy in patients with moderate hypertension treated with enalapril, losartan or a combination of the two drugs at lower doses. METHODS: Patients of both sexes with moderate hypertension confirmed by ambulatory monitoring of arte-rial blood pressure and with left ventricular hypertrophy on echocardiogram were assigned to three groups: enalapril (35 mg/day, n=15), losartan (175 mg/day, n=15) and enalapril+losartan (15 mg+100 mg/day, n=16). The patients received the drugs for 10 months. RESULTS: The three therapeutic regimens were equally effective in reducing blood pressure and left ventricular mass index (LVMI, g/m²): 141±3.9 to 123±3.6 in the enalapril group (p<0.05), from 147±3.8 to 133±2.8 in the losartan group (p<0.05), and from 146±3.0 to 116±4.0 in the enalapril+losartan group (p<0.05). However, the percent reduction of LVMI was significantly greater (p<0.01) in the enalapril+losartan group (20.5±5.0%) than in enalapril (12.4±3.2%) and the losartan (9.1±2.1%) groups. Normalization of LVMI was obtained in 10 out of the 16 patients who received enalapril+ losartan, in 6 out of the 15 patients who received only enalapril and in 4 out of the 15 patients treated with losartan. CONCLUSION: The combination of an angiotensin-converting enzyme inhibitor and an angiotensin II receptor antagonist (AT1 receptor antagonist) in patients produced an additional effect on the reduction of left ventricular hypertrophy. This finding may depend on a more complete inhibition of the cardiac renin-angiotensin.

Da previsibilidade da notícia às vantagens da agenda jornalística: uma reflexão a partir do Rádio Clube Português

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Multibody systems formulation

"Series: Solid mechanics and its applications, vol. 226"

Georeferencing historical documents: the case of the Dume Boundary

Much of the information of historical documents about the territory and property are defined on textual form. This information is mostly geographic and defines territorial areas, its limits and boundaries. For the treatment of this data, we have defined one information system where the treatment of the documental references for the study of the settlement and landscape implies a systematization of the information, normalization, integration and graphic and cartographic representation. This methodology was applied to the case study of the boundary of the monastery-diocese of Dume, in Braga - Portugal, for which there are countless documents and references to this site, but where the urban pressure has mischaracterized very significantly the landscape, making the identification of territorial limits quite difficult. The work carried out to give spatial and cartographic expression to the data, by defining viewing criteria according to the recorded information, proved to be a central working tool in the boundary study and in understanding the dynamics of the sites in the various cultural periods.

Differences in muscular activity between obese and non-obese workers during manual lifting

The prevalence of obesity is increasing throughout the workforce. Manual lifting tasks are common and can produce significant muscle loading. This study compared muscular activity between obese and non-obese subjects, using surface Electromyography (EMG), during manual lifting. Six different lifting tasks (with 5, 10 and 15 kg loads in free and constrained styles) were performed by 14 participants with different obesity levels. EMG data normalization was based on the percentage of Maximum Contraction during each Task (MCT). Muscle Activation Times (AT) before each task were also evaluated. The study suggests that obesity can increase MCT and delay muscle AT. These findings reinforce the need to develop further studies focused on obesity as a risk factor for the development of musculoskeletal disorders.

Assessment of splanchnic perfusion with gastric tonometry in the immediate postoperative period of cardiac surgery in children

OBJECTIVE - A prospective, nonrandomized clinical study to assess splanchnic perfusion based on intramucosal pH in the postoperative period of cardiac surgery and to check the evolution of patients during hospitalization. METHODS - We studied 10 children, during the immediate postoperative period after elective cardiac surgery. Sequential intramucosal pH measurements were taken, without dobutamine (T0) and with 5mcg/kg/min (T1) and 10 (T2) mcg/kg/min. In the pediatric intensive care unit, intramucosal pH measurements were made on admission and 4, 8, 12, and 24 hours thereafter. RESULTS - The patients had an increase in intramucosal pH values with dobutamine 10mcg/kg/min [7.19± 0.09 (T0), 7.16±0.13(T1), and 7.32±0.16(T2)], (p=0.103). During the hospitalization period, the intramucosal pH values were the following: 7.20±0.13 (upon admission), 7.27±0.16 (after 4 hours), 7.26±0.07 (after 8 hours), 7.32±0.12 (after 12 hours), and 7.38±0.08 (after 24 hours), (p=0.045). No deaths occurred, and none of the patients developed multiple organ and systems dysfunction. CONCLUSION - An increase in and normalization of intramucosal pH was observed after dobutamine use. Measurement of intramucosal pH is a type of monitoring that is easy to perform and free of complications in children during the postoperative period of cardiac surgery.

Epidemiological aspects of adherence to the treatment of hypertension

OBJECTIVE: To analyze the reasons given by patients for interrupting their pharmacological treatment of hypertension. METHODS: We carried out an observational cross-sectional study, in which a questionnaire was applied and blood pressure was measured in 401 patients in different centers of the state of Bahia. The patients selected had been diagnosed with hypertension and were not on antihypertensive treatment for at least 60 days. Clinical and epidemiological characteristics of the groups were analyzed. RESULTS: Of the 401 patients, 58.4% were females, 55.6% of whom white; 60.5% of the males were white. The major reasons alleged for not adhering to treatment were as follows (for males and females respectively): normalization of blood pressure (41.3% and 42.3%); side effects of the medications (31.7% and 24.8%); forgetting to use the medication (25.2% and 20.1%); cost of medication (21.6% and 20.1%); fear of mixing alcohol and medication (23.4% and 3.8%); ignoring the need for continuing the treatment (15% and 21.8%); use of an alternative treatment (11.4% and 17.1%); fear of intoxication (9.6% and 12.4%); fear of hypotension (9.6% and 12%); and fear of mixing the medication with other drugs (8.4% and 6.1%). CONCLUSION: Our data suggest that most factors concerning the abandonment of the treatment of hypertension are related to lack of information, and that, despite the advancement in antihypertensive drugs, side effects still account for most abandonments of treatment.

Atividades de campo no ensino da Geologia: opiniões de professores portugueses sobre formas ideais de as usar

Devido à elevada dimensão espacial e temporal da maior parte dos fenómenos geológicos, não é possível reproduzir no laboratório os fenómenos a estudar, pelo que, se o professor de Geologia pretender colocar os alunos em contato com esses fenómenos, terá que organizar uma saída de campo para que as necessárias e adequadas atividades sejam realizadas no lugar onde esses fenómenos ocorrem. Contudo, e apesar de professores e alunos reconhecerem diversas potencialidades didáticas das saídas de campo, os professores raramente as organizam e justificam isso com base em diversos impedimentos. Neste artigo relatam-se os resultados de um estudo em que 233 professores portugueses de Biologia e Geologia foram inquiridos acerca de formas ideais de integrar as atividades de campo na componente de Geologia, no 3º ciclo do Ensino Básico (n=102) e no Ensino Secundário (n=131). Os resultados sugerem que as práticas que os professores gostariam de implementar, caso não houvesse constrangimentos à realização de atividades de campo, não seriam, na maior parte dos casos, muito diferentes das práticas implementadas que são relatadas na literatura. Esta falta de exigência e de ousadia por parte dos professores, no que concerne ao modo como as atividades de campo deveriam ser utilizadas, sugere a necessidade de a formação inicial e contínua de professores contemplar uma abordagem adequada das saídas de campo e de as escolas se reorganizarem para facilitarem a organização, fundamentada, das mesmas.

Influência do clima afectivo induzido pelo treinador no comportamento táctico e estado afectivo dos jogadores

O presente estudo tem como objectivo perceber como o clima afectivo (positivo ou negativo) induzido pelo treinador influencia o comportamento táctico e o estado afectivo percepcionado pelos jogadores de futebol Sub-15 do Campeonato Distrital da Associação de Futebol de Lisboa. Seleccionaram-se três equipas que constituíram os três grupos do estudo: grupo de afectividade positiva (GAP), grupo de afectividade negativa (GAN) e o grupo controlo (GC). Após um pré-teste, à excepção do GC, com manifestação de afectividade neutra pelo treinador, os grupos experimentais foram submetidos a situações de afectividade positiva e negativa, durante três sessões de treino. Após este período de intervenção, realizou-se um pós-teste. Avaliou-se afectos percepcionados pelos jogadores, através da escala PANAS e o comportamento táctico, através da largura de jogo da equipa, com base na recolha de dados posicionais, verificando-se a regularidade da largura de jogo através da entropia amostral (SampEn). Foram encontradas diferenças significativas na regularidade do comportamento no GAN ̅ e ̅ mas não se encontraram diferenças nos afectos percepcionados pelos jogadores em nenhum dos grupos. Encontrou-se igualmente uma tendência positiva na largura da equipa no GAP. Os resultados sugerem que o clima afectivo do treinador apresenta-se como um constrangimento ambiental que influência o comportamento táctico dos jogadores. O clima afectivo positivo estabeleceu um aumento da largura da equipa, mostrando-se viável à procura de comportamentos adaptativos para a consecução de objectivos estabelecidos.

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.

Lowering Pulmonary Wedge Pressure after Heart Transplant: Pulmonary Compliance and Resistance Effect

AbstractBackground:Right ventricular (RV) afterload is an important risk factor for post-heart transplantation (HTx) mortality, and it results from the interaction between pulmonary vascular resistance (PVR) and pulmonary compliance (CPA). Their product, the RC time, is believed to be constant. An exception is observed in pulmonary hypertension because of elevated left ventricular (LV) filling pressures.Objective:Using HTx as a model for chronic lowering of LV filling pressures, our aim was to assess the variations in RV afterload components after transplantation.Methods:We retrospectively studied 159 patients with right heart catheterization before and after HTx. The effect of Htx on hemodynamic variables was assessed.Results:Most of the patients were male (76%), and the mean age was 53 ± 12 years. HTx had a significant effect on the hemodynamics, with normalization of the LV and RV filling pressures and a significant increase in cardiac output and heart rate (HR). The PVR decreased by 56% and CPA increased by 86%. The RC time did not change significantly, instead of increasing secondary to pulmonary wedge pressure (PWP) normalization after HTx as expected. The expected increase in RC time with PWP lowering was offset by the increase in HR (because of autonomic denervation of the heart). This effect was independent from the decrease of PWP.Conclusion:The RC time remained unchanged after HTx, notwithstanding the fact that pulmonary capillary wedge pressure significantly decreased. An increased HR may have an important effect on RC time and RV afterload. Studying these interactions may be of value to the assessment of HTx candidates and explaining early RV failure after HTx.

Endogenous capacity utilization and the asymmetric effects of monetary policy

This paper investigates the role of variable capacity utilization as a source of asymmetries in the relationship between monetary policy and economic activity within a dynamic stochastic general equilibrium framework. The source of the asymmetry is directly linked to the bottlenecks and stock-outs that emerge from the existence of capacity constraints in the real side of the economy. Money has real effects due to the presence of rigidities in households' portfolio decisions in the form of a Luces-Fuerst 'limited participation' constraint. The model features variable capacity utilization rates across firms due to demand uncertainty. A monopolistic competitive structure provides additional effects through optimal mark-up changes. The overall message of this paper for monetary policy is that the same actions may have different effects depending on the capacity utilization rate of the economy.