Codis no lineals en MAGMA: construcció de codis perfectes

La finalitat d'aquest projecte és aconseguir construir codis binaris perfectes no lineals de manera eficient. Per a fer-ho, hem desenvolupat un paquet de software per a l'intèrpret MAGMA que conté funcions per a la construcció de codis perfectes, càlcul d'invariants de codis i altres funcions complementàries per a fer càlculs sobre les paraules d'un codi.

Health care supply, payment system and medical practice : evidence from obstetric practice

ABSTRACTA significant share of deliveries are performed by Cesarian section (C-section) in Europe and in many developed and developing countries. The aims of this thesis are to highlight the non medical, especially economic and financial, incentives that explain the use of C-section, as well as the medical consequences of C-section on women's health, in regard with other factors of ob¬stetrical care quality such as hospital concentration. Those diagnoses enable us to exhibit ways of improvement of obstetrical care quality in France. Our analysis focus on two countries, France and Switzerland. In the first part of the thesis, we show the influence of two non medical factors on the C-section use, namely the hospital payment system on the one hand and the obstetricians behaviour, especially their demand for leisure, on the other hand. With French data on the year 2003, we show firstly that the fee-for-service payment system of private for profit hospitals induces a higher probability of using C-section. Obstetricians play also a preeminent role in the decision to use a C-section, as the probability of a C-section rises with the number of obstetricians. We then focus on a French reform introduced in 2004, to investigate the impact of Prospective Payment System on obstetric practise. We show that the rise of C-section rate between 2003 and 2006 is mainly caused by changes in hospitals and patients features. Obstetricians practises do not vary a lot for patients with the same risk code. In the mean time however, the number of women coded with a high risk rises. This can be caused by improvements in the quality of coding, obstetricians chosing codes that match better the real health state of their patients. Yet, it can also show that obstetricians change their coding practises to justify the use of certain practises, such as C-section, with no regard to the health state of patients. Financial factors are not the only non medical fac¬tors that can influence the resort to C-section. Using Shelton Brown ΠΙ identification strategy, we focus on the potential impact of obstetricians leisure preference on the use of C-section. We use the distributions of days and hours of delivering and the types of C-section - planned or emergency C-sections - to show that the obstetricians demand for leisure has a significant impact on the resort to C-section, but only in emergency situations. The second part of the thesis deals with some ways to improve obstetric care quality. We use on the one hand swiss and french data to study the impact of C-section on the patients' probability of having an obstetric complication and on the other hand the influence of hospital concentration on the quality of obstetric care. We find the same results as former medical studies about the risks entailed by C-section on obstetric complications.These results prove women ought to be better informed of the medical consequences of C-section and that the slowing of C-section use should be a priority of public health policy. We finally focus on another way to improve obstetric care quality, that is hospital lmarket concentration. We investigate the impact of hospital concentration by integrating the Herfindahl-Hirschman index in our model, on health care quality, measured by the HCUP indicator. We find that hospital concentration has a negative impact on obstetric care quality, which undermines today's policy of hospital closings in France.JEL classification: 112; 118Keywords: Hospital; C-section; Payment System; Counterfactual Estimation; Quality of Care.RÉSUMÉUne part importante des accouchements sont réalisés par césarienne en Europe et dans de nom¬breux pays développés ou en développement. Les objectifs de cette thèse sont de mettre en évidence les déterminants non médicaux, notamment économiques et financiers, expliquant le développe¬ment de cette pratique, ainsi que ses conséquences sur la santé des femmes après Γ accouchement, en lien avec d'autres facteurs comme la concentration locale des structures hospitalières. Les résul¬tats exposés dans cette thèse éclairent les perspectives et voies d'amélioration de la qualité des soins en obstétriques.Notre analyse se concentre sur deux pays : la France et la Suisse. Dans la première partie de la thèse, nous mettons en évidence l'influence de deux déterminants non médicaux sur l'emploi de la césarienne : le système de paiement des hôpitaux d'une part, et le comportement des médecins obstétriciens d'autre part. En étudiant des données françaises de 2003, nous montrons d'abord que le financement à l'acte des établissements privés engendre une hausse de la proba¬bilité de pratiquer une césarienne. Le rôle de l'obstrétricien paraît également déterminant dans la décision d'opérer une césarienne, la probabilité d'employer cette technique augmentant avec le nombre d'obstétriciens. Nous nous intéressons ensuite à l'impact de la mise en place en 2004 du système de paiement prospectif sur l'évolution des pratiques obstétricales entre 2003 et 2006 en France. La hausse du taux de recours à la césarienne entre 2004 et 2006 peut ainsi être principa¬lement imputée aux évolutions des caractéristiques des hôpitaux et des patients, les pratiques des obstétriciens, pour un même codage de la situation du patient, variant peu. Dans le même temps cependant, les pratiques de codage des patients parles obstétriciens évoluent fortement, les femmes étant de plus en plus nombreuses à porter des codes correspondant à des situations à risques. Cette évolution peut indiquer que la qualité du codage en 2006 s'est améliorée par rapport à 2004, le codage correspondant de plus en plus à la situation réelle des patientes. H peut aussi indiquer que les pratiques de codage évoluent pour justifier un recours accru à la césarienne, sans lien avec l'état réel des patientes. Les facteurs financiers ne sont pas les seuls facteurs non médicaux à pouvoir expliquer le recours à la césarienne : nous nous intéressons, en suivant la stratégie d'identifica¬tion de Shelton Brown m, à l'impact potentiel de la demande de loisir des médecins obstétriciens sur la pratique de la césarienne. En utilisant la distribution des jours et heures d'accouchement, et en distinguant les césariennes planifiées de celles effectuées en urgence, nous constatons que la demande de loisir des obstétriciens influence significativement le recours à la césarienne, mais uni¬quement pour les interventions d'urgence. La deuxième partie de la thèse est consacrée à l'étude de la qualité des soins en obstétriques. Nous utilisons des données suisses et françaises pour analyser d'une part l'impact de la césarienne sur la survenue de complications obstétricales et d'autre part l'impact de la concentration des soins sur la qualité des soins en obstétrique. Nons confirmons les résultats antérieurs de la littérature médicale sur la dangerosité de la césarienne comme facteur de complications obstétricales. Ces conclusions montrent que les femmes ont besoin d'être informées des conséquences de la césarienne sur leur santé et que le ralentissement de l'augmentation de la pratique de la césarienne devrait être un objectif de la politique publique de santé. Nous nous in¬téressons à un autre facteur d'amélioration des soins en obstrétique, l'organisation des hôpitaux et particulièrement leur concentration. Nous estimons ainsi l'effet de la concentration sur la qualité des soins obstétriques en intégrant l'indice de Herfindahl-Hirschman dans notre modèle, la qualité des soins étant mesurée à l'aide de l'indicateur HCUP. Nous constatons que la concentration des naissances a un impact négatif sur la qualité des soins en obstétrique, résultat qui va dans le sens contraire des politiques de fermeture d'hôpitaux menées actuellement en France. JEL classification : 112 ; 118Mots-clés : Hôpital ; Césarienne ; Système de paiement ; Contrefactuels ; Qualité des soins, sur la qualité des soins en obstétrique.

Quality of life: a potentially useful measure to indicate subclinical flares in Crohn disease.

Background:  While quality of life (QoL) is a well-recognised outcome measure of Crohn disease (CD) activity, its influence on other outcome measures, including exacerbation of CD is poorly understood. If QoL measures were to be associated with intestinal inflammatory activity, they might be useful for early detection of subclinical flares. Aims:  We hypothesised that low QoL might be associated with subsequent CD flares. Methods:  A cohort of 318 adult CD patients was observed for 1 year after assessment of baseline characteristics. Data were collected in Swiss university hospitals, regional hospitals and private practices. At inclusion, patients completed the Inflammatory Bowel Disease QoL Questionnaire (gastrointestinal QoL; range: 32 to 224 points) and the Short Form-36 Health Survey (general QoL; range: 35 to 145 points). During follow up, flares were recorded. Binary logistic regression was performed to estimate the relation between QoL and the odds of subsequent flares. Results:  A twofold decrease in the odds of flares (99% CI: 1.1; 4.0) per standard deviation of gastrointestinal QoL and a threefold decrease (99% CI: 1.5; 6.2) per standard deviation of general QoL were observed. Conclusions:  The close association between QoL and subsequent flares suggests that QoL measures might be useful in detecting upcoming flares before they become clinically apparent.

Communication during brief intervention, intention to change, and outcome.

OBJECTIVES: To explore the relationship between patient's intention to change regarding future alcohol consumption following brief alcohol intervention (BAI) and changes in alcohol consumption 12-months later and the communication characteristics between patient and counselor during BAI. DESIGN, SETTING AND SUBJECTS: Data from 367 patients (experimental arm) of a pragmatic randomized controlled trial were used to assess the effectiveness of BAI among hazardous drinkers attending an Emergency Department (Lausanne University Hospital, Lausanne, Switzerland). Alcohol outcome measures at baseline and 12 months follow-up included usual number of drinks per week, monthly frequency of heavy episodic drinking (5 or more standard drinks for men; 4 or more for women), and the Alcohol Use Disorders Identification Test (AUDIT) score. In addition, the communication characteristics between patient and counselor were analyzed via tape recordings using the Motivational Interviewing Skill Code (MISC) from 97 participants. Patient readiness and importance to change on a 10-point Likert scale (readiness/importance to change ruler) was asked during BAI, and patient intention to change alcohol consumption (yes/no) was asked at the last step. Differences in alcohol outcome at follow-up between the 367 patients who did or did not have an intention to change consumption at baseline were compared, as were differences between these two groups in communication characteristics for the 97 who completed tape recordings. RESULTS: Patients with an intention to decrease alcohol consumption reduced alcohol use and related problems more often, and reported higher levels of importance and readiness to change than did their counterparts. Analyses of MISC-coded data showed a significantly higher use of MI-consistent skills among those with a moderation intention, but no group differences on the 8 other counselor communication skills measures were found. Analyses of patient speech during the intervention indicated that those with an intention to change their alcohol consumption significantly more often self-explored personal ambivalence towards alcohol, expressed more intensely their ability, commitment, desire, need and reason to change their alcohol use than did those in the no decrease group. CONCLUSIONS: The intention expressed by hazardous drinkers when concluding BAI is associated with both patient change talk during BAI and drinking outcome 12 months later, but is mainly independent of counselor communication skills. This intention may be an important clinical indicator of which hazardous drinkers are most likely to improve after BAI.

The analysis of approximate quickselect and related problems

Approximate Quickselect, a simple modification of the well known Quickselect algorithm for selection, can be used to efficiently find an element with rank k in a given range [i..j], out of n given elements. We study basic cost measures of Approximate Quickselect by computing exact and asymptotic results for the expected number of passes, comparisons and data moves during the execution of this algorithm. The key element appearing in the analysis of Approximate Quickselect is a trivariate recurrence that we solve in full generality. The general solution of the recurrence proves to be very useful, as it allows us to tackle several related problems, besides the analysis that originally motivated us. In particular, we have been able to carry out a precise analysis of the expected number of moves of the ith element when selecting the jth smallest element with standard Quickselect, where we are able to give both exact and asymptotic results. Moreover, we can apply our general results to obtain exact and asymptotic results for several parameters in binary search trees, namely the expected number of common ancestors of the nodes with rank i and j, the expected size of the subtree rooted at the least common ancestor of the nodes with rank i and j, and the expected distance between the nodes of ranks i and j.

Notch1 functions as a tumor suppressor in mouse skin.

Notch proteins are important in binary cell-fate decisions and inhibiting differentiation in many developmental systems, and aberrant Notch signaling is associated with tumorigenesis. The role of Notch signaling in mammalian skin is less well characterized and is mainly based on in vitro studies, which suggest that Notch signaling induces differentiation in mammalian skin. Conventional gene targeting is not applicable to establishing the role of Notch receptors or ligands in the skin because Notch1-/- embryos die during gestation. Therefore, we used a tissue-specific inducible gene-targeting approach to study the physiological role of the Notch1 receptor in the mouse epidermis and the corneal epithelium of adult mice. Unexpectedly, ablation of Notch1 results in epidermal and corneal hyperplasia followed by the development of skin tumors and facilitated chemical-induced skin carcinogenesis. Notch1 deficiency in skin and in primary keratinocytes results in increased and sustained expression of Gli2, causing the development of basal-cell carcinoma-like tumors. Furthermore, Notch1 inactivation in the epidermis results in derepressed beta-catenin signaling in cells that should normally undergo differentiation. Enhanced beta-catenin signaling can be reversed by re-introduction of a dominant active form of the Notch1 receptor. This leads to a reduction in the signaling-competent pool of beta-catenin, indicating that Notch1 can inhibit beta-catenin-mediated signaling. Our results indicate that Notch1 functions as a tumor-suppressor gene in mammalian skin.

Biochemistry and mode of action of the Bacillus sphaericus toxins

Bacillus sphaericus produces at least two toxins which are highly toxic to mosquito larvae. The binary toxin, which is comprised of proteins of 51.4 and 41.9 kDa, is present in all highly insecticidal strains. The 100 kDa SSII-1 toxin is present in most highly insecticidal as well as the weakly insecticidal strains. The current status of studies on biochemistry and mode of action of these toxins is reviewed.

Codis no lineals en Magma: noves construccions

L'objectiu principal d'aquest projecte és ampliar la llibreria BinaryCodes, iniciada al 2007, que ens permet construir i manipular codis binaris lineals i no lineals. Per aquest motiu, s'han desenvolupat una sèrie de funcions, amb els seus corresponents tests i exemples, en l'entorn de programació matemàtica Magma. Aquestes funcions consisteixen bàsicament en la construcció de nous codis a partir d'altres ja existents.

Alineamiento de secuencias genéticas en procesadores multicore

Este trabajo analiza el rendimiento del algoritmo de alineamiento de secuencias conocido como Needleman-Wunsch, sobre 3 sistemas de cómputo multiprocesador diferentes. Se analiza y se codifica el algoritmo serie usando el lenguaje de programación C y se plantean una serie de optimizaciones con la finalidad de minimizar el volumen y el tiempo de cómputo. Posteriormente, se realiza un análisis de las prestaciones del programa sobre los diferentes sistemas de cómputo. En la segunda parte del trabajo, se paraleliza el algoritmo serie y se codifica ayudándonos de OpenMP. El resultado son dos variantes del programa que difieren en la relación entre la cantidad de cómputo y la de comunicación. En la primera variante, la comunicación entre procesadores es poco frecuente y se realiza tras largos periodos de ejecución (granularidad gruesa). En cambio, en la segunda variante las tareas individuales son relativamente pequeñas en término de tiempo de ejecución y la comunicación entre los procesadores es frecuente (granularidad fina). Ambas variantes se ejecutan y analizan en arquitecturas multicore que explotan el paralelismo a nivel de thread. Los resultados obtenidos muestran la importancia de entender y saber analizar el efecto del multicore y multithreading en el rendimiento.

Generalized descriptive set theory and classification theory

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

Predictors of nonresponse in a questionnaire-based outcome study of vocational rehabilitation patients.

OBJECTIVE: To identify predictors of nonresponse to a self-report study of patients with orthopedic trauma hospitalized for vocational rehabilitation between November 15, 2003, and December 31, 2005. The role of biopsychosocial complexity, assessed using the INTERMED, was of particular interest. DESIGN: Cohort study. Questionnaires with quality of life, sociodemographic, and job-related questions were given to patients at hospitalization and 1 year after discharge. Sociodemographic data, biopsychosocial complexity, and presence of comorbidity were available at hospitalization (baseline) for all eligible patients. Logistic regression models were used to test a number of baseline variables as potential predictors of nonresponse to the questionnaires at each of the 2 time points. SETTING: Rehabilitation clinic. PARTICIPANTS: Patients (N=990) hospitalized for vocational rehabilitation over a period of 2 years. INTERVENTIONS: Not applicable. MAIN OUTCOME MEASURE: Nonresponse to the questionnaires was the binary dependent variable. RESULTS: Patients with high biopsychosocial complexity, foreign native language, or low educational level were less likely to respond at both time points. Younger patients were less likely to respond at 1 year. Those living in a stable partnership were less likely than singles to respond at hospitalization. Sex, psychiatric, and somatic comorbidity and alcoholism were never associated with nonresponse. CONCLUSIONS: We stress the importance of assessing biopsychosocial complexity to predict nonresponse. Furthermore, the factors we found to be predictive of nonresponse are also known to influence treatment outcome and vocational rehabilitation. Therefore, it is important to increase the response rate of the groups of concern in order to reduce selection bias in epidemiologic investigations.

Factores determinantes del tiempo de demora y resultados funcionales en pacientes con desprendimiento de retina rhegmatógeno primario tratado mediante vitrectomía vía pars plana

Propósito: Determinar, en los pacientes afectados de desprendimiento de retina rhegmatógeno primario que acudieron a nuestro centro, el tiempo de demora entre la aparición de los primeros síntomas y la visita con el cirujano. Los objetivos secundarios son describir los factores que han influido en este tiempo de demora, determinar la relación existente entre el tiempo de evolución del desprendimiento rhegmatógeno de retina primario, el estado de la mácula y el resultado funcional tras la cirugía, y describir la sintomatología referida por los pacientes. Material y Método: Estudio descriptivo prospectivo de 59 ojos de 59 pacientes con desprendimiento de retina rhegmatógeno primario que acudieron al servicio de oftalmología del hospital Vall d’Hebron entre marzo y junio del 2008. Se realizó una anamnesis y exploración oftalmológica detallada a su llegada, fueron sometidos a cirugía mediante vitrectomía vía pars plana y se les realizó un seguimiento mínimo de 6 meses determinando los resultados funcionales de la cirugía. Resultados: El tiempo de demora medio desde la aparición de los síntomas hasta la primera consulta con el facultativo fue de 4,10 días. La media del tiempo de evolución del desprendimiento rhegmatógeno de retina fue de 17,03 días. Un 84,1% de los pacientes con la mácula desprendida tenían un tiempo de evolución menor o igual a 15 días y un 15,9% un tiempo de evolución mayor a 15 días. La agudeza visual media postoperatoria de los pacientes con la mácula aplicada fue de 0,55 en escala decimal, en los pacientes con la mácula afectada de menos de 15 días de evolución fue de 0,41, y en los pacientes con la mácula afectada de más de 15 días de evolución fue de 0,33. El síntoma más frecuente fue la visión borrosa (98,3%), seguido de miodesopsias (28,8%). Conclusiones: El tiempo de demora entre la aparición de los primeros síntomas del DRR y la visita con el cirujano es superior desde la remisión al cirujano por parte del facultativo que desde la aparición de síntomas y consulta con el facultativo por el paciente. La subestimación de la gravedad por parte del paciente es la causa de demora referida más frecuente. Los pacientes con un mayor tiempo de evolución tienen un mayor porcentaje de afectación macular. Los pacientes con la mácula aplicada han tenido un mejor resultado funcional tras la cirugía del DRR que los pacientes con la mácula desprendida.

Synchronous versus asynchronous modeling of gene regulatory networks.

MOTIVATION: In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene-gene, protein-protein and gene-protein interactions. The two dynamical properties that are often experimentally testable are perturbations and stable steady states. Although a lot of work has been done on the identification of steady states, not much work has been reported on in silico modeling of cellular differentiation processes. RESULTS: In this manuscript, we provide algorithms based on reduced ordered binary decision diagrams (ROBDDs) for Boolean modeling of gene regulatory networks. Algorithms for synchronous and asynchronous transition models have been proposed and their corresponding computational properties have been analyzed. These algorithms allow users to compute cyclic attractors of large networks that are currently not feasible using existing software. Hereby we provide a framework to analyze the effect of multiple gene perturbation protocols, and their effect on cell differentiation processes. These algorithms were validated on the T-helper model showing the correct steady state identification and Th1-Th2 cellular differentiation process. AVAILABILITY: The software binaries for Windows and Linux platforms can be downloaded from http://si2.epfl.ch/~garg/genysis.html.

Dynamic simulation of regulatory networks using SQUAD.

BACKGROUND: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncover the components and the connectivity of these networks, it becomes possible to study their dynamical behavior as a whole and discover what is the specific role of each of their components. Since the behavior of a network is by no means intuitive, it becomes necessary to use computational models to understand its behavior and to be able to make predictions about it. Unfortunately, most current computational models describe small networks due to the scarcity of kinetic data available. To overcome this problem, we previously published a methodology to convert a signaling network into a dynamical system, even in the total absence of kinetic information. In this paper we present a software implementation of such methodology. RESULTS: We developed SQUAD, a software for the dynamic simulation of signaling networks using the standardized qualitative dynamical systems approach. SQUAD converts the network into a discrete dynamical system, and it uses a binary decision diagram algorithm to identify all the steady states of the system. Then, the software creates a continuous dynamical system and localizes its steady states which are located near the steady states of the discrete system. The software permits to make simulations on the continuous system, allowing for the modification of several parameters. Importantly, SQUAD includes a framework for perturbing networks in a manner similar to what is performed in experimental laboratory protocols, for example by activating receptors or knocking out molecular components. Using this software we have been able to successfully reproduce the behavior of the regulatory network implicated in T-helper cell differentiation. CONCLUSION: The simulation of regulatory networks aims at predicting the behavior of a whole system when subject to stimuli, such as drugs, or determine the role of specific components within the network. The predictions can then be used to interpret and/or drive laboratory experiments. SQUAD provides a user-friendly graphical interface, accessible to both computational and experimental biologists for the fast qualitative simulation of large regulatory networks for which kinetic data is not necessarily available.