Development of composite auxetic structures for civil engineering applications

Tese de Doutoramento em Engenharia Têxtil

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Desarrollo sustentable de geoestructuras compuestas por suelo loéssico compactado mejorado con agregado de materiales estabilizantes. Sustainable development of compacted loess soil geo-structures with addition of stabilizing materials.

Los suelos estabilizados mediante compactación, permiten obtener materiales con ventajas ténicas y economicas en diferentes tipos de obras de ingeniería. Ejemplos de su uso se tiene en bases viales de autopistas, rutas o calles urbanas, pistas de aterrizaje, barreras de contención para enterramientos sanitarios o lagunas de estabilización, apoyos de plateas para fundación de edificios, losas industriales, entre otras aplicaciones. Las fallas en este tipo de construcciones pueden resultar en catástrofes ambientales, sociales y elevadas pérdidas económicas, por lo que resulta de gran importancia optimizar el diseño e incrementar la seguridad de este tipo de construcciones. Las obras con estas características involucran grandes volúmenes y/o superficies que requieren controles sistemáticos durante su desarrollo, a los fines de garantizar el cumplimiento de las propiedades de los materiales establecidos en la etapa de diseño. De esta forma, es necesario contar con ensayos de campo sencillos, confiables y eficientes que permitan identificar propiedades físicas, mecánicas e hidráulicas. Las geoestructuras generadas mediante la compactación del suelo próximo al sector de construcción pueden funcionar adecuadamente, con reducidos costos de material y transporte. Su estabilización puede ejecutarse en forma natural, o con la incorporación de agregados minerales como bentonita, cal o cemento. Estas incorporaciones mejoran las propiedades hidráulicas y mecánicas del material, optimizando el comportamiento requerido para la obra. Para establecer la forma en la que estos minerales modifican el comportamiento del suelo local compactado deben realizarse investigaciones especiales con los materiales involucrados. En el ámbito internacional existen numerosas investigaciones sobre comportamiento de suelos compactados, no obstante, si bien aportan antecedentes para la planificación de estudios locales, sus resultados no pueden trasladarse de manera directa. Las características propias del suelo local constituye la principal variable debido a la diversidad en las propiedades geotécnicas de cada Región. Esta investigación, se focaliza en el empleo de suelos limosos de la formación loéssica de la zona central de Argentina. Los suelos de la llanura cordobesa poseen comportamientos particulares, los cuales son contemplados en los diseños presentados como resutado de las investigaciones internacionales. Esta particularidad se relaciona con su inestabilidad, lo que los clasifica como suelos colapsables. Los resultados obtenidos en este trabajo podrán ser extendidos a una gran superficie de la Provincia de Córdoba y a la Región Pampeana en general, a los fines de establecer recomendaciones de diseño y construcción para la confección de Pliegos de Especificaciones Técnicas de diferentes tipos de obras públicas y privadas. El estudio contempla la ejecución de un plan experimental a escala de laboratorio y campo. Los materiales corresponden a suelo limosos puros, y diferentes agregados tales como bentonita, cal y cemento. Se planifican ensayos para evaluar el desempeño del material, a partir de la confección de muestras preparadas con diferentes condiciones de compactación (energía, humedad y método), y en forma de mezcla con los distintos tipos de agregados. Se realizarán ensayos de permeabilidad en celdas de pared rígida y flexible, junto a ensayos mecánicos de compresión confinada, simple y triaxial. Para el trabajo experimental de campo se prevé la ejecución de terraplenes de prueba instrumentados con tensiómetros e infiltrómetros para evaluar el comportamiento hidraúlico en el tiempo, junto con ensayos de penetración y plato de carga para la caracterización mecánica. En forma conjunta se propone el desarrollo de modelos numéricos de caracterización hidromecánica. Stabilized soils by compaction, produce materials technical and economic advantages in different types of engineering works. For example, road bases in highways, roads or city streets, containment barriers for sanitary landfill or stabilization ponds, foundation support of building, industrial flat, and other applications. Failures can result in environmental catastrophes, social, and economic loss, so it is important to optimize the design and increase the safety of such buildings. These works involve large surfaces that require systematic tests during construction, so it is necessary to have simple field tests, reliable and efficient to identify physical, mechanical and hydraulic properties. The geo-structures generated by local soil compaction have reduced material and transportation costs. Stabilization can be naturally, or with the addition of mineral aggregates as bentonite, lime and cement. These additions improve the hydraulic and mechanical properties of the material. So, special investigations should be conducted with the materials involved. There are many international studies on compacted soils behavior but their results can not be transferred directly due to the particularities of regional soils. For this research silty soils of central Argentina are the main focus. The soils of Córdoba plains are instability, so are classified as collapsible soils. The results obtained in this work may be extended to a large area of the Province of Cordoba and the Pampas region in general, in order to establish design and construction recommendations. The study includes laboratory and field tests. The materials are pure silty soil, and different aggregates such as bentonite, lime and cement. Tests are planned to evaluate the performance. Laboratory includes rigid and flexible wall cells, confined, triaxial and simple compression tests. For field experimental instrumented embankments will be constructed. A numerical hydromechanical model will be developed.

Governance mechanisms in Spanish financial intermediaries

This paper examines the governance of Spanish Banks around two main issues. First, does a poor economic performance activate those governance interventions that favor the removal of executive directors and the merger of non-performing banks? And second, does the relationship between governance intervention and economic performance vary with the ownership form of the bank? Our results show that a bad performance does activate governance mechanisms in banks, although for the case of Savings Banks intervention is confined to a merger or acquisition. Nevertheless, the distinct ownership structure of Savings Banks does not fully protect non-performing banks from disappearing. Product-market competition compensates for those weak internal governance mechanisms that result from an ownership form which gives voice to several stakeholder groups.

Um método de análise de populações vegetais

In a rpevious paper it was shown that the ecolocogical succession phenomenon is correlated with the phylogenetic progression. Also, in "indifferent genera", following well stablished evolutionary trends, it was found that the species of generalized morphology pertain to the pioneer's habitants, while the more differentiated species are confined to more stabilized habitats (DIRECT METHOD). Among the "characteristic genera", it was also found that the monotopics occur with higher relative frequency in the final stages of the succession, while those genera with a dispersion area covering more than one biogeographical realm have a higher relative frequency in the pioneer stages. Taking the monotopic genera, with exepcion of the occasional very rare relics, as modern ones, and the polytopics as the older genera, the above mentioned correlation is again indicated. (INDIRECT METHOD). In the present paper the use of the "indirect method" as applied to plant populations has been demonstrated.

Distribuição da xantina oxidase no fígado e no sôro de rato

The localization of the xanthine oxidase (X.O.) and xanthine dehydrogenase (X.D.) activities in rat liver have been studied using separation of cytoplasmic particles into fractions by differential centrifugation. The results clearly demonstrate that practically all the enzymic activity is present in the supernatant fluid corresponding to the cell sap containing the soluble proteins of the cell. No activity could be detected for the nuclear, mitocondrial and microsomal fractions. The enzymatic activity of the mixture of the four factions was 102 per cent of that of the original homogenate. The distribution of the xanthine dehydrogenase in the protein fractions of the rat serum was accomplished in preliminary experiments by means of 50% ammonium sulphate precipitation and subsequent dialysis against water. All enzymatic activity was confined to the globulin fractions of the serum. Paper electrophoresis was performed and the protein and lipoprotein fractions determined. A method for the localization of the X.D. activity in the protein fractions separated by paper electrophoresis was developed. The results obtained suggest that xanthine dehydrogenase is localized in the globulin fractions possessing mobilities of [alpha 1], [beta] and [gamma] globulins and are probably bound to the lipoproteins.

Perioperative stress in dogs underwent elective surgery: evaluation of the antioxidant activity

Projecte de recerca elaborat a partir d’una estada al Department of Biological Science a la University of Lincoln, a la Gran Bretanya, entre octubre i desembre del 2006. L'objectiu del present assaig va ser desciure les respostes antioxidants d'estrès en gossos sotmesos a cirurgia electiva, en condicions de pràctica clínica normals, durant les fases de preoperatori i postoperatori.Setze gossos van ser sotmesos a orquiectomia o ovariohisterectomia electives, utilitzant un protocol quirúrgic estàndard. Durant les fases preoperatoria i postoperatoria, cada animal va ser confinat a la Unitat de Cures Intensives, temps durant el qual es va estudiar la seva resposta antioxidant. Els valors obtinguts a diferents temps van ser comparats amb el valor basal, que s'havia obtingut del mateix animal estant aquest en el seu ambient habitual. No es van detectar variacions significants causades per l'estrès perioperatori. Els valors màxims es van observar durant la fase preoperatoria, just després que l'animal fós confinat a la Unitat de Cures Intensives, moment en el que l'estrès percebut era degut a les amenaces psicològiques de una àrea restringida i de la manipulació per persones desonegudes. L'abscència de variacions significants podrien ser degudes al sistema i el temps d'emmagatzement de les mostres. En humana s'han descrit les alteracions en l'activitat dels antioxidants sèrics després d'un mes d'emmagatzematent. Per definir l'estabilitat, després de la recollida de mostres, de l'activitat dels antioxidants en sèrum de gos és necessari realitzar més estudis.

Molecular mechanisms for the regulation of skin homeostasis

L'ubiquitination est une modification des protéines conservée, consistant en l'addition de résidus « ubiquitine » et régulant le destin cellulaire des protéines. La protéine « TRAF-interacting protein » TRAIP (ou TRIP) est une ligase E3 qui catalyse l'étape finale de l'ubiquitination. TRAIP est conservé dans l'évolution et est nécessaire au développement des organismes puisque l'ablation de TRAIP conduit à la mort embryonnaire aussi bien de la drosophile que de la souris. De plus, la réduction de l'expression de TRAIP dans des kératinocytes épidermiques humains réprime la prolifération cellulaire et induit un arrêt du cycle cellulaire en phase Gl, soulignant le lien étroit entre TRAIP et la prolifération cellulaire. Comme les mécanismes de régulation de la prolifération jouent un rôle majeur dans l'homéostasie de la peau, il est important de caractériser la fonction de TRAIP dans ces mécanismes. En utilisant des approches in vitro, nous avons déterminé que la protéine TRAIP est instable, modifiée par l'addition d'ubiquitine et ayant une demi-vie d'environ 4 heures. Nos analyses ont également révélé que l'expression de TRAIP est dépendante du cycle cellulaire, atteignant un pic d'expression en phase G2/M et que l'induction de son expression s'effectue principalement au cours de la transition Gl/S. Nous avons identifié le facteur de transcription E2F1 comme en étant le responsable, en régulant directement le promoteur de TRAIP. Aussi, TRAIP endogène ou surexprimée est surtout localisée au niveau du nucléole, une organelle nucléaire qui est désassemblée pendant la division cellulaire. Pour examiner la localisation subcellulaire de TRAIP pendant la mitose, nous avons imagé la protéine TRAIP fusionnée à une protéine fluorescente, à l'intérieur de cellules vivantes nommées HeLa, à l'aide d'un microscope confocal. Dans ces conditions, TRAIP est majoritairement localisée autour des chromosomes en début de mitose, puis est arrangée au niveau de l'ADN chromosomique en fin de mitose. La détection de TRAIP endogène à l'aide d'un anticorps spécifique a confirmé cette localisation. Enfin, l'inactivation de TRAIP dans les cellules HeLa par interférence ARN a inhibé leur capacité à s'arrêter en milieu de mitose. Nos résultats suggèrent que le mécanisme sous-jacent peut être lié au point de contrôle de l'assemblage du fuseau mitotique. - Ubiquitination of proteins is a post-translational modification which decides the cellular fate of the protein. The TRAF-interacting protein (TRAIP, TRIP) functions as an E3 ubiquitin ligase mediating addition of ubiquitin moieties to proteins. TRAIP interacts with the deubiquitinase CYLD, a tumor suppressor whose functional inactivation leads to skin appendage tumors. TRAIP is required for early embryonic development since removal of TRAIP either in Drosophila or mice by mutations or knock¬out is lethal due to aberrant regulation of cell proliferation and apoptosis. Furthermore, shRNA- mediated knock-down of TRAIP in human epidermal keratinocytes (HEK) repressed cell proliferation and induced a Gl/S phase block in the cell cycle. Additionally, TRAIP expression is strongly down- regulated during keratinocyte differentiation supporting the notion of a tight link between TRAIP and cell proliferation. We thus examined the biological functions of TRAIP in epithelial cell proliferation. Using an in vitro approach, we could determine that the TRAIP protein is unstable, modified by addition of ubiquitin moieties after translation and exhibits a half-life of 3.7+/-1-6 hours. Our analysis revealed that the TRAIP expression is modulated in a cell-cycle dependent manner, reaching a maximum expression level in G2/M phases. In addition, the expression of TRAIP was particularly activated during Gl/S phase transition and we could identify the transcription factor E2F1 as an activator of the TRAIP gene promoter. Both endogenous and over-expressed TRAIP mainly localized to the nucleolus, a nuclear organelle which is disassembled during cell division. To examine the subcellular localization of TRAIP during M phase, we performed confocal live-cell imaging of a functional fluorescent protein TRAIP-GFP in HeLa cells. TRAIP was distributed in the cytoplasm and accumulated around mitotic chromosomes in pro- and meta-phasic cells. TRAIP was then confined to chromosomal DNA location in anaphase and later phases of mitosis. Immune-detection of endogenous TRAIP protein confirmed its particular localization in mitosis. Finally, inactivating TRAIP expression in HeLa cells using RNA interference abrogated the cells ability to stop or delay mitosis progression. Our results suggested that TRAIP may involve the spindle assembly checkpoint.

Humoral immunity in brain aging and Alzheimer's disease.

Although the contribution of inflammatory processes in the etiology of late-onset Alzheimer's disease (AD) has been suspected for years, most studies were confined to the analysis of cell-mediated immunological reactions thought to represent an epiphenomenon of AD lesion development. Based on the traditional view of the "immunological privilege" of the brain, which excludes a direct access of human immunoglobulins (Ig) to the central nervous system under normal conditions, little attention has been paid to a possible role of humoral immunity in AD pathogenesis. In the first part of this review, we summarize evidences for a blood-brain barrier (BBB) dysfunction in this disorder and critically comment on earlier observations supporting the presence of anti-brain autoantibodies and immunoglobulins (Ig) in AD brains. Current concepts regarding the Ig turnover in the central nervous system and the mechanisms of glial and neuronal Fc receptors activation are also discussed. In the second part, we present new ex vivo and in vitro data suggesting that human immunoglobulins can interact with tau protein and alter both the dynamics and structural organization of microtubules. Subsequent experiments needed to test this new working hypothesis are addressed at the end of the review.

The locust foraging gene.

Our knowledge of how genes act on the nervous system in response to the environment to generate behavioral plasticity is limited. A number of recent advancements in this area concern food-related behaviors and a specific gene family called foraging (for), which encodes a cGMP-dependent protein kinase (PKG). The desert locust (Schistocerca gregaria) is notorious for its destructive feeding and long-term migratory behavior. Locust phase polyphenism is an extreme example of environmentally induced behavioral plasticity. In response to changes in population density, locusts dramatically alter their behavior, from solitary and relatively sedentary behavior to active aggregation and swarming. Very little is known about the molecular and genetic basis of this striking behavioral phenomenon. Here we initiated studies into the locust for gene by identifying, cloning, and studying expression of the gene in the locust brain. We determined the phylogenetic relationships between the locust PKG and other known PKG proteins in insects. FOR expression was found to be confined to neurons of the anterior midline of the brain, the pars intercerebralis. Our results suggest that differences in PKG enzyme activity are correlated to well-established phase-related behavioral differences. These results lay the groundwork for functional studies of the locust for gene and its possible relations to locust phase polyphenism.

Localized, diffuse, and aggregative-adhering Escherichia coli from infants with acute diarrhea and matched-controls

Of 126 infants under 2 years, enrolled in a study on the etiology of acute diarrhea in Recife, Brazil, we selected 37 from whom no recognized enteropathogens, except classic enteropathogenic Escherichia coli, were identified. For comparison, we also examined 37 matched-control infants without diarrhea seen at the same hospital setting. This paper had the purpose to determine the prevalence of localized, diffuse, and aggregative-adhering E. coli strains in both groups. Three to five fecal E. coli colonies, of each case and control, were tested individually for adherence to HeLa cells by using the one step 3-h incubation assay. Strains of E. coli showing localized adherence were found significantly more often in patients (37.8%) than in controls (13.5%), p < 0.02, and they were pratically confined to EPEC serovars 055:H-, 0111:H2, and 119:H6. In contrast, E. coli isolates exhibiting the diffuse or aggregative patterns of adherence were restricted to non-EPEC serogroups and were more frequently encountred among controls.

Regularity and mass conservation for discrete coagulation-fragmentation equations with diffusion

We present a new a-priori estimate for discrete coagulation fragmentation systems with size-dependent diffusion within a bounded, regular domain confined by homogeneous Neumann boundary conditions. Following from a duality argument, this a-priori estimate provides a global L2 bound on the mass density and was previously used, for instance, in the context of reaction-diffusion equations. In this paper we demonstrate two lines of applications for such an estimate: On the one hand, it enables to simplify parts of the known existence theory and allows to show existence of solutions for generalised models involving collision-induced, quadratic fragmentation terms for which the previous existence theory seems difficult to apply. On the other hand and most prominently, it proves mass conservation (and thus the absence of gelation) for almost all the coagulation coefficients for which mass conservation is known to hold true in the space homogeneous case.

Harmonization of research and control in schistosomiasis

I have been employed by several different organizations during over 30 years working on schistosomiasis, the majority spent in endemic areas of Caribean, South America, Africa and the Western Pacific. Much of the work is best classified as applied research but sometimes it strayed to the extremes of either public health control programmes or pure research. Over this period, there have been several significant research developments that have altered our whole approach to control. Ideally, research and control should complement each other but, in reality, they sometimes have conflicting objectives. Public health workers understandably wish to provide immediate, shot-term protection to the communities in their care, but research workers may, within ethical limits, reasonably want to observe untreated communities for extended periods in order to understand the underluing process of transmission, disease pathogenesis and immunity to help develop more effective control measures. An example of this situation has occured recently in Senegal where water development projects seem to have favoured the introduction and spreed of Schistosoma mansoni in the Senegal River Basin. I have been asked to be the scientific consultant to the newly formed ESPOIR programme, linking European research organizations and the Senegal Ministry of Health, to reconcile the conflictiong aims of public health workers, wishing to use whatever funds can be obtained for an immediate chemotherapy to try to eliminate the focus, at present confined to the vicinity of a relatively small, commercially run sugar irrigation scheme; and research workers who see a rare chance to study the development of immune mechanisms in a adults in a community not previously exposed to the infection. This information could prove invaluable in understanding the development of immunity and the pathogenesis of disease, leading eventually to the development of vaccines to revolutionise the future approach to schistosomiasis...

Diagnostic accuracy of G-CSF, IL-8, and IL-1ra in critically ill children with suspected infection.

OBJECTIVE: To elucidate the diagnostic accuracy of granulocyte colony-stimulating factor (G-CSF), interleukin-8 (IL-8), and interleukin-1 receptor antagonist (IL-1ra) in identifying patients with sepsis among critically ill pediatric patients with suspected infection. DESIGN AND SETTING: Nested case-control study in a multidisciplinary neonatal and pediatric intensive care unit (PICU) PATIENTS: PICU patients during a 12-month period with suspected infection, and plasma available from the time of clinical suspicion (254 episodes, 190 patients). MEASUREMENTS AND RESULTS: Plasma levels of G-CSF, IL-8, and IL-1ra. Episodes classified on the basis of clinical and bacteriological findings into: culture-confirmed sepsis, probable sepsis, localized infection, viral infection, and no infection. Plasma levels were significantly higher in episodes of culture-confirmed sepsis than in episodes with ruled-out infection. The area under the receiver operating characteristic curve was higher for IL-8 and G-CSF than for IL-1ra. Combining IL-8 and G-CSF improved the diagnostic performance, particularly as to the detection of Gram-negative sepsis. Sensitivity was low (<50%) in detecting Staphylococcus epidermidis bacteremia or localized infections. CONCLUSIONS: In this heterogeneous population of critically ill children with suspected infection, a model combining plasma levels of IL-8 and G-CSF identified patients with sepsis. Negative results do not rule out S. epidermidis bacteremia or locally confined infectious processes. The model requires validation in an independent data-set.

Biological control program against simuliids in the State of São Paulo, Brazil

In Brazil, the use of biological vector-control methods has been largely confined to experimental research, with little or no application of such techniques by public institutions responsible for implementing control programs. The notable exceptions have been the black fly control program carried out by the Health Secretariat in the State of São Paulo. Since the 1980s, São Paulo's "Superintendência de Controle de Endemias" has been conducting studies on the viability of using Bacillus thuringiensis (H-14) for simuliid control, and the results have been so encouraging that the agency has now incorporated this method into its Simuliid Control Program.