La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes declarativos (lógico) funcionales como Haskell, Curry o Toy. Los evaluadores parciales se clasifican en dos grandes categorías: online y offline, de acuerdo al momento temporal en que se consideran los aspectos de terminación del proceso de especialización. Los evaluadores parciales online son usualmente más precisos ya que tienen más información disponible. Los evaluadores parciales offline proceden comúnmente en dos etapas; la primera etapa procesa un programa (e.g., para identificar aquellas llamadas a función que se pueden desplegar sin riesgo de no terminación) e incluye anotaciones para guiar las computaciones parciales; entonces, una segunda etapa, la de evaluación parcial propiamente dicha, sólo tiene que obedecer las anotaciones y por tanto el especializador es mucho más rápido que en la aproximación online. En esta tesis se presenta un nuevo esquema de evaluación parcial dirigido por narrowing, más eficiente y que asegura la terminación siguiendo el estilo offline. Para ello, identificamos una caracterización de programas cuasi-terminantes a los que llamamos "no crecientes". En tales programas, las computaciones por narrowing necesario presentan sólo un conjunto finito de términos diferentes (módulo renombramiento de variables). La propiedad de la cuasi-terminación es importante toda vez que su presencia es regularmente una condición suficiente para la terminación del proceso de especialización. Sin embargo, la clase de programas cuasi-terminantes es muy restrictiva, por lo que introducimos un algoritmo que acepta programas inductivamente secuenciales---una clase mucho más amplia sobre la que está definido el narrowing necesario---y anota aquellas partes que violan la caracterización de programas no crecientes. Para procesar de mane / Ramos Díaz, JG. (2007). Una aproximación offline a la evaluación parcial dirigida por narrowing [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1888

El reciente interés de los consumidores por ingerir alimentos que sean más beneficiosos para su salud ha impulsado en los últimos años el mercado de los alimentos funcionales, entendiéndose por alimento funcional cualquier producto alimenticio que proporcione un beneficio para la salud más allá del que aportan sus nutrientes esenciales. Entre las diferentes técnicas de obtención de alimentos funcionales, la impregnación a vacío permite la incorporación de compuestos fisiológicamente activos en determinados alimentos sin alterar su estructura celular inicial, pero seguramente afectando su comportamiento durante operaciones posteriores de estabilización. Mediante la presente Tesis Doctoral se ha estudiado el efecto que la incorporación de diferentes concentraciones de calcio en la matriz estructural de rodajas de manzana (var. Granny Smith) mediante la técnica de impregnación a vacío ejerce sobre la cinética de transferencia de materia asociada a operaciones posteriores de estabilización, tales como la deshidratación osmótica o el secado por aire caliente, en diferentes condiciones. Además, con el objeto de constatar la capacidad del citado catión para prevenir la degradación de las estructuras celulares, también se han evaluado los cambios en las propiedades mecánicas de las rodajas debidos a su procesado, así como el comportamiento de las muestras secadas por aire caliente hasta niveles bajos de humedad durante su rehidratación por inmersión en agua. En el proceso de obtención de rodajas de manzana enriquecidas en calcio por combinación de las técnicas de impregnación a vacío y de deshidratación osmótica, los mayores rendimientos se obtuvieron tras las experiencias llevadas a cabo con las muestras impregnadas con la disolución más concentrada en calcio (IV sac+40% CDR Ca), a temperatura moderada (30-40 °C) y con una disolución de sacarosa de 55 Brix que incluía un 1% de lactato cálcico en su composición. Aunque estas muestras resultaron más firmes, ni su / Barrera Puigdollers, C. (2007). Estudio de la deshidratación osmótica y del secado por aire caliente como operaciones de estabilización de productos de manzana (var. Granny Smith) enriquecidos en calcio [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17577

Systemic lupus erythematosus (SLE) is a chronic and systemic autoimmune disease that primarily affects women during the childbearing years. SLE is characterized by the production of autoantibodies against nucleic acids and their interacting proteins. The exact molecular mechanisms leading to the breakdown of self-tolerance remain to a large extent unknown, but it is well established that they are influenced by both non-genetic (i.e. environmental and hormonal) and genetic factors. SLE is a complex, polygenic disease. Several susceptibility variants have been identified in SLE. However, the functional role in disease pathogenesis for the majority of them remains largely unknown. This thesis includes case-control association studies where the role of the genes TNFSF4 (Paper I), STAT4 (Paper II), CD226 (Paper III), and BLK (Papers IV and V) in the susceptibility of developing SLE was investigated. The primary focus was on the identification of the functional variants underlying the association. For each of these genes, fine mapping was performed using single nucleotide polymorphisms (SNPs), the linkage disequilibrium (LD) was characterized, and the association was narrowed down to specific haplotypes by means of several different statistical genetic strategies. Candidate variants were prioritized for further functional analysis on the basis of their potential effect on the gene function, their association, and/or biological plausibility. In Paper I, the association of TNFSF4 with SLE was validated and attributed to a risk haplotype tagged by SNPs rs1234317-T and rs12039904-T. Paper II provides evidence supporting the presence of at least two independent genetic effects within the STAT4 gene represented by rs3821236-A and rs7574865-A, which correlated with increased levels of gene expression. In Paper III, a functional allele in CD226 (rs727088-C) was identified, which was responsible for decreased levels in both mRNA and protein expression. In Paper IV, two independent genetic effects in the BLK gene were demonstrated. The first one comprised multiple regulatory variants in high LD that were enriched for NFκB and IRF4 binding sites and correlated with low BLK mRNA levels. The second was a low-frequency missense substitution (Ala71Thr) that decreased the BLK protein half-life. In Paper V, a genetic epistatic interaction between BANK1 rs10516487 (GG) and BLK rs2736340 (TT+TC) was demonstrated. Additional molecular analyses established that these molecules interact physically.   These studies have contributed to the dissection of the genetic architecture of SLE. They highlight the allelic heterogeneity of the disease and provide functional links to the associated variants, which has significantly aided in the understanding of SLE disease pathogenesis.

La sang és un subproducte amb un alt potencial de valorització que s'obté en quantitats importants en els escorxadors industrials. Actualment, la majoria de sistemes de recollida de la sang no segueixen unes mesures d'higiene estrictes, pel que esdevé un producte de baixa qualitat microbiològica. Conseqüentment, l'aprofitament de la sang és una sortida poc estimulant des del punt de vista econòmic, ja que acostuma a perdre les qualitats que permetrien l'obtenció de productes d'alt valor afegit. El capítol I del present treball s'inclou dins d'un projecte que proposa la inoculació de bacteris de l'àcid làctic (LAB) com un cultiu bioconservador de la sang, un sistema senzill i de baix cost que cerca l'estabilitat de la sang, tant microbiològica com fisicoquímica, durant el període del seu emmagatzematge. El capítol II s'emmarca dins d'un projecte que cerca la millora de l'aprofitament integral de la sang que, en el cas de la fracció plasmàtica, es centra en l'estudi de la funcionalitat dels seus principals constituents. Conèixer la contribució dels components majoritaris ha de permetre la millora de la funcionalitat dels ingredients alimentaris derivats. Els resultats presentats en aquesta tesi poden ajudar a la valorització de la sang porcina d'escorxadors industrials, mitjançant els coneixements adquirits pel que fa a la millora del seu sistema de recollida i del desenvolupament d'ingredients alimentaris amb interessants propietats funcionals. / Blood is a by-product obtained in large amounts in industrial slaughterhouses with a high potential of valorisation. Currently, most of the blood collecting systems are not subjected to strict hygienic measures hence it becomes a product with low microbiological quality. As a result, the use of blood for consumption purposes is not a stimulating prospect from an economic point of view, because the intrinsic worth allowing the development of high value-added products is normally lost.Chapter I of the present dissertation is included within a research project that suggests lactic acid bacteria (LAB) as a blood biopreservative culture: a simple, inexpensive system to keep the stability of blood both in terms of microbiological and physicochemical quality, during its storage.Chapter II is framed within a research project that investigates ways to improve the use of blood as a food ingredient, which, in the case of plasma, is focused on the functionality of its main protein constituents. The knowledge of the contribution of each constituent can be used to improve the functional properties of plasma-based ingredients. The results presented in this thesis dissertation may help the valorisation of porcine blood from industrial slaughterhouses, thanks to the acquired knowledge about the improvement of blood preservation and the development of plasma-based food ingredients with interesting functional properties.

This has paper has two main purposes: to analyze the translation of specialized terminology and ways of addressing the reader in a specialized tourist text in Spanish and its Swedish target text. The terminological difficulties on volcanism in the translation concerns the fact that the semantic field on this topic is diversified in the Canary Islands, contrary to the semantic field on volcanoes in Swedish. The theoretical background in this paper gives keys to describing the meaning of words in terms of connotation and denotation and describes how to use semantic components to solve the difficulties of terminology. The theory applied to the difficulties concerning ways of addressing the reader in the source text, explains the relation between the sender and the reader in terms of distance and closenes. The paper shows that the source text is inconsistent in this matter. To solve this task the translator has adopted a homogeneous way of addressing the reader, to achieve a target text loyal to the Swedish speaking reader and to consistency. The translation of tourist texts has been thought of as being an easy task, not demanding too much of its translators. This paper aims at showing that this is not the case.