Monads in double categories

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and dene what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

Els cultius in vitro i el desenvolupament vegetal

Biotecnologia Vegetal de materials de treball que incorporin les TICs. El material elaborat ha estat un llibre electrònic utilitzable tant on-line (web) com off-line (CD). Els materials generats com a resultes d’aquest projecte han estat situats en un servidor de la UdL accessible des de l’exterior de la Universitat. Aquest llibre electrònic és d’accés obert i es pot consultar on-line a l’URL (http://sakai.udl.es/cursos/76304/indexC.htm). El llibre electrònic conté un total de 98 Mb d’informació hipermèdia i hipertexual distribuïda en més de 380 arxius dels quals 50 són pàgines html, 10 arxius doc, 10 arxius pdf, 258 imatges fixes i 8 arxius de vídeo en format flash (swf). L’accés al llibre electrònic es realitza a través d’una pantalla inicial que dóna pas a un menú que distribueix els materials en 7 apartats. Els textos estan acompanyats de gran quantitat d’imatges fotogràfiques, gràfics, esquemes, imatges infogràfiques i videoclips generats de novo per aquest projecte. En dissenyar la web s’han tingut en compte criteris de confiabilitat, accessibilitat i usabilitat. El primer disseny de la web ha estat validat per un panel d’usuaris i utilitzat posteriorment amb alumnes durant el curs 2007-2008. Les observacions i suggeriments fets per aquests ja han estat incorporats en aquest document final. Una primera enquesta de satisfacció realitzada amb aquest alumnat permet concloure, a títol provisional donat lo reduït de la població enquestada, que l’alumnat mostra un grau de coneixement de les eines TIC suficient i que consideren positiva la incorporació de materials multimèdia com a recurs educatiu. A més a més, la realització d’aquest projecte i la seva aplicació a l’aula ha estat presentada en dues ponències al “Congreso Internacional de Docencia y Innovación Universitaria”.

Monitorització de rendiment i accounting de centres de computació grid

El Port d'Informació Científica és un centre de Computació Grid de referència que dona suport a comunitats científiques, com el LHC (CERN). Al PIC, trobem una gran varietat de tecnologies que proporcionen serveis al centre. Des de l'arquitectura i elements de la xarxa, fins a recursos informàtics de computació, sistemes d'emmagatzematge a disc i cinta magnètica, bases de dades (ORACLE/PostgreSQL). El projecte consisteix en el disseny i implementació d'una base de dades col·lectora de tota la informació rellevant dels diferents sistemes del centre, i un portal web on mostrar tots els valors i gràfiques, tot basat en programari lliure.

Anàlisi de la qualitat de l'aigua: estudi dels impactes humans sobre la qualitat de l'aigua en pous i basses del Parc del Garraf i rodalies

Amb la finalitat de conèixer l’estat de qualitat de les aigües de les basses i pous del Parc del Garraf, s’analitzen una sèrie de paràmetres fisico-químics en 17 estacions de mostreig prèviament seleccionades, distribuïdes en zones amb diferents tipologies d’ús del sòl. La base de l’anàlisi ha estat la integració d’informació provinent de diferents fonts. Mitjançant l’elaboració de taules i gràfics, la generació de cartografia i el tractament estadístic de les dades, s’ha procedit a la tria de punts de mostreig i s’ha obtingut un inventari que ha permès la interpretació global dels resultats, facilitant la diagnosi. El procés de tractament de dades inclou la confecció d’un índex de qualitat de les aigües (ICA) propi, no vinculant, a partir de fórmules genèriques de normalització i ponderació de valors. Durant la realització de la diagnosi s’han detectat pertorbacions puntuals en determinats paràmetres corresponents a contaminacions locals, en diferents estacions de mostreig. Aquestes pertorbacions s’han relacionat amb la situació dels pous i les basses al Garraf i les tipologies d’ús del sòl de cada zona. El diagnòstic de pertorbacions ha orientat les propostes de millora aplicables que s’han dividit en tres classes segons el nivell d’actuació. Aquestes incideixen principalment, en la millora de la informació disponible, l’aplicació de l’agricultura ecològica, l’explotació sostenible dels aqüífers i la realització d’estudis globals i/o locals, més complets i exhaustius.

A linear optimization technique for graph pebbling

Graph pebbling is a network model for studying whether or not a given supply of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling move across an edge of a graph takes two pebbles from one endpoint and places one pebble at the other endpoint; the other pebble is lost in transit as a toll. It has been shown that deciding whether a supply can meet a demand on a graph is NP-complete. The pebbling number of a graph is the smallest t such that every supply of t pebbles can satisfy every demand of one pebble. Deciding if the pebbling number is at most k is NP 2 -complete. In this paper we develop a tool, called theWeight Function Lemma, for computing upper bounds and sometimes exact values for pebbling numbers with the assistance of linear optimization. With this tool we are able to calculate the pebbling numbers of much larger graphs than in previous algorithms, and much more quickly as well. We also obtain results for many families of graphs, in many cases by hand, with much simpler and remarkably shorter proofs than given in previously existing arguments (certificates typically of size at most the number of vertices times the maximum degree), especially for highly symmetric graphs. Here we apply theWeight Function Lemma to several specific graphs, including the Petersen, Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a number of infinite families of graphs, such as trees, cycles, graph powers of cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly answers a question of Pachter, et al., by computing the pebbling exponent of cycles to within an asymptotically small range. It is conceivable that this method yields an approximation algorithm for graph pebbling.

Recombinant human insulin-like growth factor I (rhIGF-I) for the treatment of amyotrophic lateral sclerosis/motor neuron disease.

BACKGROUND: Recombinant human insulin-like growth factor I (rhIGF-I) is a possible disease modifying therapy for amyotrophic lateral sclerosis (ALS, which is also known as motor neuron disease (MND)). OBJECTIVES: To examine the efficacy of rhIGF-I in affecting disease progression, impact on measures of functional health status, prolonging survival and delaying the use of surrogates (tracheostomy and mechanical ventilation) to sustain survival in ALS. Occurrence of adverse events was also reviewed. SEARCH METHODS: We searched the Cochrane Neuromuscular Disease Group Specialized Register (21 November 2011), CENTRAL (2011, Issue 4), MEDLINE (January 1966 to November 2011) and EMBASE (January 1980 to November 2011) and sought information from the authors of randomised clinical trials and manufacturers of rhIGF-I. SELECTION CRITERIA: We considered all randomised controlled clinical trials involving rhIGF-I treatment of adults with definite or probable ALS according to the El Escorial Criteria. The primary outcome measure was change in Appel Amyotrophic Lateral Sclerosis Rating Scale (AALSRS) total score after nine months of treatment and secondary outcome measures were change in AALSRS at 1, 2, 3, 4, 5, 6, 7, 8, 9 months, change in quality of life (Sickness Impact Profile scale), survival and adverse events. DATA COLLECTION AND ANALYSIS: Each author independently graded the risk of bias in the included studies. The lead author extracted data and the other authors checked them. We generated some missing data by making ruler measurements of data in published graphs. We collected data about adverse events from the included trials. MAIN RESULTS: We identified three randomised controlled trials (RCTs) of rhIGF-I, involving 779 participants, for inclusion in the analysis. In a European trial (183 participants) the mean difference (MD) in change in AALSRS total score after nine months was -3.30 (95% confidence interval (CI) -8.68 to 2.08). In a North American trial (266 participants), the MD after nine months was -6.00 (95% CI -10.99 to -1.01). The combined analysis from both RCTs showed a MD after nine months of -4.75 (95% CI -8.41 to -1.09), a significant difference in favour of the treated group. The secondary outcome measures showed non-significant trends favouring rhIGF-I. There was an increased risk of injection site reactions with rhIGF-I (risk ratio 1.26, 95% CI 1.04 to 1.54). . A second North American trial (330 participants) used a novel primary end point involving manual muscle strength testing. No differences were demonstrated between the treated and placebo groups in this study. All three trials were at high risk of bias. AUTHORS' CONCLUSIONS: Meta-analysis revealed a significant difference in favour of rhIGF-I treatment; however, the quality of the evidence from the two included trials was low. A third study showed no difference between treatment and placebo. There is no evidence for increase in survival with IGF1. All three included trials were at high risk of bias.

Computing hypergraph width measures exactly

Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A connection between these and tree decompositions is established. This enables us to almost seamlessly adapt the combinatorial and algorithmic results known for tree decompositions of graphs to the case of hypergraphs and obtain fast exact algorithms. As a consequence, we provide algorithms which, given a hypergraph H on n vertices and m hyperedges, compute the generalized hypertree-width of H in time O*(2n) and compute the fractional hypertree-width of H in time O(1.734601n.m).1

Anàlisi de l'etapa d'introducció del programa CA/AC a centres del Berritzegune de Guipúscoa

Aquest estudi presenta els diferents àmbits d’actuació que composen el Programa CA/AC així com l’explicació de les etapes d’implementació d’aquest programa en la seva modalitat B. Aquesta modalitat ha estat aplicada en diversos centres escolars pertanyents als Berritzegunes (Serveis Educatius) de la província de Guipúscoa durant el curs 2010/11. A partir d’aquesta pràctica, s’ha realitzat l’anàlisi quantitativa de les diferents actuacions dels àmbits A i B de manera que se’n poden analitzar a partir de gràfics, quines han estat les freqüències i el grau d’aplicació de les dinàmiques i de les estructures cooperatives que conformen el programa aplicat.

Structural Analysis of Networks

Network analysis naturally relies on graph theory and, more particularly, on the use of node and edge metrics to identify the salient properties in graphs. When building visual maps of networks, these metrics are turned into useful visual cues or are used interactively to filter out parts of a graph while querying it, for instance. Over the years, analysts from different application domains have designed metrics to serve specific needs. Network science is an inherently cross-disciplinary field, which leads to the publication of metrics with similar goals; different names and descriptions of their analytics often mask the similarity between two metrics that originated in different fields. Here, we study a set of graph metrics and compare their relative values and behaviors in an effort to survey their potential contributions to the spatial analysis of networks.

Monitor de servidors JMS

El monitor de servidors JMS és un projecte basat en el disseny i implementacio d'una eina GUI, destinada a programadors i equips de proves que treballin amb la tecnología Java Message Service, multiplataforma i multiservidor, que podrà monitoritzar un nombre variat de servidors JMS des de qualsevol sistema que tingui una màquina virtual de Java instal·lada. L'aplicació té com a principal objectiu visualitzar de forma clara i senzilla l'estat global d'un servidor JMS, mostrant les cues i tòpics creats, juntament amb la possibilitat de realitzar accions sobre les mateixes destinacions (enviament i eliminació de missatges residents al servidor) i la creació de gràfiques sobre el tràfic de missatges.

Hierarchical conditional random fields for parts based models matching

A parts based model is a parametrization of an object class using a collection of landmarks following the object structure. The matching of parts based models is one of the problems where pairwise Conditional Random Fields have been successfully applied. The main reason of their effectiveness is tractable inference and learning due to the simplicity of involved graphs, usually trees. However, these models do not consider possible patterns of statistics among sets of landmarks, and thus they sufffer from using too myopic information. To overcome this limitation, we propoese a novel structure based on a hierarchical Conditional Random Fields, which we explain in the first part of this memory. We build a hierarchy of combinations of landmarks, where matching is performed taking into account the whole hierarchy. To preserve tractable inference we effectively sample the label set. We test our method on facial feature selection and human pose estimation on two challenging datasets: Buffy and MultiPIE. In the second part of this memory, we present a novel approach to multiple kernel combination that relies on stacked classification. This method can be used to evaluate the landmarks of the parts-based model approach. Our method is based on combining responses of a set of independent classifiers for each individual kernel. Unlike earlier approaches that linearly combine kernel responses, our approach uses them as inputs to another set of classifiers. We will show that we outperform state-of-the-art methods on most of the standard benchmark datasets.

Biofeedback : retroalimentación electroencefalográfica : estudio de la efectividad de la adopción de patrones neuronales por entrenamiento para paliar el dolor

S’ha demostrat que la pràctica d'estats de relaxació profunda redueix el dolor i incrementa el benestar i la qualitat de vida. Els estats de relaxació profunda i meditació estan al seu torn associats a patrons electroencefalogràfics (EEG) característics. En el present projecte proposem un procediment pal·liatiu del dolor basat en l 'entrenament autodidàctic per aconseguir aquests estats de relaxació. Per a això es proposa retro-alimentar al subjecte un senyal auditiu reflex de la seva activitat EEG que l'ajudi a modificar voluntàriament la seva activitat cerebral, la qual cosa li permet aproximar-la progressivament al patró EEG corresponent al de relaxació profunda desitjat. S’ha dissenyat un protocol d'entrenament d'estats mentals de relaxació i meditació (entre altres) i implementat un programa que processa el senyal EEG i genera un senyal auditiu reflex de l'activitat cerebral de l'individu. També registra les lectures EEG del progrés de l'individu, genera les gràfiques corresponents i genera dades estadístiques per a futur anàlisi.

Health in Ireland, Key Trends 2007

This booklet provides an overview of selected key trends in health in Ireland in recent years. Tables and graphs are presented which summarise information on demographics, on health status and on health care in order to give a quick reference guide in major areas of health and health services. The past decade has been a time of rapid change in many aspects of life in Ireland. The evidence presented in this booklet reflects this period of change with respect to health. Download document here

Transmit: Health protection service bulletin. 2011: Issue 7

This edition of Transmit leads with the arrangements for the management of seasonal flu during the 2011/12 campaign. It provides an overview of the vaccination programme, including details on who should be vaccinated, and includes a link to the updated chapter in the Green Book.The bulletin has duty room guidance on the management of invasive group A streptococcal disease (iGAS) and the news section gives an encouraging update on measles in Northern Ireland.A number of routine reports are also summarised in this edition of Transmit. Statistics and graphs are provided to outline the latest reports on:· Immunisations and vaccine preventable diseases· Respiratory pathogens, quarters one and two 2011, Northern Ireland· Quarterly reporting of MRSA and Clostridium difficile infections (CDI) · Cryptosporidium 2010

HIV and STI surveillance in Northern Ireland 2011: An analysis of data for the calendar year 2010

This annual analysis of data provides an overview of HIV and STI epidemiology in Northern Ireland for the calendar year 2010. Information from a variety of sources is collated and analysed in detail, while any evident trends over time are highlighted�with�graphs and tables. As well as a general summary of STI diagnoses and a number of overall conclusions, the report looks specifically at each of the following STIs: chlamydia, gonorrhoea, genital herpes, genital warts, syphilis, lymphogranuloma venereum (LGV) and HIV.