Incremental Verification of Timing Constraints for Real-Time Systems

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.

Moderating effects of management control systems and innovation on performance. Simple methods for correcting the effects of measurement error for interaction effects in small samples

In the accounting literature, interaction or moderating effects are usually assessed by means of OLS regression and summated rating scales are constructed to reduce measurement error bias. Structural equation models and two-stage least squares regression could be used to completely eliminate this bias, but large samples are needed. Partial Least Squares are appropriate for small samples but do not correct measurement error bias. In this article, disattenuated regression is discussed as a small sample alternative and is illustrated on data of Bisbe and Otley (in press) that examine the interaction effect of innovation and style of use of budgets on performance. Sizeable differences emerge between OLS and disattenuated regression

Prediction of glucose excursions under uncertain parameters and food intake in intensive insulin therapy for type 1 diabetes mellitus

Considering the difficulty in the insulin dosage selection and the problem of hyper- and hypoglycaemia episodes in type 1 diabetes, dosage-aid systems appear as tremendously helpful for these patients. A model-based approach to this problem must unavoidably consider uncertainty sources such as the large intra-patient variability and food intake. This work addresses the prediction of glycaemia for a given insulin therapy face to parametric and input uncertainty, by means of modal interval analysis. As result, a band containing all possible glucose excursions suffered by the patient for the given uncertainty is obtained. From it, a safer prediction of possible hyper- and hypoglycaemia episodes can be calculated

Búsqueda de selección en el polimorfismo 677C>T (c.665C>T) del gen de la metilentetrahidrofolato reductasa (MTHFR) en una población Colombiana

Se realizó un estudio genético – poblacional en dos grupos etarios de población colombiana con la finalidad de evaluar las diferencias genéticas relacionadas con el polimorfismo MTHFR 677CT en busca de eventos genéticos que soporten la persistencia de este polimorfismo en la especie humana debido que este ha sido asociado con múltiples enfermedades. De esta manera se genotipificaron los individuos, se analizaron los genotipos, frecuencias alélicas y se realizaron diferentes pruebas genéticas-poblacionales. Contrario a lo observado en poblaciones Colombianas revisadas se identificó la ausencia del Equilibrio Hardy-Weinberg en el grupo de los niños y estructuras poblacionales entre los adultos lo que sugiere diferentes historias demográficas y culturales entre estos dos grupos poblacionales al tiempo, lo que soporta la hipótesis de un evento de selección sobre el polimorfismo en nuestra población. De igual manera nuestros datos fueron analizados junto con estudios previos a nivel nacional y mundial lo cual sustenta que el posible evento selectivo es debido a que el aporte de ácido fólico se ha incrementado durante las últimas dos décadas como consecuencia de las campañas de fortificación de las harinas y suplementación a las embarazadas con ácido fólico, por lo tanto aquí se propone un modelo de selección que se ajusta a los datos encontrados en este trabajo se establece una relación entre los patrones nutricionales de la especie humana a través de la historia que explica las diferencias en frecuencias de este polimorfismo a nivel espacial y temporal.  

Evaluación de tecnologías sanitarias aplicada a la selección de un módulo de proteína para uso hospitalario

Introducción: La evaluación de tecnologías en salud aplicadas a la selección de un módulo de proteína para uso hospitalario, tiene como finalidad servir de apoyo en la elección de productos costo efectivos y seguros, con el fin de favorecer la toma de decisiones a los diferentes agentes que participan en la elección de alternativas terapéuticas, recomendadas en pacientes con necesidades elevadas de proteínas, como es el caso de la presente investigación. Objetivo: Aplicar un método matemático - multicriterio que permita evaluar los módulos de proteína disponibles en el mercado para la terapia nutricional institucional. Métodos: Se establecieron dos fases, una revisión de la literatura para establecer y priorizar los criterios de evaluación técnica de las diferentes ofertas de módulos de proteína, y dos se realizó una aplicación de un modelo matemático con el fin de considerar el modulo proteico para uso dentro de las instituciones hospitalarias, el cual consistió en la asignación de un valor a cada una de las variables mediante una escala diferencial semántica establecida, que permitieron calcular el peso porcentual de cada una de las variables, cuya sumatoria arrojo la calificación porcentual de cada alternativa. Resultados: Respecto a la búsqueda de criterios de evaluación técnica para las diferentes ofertas de módulos de proteína, en la literatura se identificaron las siguientes variables para evaluación, la naturaleza o equivalencia, condiciones de administración y uso, seguridad, y eficacia. La naturaleza se evaluó mediante la calificación del cómputo químico de aminoácidos corregido por digestibilidad proteica (PDCAAS) con un peso en la evaluación del 39.05%, en referencia a las condiciones de administración y uso se tuvo en cuenta factores incluidos en los sistemas de distribución por dosis unitaria con un peso del 27.61%, la eficacia fue definida por la tasa de eficiencia proteica (PER) la cual impacta el 19.53% de la calificación y finalmente, el criterio de seguridad con un 13.81% referente al empaque y etiquetado. Conclusiones: Al realizar la evaluación de cuatro alternativas de módulos de proteína, ofertadas por las diferentes casas farmacéuticas, la mayor puntuación correspondiente a las alternativas con una calificación superior al 90%, la obtuvieron dos alternativas de módulos de proteína para uso hospitalario, las cuales contienen proteínas del suero (“Whey”) y aminoácidos en combinaciones.

Gestión de la cadena de suministros desde la dinámica de sistemas. Aproximación al mejoramiento de la toma de decisiones

El objetivo de este trabajo es hacer un estudio sobre la cadena de suministros en organizaciones empresariales desde la Dinámica de Sistemas y como esta puede aportar al desempeño y el control de las cadenas de suministros. Se buscará Abordar el cocimiento sobre tres perspectivas de Supply Chain y su relación con la dinámica de sistemas. También se buscará identificar los tipos de integración en las actividades de la gestión en la cadena de suministros y sus horizontes de planeación. Por último, se pretende analizar las aplicaciones de Supply Chain Management que se han basado en el uso de la metodología de dinámica de sistemas. Para esto, la investigación empezará por definir la problemática alrededor de unir estas dos áreas y definirá el marco teórico que fundan estas dos disciplinas. Luego se abordará la metodología usada por la Dinámica de Sistemas y los diferentes aspectos de la cadena de suministros. Se Ahondará en el acercamiento de las dos disciplinas y como convergen ayudando la SD a la SCM (Supply Chain Management). En este punto también se describirán los trabajos en los diferentes enfoques que se han hecho a partir de uso de la dinámica de sistemas. Por último, presentaremos las correspondientes conclusiones y comentarios acerca de este campo de investigación y su pertinencia en el campo de la Supply Chain. Esta investigación abarca dos grandes corrientes de pensamiento, una sistémica, a través de la metodología de dinámica de sistemas y la otra, lógico analítica la cual es usada en Supply Chain. Se realizó una revisión de la literatura sobre las aplicaciones de dinámica de sistemas (SD) en el área de Supply Chain, sus puntos en común y se documentaron importantes empleos de esta metodología que se han hecho en la gestión de la cadena de suministros.

Caracterització i revaloració de la fracció plasmàtica de la sang de porc procedent d'escorxadors industrials

La tesi s'ha estructurat en tres apartats que, en conjunt, han de permetre determinar les possibilitats d'aprofitament dins la mateixa indústria alimentària de la fracció plasmàtica de la sang de porc generada per escorxadors que utilitzen sistemes oberts de recollida higiènica. 1. En la primera part s'analitza la composició de la sang higiènica que s'està recollint actualment i s'estudien les característiques tant físico-químiques com microbiològiques que determinen la seva qualitat. La caracterització s'ha realitzat amb sang recollida en diferents escorxadors industrials de les comarques de Girona i s'ha centrat principalment en l'estudi de la contaminació microbiològica i el nivell d'hemòlisi de la sang. S'ha fet un disseny experimental que ha permès alhora valorar l'efecte d'alguns factors sobre la qualitat de la sang: possibles diferències relacionades amb (1) la climatologia del període de l'any en el qual es fa la recollida, (2) particularitats dels escorxadors (grandària, sistemes de dessagnat, tipus, dosi i sistema de dosificació de l'anticoagulant, condicions de processament, maneig i emmagatzematge després de la recollida, etc.). Els resultats obtinguts ens permeten constatar que, en les condicions actuals, la sang que s'està recollint en els escorxadors estudiats no es pot considerar adequada per a una matèria primera de productes destinats a alimentació humana. La major part de la microbiota contaminant s'adquireix en el propi sagnador. S'ha constatat que el sistema de dessagnat en posició horitzontal podria ser una mesura útil per minimitzar la contaminació d'origen fecal o provinent de la pell de l'animal sacrificat i que la separació immediata de les fraccions en el propi escorxador també pot contribuir a reduir la contaminació. Així doncs, en el benentès que l'efectivitat pot obtenir-se del conjunt de mesures preses, més que de l'aplicació d'una sola d'elles, es suggereix la introducció d'una sèrie d'actuacions que potser permetrien reduir els nivells de contaminació que s'obtenen actualment. El tractament mecànic de la sang, el sistema d'addició d'anticoagulant, el volum i concentració de la solució anticoagulant afegida i el període d'emmagatzematge són els factors responsables de l'hemòlisi; mentre que nivells elevats de contaminació microbiològica i el tipus d'anticoagulant utilitzat deterrminen la velocitat d'increment de l'hemòlisi de sang refrigerada. S'ha constatat que quan la sang no pot ser processada immediatament i s'ha d'emmagatzemar en refrigeració és millor utilitzar citrat sòdic enlloc de polifosfat com a anticoagulant ja que l'increment d'hemòlisi es dóna més lentament. 2. El segon apartat s'ha centrat en la fracció plasmàtica de la sang. S'ha utilitzat la deshidratació per atomització com a tecnologia de conservació del plasma i s'ha fet una caracterització del producte en pols resultant des del punt de vista de composició i qualitat. A més de la contaminació microbiològica, que determina la qualitat higiènico-sanitària del producte, s'ha realitzat un estudi de les propietats funcionals que podrien fer del plasma un producte útil en la formulació d'aliments (capacitat escumant, emulsionant, gelificant). S'ha fet especial incidència en (1) determinar l'efecte del procés tecnològic de deshidratació sobre la funcionalitat del producte i (2) estudiar l'estabilitat del plasma deshidratat durant el període d'emmagatzematge. En les condicions de deshidratació per atomització aplicades no es provoca desnaturalització de la fracció proteica i s'obté un producte suficientment deshidratat, amb una aw<0,4 per permetre suposar una bona estabilitat. Algunes mostres de plasma deshidratat analitzades presenten nivells detectables de determinats residus (sulfonamides i corticosteroides). La qualitat microbiològica del producte en pols reflecteix l'elevada contaminació que contenia la matèria primera utilitzada, tot i que la deshidratació per atomització ha comportat la reducció en una unitat logarítmica de la càrrega contaminant. Els recomptes generals de microorganismes són encara preocupants i més tenint en compte que s'ha evidenciat la presència de toxines estafilocòciques en algunes mostres. L'avaluació de les propietats funcionals del producte deshidratat en relació a les que presentava el plasma líquid ens ha permès comprovar que: (1) El procés de deshidratació no ha afectat la solubilitat de les proteïnes. Això, junt amb el fet que no s'obtinguin diferències significatives en l'anàlisi calorimètrica de mostres líquides o deshidratades, permet concloure que el procés no provoca desnaturalització proteica. (2) No s'observen efectes negatius del procés tecnològic sobre la capacitat escumant ni en l'activitat emulsionant de les proteïnes plasmàtiques, dues propietats funcionals que possibiliten l'aplicació del plasma amb aquestes finalitats en l'elaboració d'alguns aliments. (3) La deshidratació tampoc perjudica de manera important les característiques dels gels que s'obtenen per escalfament, ja que els gels obtinguts a partir del plasma líquid i del plasma deshidratat presenten la mateixa capacitat de retenció d'aigua i no s'observen diferències en la microestructura de la xarxa proteica d'ambdós tipus de gel. Tanmateix, els que s'obtenen a partir del producte en pols mostren una menor resistència a la penetració. L'estudi d'estabilitat ens ha permès comprovar que la mostra de plasma deshidratat per atomització perd algunes de les seves propietats funcionals (facilitat de rehidratació, capacitat de retenció d'aigua i fermesa dels gels) si s'emmagatzema a temperatura ambient, mentre que aquestes característiques es mantenen un mínim de sis mesos quan el producte en pols es conserva a temperatura de refrigeració. 3. En l'última part, tenint en compte les conclusions derivades dels resultats dels apartats anteriors, s'han assajat tres possibles sistemes de reducció de la contaminació aplicables a la fracció plasmàtica com a pas previ a la deshidratació, per tal de millorar les característiques de qualitat microbiològica i les perspectives d'estabilitat del producte durant l'emmagatzematge. S'ha determinat l'eficàcia, i l'efecte sobre les propietats del plasma deshidratat, que poden tenir tractaments d'higienització basats en la centrifugació, la microfiltració tangencial i l'aplicació d'altes pressions. Els tractaments de bactofugació aplicats permeten reduir entre el 96 i el 98% la contaminació microbiana del plasma. Aquesta reducció s'aconsegueix tant amb un sistema discontinu com amb un sistema continu treballant a una velocitat de 12 L/h, fet que permetria adaptar el tractament de bactofugació a un procés de producció industrial. Un sistema combinat de bactofugació en continu i microfiltració tangencial permet incrementar l'eficàcia fins a un 99,9 % de reducció. Cal tenir present, però, que aquest tractament provoca també una disminució de l'extracte sec que afecta negativament les propietats funcionals del plasma líquid. Malgrat suposar una pèrdua pel que fa al rendiment, aquest efecte negatiu sobre la funcionalitat no suposaria cap inconvenient si s'utilitzés la deshidratació com a tecnologia de conservació del plasma, ja que es podria corregir l'extracte sec durant la reconstitució del producte. Caldria avaluar si la millora en la qualitat higiènico-sanitària del producte compensa o no les pèrdues que suposa aquest sistema d'higienització combinat. Amb relació als tractaments d'alta pressió, de totes les condicions de tractament assajades, les pressions de fins 450 MPa permeten obtenir plasma sense modificacions importants que impedeixin la seva deshidratació per atomització. Així doncs, les condicions de procés que s'han aplicat són pressuritzacions a 450 MPa de 15 minuts de durada. La temperatura de tractament que s'ha mostrat més eficaç en la reducció dels recomptes de microorganismes ha estat de 40ºC. Els tractaments a aquesta temperatura permeten assolir reduccions del 99,97% i disminuir en un 80% la capacitat de creixement dels microorganismes supervivents a la pressurització en relació a la que presentava la població contaminant del plasma abans del tractament. L'estudi de l'efecte d'aquest tractament (450 MPa, 15 min i 40ºC) sobre les propietats funcionals del plasma ha permès observar que la pressurització comporta una disminució en la solubilitat del producte però una millora en les propietats de superfície -estabilitat de l'escuma i activitat emulsionant- i un increment de la capacitat de retenció d'aigua i de la duresa dels gels obtinguts per escalfament. Calen més estudis per confirmar i caracteritzar aquesta millora en la funcionalitat, així com per establir si el tractament de pressurització afecta també l'estabilitat del producte durant l'emmagatzematge. De totes les tecnologies d'higienització assajades, l'alta pressió és la que permet obtenir millors resultats en el sentit de poder garantir un producte de bona qualitat microbiològica i segur, des del punt de vista sanitari i tecnològic, per a la seva utilització com a ingredient alimentari.

Aislamiento, identificación y conservación de cultivos de bacterias lácticas antagonistas de microbiota contaminante de sangre de matadero

La sangre obtenida en el matadero es un producto altamente contaminado que requiere un procesamiento inmediato si se pretende utilizarla como insumo alimentario en la fabricación de productos destinados al consumo humano. Si bien es cierto que los sistemas de higienización podrían ser muy eficientes desde el punto de vista de calidad microbiológica, su instalación en la línea de sacrificio comportaría muchas dificultades desde el punto de vista técnico y en algún caso sería muy costoso. La bioconservación podría ser una alternativa para mejorar la calidad microbiológica de la sangre, alargar su vida útil y reducir las posibilidades de procesamiento inmediato. El presente estudio nos permitiría formular la posibilidad de aplicar la bioconservación en sangre de cerdo procedente de matadero industrial, utilizando bacterias ácido lácticas (BAL) como cultivo bioprotector, para lo cual se aislaron cepas de BAL autóctonas y se confeccionaron dos colecciones una de BAL mesófilas y otra de psicrótrofas. Se evaluó el potencial antagonista de la colección de BAL mesófilas y psicrótrofas a 30ºC y a 15ºC respectivamente frente a bacterias contaminantes habituales de este subproducto. Las BAL que demostraron antagonismo en placa (7,1% a 30ºC y 11% a 15ºC) fueron seleccionadas para evaluar el potencial antagonista en sangre, donde el efecto inhibitorio se vio favorecido por la adición de un 2% glucosa. S.aureus y P. fluorescens fueron los indicadores más inhibidos por las cepas mesófilas, en algunos casos con reducciones superiores a 7 unidades logarítmicas. En condiciones psicrótrofas la bacteria más sensible a la presencia de BAL fue Bacillus sp., donde 8 de las 11 BAL ensayadas permitieron reducciones superiores a 4 logs y 1cepa incluso superiores a 7 logs; se obtuvieron reducciones máximas de 3 logs de E.coli y Pseudomonas fue inhibida por todas las BAL ensayadas, en algún caso con reducciones superiores a 5 logs. Las 5 que cepas que presentaron el espectro de inhibición más amplio en condiciones mesófilas y 7 en condiciones psicrótrofas frente a los microorganismos indicadores contaminantes de sangre de matadero se identificaron mediante técnicas moleculares por comparación de la secuencias correspondientes al gen que codifica la síntesis de 16S ARNr (16S ADNr) con las secuencias publicadas en las bases de datos. De las 7 cepas antagonistas en condiciones psicrótrofas 5 se identificaron como Lactococcus garvieae y 2 como Enterococcus malodoratus/gilvius raffinosus. Todas las BAL con potencial antagonista en condiciones mesófilas pertenecían al género Lactobacillus, 3 de elllas se identificaron como Lactobacillus murinus/animalis y una se identificó como Lactobacillus reuteri. TA20 que tuvo un gran espectro de inhibición a ambas temperaturas se identificó como Lactococcus garvieae. En este estudio se evaluaron tres métodos de conservación a largo plazo de las cepas que mostraron potencial antagonista. Se comparó la liofilización, la atomización frente a la congelación a -80ºC que era método que se había utilizado hasta el momento para conservar ambas colecciones de BAL. En general, los métodos de deshidratación (atomización y liofilización) y mantenimiento en refrigeración a 5ºC de los cultivos deshidratados se han mostrado más eficaces que la congelación.

Development of molecular-based techniques for the detection, identification and quantification of food-borne pathogens

La presencia de microorganismos patógenos en alimentos es uno de los problemas esenciales en salud pública, y las enfermedades producidas por los mismos es una de las causas más importantes de enfermedad. Por tanto, la aplicación de controles microbiológicos dentro de los programas de aseguramiento de la calidad es una premisa para minimizar el riesgo de infección de los consumidores. Los métodos microbiológicos clásicos requieren, en general, el uso de pre-enriquecimientos no-selectivos, enriquecimientos selectivos, aislamiento en medios selectivos y la confirmación posterior usando pruebas basadas en la morfología, bioquímica y serología propias de cada uno de los microorganismos objeto de estudio. Por lo tanto, estos métodos son laboriosos, requieren un largo proceso para obtener resultados definitivos y, además, no siempre pueden realizarse. Para solucionar estos inconvenientes se han desarrollado diversas metodologías alternativas para la detección identificación y cuantificación de microorganismos patógenos de origen alimentario, entre las que destacan los métodos inmunológicos y moleculares. En esta última categoría, la técnica basada en la reacción en cadena de la polimerasa (PCR) se ha convertido en la técnica diagnóstica más popular en microbiología, y recientemente, la introducción de una mejora de ésta, la PCR a tiempo real, ha producido una segunda revolución en la metodología diagnóstica molecular, como pude observarse por el número creciente de publicaciones científicas y la aparición continua de nuevos kits comerciales. La PCR a tiempo real es una técnica altamente sensible -detección de hasta una molécula- que permite la cuantificación exacta de secuencias de ADN específicas de microorganismos patógenos de origen alimentario. Además, otras ventajas que favorecen su implantación potencial en laboratorios de análisis de alimentos son su rapidez, sencillez y el formato en tubo cerrado que puede evitar contaminaciones post-PCR y favorece la automatización y un alto rendimiento. En este trabajo se han desarrollado técnicas moleculares (PCR y NASBA) sensibles y fiables para la detección, identificación y cuantificación de bacterias patogénicas de origen alimentario (Listeria spp., Mycobacterium avium subsp. paratuberculosis y Salmonella spp.). En concreto, se han diseñado y optimizado métodos basados en la técnica de PCR a tiempo real para cada uno de estos agentes: L. monocytogenes, L. innocua, Listeria spp. M. avium subsp. paratuberculosis, y también se ha optimizado y evaluado en diferentes centros un método previamente desarrollado para Salmonella spp. Además, se ha diseñado y optimizado un método basado en la técnica NASBA para la detección específica de M. avium subsp. paratuberculosis. También se evaluó la aplicación potencial de la técnica NASBA para la detección específica de formas viables de este microorganismo. Todos los métodos presentaron una especificidad del 100 % con una sensibilidad adecuada para su aplicación potencial a muestras reales de alimentos. Además, se han desarrollado y evaluado procedimientos de preparación de las muestras en productos cárnicos, productos pesqueros, leche y agua. De esta manera se han desarrollado métodos basados en la PCR a tiempo real totalmente específicos y altamente sensibles para la determinación cuantitativa de L. monocytogenes en productos cárnicos y en salmón y productos derivados como el salmón ahumado y de M. avium subsp. paratuberculosis en muestras de agua y leche. Además este último método ha sido también aplicado para evaluar la presencia de este microorganismo en el intestino de pacientes con la enfermedad de Crohn's, a partir de biopsias obtenidas de colonoscopia de voluntarios afectados. En conclusión, este estudio presenta ensayos moleculares selectivos y sensibles para la detección de patógenos en alimentos (Listeria spp., Mycobacterium avium subsp. paratuberculosis) y para una rápida e inambigua identificación de Salmonella spp. La exactitud relativa de los ensayos ha sido excelente, si se comparan con los métodos microbiológicos de referencia y pueden serusados para la cuantificación de tanto ADN genómico como de suspensiones celulares. Por otro lado, la combinación con tratamientos de preamplificación ha resultado ser de gran eficiencia para el análisis de las bacterias objeto de estudio. Por tanto, pueden constituir una estrategia útil para la detección rápida y sensible de patógenos en alimentos y deberían ser una herramienta adicional al rango de herramientas diagnósticas disponibles para el estudio de patógenos de origen alimentario.

Information sources selection methodology for recommender systems based on intrinsic characteristics and trust measure

El treball desenvolupat en aquesta tesi presenta un profund estudi i proveïx solucions innovadores en el camp dels sistemes recomanadors. Els mètodes que usen aquests sistemes per a realitzar les recomanacions, mètodes com el Filtrat Basat en Continguts (FBC), el Filtrat Col·laboratiu (FC) i el Filtrat Basat en Coneixement (FBC), requereixen informació dels usuaris per a predir les preferències per certs productes. Aquesta informació pot ser demogràfica (Gènere, edat, adreça, etc), o avaluacions donades sobre algun producte que van comprar en el passat o informació sobre els seus interessos. Existeixen dues formes d'obtenir aquesta informació: els usuaris ofereixen explícitament aquesta informació o el sistema pot adquirir la informació implícita disponible en les transaccions o historial de recerca dels usuaris. Per exemple, el sistema recomanador de pel·lícules MovieLens (http://movielens.umn.edu/login) demana als usuaris que avaluïn almenys 15 pel·lícules dintre d'una escala de * a * * * * * (horrible, ...., ha de ser vista). El sistema genera recomanacions sobre la base d'aquestes avaluacions. Quan els usuaris no estan registrat en el sistema i aquest no té informació d'ells, alguns sistemes realitzen les recomanacions tenint en compte l'historial de navegació. Amazon.com (http://www.amazon.com) realitza les recomanacions tenint en compte les recerques que un usuari a fet o recomana el producte més venut. No obstant això, aquests sistemes pateixen de certa falta d'informació. Aquest problema és generalment resolt amb l'adquisició d'informació addicional, se li pregunta als usuaris sobre els seus interessos o es cerca aquesta informació en fonts addicionals. La solució proposada en aquesta tesi és buscar aquesta informació en diverses fonts, específicament aquelles que contenen informació implícita sobre les preferències dels usuaris. Aquestes fonts poden ser estructurades com les bases de dades amb informació de compres o poden ser no estructurades com les pàgines web on els usuaris deixen la seva opinió sobre algun producte que van comprar o posseïxen. Nosaltres trobem tres problemes fonamentals per a aconseguir aquest objectiu: 1 . La identificació de fonts amb informació idònia per als sistemes recomanadors. 2 . La definició de criteris que permetin la comparança i selecció de les fonts més idònies. 3 . La recuperació d'informació de fonts no estructurades. En aquest sentit, en la tesi proposada s'ha desenvolupat: 1 . Una metodologia que permet la identificació i selecció de les fonts més idònies. Criteris basats en les característiques de les fonts i una mesura de confiança han estat utilitzats per a resoldre el problema de la identificació i selecció de les fonts. 2 . Un mecanisme per a recuperar la informació no estructurada dels usuaris disponible en la web. Tècniques de Text Mining i ontologies s'han utilitzat per a extreure informació i estructurar-la apropiadament perquè la utilitzin els recomanadors. Les contribucions del treball desenvolupat en aquesta tesi doctoral són: 1. Definició d'un conjunt de característiques per a classificar fonts rellevants per als sistemes recomanadors 2. Desenvolupament d'una mesura de rellevància de les fonts calculada sobre la base de les característiques definides 3. Aplicació d'una mesura de confiança per a obtenir les fonts més fiables. La confiança es definida des de la perspectiva de millora de la recomanació, una font fiable és aquella que permet millorar les recomanacions. 4. Desenvolupament d'un algorisme per a seleccionar, des d'un conjunt de fonts possibles, les més rellevants i fiable utilitzant les mitjanes esmentades en els punts previs. 5. Definició d'una ontologia per a estructurar la informació sobre les preferències dels usuaris que estan disponibles en Internet. 6. Creació d'un procés de mapatge que extreu automàticament informació de les preferències dels usuaris disponibles en la web i posa aquesta informació dintre de l'ontologia. Aquestes contribucions permeten aconseguir dos objectius importants: 1 . Millorament de les recomanacions usant fonts d'informació alternatives que sigui rellevants i fiables. 2 . Obtenir informació implícita dels usuaris disponible en Internet.

Towards an improved understanding of the nitrate dynamics in lowland, permeable river-systems: Applications of INCA-N

The Integrated Catchment Model of Nitrogen (INCA-N) was applied to the Lambourn and Pang river-systems to integrate current process-knowledge and available-data to test two hypotheses and thereby determine the key factors and processes controlling the movement of nitrate at the catchment-scale in lowland, permeable river-systems: (i) that the in-stream nitrate concentrations were controlled by two end-members only: groundwater and soil-water, and (ii) that the groundwater was the key store of nitrate in these river-systems. Neither hypothesis was proved true or false. Due to equifinality in the model structure and parameters at least two alternative models provided viable explanations for the observed in-stream nitrate concentrations. One model demonstrated that the seasonal-pattern in the stream-water nitrate concentrations was controlled mainly by the mixing of ground- and soil-water inputs. An alternative model demonstrated that in-stream processes were important. It is hoped further measurements of nitrate concentrations made in the catchment soil- and ground-water and in-stream may constrain the model and help determine the correct structure, though other recent studies suggest that these data may serve only to highlight the heterogeneity of the system. Thus when making model-based assessments and forecasts it is recommend that all possible models are used, and the range of forecasts compared. In this study both models suggest that cereal production contributed approximately 50% the simulated in-stream nitrate toad in the two catchments, and the point-source contribution to the in-stream load was minimal. (c) 2006 Elsevier B.V. All rights reserved.

Reduced height (Rht) and photoperiod insensitivity (Ppd) allele associations with establishment and early growth of wheat in contrasting production systems

Near isogenic lines (NILs) varying for genes for reduced height (Rht) and photoperiod insensitivity (Ppd-D1a) in a cv. Mercia background (rht (tall), Rht-B1b, Rht-D1b, Rht-B1c, Rht8c + Ppd-D1a, Rht-D1c, Rht12) were compared at one field site but within contrasting ('organic' vs. 'conventional') rotational and agronomic contexts, in each of 3 years. In the final year, further NILs (rht (tall), Rht-B1b, Rht-D1b, Rht-B1c, Rht-B1b + Rht-D1b, Rht-D1b + Rht-B1c) in both Maris Huntsman and Maris Widgeon backgrounds were added together with 64 lines of a doubled haploid (DH) population [Savannah (Rht-D1b) x Renesansa (Rht-8c + Ppd-D1a)]. Assessments included laboratory tests of germination and coleoptile length, and various field measurements of crop growth between emergence and pre jointing [plant population, tillering, leaf length, ground cover (GC), interception of photosynthetically active radiation (PAR), crop dry matter (DM) and nitrogen accumulation (N), far red: red reflectance ratio (FR:R), crop height, and weed dry matter]. All of the dwarfing alleles except Rht12 in the Mercia background and Rht8c in the DHs were associated with reduced coleoptile length. Most of the dwarfing alleles (depending on background) reduced seed viability. Severe dwarfing alleles (Rht-B1c, Rht-D1c and Rht12) were routinely associated with fewer plant numbers and reduced early crop growth (GC, PAR, DM, N, FR:R), and in 1 year, increased weed DM. In the Mercia background and the DHs the semi-dwarfing allele Rht-D1b was also sometimes associated with reductions in early crop growth; no such negative effects were associated with the marker for Rht8c. When significant interactions between cropping system and genotype did occur it was because differences between lines were more exaggerated in the organic system than in the conventional system. Ppd-D1a was associated positively with plant numbers surviving the winter and early crop growth (GC, FR:R, DM, N, PAR, height), and was the most significant locus in a QTL analysis. We conclude that, within these environmental and system contexts, genes moderating development are likely to be more important in influencing early resource capture than using Rht8c as an alternative semi-dwarfing gene to Rht-D1b.

Comparison of energy evaluation systems and a mechanistic model for milk production by dairy cattle offered fresh grass-based diets

Grass-based diets are of increasing social-economic importance in dairy cattle farming, but their low supply of glucogenic nutrients may limit the production of milk. Current evaluation systems that assess the energy supply and requirements are based on metabolisable energy (ME) or net energy (NE). These systems do not consider the characteristics of the energy delivering nutrients. In contrast, mechanistic models take into account the site of digestion, the type of nutrient absorbed and the type of nutrient required for production of milk constituents, and may therefore give a better prediction of supply and requirement of nutrients. The objective of the present study is to compare the ability of three energy evaluation systems, viz. the Dutch NE system, the agricultural and food research council (AFRC) ME system, and the feed into milk (FIM) ME system, and of a mechanistic model based on Dijkstra et al. [Simulation of digestion in cattle fed sugar cane: prediction of nutrient supply for milk production with locally available supplements. J. Agric. Sci., Cambridge 127, 247-60] and Mills et al. [A mechanistic model of whole-tract digestion and methanogenesis in the lactating dairy cow: model development, evaluation and application. J. Anim. Sci. 79, 1584-97] to predict the feed value of grass-based diets for milk production. The dataset for evaluation consists of 41 treatments of grass-based diets (at least 0.75 g ryegrass/g diet on DM basis). For each model, the predicted energy or nutrient supply, based on observed intake, was compared with predicted requirement based on observed performance. Assessment of the error of energy or nutrient supply relative to requirement is made by calculation of mean square prediction error (MSPE) and by concordance correlation coefficient (CCC). All energy evaluation systems predicted energy requirement to be lower (6-11%) than energy supply. The root MSPE (expressed as a proportion of the supply) was lowest for the mechanistic model (0.061), followed by the Dutch NE system (0.082), FIM ME system (0.097) and AFRCME system(0.118). For the energy evaluation systems, the error due to overall bias of prediction dominated the MSPE, whereas for the mechanistic model, proportionally 0.76 of MSPE was due to random variation. CCC analysis confirmed the higher accuracy and precision of the mechanistic model compared with energy evaluation systems. The error of prediction was positively related to grass protein content for the Dutch NE system, and was also positively related to grass DMI level for all models. In conclusion, current energy evaluation systems overestimate energy supply relative to energy requirement on grass-based diets for dairy cattle. The mechanistic model predicted glucogenic nutrients to limit performance of dairy cattle on grass-based diets, and proved to be more accurate and precise than the energy systems. The mechanistic model could be improved by allowing glucose maintenance and utilization requirements parameters to be variable. (C) 2007 Elsevier B.V. All rights reserved.

Very long chain n-3 polyunsaturated fatty acids in the food chain in the UK and the potential of animal-derived foods to increase intake

The very long chain (VLC) n-3 polyunsaturated fatty acids (PUFA), particularly eicosapentaenoic acid (EPA) and docosahexaenoic acid (DHA), are widely recognised to have beneficial effects on human health. However, recommended intakes of VLC n-3 PUFA (450 mg/day) are not being met by the diet in the majority of the population mainly because of low consumption of oil-rich fish. Current mean intake of VLC n-3 PUFA by adults is estimated to be about 282 mg/day with EPA and DHA contributing about 244 mg/day. Furthermore, the fact that only about 27% of adults eat any oil-rich fish (excluding canned tuna) and knowledge of the poor conversion of α-linolenic acid to EPA and DHA in vivo, particularly in men, leads to the need to review current dietary sources of these fatty acids. Animal-derived foods are likely to have an important function in increasing intake and studies have shown that feeding fish oils to animals can increase the EPA and DHA content of the resulting food products. This paper highlights the importance of examining current and projected consumption trends of meat and other animal products when exploring the potential impact of enriched foods by means of altering animal diets. When related to current food consumption data, potential dietary intakes of EPA+DHA from foods derived from animals fed enriched diets are calculated to be about 231 mg/day. If widely consumed, such foods could have a significant impact on progression of conditions such as cardiovascular disease. Consideration is also given to the sources of VLC n-3 PUFA in animal diets, with the sustainability of fish oil being questioned and the need to investigate the use of alternative dietary sources such as those of algal origin.