Data size sufficiency analyses of haplotype inference algortihms

We present experimental and theoretical analyses of data requirements for haplotype inference algorithms. Our experiments include a broad range of problem sizes under two standard models of tree distribution and were designed to yield statistically robust results despite the size of the sample space. Our results validate Gusfield's conjecture that a population size of n log n is required to give (with high probability) sufficient information to deduce the n haplotypes and their complete evolutionary history. The experimental results inspired our experimental finding with theoretical bounds on the population size. We also analyze the population size required to deduce some fixed fraction of the evolutionary history of a set of n haplotypes and establish linear bounds on the required sample size. These linear bounds are also shown theoretically.

The word problem distinguishes counter languages

Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m &= n.

Orden y desorden en la vida política

La tradición filosófica clásica y medieval nos proporciona las claves para desplegar el concepto de orden político, especialmente a través de Aristóteles, quien, con su insistencia en la necesidad de combinar prudencialmente la unidad y la pluralidad, evita tanto la tendencia monista de Platón como la tendencia relativista de los sofistas. Las principales exigencias del orden en la vida política son: el reconocimiento de un bien común objetivo como bien moral social; el respecto a la legítima pluralidad social en que cada cuerpo intermedio buscando su fin particular aporta algo valioso al conjunto de la sociedad; la afirmación de la solidaridad humana universal sin menoscabo del recto amor hacia la propia patria y los deberes que emanen de tales solidaridad y amor. Que no se alcancen estos tres puntos totalmente no significa que reine el desorden sino que, herida por el pecado original, la naturaleza humana queda limitada y debilitada. De ahí la importancia de las medidas político-legislativas, que pueden ayudar al hombre a enfrentarse al desorden en la medida en que sean ordenaciones auténticamente racionales. Sin embargo, el mundo moderno, en la misma medida en que es anticristiano, es inspirador de algo más que un mero déficit de orden. Es inspirador de una política del desorden donde el objetivo principal consiste básicamente en destruir el orden natural, especialmente en la medida en que este orden natural nos recuerda la existencia de un Dios creador. El análisis del caso español pone de manifiesto gran cantidad de ejemplos de cómo detrás de una legislación y un gobierno autodenominados ‘progresistas’, se esconde una voluntad tácita o expresa de destruir la naturaleza humana y jugar a ser nuevos demiurgos. Frente a esa política del desorden, emerge la necesidad de reconocer el fundamento teológico del orden político.

Descobriment de serveis en xarxes ad-hoc: JADE Bluetooth Discovery Middleware

En aquest projecte s'ha dissenyat i implementat un nou Discovery Middleware per a la plataforma d'agents mòbils JADE. Aquest DM col·laborarà amb el Directory Facilitator per tal d'oferir als agents un servei transparent que els permetrà descobrir serveis en plataformes remotes que siguin accessibles mitjançant xarxes ad-hoc basades en la tecnologia Bluetooth.

Metric properties of the braided Thompson's groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

L' Aprenentatge basat en problemes a través de casos clínics simulats. Una proposta metodològica de disseny i avaluació docent

RESUM Les exigències actuals de la professió de d’infermeria requereixen que la docència vagi orientada a interrelacionar els diferents rols a desenvolupar enla pràctica diària, per adquirir experiència en l’aprenentatge i així augmentar la qualitat de les cures d’infermeria. Per assolir aquest objectiu és important l’aprenentatge basat enproblemes. Aquest pretén en primer lloc que els estudiants aprenguin allò que permet desenvolupar-se enla vida professional de la manera més natural possible a partir d’una idea clara i profunda de l’evidència sobre la que s’ha d’actuar. Amb aquesta finalitat es vandissenyar casos clínics amb uns objectius que requerien la integració de coneixements, actituds i valors, en diferents fases a desenvolupar en un període de temps predeterminat. També ens vam proposar una estratègia docent que permetés a l’estudiant incorporar el coneixement científic que dóna suport a la pràctica assistencial per aproximar teoria i pràctica. Es pretén que els estudiants busquin una resposta basada en la millor evidència científica disponible, per prendre una decisió respecte a les cures del pacient. Els objectius de l’estudi són: Avaluar globalment l’aprenentatge basat en la simulació de casos Avaluar com els estudiants valoren la integració del model d’infermeria i del procés d’atenció en l’aprenentatge basat en la simulació de casos. Valorar les sensacions percebudes per l’estudiant durant la simulació del cas. Valorar l’actitud d el’estudiant en relació a la incorporació de l’evidència científica per una millora en la pràctica clínica. Avaluar el grau de dificultat manifestat per l’estudiant en relació al procés de documentació. Avaluar la idonietat de l’argumentació i la decisió de l’estudiant a la pregunta formulada en el cas clínic. Metodologia: L’assignatura d’Infermeria Medicoquirúrgica. Adult I del Departament d’Infermeria de la Universitat de Vic, va iniciar una experiència d’aprenentatge basat en la resolució de problemes, amb estudiants de 2on curs. Les professores responsables dels seminaris van realitzar una avaluació de l’experiència a través d’una enquesta. Aquesta es responia al cap d’un mes de la simulació al laboratori, quan es contrastaven els resultats obtinguts en aquesta entre professores i estudiants després de visualitzar la gravació feta durant el mateix. En el context del seminari de simulació de casos, es va introduir una pregunta/problema, a partir de la que els estudiants, en grup, havien de documentar-se amb el suport d’una guia. Per valorar l’actitud davant aquesta pregunta/problema es va dissenyar un qustionari tipus Likert. L’avaluació del grau de dificultat s’ha registrat a través d’unes escales de puntuació. Per a l’avaluació de la decisió presa, es van valorar les síntesis resum entregades en els treballs escrits pels diferents grups. Resultats: La realització de la simulació en el laboratori va ser avaluada per un alt percentatge d’estudiants (68,8%) amb puntuacions entre 6 i 8 mentre que un 26,6% la van situar en tre 9 i 10, només un 4,7 % la van puntuar amb 5. La integració del model d’infermeria va ser valorada pel 86% amb una puntuació entre 7 i 10. La valoració global de la simulació va ser qualificada pels estudiants amb una puntuació de 8 (34,4%) seguida d’un 28,1% amb una consideració de 7. Un 7,2% van puntuar entre 9 i 10. El 93,3% van assegurar que conèixer les fonts documentals els serviria per millorar l’assistència, el 86,7% esperen obtenir arguments sòlids respecte les seves desicions si la documentació consultada és de qualitat. Un 77,8% dels estudiants consideren estar més satisfets al saber incorporar la presa de decisions basada en evidències. Respecte el grau de dificultat en el procés de documentació la dificultat més gran la presenten en com buscar en les bases de dades de referències bibliogràfiques. Conclusions: L’aprenentatge dels estudiants a través de la simulació de casos és una estratègia vàlida que l’estudiant valora positivament al mateix temps que permet desenvolupar habilitats per a la pràctica professional. L’estratègia docent dissenyada per integrar les evidències en la presa de decisions es considera positiva, no obstant, després d’analitzar els resultats, s’han de modificar alguns aspectes per a la seva millora; tutoritzar per a millorar el procés de documentació i incidir més en la crítica i reflexió, de manera que les troballes de la investigació siguin canalitzades cap a la pràctica.

Tree automorphisms and quasi-isometries of Thompson's group F

We prove that automorphisms of the infinite binary rooted tree T2 do not yield quasi-isometries of Thompson's group F, except for the map which reverses orientation on the unit interval, a natural outer automorphism of F. This map, together with the identity map, forms a subgroup of Aut(T2) consisting of 2-adic automorphisms, following standard terminology used in the study of branch groups. However, for more general p, we show that the analgous groups of p-adic tree automorphisms do not give rise to quasiisometries of F(p).

Estrategia de Ascaris lumbricoides y Trichuris trichiura para la contaminación del medio ambiente, en una zona endemica

La distribución de frecuencias del número de huevos por gramo de heces tanto de Ascaris lumbricoides como de Trichuris trichiura en humanos infestados en una zona endémica se corresponde con una ley binomial negativa y la disposición espacial de dichos huevos en la materia fecal, resultó ser en agregados, independientemente de que los hospedadores sean mayores o menores de 15 años. Estos resultados nos indican que solamente unos pocos hospedadores son los responsables de la mayor contaminación del medio ambiente y que esos individuos no pertenecen a ningún grupo etario en particular.

Structural Interactions in Spatial Panels

Until recently, much effort has been devoted to the estimation of panel data regression models without adequate attention being paid to the drivers of diffusion and interaction across cross section and spatial units. We discuss some new methodologies in this emerging area and demonstrate their use in measurement and inferences on cross section and spatial interactions. Specifically, we highlight the important distinction between spatial dependence driven by unobserved common factors and those based on a spatial weights matrix. We argue that, purely factor driven models of spatial dependence may be somewhat inadequate because of their connection with the exchangeability assumption. Limitations and potential enhancements of the existing methods are discussed, and several directions for new research are highlighted.

Understanding Interactions in Social Networks and Committees

While much of the literature on cross section dependence has focused mainly on estimation of the regression coefficients in the underlying model, estimation and inferences on the magnitude and strength of spill-overs and interactions has been largely ignored. At the same time, such inferences are important in many applications, not least because they have structural interpretations and provide useful interpretation and structural explanation for the strength of any interactions. In this paper we propose GMM methods designed to uncover underlying (hidden) interactions in social networks and committees. Special attention is paid to the interval censored regression model. Our methods are applied to a study of committee decision making within the Bank of England’s monetary policy committee.

Unilateral Emissions Mitigation, Spillovers, and Global Learning

What's the role of unilateral measures in global climate change mitigation in a post-Durban, post 2012 global policy regime? We argue that under conditions of preference heterogeneity, unilateral emissions mitigation at a subnational level may exist even when a nation is unwilling to commit to emission cuts. As the fraction of individuals unilaterally cutting emissions in a global strongly connected network of countries evolves over time, learning the costs of cutting emissions can result in the adoption of such activities globally and we establish that this will indeed happen under certain assumptions. We analyze the features of a policy proposal that could accelerate convergence to a low carbon world in the presence of global learning.

Optimal Universal and Categorical Benefits with Classification Errors and Imperfect Enforcement

We determine he optimal combination of a universal benefit, B, and categorical benefit, C, for an economy in which individuals differ in both their ability to work - modelled as an exogenous zero quantity constraint on labour supply - and, conditional on being able to work, their productivity at work. C is targeted at those unable to work, and is conditioned in two dimensions: ex-ante an individual must be unable to work and be awarded the benefit, whilst ex-post a recipient must not subsequently work. However, the ex-ante conditionality may be imperfectly enforced due to Type I (false rejection) and Type II (false award) classification errors, whilst, in addition, the ex-post conditionality may be imperfectly enforced. If there are no classification errors - and thus no enforcement issues - it is always optimal to set C>0, whilst B=0 only if the benefit budget is sufficiently small. However, when classification errors occur, B=0 only if there are no Type I errors and the benefit budget is sufficiently small, while the conditions under which C>0 depend on the enforcement of the ex-post conditionality. We consider two discrete alternatives. Under No Enforcement C>0 only if the test administering C has some discriminatory power. In addition, social welfare is decreasing in the propensity to make each type error. However, under Full Enforcement C>0 for all levels of discriminatory power. Furthermore, whilst social welfare is decreasing in the propensity to make Type I errors, there are certain conditions under which it is increasing in the propensity to make Type II errors. This implies that there may be conditions under which it would be welfare enhancing to lower the chosen eligibility threshold - support the suggestion by Goodin (1985) to "err on the side of kindness".

Analyzing the effects of transient faults into applications

As computer chips implementation technologies evolve to obtain more performance, those computer chips are using smaller components, with bigger density of transistors and working with lower power voltages. All these factors turn the computer chips less robust and increase the probability of a transient fault. Transient faults may occur once and never more happen the same way in a computer system lifetime. There are distinct consequences when a transient fault occurs: the operating system might abort the execution if the change produced by the fault is detected by bad behavior of the application, but the biggest risk is that the fault produces an undetected data corruption that modifies the application final result without warnings (for example a bit flip in some crucial data). With the objective of researching transient faults in computer system’s processor registers and memory we have developed an extension of HP’s and AMD joint full system simulation environment, named COTSon. This extension allows the injection of faults that change a single bit in processor registers and memory of the simulated computer. The developed fault injection system makes it possible to: evaluate the effects of single bit flip transient faults in an application, analyze an application robustness against single bit flip transient faults and validate fault detection mechanism and strategies.

Aprenentatges i oportunitats després de la implementació d'un nou sistema automatitzat

Es descriuen els aprenentatges, canvis i oportunitats arrel del procés de canvi del sistema de gestió de biblioteques del CCUC i dels altres catàlegs del CBUC. S’inicia amb una introducció sobre la decisió d’emprendre conjuntament el procés de canvi de sistema i com es va planificar i organitzar la seva implementació. Detalla actuacions prèvies que es van realitzar com el procés de canvi de format MARC, descriu el nou entorn que aquest canvi permet al CBUC, com oferir la gestió, hostatjament i manteniment de sistemes automatitzats per catàlegs locals i relaciona les millores d’OPAC. Finalment s'elaboren unes consideracions generals sobre els aprenentatges i oportunitats arrel d’aquest procés, amb la finalitat que siguin d’utilitat en futures experiències similars.

Estudi d'impacte acústic de les obres d'un intercanviador de metro

En el territori del Barcelonès les obres han estat a l’ordre del dia. Abans de l’inici de la crisi es van encetar i programar nombroses obres tan d’immobles com de grans infraestructures com la que aquí es presenta: un intercanviador de metro. L’alta densitat demogràfica d’aquesta regió ha fet que aquests treballs realitzats a les obres siguin poc compatibles amb el benestar i la salut de la població. Un dels principals factors causants del malestar als veïns és el soroll. Mitjançant estudis de modelització acústica, com el realitzat en aquest projecte, es pretén preveure i evitar que l’afecció acústica derivada de les obres sigui perjudicial per la persona per tal de compatibilitzar al màxim possible les feines de l’obra amb el benestar general. Mitjançant el programa de monitorització acústica Cadna‐A i nombroses mesures acústiques in situ s’ha pogut preveure la futura afecció sonora de 6 fases d’obra considerades com les més sorolloses i s’han proposat un seguit de mesures preventives i/o correctores per tal d’assolir uns nivells acústics assequibles amb la legislació vigent.