An approach to teach Calculus/Mathematical Analysis (for engineering students) using computers and active learning – its conception, development of materials and evaluation

Dissertação para obtenção do Grau de Doutor em Ciências da Educação

Materials handling in hospitals: An analysis of how the storage and materials handling system can be improved, using the example of Hospital Santa Maria

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

The impact of banks dimension on profitability, sustainability and efficiency: An analysis for the Iberian financial system

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Prospective system analysis of stationary battery systems under the frame of Constructive Technology Assessment

Based on the report for the unit “Project IV” of the PhD programme on Technology Assessment under the supervision of Dr.-Ing. Marcel Weil and Prof. Dr. António Brandão Moniz. The report was presented and discussed at the Doctorate Conference on Technologogy Assessment in July 2013 at the University Nova Lisboa, Caparica campus.

Injuries caused by aquatic animals in Brazil: an analysis of the data present in the information system for notifiable diseases

AbstractINTRODUCTION:We present a review of injuries in humans caused by aquatic animals in Brazil using the Information System for Notifiable Diseases [ Sistema de Informação de Agravos de Notificação (SINAN)] database.METHODS:A descriptive and retrospective epidemiological study was conducted from 2007 to 2013.RESULTS:A total of 4,118 accidents were recorded. Of these accidents, 88.7% (3,651) were caused by venomous species, and 11.3% (467) were caused by poisonous, traumatic or unidentified aquatic animals. Most of the events were injuries by stingrays (69%) and jellyfish (13.1%). The North region was responsible for the majority of reports (66.2%), with a significant emphasis on accidents caused by freshwater stingrays (92.2% or 2,317 cases). In the South region, the region with the second highest number of records (15.7%), jellyfish caused the majority of accidents (83.7% or 452 cases). The Northeastern region, with 12.5% of the records, was notable because almost all accidents were caused by toadfish (95.6% or 174 cases).CONCLUSIONS:Although a comparison of different databases has not been performed, the data presented in this study, compared to local and regional surveys, raises the hypothesis of underreporting of accidents. As the SINAN is the official system for the notification of accidents by venomous animals in Brazil, it is imperative that its operation be reviewed and improved, given that effective measures to prevent accidents by venomous animals depend on a reliable database and the ability to accurately report the true conditions.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Lightweight adjustable partition system: evaluation of resistance to horizontal loads and functional failure from impacts

This paper presents and discusses the results of the serviciability and use condition tests carried on an innovative solution for partitions, designated AdjustMembrane developed within a research project. The proposed system is a modular non-loadbearing wall, tensioned between the pavements and ceiling slabs, which are used as anchoring elements. It allows several advantages, related with the weight reduction to achieve a good sustainable performance, such as the reduction of construction costs, energy, and materials, and it is easy to recycle and to reuse, allowing self-construction. Apart from a general presentation of the partition technology, this paper presents and discusses the results of experimental tests carried out. From the results obtained, it is possible to conclude that the solution fulfils the requirements for this typology of wall in terms of resistance to horizontal loads induced by soft and hard body impacts.

Analytical approach for the flexural analysis of RC beams strengthened with prestressed CFRP

The objective of this paper is to propose a simplified analytical approach to predict the flexural behavior of simply supported reinforced-concrete (RC) beams flexurally strengthened with prestressed carbon fiber reinforced polymer (CFRP) reinforcements using either externally bonded reinforcing (EBR) or near surface mounted (NSM) techniques. This design methodology also considers the ultimate flexural capacity of NSM CFRP strengthened beams when concrete cover delamination is the governing failure mode. A moment–curvature (M–χ) relationship formed by three linear branches corresponding to the precracking, postcracking, and postyielding stages is established by considering the four critical M–χ points that characterize the flexural behavior of CFRP strengthened beams. Two additional M–χ points, namely, concrete decompression and steel decompression, are also defined to assess the initial effects of the prestress force applied by the FRP reinforcement. The mid-span deflection of the beams is predicted based on the curvature approach, assuming a linear curvature variation between the critical points along the beam length. The good predictive performance of the analytical model is appraised by simulating the force–deflection response registered in experimental programs composed of RC beams strengthened with prestressed NSM CFRP reinforcements.

A new empirical system for rock slope stability analysis in exploitation stage

An empirical system was developed to obtain a quality index for rock slopes in road infrastructures, named Slope Quality Index (SQI), and it was applied to a set of real slopes.The SQI is supported in nine factors affecting slope stability that contemplate the evaluation of different parameters. Consequently, each factor is classified by the degree of importance and influence by assigned weights. These weights were established through a statistical analysis of replies to a survey that was distributed to several experienced professionals in the field. The proposed SQI varies between1 and 5, corresponding to slopes in very good and very bad condition state, respectively. Besides the advantage linked to a quantitative and qualitative evaluation of slopes, theSQI also allows identifying the most critical factors on the slope stability, which is a fundamental issue for an efficient management of the slope network in the road infrastructure, namely in the planning of conservation and maintenance operations.

Aprendizaje durante la ontogenia temprana: Estudio de la participación del sistema opioide en la modulación de aprendizajes mediados por el etanol. LEARNING AND EARLY ONTOGENY: ANALYSIS OF THE INVOLVEMENT OF OPIOID SYSTEM IN FETAL AND INFANTILE ETHANOL-MEDIATED EXPERIENCIES.

Este plan de trabajos es continuidad de una línea de investigación centrada en evaluar los mecanismos responsables de la adquisición, expresión y persistencia de experiencias con el etanol. A partir de ello, indagar acerca de los efectos de esta experiencia sobre comportamientos de búsqueda y autoadministración de etanol en neonatos e infantes de rata. Se pretende analizar la participación del sistema opiáceo en los mecanismos implicados en una memoria fetal y/o infantil, generada como consecuencia de la exposición etílica. En una primera etapa, nos proponemos establecer de qué manera experiencias prenatales con la droga modulan el patrón de auto-administración de alcohol y otros reforzadores, como sacarosa. En este primer bloque de experimentos realizaremos manipulaciones fetales para determinar con mayor grado de especificidad la posible acción del sistema opiáceo en los mecanismos de adquisición de una memoria etílica prenatal. Se realizarán administraciones de etanol y el antagonista opiáceo, directamente a nivel fetal, y se evaluará esta experiencia en un paradigma de condicionamiento neonatal positivo, mediado por la droga. De acuerdo a la evidencia previa, esperamos que la exposición prenatal con la droga facilite la expresión de conductas de consumo y búsqueda del etanol o hacia las claves que señalizan al psicotrópico, tanto durante la infancia como en el neonato. A su vez, cuando la droga es presentada bajo los efectos de un antagonista opiáceo esperamos que estas conductas muestren un perfil similar a las desplegadas por sujetos controles. El segundo bloque de experimentos ha sido ideado con el objeto de indagar acerca de la posible participación del sistema opiáceo en la modulación de los aspectos reforzantes de la droga, a través de un esquema de auto-administración etílica infantil. Se utilizará un paradigma de condicionamiento instrumental adaptado para ratas infantes que consta de dos instancias, una de adquisición de la conducta instrumental (DPs 14-17) en la cual los animales reciben un pulso de refuerzo, como consecuencia de la ejecución de la conducta operante. En una segunda fase se analiza el patrón de búsqueda del reforzador ya que se registra la respuesta instrumental, sin que ocurra el refuerzo por la misma. Para analizar la participación del sistema opiáceo, durante la fase de adquisición de la conducta operante (DPs 16 y 17) los animales serán re-expuestos a mínimas cantidades del reforzador, bajo los efectos de un antagonista opiáceo, momentos previos al ensayo instrumental correspondiente para cada uno de estos días (Exp. 3). Esperamos que el bloqueo del sistema opiáceo, durante esta re-exposición al etanol, sea suficiente para disminuir el patrón de respuesta instrumental hacia el refuerzo etílico. Un último experimento incorporará un tercer evento de re-exposición al etanol -bajo los efectos del antagonista- previo al ensayo de extinción de la conducta instrumental (DP 18). Este nuevo evento tiene por objeto analizar la participación de este sistema neurobiológico en los mecanismos de búsqueda de etanol. Si el sistema opiáceo participa en la modulación de patrones tanto de búsqueda como consumatorios del reforzamiento por etanol, se espera que la re-exposición a la droga bajo los efectos del antagonista, inhiba estas respuestas tanto durante la sesión de adquisición, como de extinción de la conducta operante. Este proyecto intenta profundizar en el conocimiento de los mecanismos que regulan reconocimiento, aceptación, búsqueda y consumo de etanol, como consecuencia de experiencias tempranas con la droga. A su vez, es importante identificar y estudiar los sistemas neurobiológicos involucrados en estos mecanismos. Es por ello que se intenta determinar el rol que ejerce el sistema opiáceo en la adquisición de estas experiencias etílicas a nivel fetal e infantil, que se conoce promueven la búsqueda y el consumo de la droga. Our work is directed to analyze the involvement of the opioid system in the generation of pre- and early postnatal ethanol-related memories. As a first step, maternal manipulations with ethanol will be done. Infants will be evaluated in a paradigm of infantile self-administration of different reinforcers (ethanol, sucrose or water), employing a model of operant conditioning adapted to infant rats. A second experiment will be conducted in order to analyze if a central administration of ethanol, directly to the fetus, modifies subsequent patterns of neonatal conditioned responses to an artificial nipple, mediated by ethanol reinforcing effects. Fetal presentation of ethanol will be accompanied with the injection of an opioid antagonist in order to analyze the involvement of this system in acquisition processes of a fetal ethanol-mediated memory. A second set of studies will be conducted to analyze appetitive and consummatory behaviors in an infant model of ethanol self-administration. Involvement of opioid system in the acquisition or expression of this experience will be also inquired. Infant rats (PDs14-17) have to display a target behavior (nose-poke) to gain access to 5% sucrose or 3.75% ethanol. On PD18 an extinction session will be included. At PDs16-17, 6-hr before training, pups will be re-exposed to ethanol under opioid antagonism effects (naloxone). In a follow up experiment, a re-exposure trial will be included at PD18. Prior extinction, pups will receive naloxone and will be re-exposed to ethanol. We aim to observe if opioid system is modulating etha¬nol reinforcing effects, in terms of both appetitive and consummatory behaviors.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

Effects of Yoga in Patients with Chronic Heart Failure: A Meta-Analysis

The use of yoga as an effective cardiac rehabilitation in patients with chronic heart failure (CHF) remains controversial. We performed a meta-analysis to examine the effects of yoga on exercise capacity and health-related quality of life (HRQOL) in patients with CHF. Methods: We searched MEDLINE, Cochrane Central Register of Controlled Trials, Excerpta Medica database, LILACS, Physiotherapy Evidence Database, The Scientific Electronic Library Online, and Cumulative Index to Nursing and Allied Health (from the earliest date available to December 2013) for randomized controlled trials (RCTs) examining the effects of yoga versus exercise and/or of yoga versus control on exercise capacity (peakVO2) and quality-of-life (HRQOL) in CHF. Two reviewers selected studies independently. Weighted mean differences (WMDs) and 95% confidence intervals (CIs) were calculated, and heterogeneity was assessed using the I2 test. Two studies met the selection criteria (total: 30 yoga and 29 control patients). The results suggested that yoga compared with control had a positive impact on peak VO2 and HRQOL. Peak VO2, WMD (3.87 95% CI: 1.95 to 5.80), and global HRQOL standardized mean differences (-12.46 95% CI: -22.49 to -2.43) improved in the yoga group compared to the control group. Yoga enhances peak VO2 and HRQOL in patients with CHF and could be considered for inclusion in cardiac rehabilitation programs. Larger RCTs are required to further investigate the effects of yoga in patients with CHF.

Meta-Analysis of Ultrafiltration versus Diuretics Treatment Option for Overload Volume Reduction in Patients with Acute Decompensated Heart Failure

Introduction: Although diuretics are mainly used for the treatment of acute decompensated heart failure (ADHF), inadequate responses and complications have led to the use of extracorporeal ultrafiltration (UF) as an alternative strategy for reducing volume overloads in patients with ADHF. Objective: The aim of our study is to perform meta-analysis of the results obtained from studies on extracorporeal venous ultrafiltration and compare them with those of standard diuretic treatment for overload volume reduction in acute decompensated heart failure. Methods: MEDLINE, EMBASE, and the Cochrane Central Register of Controlled Trials databases were systematically searched using a pre‑specified criterion. Pooled estimates of outcomes after 48 h (weight change, serum creatinine level, and all-cause mortality) were computed using random effect models. Pooled weighted mean differences were calculated for weight loss and change in creatinine level, whereas a pooled risk ratio was used for the analysis of binary all-cause mortality outcome. Results: A total of nine studies, involving 613 patients, met the eligibility criteria. The mean weight loss in patients who underwent UF therapy was 1.78 kg [95% Confidence Interval (CI): −2.65 to −0.91 kg; p < 0.001) more than those who received standard diuretic therapy. The post-intervention creatinine level, however, was not significantly different (mean change = −0.25 mg/dL; 95% CI: −0.56 to 0.06 mg/dL; p = 0.112). The risk of all-cause mortality persisted in patients treated with UF compared with patients treated with standard diuretics (Pooled RR = 1.00; 95% CI: 0.64–1.56; p = 0.993). Conclusion: Compared with standard diuretic therapy, UF treatment for overload volume reduction in individuals suffering from ADHF, resulted in significant reduction of body weight within 48 h. However, no significant decrease of serum creatinine level or reduction of all-cause mortality was observed.

Analysis Treatment Guideline versus Clinical Practice Protocol in Patients Hospitalized due to Heart Failure

Background: Despite the availability of guidelines for treatment of heart failure (HF), only a few studies have assessed how hospitals adhere to the recommended therapies. Objectives: Compare the rates of adherence to the prescription of angiotensin-converting enzyme inhibitor or angiotensin II receptor blockers (ACEI/ARB) at hospital discharge, which is considered a quality indicator by the Joint Commission International, and to the prescription of beta-blockers at hospital discharge, which is recommended by national and international guidelines, in a hospital with a case management program to supervise the implementation of a clinical practice protocol (HCP) and another hospital that follows treatment guidelines (HCG). Methods: Prospective observational study that evaluated patients consecutively admitted to both hospitals due to decompensated HF between August 1st, 2006, and December 31st, 2008. We used as comparing parameters the prescription rates of beta-blockers and ACEI/ARB at hospital discharge and in-hospital mortality. Results: We analyzed 1,052 patients (30% female, mean age 70.6 ± 14.1 years), 381 (36%) of whom were seen at HCG and 781 (64%) at HCP. The prescription rates of beta-blockers at discharge at HCG and HCP were both 69% (p = 0.458), whereas those of ACEI/ARB were 83% and 86%, respectively (p = 0.162). In-hospital mortality rates were 16.5% at HCP and 27.8% at HCG (p < 0.001). Conclusion: There was no difference in prescription rates of beta-blocker and ACEI/ARB at hospital discharge between the institutions, but HCP had lower in-hospital mortality. This difference in mortality may be attributed to different clinical characteristics of the patients in both hospitals.

Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015