Association of long-term nicotine abstinence with normal metabotropic glutamate receptor-5 binding

BACKGROUND Nicotine addiction is a major public health problem and is associated with primary glutamatergic dysfunction. We recently showed marked global reductions in metabotropic glutamate receptor type 5 (mGluR5) binding in smokers and recent ex-smokers (average abstinence duration of 25 weeks). The goal of this study was to examine the role of mGluR5 downregulation in nicotine addiction by investigating a group of long-term ex-smokers (abstinence >1.5 years), and to explore associations between mGluR5 binding and relapse in recent ex-smokers. METHODS Images of mGluR5 receptor binding were acquired in 14 long-term ex-smokers, using positron emission tomography with radiolabeled [11C]ABP688, which binds to an allosteric site with high specificity. RESULTS Long-term ex-smokers and individuals who had never smoked showed no differences in mGluR5 binding in any of the brain regions examined. Long-term ex-smokers showed significantly higher mGluR5 binding than recent ex-smokers, most prominently in the frontal cortex (42%) and thalamus (57%). CONCLUSIONS Our findings suggest that downregulation of mGluR5 is a pathogenetic mechanism underlying nicotine dependence and the high relapse rate in individuals previously exposed to nicotine. Therefore, mGluR5 receptor binding appears to be an effective biomarker in smoking and a promising target for the discovery of novel medication for nicotine dependence and other substance-related disorders.

Neutrality in the choice of number of firms or level of fixed costs in calibrating an Armington-Krugman-Melitz encompassing module for applied general equilibrium models

This paper shows how an Armington-Krugman-Melitz encompassing module based on Dixon and Rimmer (2012) can be calibrated, and clarifies the choice of initial levels for two kinds of number of firms, or parameter values for two kinds of fixed costs, that enter a Melitz-type specification can be set freely to any preferred value, just as the cases we derive quantities from given value data assuming some of the initial prices to be unity. In consequence, only one kind of additional information, which is on the shape parameter related to productivity, just is required in order to incorporate Melitz-type monopolistic competition and heterogeneous firms into a standard applied general equilibrium model. To be a Krugman-type, nothing is needed. This enables model builders in applied economics to fully enjoy the featured properties of the theoretical models invented by Krugman (1980) and Melitz (2003) in practical policy simulations at low cost.

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.

Correlation of α-Fetoprotein Expression in Normal Hepatocytes during Development with Tyrosine Phosphorylation and Insulin Receptor Expression

The molecular mechanism of hepatic cell growth and differentiation is ill defined. In the present study, we examined the putative role of tyrosine phosphorylation in normal rat liver development and in an in vitro model, the α-fetoprotein-producing (AFP+) and AFP-nonproducing (AFP−) clones of the McA-RH 7777 rat hepatoma. We demonstrated in vivo and in vitro that the AFP+ phenotype is clearly associated with enhanced tyrosine phosphorylation, as assessed by immunoblotting and flow cytometry. Moreover, immunoprecipitation of proteins with anti-phosphotyrosine antibody showed that normal fetal hepatocytes expressed the same phosphorylation pattern as stable AFP+ clones and likewise for adult hepatocytes and AFP− clones. The tyrosine phosphorylation of several proteins, including the β-subunit of the insulin receptor, insulin receptor substrate-1, p85 regulatory subunit of phosphatidylinositol-3-kinase, and ras-guanosine triphosphatase-activating protein, was observed in AFP+ clones, whereas the same proteins were not phosphorylated in AFP− clones. We also observed that fetal hepatocytes and the AFP+ clones express 4 times more of the insulin receptor β-subunit compared with adult hepatocytes and AFP− clones and, accordingly, that these AFP+ clones were more responsive to exogenous insulin in terms of protein tyrosine phosphorylation. Finally, growth rate in cells of AFP+ clones was higher than that measured in cells of AFP− clones, and inhibition of phosphatidylinositol-3-kinase by LY294002 and Wortmannin blocked insulin- and serum-stimulated DNA synthesis only in cells of AFP+ clones. These studies provide evidences in support of the hypothesis that signaling via insulin prevents hepatocyte differentiation by promoting fetal hepatocyte growth.

Quantitative analysis of senile plaques in Alzheimer disease: observation of log-normal size distribution and molecular epidemiology of differences associated with apolipoprotein E genotype and trisomy 21 (Down syndrome).

The discovery that the epsilon 4 allele of the apolipoprotein E (apoE) gene is a putative risk factor for Alzheimer disease (AD) in the general population has highlighted the role of genetic influences in this extremely common and disabling illness. It has long been recognized that another genetic abnormality, trisomy 21 (Down syndrome), is associated with early and severe development of AD neuropathological lesions. It remains a challenge, however, to understand how these facts relate to the pathological changes in the brains of AD patients. We used computerized image analysis to examine the size distribution of one of the characteristic neuropathological lesions in AD, deposits of A beta peptide in senile plaques (SPs). Surprisingly, we find that a log-normal distribution fits the SP size distribution quite well, motivating a porous model of SP morphogenesis. We then analyzed SP size distribution curves in genotypically defined subgroups of AD patients. The data demonstrate that both apoE epsilon 4/AD and trisomy 21/AD lead to increased amyloid deposition, but by apparently different mechanisms. The size distribution curve is shifted toward larger plaques in trisomy 21/AD, probably reflecting increased A beta production. In apoE epsilon 4/AD, the size distribution is unchanged but the number of SP is increased compared to apoE epsilon 3, suggesting increased probability of SP initiation. These results demonstrate that subgroups of AD patients defined on the basis of molecular characteristics have quantitatively different neuropathological phenotypes.

Study of the effect of the increased cost of living on salaries of county employees, with emphasis upon those receiving less than $140.00 per month.

Prepared by Howard E. Earl, staff member. cf. p. 10.

A key, opening the way to every capacity how to distinguish the religion professed by the people called Quakers, from the perversions and misrepresentations of their adversaries : With a brief exhortation to all sorts of people ... /

Cover title.

Experimental essays on medical and philosophical subjects : particularly, I. On the fermentation of alimentary mixtures, and digestion of the food. II. On the nature and properties of fixed air. III. On the respective powers, and manner of acting, of the different kinds of antiseptics. IV. On the scurvy ; with a proposal for trying new methods to prevent or cure the same, at sea. V. On the dissolvent power of quick-lime ; and a further investigation of the properties of fixed air /

Mode of access: Internet.

Efficient allocation of research funds : economic evaluation methods with case studies in building technology /

"December 1979."

Labor in Europe : Reports from the consuls of the United States in th several countries of Europe on the rates of wages, cost of living to the laboring classes, past and present wages, &c., in their several districts, in response to a circular from the Department of state ... together with a letter from the secretary of state transmitting the same to the House of representatives.

Mode of access: Internet.

Nature displayed in her mode of teaching language to man : being a new and infallible method of acquiring languages with unparalleled rapidity : deduced from the analysis of the human mind and consequently suited to every capacity /

Mode of access: Internet.