Belief Propagation and Revision in Networks with Loops

Local belief propagation rules of the sort proposed by Pearl(1988) are guaranteed to converge to the optimal beliefs for singly connected networks. Recently, a number of researchers have empirically demonstrated good performance of these same algorithms on networks with loops, but a theoretical understanding of this performance has yet to be achieved. Here we lay the foundation for an understanding of belief propagation in networks with loops. For networks with a single loop, we derive ananalytical relationship between the steady state beliefs in the loopy network and the true posterior probability. Using this relationship we show a category of networks for which the MAP estimate obtained by belief update and by belief revision can be proven to be optimal (although the beliefs will be incorrect). We show how nodes can use local information in the messages they receive in order to correct the steady state beliefs. Furthermore we prove that for all networks with a single loop, the MAP estimate obtained by belief revisionat convergence is guaranteed to give the globally optimal sequence of states. The result is independent of the length of the cycle and the size of the statespace. For networks with multiple loops, we introduce the concept of a "balanced network" and show simulati.

A User-Centric Approach to eCertificate for Electronic Identities (eIDs) Management in Mobile Environment

The use of electronic documents is constantly growing and the necessity to implement an ad-hoc eCertificate which manages access to private information is not only required but also necessary. This paper presents a protocol for the management of electronic identities (eIDs), meant as a substitute for the paper-based IDs, in a mobile environment with a user-centric approach. Mobile devices have been chosen because they provide mobility, personal use and high computational complexity. The inherent user-centricity also allows the user to personally manage the ID information and to display only what is required. The chosen path to develop the protocol is to migrate the existing eCert technologies implemented by the Learning Societies Laboratory in Southampton. By comparing this protocol with the analysis of the eID problem domain, a new solution has been derived which is compatible with both systems without loss of features.

Association of genetic variants in complement factor H and factor H-related genes with systemic lupus erythematosus susceptibility

Systemic lupus erythematosus (SLE), a complex polygenic autoimmune disease, is associated with increased complement activation. Variants of genes encoding complement regulator factor H (CFH) and five CFH-related proteins (CFHR1-CFHR5) within the chromosome 1q32 locus linked to SLE, have been associated with multiple human diseases and may contribute to dysregulated complement activation predisposing to SLE. We assessed 60 SNPs covering the CFH-CFHRs region for association with SLE in 15,864 case-control subjects derived from four ethnic groups. Significant allelic associations with SLE were detected in European Americans (EA) and African Americans (AA), which could be attributed to an intronic CFH SNP (rs6677604, in intron 11, Pmeta = 6.6×10-8, OR = 1.18) and an intergenic SNP between CFHR1 and CFHR4 (rs16840639, Pmeta = 2.9×10-7, OR = 1.17) rather than to previously identified disease-associated CFH exonic SNPs, including I62V, Y402H, A474A, and D936E. In addition, allelic association of rs6677604 with SLE was subsequently confirmed in Asians (AS). Haplotype analysis revealed that the underlying causal variant, tagged by rs6677604 and rs16840639, was localized to a ~146 kb block extending from intron 9 of CFH to downstream of CFHR1. Within this block, the deletion of CFHR3 and CFHR1 (CFHR3-1Δ), a likely causal variant measured using multiplex ligation-dependent probe amplification, was tagged by rs6677604 in EA and AS and rs16840639 in AA, respectively. Deduced from genotypic associations of tag SNPs in EA, AA, and AS, homozygous deletion of CFHR3-1Δ (Pmeta = 3.2×10-7, OR = 1.47) conferred a higher risk of SLE than heterozygous deletion (Pmeta = 3.5×10-4, OR = 1.14). These results suggested that the CFHR3-1Δ deletion within the SLE-associated block, but not the previously described exonic SNPs of CFH, might contribute to the development of SLE in EA, AA, and AS, providing new insights into the role of complement regulators in the pathogenesis of SLE.

Multiple sclerosis: evidence and controversies

Introduction: Multiple sclerosis is a chronic recurrent inflammatory disorder of the central nervous system. The pharmacological treatment of multiple sclerosis has been evaluated with multiple controlled clinical trials that allow the clinician to count with evidence based information to decide the more indicated treatment for each patient. Methodology: A review of the scientific literature was conducted to clarify controversial issues in a clinical relevant topic. Development: The diagnostic criteria and different treatments available are reviewed, in order to consider the clinical utility of the disease modifying agents such as the immunomodulatory treatments. The three used types of interferon are well tolerated and reduce in approximately a third the number of bouts in the remitent recurrent form; there is no significant difference between the three of them.

Enfermedad tiroidea autoinmune en pacientes colombianos con lupus eritematoso sistémico

Objetivos: Determinar la prevalencia y los factores asociados con el desarrollo de hipotiroidismo autoinmune (HA) en una cohorte de pacientes con lupus eritematoso sistémico (LES), y analizar la información actual en cuanto a la prevalencia e impacto de la enfermedad tiroidea autoinmune y la autoinmunidad tiroidea en pacientes con LES. Métodos: Este fue un estudio realizado en dos pasos. Primero, un total de 376 pacientes con LES fueron evaluados sistemáticamente por la presencia de: 1) HA confirmado, 2) positividad para anticuerpos tiroperoxidasa/tiroglobulina (TPOAb/TgAb) sin hipotiroidismo, 3) hipotiroidismo no autoinmune, y 4) pacientes con LES sin hipotiroidismo ni positividad para TPOAb/TgAb. Se construyeron modelos multivariados y árboles de regresión y clasificación para analizar los datos. Segundo, la información actual fue evaluada a través de una revisión sistemática de la literatura (RLS). Se siguieron las guías PRISMA para la búsqueda en las bases de datos PubMed, Scopus, SciELO y Librería Virtual en Salud. Resultados: En nuestra cohorte, la prevalencia de HA confirmado fue de 12% (Grupo 1). Sin embargo, la frecuencia de positividad para TPOAb y TgAb fue de 21% y 10%, respectivamente (Grupo 2). Los pacientes con LES sin HA, hipotiroidismo no autoinmune ni positividad para TPOAb/TgAb constituyeron el 40% de la corhorte. Los pacientes con HA confirmada fueron estadísticamente significativo de mayor edad y tuvieron un inicio tardío de la enfermedad. El tabaquismo (ORA 6.93, IC 95% 1.98-28.54, p= 0.004), la presencia de Síndrome de Sjögren (SS) (ORA 23.2, IC 95% 1.89-359.53, p= 0.015) y la positividad para anticuerpos anti-péptido cíclico citrulinado (anti-CCP) (ORA 10.35, IC 95% 1.04-121.26, p= 0.047) se asociaron con la coexistencia de LES-HA, ajustado por género y duración de la enfermedad. El tabaquismo y el SS fueron confirmados como factores predictivos para LES-HA (AUC del modelo CART = 0.72). En la RSL, la prevalencia de ETA en LES varío entre 1% al 60%. Los factores asociados con esta poliautoinmunidad fueron el género femenino, edad avanzada, tabaquismo, positividad para algunos anticuerpos, SS y el compromiso articular y cutáneo. Conclusiones: La ETA es frecuente en pacientes con LES, y no afecta la severidad del LES. Los factores de riesgo identificados ayudarán a los clínicos en la búsqueda de ETA. Nuestros resultados deben estimular políticas para la suspensión del tabaquismo en pacientes con LES.

El costo de la atención ambulatoria del lupus eritematoso sistémico en Colombia. Contrastes y comparaciones con otras poblaciones.

Introducción: el lupus eritematoso sistémico (LES) es considerado una enfermedad de alto costo. La expresión clínica de la enfermedad depende de la ubicación geografía y la etnicidad. El objetivo de este estudio fue el calcular los costos ambulatorios relacionado al LES en una cohorte colombiana, identificar los predictores de costos y comparar nuestro resultados con otras poblaciones. Métodos: Se realizó una aproximación de tipo prevalencia en 100 pacientes LES en quienes se evaluaron los costos directos médicos, directos no médicos, indirectos e intangibles. Todos los costos médicos fueron evaluados usando una metodología abajo hacia arriba. Los costos directos fueron valorados desde una perspectiva social usando una metodología de micro-costeo. Los costos indirectos se evaluaron mediante una aproximación de capital humano, y los costos intangibles calculados a partir de los años de vida ajustados por calidad (AVAC). Se analizaron los datos por medio de un análisis multivariado. Para comparaciones con otras poblaciones todos los costos fueron expresados como la razón entre los costos y producto interno bruto nacional per cápita. Resultados: La media de costos totales fue 13.031±9.215 USD (ajustados por el factor de conversión de paridad del poder adquisitivo), lo cual representa el 1,66 del PIB per capita de Colombia. Los costos directos son el 64% de los costos totales. Los costos médicos representan el 80% de los costos directos,. Los costos indirectos fueron el 10% y los costos intangibles el 25% de los costos totales. Los medicamentos representaron el 45% de los costos directos. Mayores costos se relacionaron con el estrato socioeconómico, seguro médico privado, AVAC, alopecia, micofenolato mofetilo, y terapia anticoagulante. Los costos directos ajustados de los pacientes con LES en Colombia fueron mayores que en Norte América y en Europa. Conclusiones: el LES impone una carga económica importante para la sociedad. Los costos relacionados con la atención médica y AVAC fueron los principales contribuyentes al alto costo de la enfermedad. Estos resultados pueden ser referencia para determinar políticas en salud pública así como comparar el gasto en salud de forma internacional.

Educar las emociones: una reflexión sobre los programas de educación emocional en la primera infancia a través de la lente de la Psicología Positiva

La primera infancia es la etapa comprendida entre los 0 y los 6 años, y es el momento en el cual el cerebro tiene mayor plasticidad, por lo que en la actualidad se cree que la educación debe iniciar en este momento de la vida. La educación inicial ha venido dejando de lado el interés por los procesos cognitivos y ha puesto su foco de atención en el desarrollo social y emocional de los niños. El objetivo del presente trabajo es describir las características de los programas de educación emocional en la primera infancia a través de la lente de la Psicología Positiva utilizando una metodología cualitativa documental y específicamente el estado del arte. Los resultados obtenidos se dividen en corte empírico y corte teórico; para los de corte empírico se encontró que si bien el target que se pretende impactar son los niños en la primera infancia, varios programas le apuntan a trabajar como primera instancia con los cuidadores de los niños. Por otro lado como variables más comunes se manejaban las habilidades interpersonales y la resolución de problemas. Para los de corte teórico se encontró que los programas se orientan bajo una pedagogía dinámica y que muchos se centran en enfoques orientados a la promoción de habilidades sociales.

Management of industrial wastewater discharges in river basins through agents'argumentation

La gestió de l'aigua residual és una tasca complexa. Hi ha moltes substàncies contaminants conegudes però encara moltes per conèixer, i el seu efecte individual o col·lgectiu és difícil de predir. La identificació i avaluació dels impactes ambientals resultants de la interacció entre els sistemes naturals i socials és un assumpte multicriteri. Els gestors ambientals necessiten eines de suport pels seus diagnòstics per tal de solucionar problemes ambientals. Les contribucions d'aquest treball de recerca són dobles: primer, proposar l'ús d'un enfoc basat en la modelització amb agents per tal de conceptualitzar i integrar tots els elements que estan directament o indirectament involucrats en la gestió de l'aigua residual. Segon, proposar un marc basat en l'argumentació amb l'objectiu de permetre als agents raonar efectivament. La tesi conté alguns exemples reals per tal de mostrar com un marc basat amb agents que argumenten pot suportar diferents interessos i diferents perspectives. Conseqüentment, pot ajudar a construir un diàleg més informat i efectiu i per tant descriure millor les interaccions entre els agents. En aquest document es descriu primer el context estudiat, escalant el problema global de la gestió de la conca fluvial a la gestiódel sistema urbà d'aigües residuals, concretament l'escenari dels abocaments industrials. A continuació, s'analitza el sistema mitjançant la descripció d'agents que interaccionen. Finalment, es descriuen alguns prototips capaços de raonar i deliberar, basats en la lògica no monòtona i en un llenguatge declaratiu (answer set programming). És important remarcar que aquesta tesi enllaça dues disciplines: l'enginyeria ambiental (concretament l'àrea de la gestió de les aigües residuals) i les ciències de la computació (concretament l'àrea de la intel·ligència artificial), contribuint així a la multidisciplinarietat requerida per fer front al problema estudiat. L'enginyeria ambiental ens proporciona el coneixement del domini mentre que les ciències de la computació ens permeten estructurar i especificar aquest coneixement.

Identification of issues encountered by deaf educators working with multiply involved children and the related emotional affects that go along with intervention

This paper discusses common issues deaf educators face that are not directly related to a child’s hearing impairment and thus often outside the educators’ area of expertise. The study also identifies a range of emotions early interventionists experience while working with children with multiple impairments.

How well do regional or national Breeding Bird Survey data predict songbird population trends at an intact boreal site?

A study to monitor boreal songbird trends was initiated in 1998 in a relatively undisturbed and remote part of the boreal forest in the Northwest Territories, Canada. Eight years of point count data were collected over the 14 years of the study, 1998-2011. Trends were estimated for 50 bird species using generalized linear mixed-effects models, with random effects to account for temporal (repeat sampling within years) and spatial (stations within stands) autocorrelation and variability associated with multiple observers. We tested whether regional and national Breeding Bird Survey (BBS) trends could, on average, predict trends in our study area. Significant increases in our study area outnumbered decreases by 12 species to 6, an opposite pattern compared to Alberta (6 versus 15, respectively) and Canada (9 versus 20). Twenty-two species with relatively precise trend estimates (precision to detect > 30% decline in 10 years; observed SE ≤ 3.7%/year) showed nonsignificant trends, similar to Alberta (24) and Canada (20). Precision-weighted trends for a sample of 19 species with both reliable trends at our site and small portions of their range covered by BBS in Canada were, on average, more negative for Alberta (1.34% per year lower) and for Canada (1.15% per year lower) relative to Fort Liard, though 95% credible intervals still contained zero. We suggest that part of the differences could be attributable to local resource pulses (insect outbreak). However, we also suggest that the tendency for BBS route coverage to disproportionately sample more southerly, developed areas in the boreal forest could result in BBS trends that are not representative of range-wide trends for species whose range is centred farther north.

The assessment of benchmarks executed on bare-metal and using para-virtualization

A full assessment of para-­virtualization is important, because without knowledge about the various overheads, users can not understand whether using virtualization is a good idea or not. In this paper we are very interested in assessing the overheads of running various benchmarks on bare-­‐metal, as well as on para-­‐virtualization. The idea is to see what the overheads of para-­‐ virtualization are, as well as looking at the overheads of turning on monitoring and logging. The knowledge from assessing various benchmarks on these different systems will help a range of users understand the use of virtualization systems. In this paper we assess the overheads of using Xen, VMware, KVM and Citrix, see Table 1. These different virtualization systems are used extensively by cloud-­‐users. We are using various Netlib1 benchmarks, which have been developed by the University of Tennessee at Knoxville (UTK), and Oak Ridge National Laboratory (ORNL). In order to assess these virtualization systems, we run the benchmarks on bare-­‐metal, then on the para-­‐virtualization, and finally we turn on monitoring and logging. The later is important as users are interested in Service Level Agreements (SLAs) used by the Cloud providers, and the use of logging is a means of assessing the services bought and used from commercial providers. In this paper we assess the virtualization systems on three different systems. We use the Thamesblue supercomputer, the Hactar cluster and IBM JS20 blade server (see Table 2), which are all servers available at the University of Reading. A functional virtualization system is multi-­‐layered and is driven by the privileged components. Virtualization systems can host multiple guest operating systems, which run on its own domain, and the system schedules virtual CPUs and memory within each Virtual Machines (VM) to make the best use of the available resources. The guest-­‐operating system schedules each application accordingly. You can deploy virtualization as full virtualization or para-­‐virtualization. Full virtualization provides a total abstraction of the underlying physical system and creates a new virtual system, where the guest operating systems can run. No modifications are needed in the guest OS or application, e.g. the guest OS or application is not aware of the virtualized environment and runs normally. Para-­‐virualization requires user modification of the guest operating systems, which runs on the virtual machines, e.g. these guest operating systems are aware that they are running on a virtual machine, and provide near-­‐native performance. You can deploy both para-­‐virtualization and full virtualization across various virtualized systems. Para-­‐virtualization is an OS-­‐assisted virtualization; where some modifications are made in the guest operating system to enable better performance. In this kind of virtualization, the guest operating system is aware of the fact that it is running on the virtualized hardware and not on the bare hardware. In para-­‐virtualization, the device drivers in the guest operating system coordinate the device drivers of host operating system and reduce the performance overheads. The use of para-­‐virtualization [0] is intended to avoid the bottleneck associated with slow hardware interrupts that exist when full virtualization is employed. It has revealed [0] that para-­‐ virtualization does not impose significant performance overhead in high performance computing, and this in turn this has implications for the use of cloud computing for hosting HPC applications. The “apparent” improvement in virtualization has led us to formulate the hypothesis that certain classes of HPC applications should be able to execute in a cloud environment, with minimal performance degradation. In order to support this hypothesis, first it is necessary to define exactly what is meant by a “class” of application, and secondly it will be necessary to observe application performance, both within a virtual machine and when executing on bare hardware. A further potential complication is associated with the need for Cloud service providers to support Service Level Agreements (SLA), so that system utilisation can be audited.

New polynuclear Mo-Fe complexes with ferrocenylamidobenzimidazole ligands

The reaction between [Mo(eta(3)-C3H5)(CO)(2)(NCMe)(2)Br] (1) and the ferrocenylamidobenzimidazole ligands FcCO(NH(2)benzim) (L1) and (FcCO)(2)(NHbenzim) (L2) led to a binuclear (2) and a trinuclear (3) Mo-Fe complex, respectively. The single-crystal X-ray structure of [Mo(eta(3)-C3H5)(CO)(2)(L2)Br] [L2 = {[(eta(5)-C5H5)Fe(eta(5)-C5H4CO)](2)(2-NH-benzimidazol-yl)}] shows that L2 is coordinated to the endo Mo(eta(3)-C3H5)(CO)(2) group in a kappa(2)-N,O-bidentate chelating fashion whereas the Mo-II centre displays a pseudooctahedral environment with Br occupying an equatorial position. Complex 2 was formulated as [MO(eta(3)-C3H5)(CO)(2)(L1)Br] on the basis of a combination of spectroscopic data, elemental analysis, conductivity and DFT calculations. L1 acts as a kappa(2)-N,N-bidentate ligand. In both L1 and L2, the HOMOs are mainly localised on iron while the C=O bond(s) contribute to the LUMO(s) and the next highest energy orbitals are Fe-allyl antibonding orbitals. When the ligands bind to Mo(eta(3)-C3H5)(CO)(2)Br, the greatest difference is that Mo becomes the strongest contributor to the HOMO. Electrochemical studies show that, in complex 2, no electronic interaction exists between the two ferrocenyl ligands and that the first electron has been removed from the Mo-II-centred HOMO. (c) Wiley-VCH Verlag GmbH & Co. KGaA.

Rigid ferrocenophane and its metal complexes with transition and alkaline-earth metal ions

The rigid [6]ferrocenophane, L-1, was synthesised by condensation of 1,1'-ferrocene dicarbaldehyde with trans-1,2-diaminocyclohexane in high dilution at r.t. followed by reduction. When other experimental conditions were employed, the [6,6,6]ferrocenephane (L-2) was also obtained. Both compounds were characterised by single crystal X-ray crystallography. The protonation of L-1 and its metal complexation were evaluated by the effect on the electron-transfer process of the ferrocene (fc) unit of L-1 using cyclic voltammetry (CV) and square wave voltammetry (SWV) in anhydrous CH3CN solution and in 0.1 M (Bu4NPF6)-Bu-n as the supporting electrolyte. The electrochemical process of L-1 between 300 and 900 mV is complicated by amine oxidation. On the other hand, an anodic shift from the fc/fc(+) wave of L-1 of 249, 225, 81 and 61 mV was observed by formation of Zn2+, Ni2+, Pd2+ and Cu2+ complexes, respectively. Whereas Mg2+ and Ca2+ only have with L-1 weak interactions and they promote the acid-base equilibrium of L-1. This reveals that L-1 is an interesting molecular redox sensor for detection of Zn2+ and Ni2+, although the kinetics of the Zn2+ complex formation is much faster than that of the Ni2+ one. The X-ray crystal structure of [(PdLCl2)-Cl-1] was determined and showed a square-planar environment with Pd(II) and Fe(II) centres separated by 3.781(1) angstrom. The experimental anodic shifts were elucidated by DFT calculations on the [(MLCl2)-Cl-1] series and they are related to the nature of the HOMO of these complexes and a four-electron, two-orbital interaction.

Organocatalytic enantioselective construction of nitrocyclohexanes containing multiple chiral centres via a cascade reaction

The stereoselective construction of complex molecules with multiple stereogenicity in a single step represents an extremely useful, but challenging approach to complexity in chemical synthesis. The development of organocatalytic cascade processes has proven useful in these studies, but reports where four or more stereocentres are created in a single step from just two achiral reagents are rare. Herein we report the development of a novel asymmetric domino Michael-Michael reaction between nitrohex-4-enoates and nitro-olefins to generate cyclohexanes of high complexity, including one with a quaternary centre, and one with five contiguous stereocentres. This methodology provides access to a range of useful nitrocyclohexane derivatives, including a novel class of a-lycorane-like structures.

Sustainability in the built environment

This introductory chapter sets the scene for the book, providing an overview of sustainability in the built environment. With a bias towards buildings and the urban environment, it illustrates the range of issues that impinge upon global carbon reduction and the mechanisms available to help bring about change. Climate change, and its impact on built environment, is briefly introduced and sustainability in the built environment and associated factors are described. The specific topics relating to sustainable design and management of the built environment, including policy and assessment, planning, energy, water and waste, technology, supply and demand, occupants’ behaviour and management have been highlighted. This chapter emphasises the importance of a systemic approach in delivering a sustainable built environment.