The promoter of filamentation (POF1) protein from Saccharomyces cerevisiae is an ATPase involved in the protein quality control process

Background: The gene YCL047C, which has been renamed promoter of filamentation gene (POF1), has recently been described as a cell component involved in yeast filamentous growth. The objective of this work is to understand the molecular and biological function of this gene. Results: Here, we report that the protein encoded by the POF1 gene, Pof1p, is an ATPase that may be part of the Saccharomyces cerevisiae protein quality control pathway. According to the results, Δpof1 cells showed increased sensitivity to hydrogen peroxide, tert-butyl hydroperoxide, heat shock and protein unfolding agents, such as dithiothreitol and tunicamycin. Besides, the overexpression of POF1 suppressed the sensitivity of Δpct1, a strain that lacks a gene that encodes a phosphocholine cytidylyltransferase, to heat shock. In vitro analysis showed, however, that the purified Pof1p enzyme had no cytidylyltransferase activity but does have ATPase activity, with catalytic efficiency comparable to other ATPases involved in endoplasmic reticulum-associated degradation of proteins (ERAD). Supporting these findings, co-immunoprecipitation experiments showed a physical interaction between Pof1p and Ubc7p (an ubiquitin conjugating enzyme) in vivo. Conclusions: Taken together, the results strongly suggest that the biological function of Pof1p is related to the regulation of protein degradation.

Food choices and practices during pregnancy of immigrant and Aboriginal women in Canada: a study protocol

Abstract Background Facilitating the provision of appropriate health care for immigrant and Aboriginal populations in Canada is critical for maximizing health potential and well-being. Numerous reports describe heightened risks of poor maternal and birth outcomes for immigrant and Aboriginal women. Many of these outcomes may relate to food consumption/practices and thus may be obviated through provision of resources which suit the women's ethnocultural preferences. This project aims to understand ethnocultural food and health practices of Aboriginal and immigrant women, and how these intersect with respect to the legacy of Aboriginal colonialism and to the social contexts of cultural adaptation and adjustment of immigrants. The findings will inform the development of visual tools for health promotion by practitioners. Methods/Design This four-phase study employs a case study design allowing for multiple means of data collection and different units of analysis. Phase 1 consists of a scoping review of the literature. Phases 2 and 3 incorporate pictorial representations of food choices (photovoice in Phase 2) with semi-structured photo-elicited interviews (in Phase 3). The findings from Phases 1-3 and consultations with key stakeholders will generate key understandings for Phase 4, the production of culturally appropriate visual tools. For the scoping review, an emerging methodological framework will be utilized in addition to systematic review guidelines. A research librarian will assist with the search strategy and retrieval of literature. For Phases 2 and 3, recruitment of 20-24 women will be facilitated by team member affiliations at perinatal clinics in one of the city's most diverse neighbourhoods. The interviews will reveal culturally normative practices surrounding maternal food choices and consumption, including how women negotiate these practices within their own worldview and experiences. A structured and comprehensive integrated knowledge translation plan has been formulated. Discussion The findings of this study will provide practitioners with an understanding of the cultural differences that affect women's dietary choices during maternity. We expect that the developed resources will be of immediate use within the women's units and will enhance counseling efforts. Wide dissemination of outputs may have a greater long term impact in the primary and secondary prevention of these high risk conditions.

Observational study on efficacy of negative expiratory pressure test proposed as screening for obstructive sleep apnea syndrome among commercial interstate bus drivers - protocol study

Abstract Background Obstructive sleep apnea (OSA) is a respiratory disease characterized by the collapse of the extrathoracic airway and has important social implications related to accidents and cardiovascular risk. The main objective of the present study was to investigate whether the drop in expiratory flow and the volume expired in 0.2 s during the application of negative expiratory pressure (NEP) are associated with the presence and severity of OSA in a population of professional interstate bus drivers who travel medium and long distances. Methods/Design An observational, analytic study will be carried out involving adult male subjects of an interstate bus company. Those who agree to participate will undergo a detailed patient history, physical examination involving determination of blood pressure, anthropometric data, circumference measurements (hips, waist and neck), tonsils and Mallampati index. Moreover, specific questionnaires addressing sleep apnea and excessive daytime sleepiness will be administered. Data acquisition will be completely anonymous. Following the medical examination, the participants will perform a spirometry, NEP test and standard overnight polysomnography. The NEP test is performed through the administration of negative pressure at the mouth during expiration. This is a practical test performed while awake and requires little cooperation from the subject. In the absence of expiratory flow limitation, the increase in the pressure gradient between the alveoli and open upper airway caused by NEP results in an increase in expiratory flow. Discussion Despite the abundance of scientific evidence, OSA is still underdiagnosed in the general population. In addition, diagnostic procedures are expensive, and predictive criteria are still unsatisfactory. Because increased upper airway collapsibility is one of the main determinants of OSA, the response to the application of NEP could be a predictor of this disorder. With the enrollment of this study protocol, the expectation is to encounter predictive NEP values for different degrees of OSA in order to contribute toward an early diagnosis of this condition and reduce its impact and complications among commercial interstate bus drivers.

Metabolic, hemodynamic and structural adjustments to low intensity exercise training in a metabolic syndrome model

Background The increase in fructose consumption is paralleled by a higher incidence of metabolic syndrome, and consequently, cardiovascular disease mortality. We examined the effects of 8 weeks of low intensity exercise training (LET) on metabolic, hemodynamic, ventricular and vascular morphological changes induced by fructose drinking in male rats. Methods Male Wistar rats were divided into (n = 8 each) control (C), sedentary fructose (F) and ET fructose (FT) groups. Fructose-drinking rats received D-fructose (100 g/l). FT rats were assigned to a treadmill training protocol at low intensity (30% of maximal running speed) during 1 h/day, 5 days/week for 8 weeks. Measurements of triglyceride concentrations, white adipose tissue (WAT) and glycemia were carried out together with insulin tolerance test to evaluate metabolic profile. Arterial pressure (AP) signals were directly recorded. Baroreflex sensitivity (BS) was evaluated by the tachycardic and bradycardic responses. Right atria, left ventricle (LV) and ascending aorta were prepared to morphoquantitative analysis. Results LET reduced WAT (−37.7%), triglyceride levels (−33%), systolic AP (−6%), heart weight/body weight (−20.5%), LV (−36%) and aortic (−76%) collagen fibers, aortic intima-media thickness and circumferential wall tension in FT when compared to F rats. Additionally, FT group presented improve of BS, numerical density of atrial natriuretic peptide granules (+42%) and LV capillaries (+25%), as well as the number of elastic lamellae in aorta compared with F group. Conclusions Our data suggest that LET, a widely recommended practice, seems to be particularly effective for preventing metabolic, hemodynamic and morphological disorders triggered by MS.

Development of a molecular platform for HTLV confirmatory diagnosis: importance of the internal amplification control

Finnancial Support: CTC/INCTC, FAPESP, FUNDHERP, FINEP.

The Brazilian Network for HIV-1 Genotyping External Quality Control Assurance Programme

The Brazilian network for genotyping is composed of 21 laboratories that perform and analyze genotyping tests for all HIV-infected patients within the public system, performing approximately 25,000 tests per year. We assessed the interlaboratory and intralaboratory reproducibility of genotyping systems by creating and implementing a local external quality control evaluation. Plasma samples from HIV-1-infected individuals (with low and intermediate viral loads) or RNA viral constructs with specific mutations were used. This evaluation included analyses of sensitivity and specificity of the tests based on qualitative and quantitative criteria, which scored laboratory performance on a 100-point system. Five evaluations were performed from 2003 to 2008, with 64% of laboratories scoring over 80 points in 2003, 81% doing so in 2005, 56% in 2006, 91% in 2007, and 90% in 2008 (Kruskal-Wallis, p = 0.003). Increased performance was aided by retraining laboratories that had specific deficiencies. The results emphasize the importance of investing in laboratory training and interpretation of DNA sequencing results, especially in developing countries where public (or scarce) resources are used to manage the AIDS epidemic.

Heme oxygenase-1 activity is involved in the control of Toxoplasma gondii infection in the lung of BALB/c and C57BL/6 and in the small intestine of C57BL/6 mice

Heme oxygenase-1 (HO-1) is an enzyme that catabolizes free heme, which induces an intense inflammatory response. The expression of HO-1 is induced by different stimuli, triggering an anti-inflammatory response during biological stress. It was previously verified that HO-1 is able to induce indoleamine 2,3-dioxygenase (IDO), an enzyme that is induced by IFN-γ in Toxoplasma gondii infection. To verify the role of HO-1 during in vivo T. gondii infection, BALB/c and C57BL/6 mice were infected with the ME49 strain and treated with zinc protoporphyrin IX (ZnPPIX) or hemin, which inhibit or induce HO-1 activity, respectively. The results show that T. gondii infection induced high levels of HO-1 expression in the lung of BALB/c and C57BL6 mice. The animals treated with ZnPPIX presented higher parasitism in the lungs of both lineages of mice, whereas hemin treatment decreased the parasite replication in this organ and in the small intestine of infected C57BL/6 mice. Furthermore, C57BL/6 mice infected with T. gondii and treated with hemin showed higher levels of IDO expression in the lungs and small intestine than uninfected mice. In conclusion, our data suggest that HO-1 activity is involved in the control of T. gondii in the lungs of both mouse lineages, whereas the hemin, a HO-1 inducer, seems to be involved in the control of parasitism in the small intestine of C57BL/6 mice.

Overtraining is associated with DNA damage in blood and skeletal muscle cells of Swiss mice

Abstract: Background: The alkaline version of the single-cell gel (comet) assay is a useful method for quantifying DNA damage. Although some studies on chronic and acute effects of exercise on DNA damage measured by the comet assay have been performed, it is unknown if an aerobic training protocol with intensity, volume, and load clearly defined will improve performance without leading to peripheral blood cell DNA damage. In addition, the effects of overtraining on DNA damage are unknown. Therefore, this study aimed to examine the effects of aerobic training and overtraining on DNA damage in peripheral blood and skeletal muscle cells in Swiss mice. To examine possible changes in these parameters with oxidative stress, we measured reduced glutathione (GSH) levels in total blood, and GSH levels and lipid peroxidation in muscle samples. Results: Performance evaluations (i.e., incremental load and exhaustive tests) showed significant intra and inter-group differences. The overtrained (OTR) group showed a significant increase in the percentage of DNA in the tail compared with the control (C) and trained (TR) groups. GSH levels were significantly lower in the OTR group than in the C and TR groups. The OTR group had significantly higher lipid peroxidation levels compared with the C and TR groups. Conclusions Aerobic and anaerobic performance parameters can be improved in training at maximal lactate steady state during 8 weeks without leading to DNA damage in peripheral blood and skeletal muscle cells or to oxidative stress in skeletal muscle cells. However, overtraining induced by downhill running training sessions is associated with DNA damage in peripheral blood and skeletal muscle cells, and with oxidative stress in skeletal muscle cells and total blood.

Diagnostic accuracy of pulmonary CT angiography at low tube voltage: intraindividual comparison of a normal-dose protocol at 120 kVp and a low-dose protocol at 80 kVp using reduced amount of contrast medium in a simulation study

The purpose of this study was to simulate pulmonary emboli (PE) and image quality at low tube energy and reduced contrast material volume in normal-dose pulmonary CT angiography (CTA) images and to analyze the diagnostic accuracy with normal- and low-dose pulmonary CTA.

The use of a decremental dose regimen in patients treated with a chronic low-dose step-up protocol for WHO Group II anovulation: a prospective randomized multicentre study

BACKGROUND: In women with chronic anovulation, the choice of the FSH starting dose and the modality of subsequent dose adjustments are critical in controlling the risk of overstimulation. The aim of this prospective randomized study was to assess the efficacy and safety of a decremental FSH dose regimen applied once the leading follicle was 10-13 mm in diameter in women treated for WHO Group II anovulation according to a chronic low-dose (CLD; 75 IU FSH for 14 days with 37.5 IU increment) step-up protocol. METHODS: Two hundred and nine subfertile women were treated with recombinant human FSH (r-hFSH) (Gonal-f) for ovulation induction according to a CLD step-up regimen. When the leading follicle reached a diameter of 10-13 mm, 158 participants were randomized by means of a computer-generated list to receive either the same FSH dose required to achieve the threshold for follicular development (CLD regimen) or half of this FSH dose [sequential (SQ) regimen]. HCG was administered only if not more than three follicles >or=16 mm in diameter were present and/or serum estradiol (E(2)) values were <1200 pg/ml. The primary outcome measure was the number of follicles >or=16 mm in size at the time of hCG administration. RESULTS: Clinical characteristics and ovarian parameters at the time of randomization were similar in the two groups. Both CLD and SQ protocols achieved similar follicular growth as regards the total number of follicles and medium-sized or mature follicles (>/=16 mm: 1.5 +/- 0.9 versus 1.4 +/- 0.7, respectively). Furthermore, serum E(2) levels were equivalent in the two groups at the time of hCG administration (441 +/- 360 versus 425 +/- 480 pg/ml for CLD and SQ protocols, respectively). The rate of mono-follicular development was identical as well as the percentage of patients who ovulated and achieved pregnancy. CONCLUSIONS: The results show that the CLD step-up regimen for FSH administration is efficacious and safe for promoting mono-follicular ovulation in women with WHO Group II anovulation. This study confirms that maintaining the same FSH starting dose for 14 days before increasing the dose in step-up regimen is critical to adequately control the risk of over-response. Strict application of CLD regimen should be recommended in women with WHO Group II anovulation.

Does Immediate Access to Birth Control Help Prevent Pregnancy? A Comparison of Onsite Provision Versus Off Campus Referral for Contraception at Two School-Based Clinics

PURPOSE: The purpose of this study was to assess the impact of different policies on access to hormonal contraception and pregnancy rates at two high school-based clinics. METHODS: Two clinics in high schools (Schools A and B), located in a large urban district in the southwest US, provide primary medical care to enrolled students with parental consent; the majority of whom have no health insurance coverage. The hormonal contraceptive dispensing policy of at School clinic A involves providing barrier, hormonal and emergency contraceptive services on site. School clinic B uses a referral policy that directs students to obtain contraception at an off-campus affiliated family planning clinic. Baseline data (age, race and history of prior pregnancy) on female students seeking hormonal contraception at the two clinics between 9/2008-12/2009 were extracted from an electronic administrative database (AHLERS Integrated System). Data on birth control use and pregnancy tests for each student was then tracked electronically through 3/31/2010. The outcomes measures were accessing hormonal contraception and positive pregnancy tests at any point during or after birth control use were started through 12/2009. The appointment keeping rate for contraceptive services and the overall pregnancy rates were compared between the two schools. In addition the pregnancy rates were compared between the two schools for students with and without a prior history of pregnancy. RESULTS: School clinic A: 79 students sought hormonal contraception; mean age 17.5 years; 68% were > 18 years; 77% were Hispanic; and 20% reported prior pregnancy. The mean duration of the observation period was 13 months (4-19 months). All 79 students received hormonal contraception (65% pill and 35% long acting progestin injection) onsite. During the observation period, the overall pregnancy rate was 6% (5/79); 4.7% (3/63) among students with no prior pregnancy. School clinic B: 40 students sought hormonal contraception; mean age 17.5 years; 52% > 18 years; 88 % were Hispanic; and 7.5% reported prior pregnancy. All 40 students were referred to the affiliated clinic. The mean duration of the observation period was 11.9 months (4-19 months). 50% (20) kept their appointment. Pills were dispensed to 85% (17/20) and 15% (3/20) received long acting progestin injection. The overall pregnancy rate was 20% (8/40); 21.6% (8/37) among students with no prior pregnancy. A significantly higher frequency of students seeking hormonal contraception kept their initial appointment for birth control at the school dispensing onsite contraception compared to the school with a referral policy for contraception (p<0.05). The pregnancy rate was significantly higher for the school with a referral policy for contraception compared to the school with onsite contraceptive services (p< 0.05). The pregnancy rate was also significantly higher for students without a prior history of pregnancy in the school with a referral policy for contraception (21.6%) versus the school with onsite contraceptive services (4.7%) (p< 0.05). CONCLUSION: This preliminary study showed that School clinic B with a referral policy had a lower appointment keeping rate for contraceptive services and a higher pregnancy rate than School clinic A with on-site contraceptive services. An on-site dispensing policy for hormonal contraceptives at high school-based health clinics may be a convenient and effective approach to prevent unintended first and repeat pregnancies among adolescents who seek hormonal contraception. This study has strong implications for reproductive health policy, especially as directed toward high-risk teenage populations.

Impact of medium-term exposure to elevated pCO2 levels on the physiological energetics of the mussel Mytilus chilensis

This study evaluated the impact of medium-term exposure to elevated pCO2 levels (750-1200 ppm) on the physiological processes of juvenile Mytilus chilensis mussels over a period of 70 d in a mesocosm system. Three equilibration tanks filled with filtered seawater were adjusted to three pCO2 levels: 380 (control), 750 and 1200 ppm by bubbling air or an air-CO2 mixture through the water. For the control, atmospheric air (with aprox. 380 ppm CO2) was bubbled into the tank; for the 750 and 1200 ppm treatments, dry air and pure CO2 were blended to each target concentration using mass flow controllers for air and CO2. No impact on feeding activity was observed at the beginning of the experiment, but a significant reduction in clearance rate was observed after 35 d of exposure to highly acidified seawater. Absorption rate and absorption efficiency were reduced at high pCO2 levels. In addition, oxygen uptake fell significantly under these conditions, indicating a metabolic depression. These physiological responses of the mussels resulted in a significant reduction of energy available for growth (scope for growth) with important consequences for the aquaculture of this species during medium-term exposure to acid conditions. The results of this study clearly indicate that high pCO2 levels in the seawater have a negative effect on the health of M. chilensis. Therefore, the predicted acidification of seawater associated with global climate change could be harmful to this ecologically and commercially important mussel.

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method.

Herramienta de control de dispositivo móvil mediante un ordenador

Este trabajo fin de máster se integra con el sistema Localiza, un sistema previamente desarrollado para la localización bajo demanda de personas que requieran un cierto grado de supervisión. El proyecto amplia las funciones del sistema Localiza, añadiendo una nueva funcionalidad que permita a un usuario con movilidad reducida controlar su dispositivo móvil a través de su ordenador personal. Este proyecto se integra con el proyecto Localiza bajo el título: “Desarrollo de una herramienta software para el manejo de un teléfono móvil adaptada a personas con discapacidad física severa”. El proyecto citado se centra en el desarrollo de una aplicación móvil, que se comunicara con el ordenador personal del usuario. El desarrollo del sistema residente en el ordenador personal, es el ámbito central que ocupa a este trabajo fin de Master. El usuario final al que está destinada la aplicación desarrollada en este proyecto, es un usuario con grado de discapacidad motórica, de forma que con ligeros movimientos de cabeza sea capaz de controlar remotamente el terminal móvil a través de un ordenador personal. El objetivo principal del proyecto es el control remoto de un terminal móvil desde un ordenador personal. La comunicación entre el terminal móvil y el ordenador personal se ha realizado bajo el protocolo Bluetooth. Para desarrollar la aplicación residente en el ordenador personal, se ha utilizado la plataforma Java. SUMMARY. This Master Tesis develops an application, which is intended to provide an added value to the already existing project Localiza, on-demand position system for people with severe disabilities. This project extends the functions of the Localiza system, adding a new feature that allows a user with limited mobility to control their mobile device. This project is integrated with the project under the title: “Desarrollo de una herramienta software para el manejo de un teléfono móvil adaptada a personas con discapacidad física severa”. The above project it is focused on the development of mobile application and the development of the application that resides in the personal computer is the main work of this project. Both projects are closely related and together they complement. The end-user of the application that is developed in this project is a person with motor disabilities. This person may control the computer mouse with slight head movements. The aim of this project is to facilitate the access to the personal computer and to the mobile telephony environment for disabled people. The Communication between the mobile and personal computer has been conducted under the Bluetooth protocol. To develop the application resident on the personal computer have been used the Java platform.

Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

El uso de aritmética de punto fijo es una opción de diseño muy extendida en sistemas con fuertes restricciones de área, consumo o rendimiento. Para producir implementaciones donde los costes se minimicen sin impactar negativamente en la precisión de los resultados debemos llevar a cabo una asignación cuidadosa de anchuras de palabra. Encontrar la combinación óptima de anchuras de palabra en coma fija para un sistema dado es un problema combinatorio NP-hard al que los diseñadores dedican entre el 25 y el 50 % del ciclo de diseño. Las plataformas hardware reconfigurables, como son las FPGAs, también se benefician de las ventajas que ofrece la aritmética de coma fija, ya que éstas compensan las frecuencias de reloj más bajas y el uso más ineficiente del hardware que hacen estas plataformas respecto a los ASICs. A medida que las FPGAs se popularizan para su uso en computación científica los diseños aumentan de tamaño y complejidad hasta llegar al punto en que no pueden ser manejados eficientemente por las técnicas actuales de modelado de señal y ruido de cuantificación y de optimización de anchura de palabra. En esta Tesis Doctoral exploramos distintos aspectos del problema de la cuantificación y presentamos nuevas metodologías para cada uno de ellos: Las técnicas basadas en extensiones de intervalos han permitido obtener modelos de propagación de señal y ruido de cuantificación muy precisos en sistemas con operaciones no lineales. Nosotros llevamos esta aproximación un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos (ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic (MAA) estadístico para así modelar sistemas que contienen estructuras de control de flujo. Nuestra metodología genera los distintos caminos de ejecución automáticamente, determina las regiones del dominio de entrada que ejercitarán cada uno de ellos y extrae los momentos estadísticos del sistema a partir de dichas soluciones parciales. Utilizamos esta técnica para estimar tanto el rango dinámico como el ruido de redondeo en sistemas con las ya mencionadas estructuras de control de flujo y mostramos la precisión de nuestra aproximación, que en determinados casos de uso con operadores no lineales llega a tener tan solo una desviación del 0.04% con respecto a los valores de referencia obtenidos mediante simulación. Un inconveniente conocido de las técnicas basadas en extensiones de intervalos es la explosión combinacional de términos a medida que el tamaño de los sistemas a estudiar crece, lo cual conlleva problemas de escalabilidad. Para afrontar este problema presen tamos una técnica de inyección de ruidos agrupados que hace grupos con las señales del sistema, introduce las fuentes de ruido para cada uno de los grupos por separado y finalmente combina los resultados de cada uno de ellos. De esta forma, el número de fuentes de ruido queda controlado en cada momento y, debido a ello, la explosión combinatoria se minimiza. También presentamos un algoritmo de particionado multi-vía destinado a minimizar la desviación de los resultados a causa de la pérdida de correlación entre términos de ruido con el objetivo de mantener los resultados tan precisos como sea posible. La presente Tesis Doctoral también aborda el desarrollo de metodologías de optimización de anchura de palabra basadas en simulaciones de Monte-Cario que se ejecuten en tiempos razonables. Para ello presentamos dos nuevas técnicas que exploran la reducción del tiempo de ejecución desde distintos ángulos: En primer lugar, el método interpolativo aplica un interpolador sencillo pero preciso para estimar la sensibilidad de cada señal, y que es usado después durante la etapa de optimización. En segundo lugar, el método incremental gira en torno al hecho de que, aunque es estrictamente necesario mantener un intervalo de confianza dado para los resultados finales de nuestra búsqueda, podemos emplear niveles de confianza más relajados, lo cual deriva en un menor número de pruebas por simulación, en las etapas iniciales de la búsqueda, cuando todavía estamos lejos de las soluciones optimizadas. Mediante estas dos aproximaciones demostramos que podemos acelerar el tiempo de ejecución de los algoritmos clásicos de búsqueda voraz en factores de hasta x240 para problemas de tamaño pequeño/mediano. Finalmente, este libro presenta HOPLITE, una infraestructura de cuantificación automatizada, flexible y modular que incluye la implementación de las técnicas anteriores y se proporciona de forma pública. Su objetivo es ofrecer a desabolladores e investigadores un entorno común para prototipar y verificar nuevas metodologías de cuantificación de forma sencilla. Describimos el flujo de trabajo, justificamos las decisiones de diseño tomadas, explicamos su API pública y hacemos una demostración paso a paso de su funcionamiento. Además mostramos, a través de un ejemplo sencillo, la forma en que conectar nuevas extensiones a la herramienta con las interfaces ya existentes para poder así expandir y mejorar las capacidades de HOPLITE. ABSTRACT Using fixed-point arithmetic is one of the most common design choices for systems where area, power or throughput are heavily constrained. In order to produce implementations where the cost is minimized without negatively impacting the accuracy of the results, a careful assignment of word-lengths is required. The problem of finding the optimal combination of fixed-point word-lengths for a given system is a combinatorial NP-hard problem to which developers devote between 25 and 50% of the design-cycle time. Reconfigurable hardware platforms such as FPGAs also benefit of the advantages of fixed-point arithmetic, as it compensates for the slower clock frequencies and less efficient area utilization of the hardware platform with respect to ASICs. As FPGAs become commonly used for scientific computation, designs constantly grow larger and more complex, up to the point where they cannot be handled efficiently by current signal and quantization noise modelling and word-length optimization methodologies. In this Ph.D. Thesis we explore different aspects of the quantization problem and we present new methodologies for each of them: The techniques based on extensions of intervals have allowed to obtain accurate models of the signal and quantization noise propagation in systems with non-linear operations. We take this approach a step further by introducing elements of MultiElement Generalized Polynomial Chaos (ME-gPC) and combining them with an stateof- the-art Statistical Modified Affine Arithmetic (MAA) based methodology in order to model systems that contain control-flow structures. Our methodology produces the different execution paths automatically, determines the regions of the input domain that will exercise them, and extracts the system statistical moments from the partial results. We use this technique to estimate both the dynamic range and the round-off noise in systems with the aforementioned control-flow structures. We show the good accuracy of our approach, which in some case studies with non-linear operators shows a 0.04 % deviation respect to the simulation-based reference values. A known drawback of the techniques based on extensions of intervals is the combinatorial explosion of terms as the size of the targeted systems grows, which leads to scalability problems. To address this issue we present a clustered noise injection technique that groups the signals in the system, introduces the noise terms in each group independently and then combines the results at the end. In this way, the number of noise sources in the system at a given time is controlled and, because of this, the combinato rial explosion is minimized. We also present a multi-way partitioning algorithm aimed at minimizing the deviation of the results due to the loss of correlation between noise terms, in order to keep the results as accurate as possible. This Ph.D. Thesis also covers the development of methodologies for word-length optimization based on Monte-Carlo simulations in reasonable times. We do so by presenting two novel techniques that explore the reduction of the execution times approaching the problem in two different ways: First, the interpolative method applies a simple but precise interpolator to estimate the sensitivity of each signal, which is later used to guide the optimization effort. Second, the incremental method revolves on the fact that, although we strictly need to guarantee a certain confidence level in the simulations for the final results of the optimization process, we can do it with more relaxed levels, which in turn implies using a considerably smaller amount of samples, in the initial stages of the process, when we are still far from the optimized solution. Through these two approaches we demonstrate that the execution time of classical greedy techniques can be accelerated by factors of up to ×240 for small/medium sized problems. Finally, this book introduces HOPLITE, an automated, flexible and modular framework for quantization that includes the implementation of the previous techniques and is provided for public access. The aim is to offer a common ground for developers and researches for prototyping and verifying new techniques for system modelling and word-length optimization easily. We describe its work flow, justifying the taken design decisions, explain its public API and we do a step-by-step demonstration of its execution. We also show, through an example, the way new extensions to the flow should be connected to the existing interfaces in order to expand and improve the capabilities of HOPLITE.