Brazilian blood donation eligibility criteria for dermatologic patients

A focused and commented review on the impact of dermatologic diseases and interventions in the solidary act of donating blood is presented to dermatologists to better advise their patients. This is a review of current Brazilian technical regulations on hemotherapeutic procedures as determined by Ministerial Directive #1353/2011 by the Ministry of Health and current internal regulations of the Hemotherapy Center of Ribeirão Preto, a regional reference center in hemotherapeutic procedures. Criteria for permanent inaptitude: autoimmune diseases (>1 organ involved), personal history of cancer other than basal cell carcinoma, severe atopic dermatitis or psoriasis, pemphigus foliaceus, porphyrias, filariasis, leprosy, extra pulmonary tuberculosis or paracoccidioidomycosis, and previous use of etretinate. Drugs that impose temporary ineligibility: other systemic retinoids, systemic corticosteroids, 5-alpha-reductase inhibitors, vaccines, methotrexate, beta-blockers, minoxidil, anti-epileptic, and anti-psychotic drugs. Other conditions that impose temporary ineligibility: occupational accident with biologic material, piercing, tattoo, sexually transmitted diseases, herpes, and bacterial infections, among others. Discussion: Thalidomide is currently missing in the teratogenic drugs list. Although finasteride was previously considered a drug that imposed permanent inaptitude, according to its short halflife current restriction of 1 month is still too long. Dermatologists should be able to advise their patients about proper timing to donate blood, and discuss the impact of drug withdrawal on treatment outcomes and to respect the designated washout periods.

Interferon-gamma and interleukin-10 production by mononuclear cells from patients with advanced head and neck cancer

OBJECTIVE: This study aims to evaluate the production of interferon-gamma and interleukin-10 by stimulated peripheral blood mononuclear cells isolated from patients with supraglottic laryngeal cancer before and after surgical treatment. METHODS: Fourteen patients with advanced supraglottic laryngeal cancer were studied. Cultures of peripheral blood mononuclear cells isolated during the preoperative and late postoperative periods were stimulated with concanavalin A and Bacille Calmette-Guerin, and the supernatant concentrations of interferon-gamma and interleukin-10 were measured. RESULTS: For non-stimulated cultures, the interferon-gamma levels produced by the preoperative period and the late postoperative period cultures were lower than the levels produced by the control group cultures. The interferon-gamma levels after stimulation with concanavalin A were higher in the late postoperative period cultures than in the preoperative evaluation cultures. Stimulation with Bacille Calmette-Guerin led to the production of similar levels of interferon-gamma and interleukin-10 by all cultures; thus, stimulation increased the levels of interferon-gamma produced by both the preoperative and postoperative cultures relative to the levels produced by the corresponding unstimulated cultures. CONCLUSION: Patients with advanced supraglottic laryngeal cancer exhibit an in vitro deficiency in interferongamma secretion by mononuclear cells. Stimulated cells seem to recover this function during the postoperative period.

Mapeamento do índice de vegetação da diferença normalizada em lavoura de algodão

Os dados de sensoriamento remoto em campo podem fornecer informações detalhadas sobre a variabilidade de parâmetros biofísicos ligados à produtividade em grandes áreas e apresentam potencial para o monitoramento destes parâmetros, ao longo de todo o ciclo de desenvolvimento da cultura. Este trabalho objetivou mapear a variabilidade espacial do índice de vegetação da diferença normalizada (NDVI) e seus componentes, em duas lavouras comerciais de algodão (Gossipium hirsutum L.), utilizando sensor óptico ativo, em nível terrestre. Os dados foram coletados utilizando-se sensor instalado em um pulverizador autopropelido agrícola. Um receptor GPS foi acoplado ao sensor, para a obtenção das coordenadas dos pontos de amostragem. As leituras foram realizadas em faixas espaçadas em 21,0 m, aproveitando-se as passadas do veículo no momento da pulverização de agroquímicos, e os dados submetidos à análise estatística clássica e geoestatística. Mapas de distribuição espacial das variáveis foram elaborados pela interpolação por krigagem. Observou-se maior variabilidade espacial do NDVI e da reflectância espectral da vegetação na região do infravermelho próximo (IVP) (880 nm) e do visível (590 nm) na lavoura com maior estresse fisiológico, devido ao ataque do percevejo castanho [Scaptocoris castanea (Hem.: Cydnidae)], em relação à lavoura sadia.

Uma abordagem evolutiva para o problema de custo médio a longo prazo com saltos não-observados

Neste artigo propomos uma adaptação de um algoritmo baseado na evolução biológica para a obtenção do controle ótimo do problema do custo médio a longo prazo para sistemas lineares com saltos markovianos. Não há na literatura um método que forneça, comprovadamente, o controle ótimo do problema, nem estudos comparativos de diferentes métodos. O algoritmo empregado diferencia-se dos algoritmos genéticos básicos por substituir os operadores evolutivos por um sorteio de acordo com uma distribuição probabilística. Comparamos o algoritmo proposto com um método bastante utilizado para esta classe de problema, levando em consideração a relação entre os custos obtidos, o tempo de CPU e a quantidade de problemas em que o critério de parada estabelecido foi atingido.

Ornithodoros guaporensis (Acari, Ixodida: Argasidae), a new tick species from the Guaporé River Basin in the Bolivian Amazon

The soft tick Ornithodoros guaporensis n. sp. (Acari: Ixodida: Argasidae) is described from larvae and adults. Morphological analysis and 16S rDNA sequences are provided. Adults were collected from a rocky fissure inhabited by bats located in the Amazonian forest in north-eastern Bolivia (Beni Department) close to the Guaporé River. Larvae were obtained from eggs laid by females collected in the field, and which were fed on rabbits in the laboratory. Larvae of O. guaporensis are morphologically closely related to Ornithodoros rioplatensis, Ornithodoros puertoricensis and Orni-thodoros talaje. Larvae of O. guaporensis and O. rioplatensis can be separated from O. puertoricensis and O. talaje by the number of pairs of dorsal setae (20 in O. guaporensis and O. rioplatensis, 18 in O. puertoricensis and 17 in O. talaje). Larvae of O. guaporensis and O. rioplatensis can be differentiated by the medial dental formula (2/2 in O. guaporensis and 3/3 in O. rioplatensis) and the apex of the hypostome, which is more pointed in O. rioplatensis than in O. guaporensis. The Principal Component Analysis performed with morphometric characters of larvae showed a clear separation among O. guaporensis, O. rioplatensis, O. puertoricensis and O. talaje. Significant morphological differences among adults of these four species were not found. The analysis of the 16S rDNA sequences allowed for the differentiation between O. guaporensis and the remaining Neotropical species of the family Argasidae.

Overview of the South American Biomass burning analysis (SAMBBA) field experiment.

Biomass burning represents one of the largest sources of particulate matter to the atmosphere, which results in a significant perturbation to the Earth’s radiative balance coupled with serious negative impacts on public health. Globally, biomass burning aerosols are thought to exert a small warming effect of 0.03 Wm-2, however the uncertainty is 4 times greater than the central estimate. On regional scales, the impact is substantially greater, particularly in areas such as the Amazon Basin where large, intense and frequent burning occurs on an annual basis for several months (usually from August-October). Furthermore, a growing number of people live within the Amazon region, which means that they are subject to the deleterious effects on their health from exposure to substantial volumes of polluted air. Initial results from the South American Biomass Burning Analysis (SAMBBA) field experiment, which took place during September and October 2012 over Brazil, are presented here. A suite of instrumentation was flown on-board the UK Facility for Airborne Atmospheric Measurement (FAAM) BAe-146 research aircraft and was supported by ground based measurements, with extensive measurements made in Porto Velho, Rondonia. The aircraft sampled a range of conditions with sampling of fresh biomass burning plumes, regional haze and elevated biomass burning layers within the free troposphere. The physical, chemical and optical properties of the aerosols across the region will be characterized in order to establish the impact of biomass burning on regional air quality, weather and climate.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

A numerical study of temperature effects on hot wire measurements inside turbulent channel flows

A way to investigate turbulence is through experiments where hot wire measurements are performed. Analysis of the in turbulence of a temperature gradient on hot wire measurements is the aim of this thesis work. Actually - to author's knowledge - this investigation is the first attempt to document, understand and ultimately correct the effect of temperature gradients on turbulence statistics. However a numerical approach is used since instantaneous temperature and streamwise velocity fields are required to evaluate this effect. A channel flow simulation at Re_tau = 180 is analyzed to make a first evaluation of the amount of error introduced by temperature gradient inside the domain. Hot wire data field is obtained processing the numerical flow field through the application of a proper version of the King's law, which connect voltage, velocity and temperature. A drift in mean streamwise velocity profile and rms is observed when temperature correction is performed by means of centerline temperature. A correct mean velocity pro�le is achieved correcting temperature through its mean value at each wall normal position, but a not negligible error is still present into rms. The key point to correct properly the sensed velocity from the hot wire is the knowledge of the instantaneous temperature field. For this purpose three correction methods are proposed. At the end a numerical simulation at Re_tau =590 is also evaluated in order to confirm the results discussed earlier.

Klonierung und Charakterisierung der Luziferase und des Luziferin regenerierenden Enzyms aus dem marinen Schwamm Suberites domuncula

Bereits 1971 erkannte Reiswig bei einigen Schwämmen in der Kontraktion des Osculums eine Reaktion auf Licht. Nachfolgend konnte für eine Reihe von Schwämmen die Existenz von Lichtreaktionen beobachtet werden (Wapstra & van Soest, 1987). In dieser Arbeit sollten Gene eines Luziferin/Luziferase Systems im marinen Schwamm Suberites domuncula identifiziert werden, die eine Rolle bei der Bio¬lumineszenz spielen. Mit Hilfe der PCR-Technik konnten die in der cDNA-Bank identifizierten Fragmente einer Luziferase und eines Luziferin regenerierenden Enzyms erfolgreich vervollständigt, kloniert und analysiert werden. Datenbank¬analysen der abgeleiteten Aminosäuresequenzen ergeben sowohl für die Luziferase als auch für das Luziferin regenerierende Enzym Ähnlichkeiten zu den entsprechenden Proteinen aus Leuchtkäfern, wie z. B. Photinus pyralis. Ausgehend von der cDNA wurden zunächst beide Enzyme in E. coli rekombinant exprimiert und affinitätschromatographisch aufgereinigt. Für die Luziferase gelang es, spezifische Antikörper herzustellen, die im Anschluss an den im Western Blot durchgeführten Nachweis eine Identifizierung in histologischen Schwamm¬schnitten ermöglichte. Weitere Analysen konnten für Suberites domuncula sowohl im Schwammgewebe, im Proteinextrakt als auch für das rekombinante Protein die Licht-generierende Fähigkeit nachweisen. Das ermittelte in vitro Biolumineszenz-Emissionsspektrum der rekombinanten Luziferase weist eine Lichtemission im gelb-grünen Bereich des Spektrums mit einem Maximum bei 548 nm und einer Schulter bei 590 nm auf. Ausserdem bestätigte die Funktionanalyse des rekombinanten Enzyms die für Luziferasen bekannte ATP- und Temperatur¬abhängigkeit sowie den stimulierenden Effekt von Coenzym A. Die Existenz einer bioaktiven Luziferase in einem der ältesten, rezent vertretenen Metazoa deutet darauf hin, dass sich die Oxygenasefunktion der Luziferasen bereits früher entwickelte, als bisher von Viviani* vermutet. Die bisherigen Daten über die optischen Eigenschaften der Spiculae liefern gemeinsam mit den Ergebnissen dieser Arbeit – einer Licht-emittierenden Luziferase in S. domuncula – die Voraussetzungen für die mögliche Existenz eines Photorezeptionssystems in Schwämmen.

Testing of subgrid scale (SGS) models for large-eddy simulation (LES) of turbulent channel flow

Sub-grid scale (SGS) models are required in order to model the influence of the unresolved small scales on the resolved scales in large-eddy simulations (LES), the flow at the smallest scales of turbulence. In the following work two SGS models are presented and deeply analyzed in terms of accuracy through several LESs with different spatial resolutions, i.e. grid spacings. The first part of this thesis focuses on the basic theory of turbulence, the governing equations of fluid dynamics and their adaptation to LES. Furthermore, two important SGS models are presented: one is the Dynamic eddy-viscosity model (DEVM), developed by \cite{germano1991dynamic}, while the other is the Explicit Algebraic SGS model (EASSM), by \cite{marstorp2009explicit}. In addition, some details about the implementation of the EASSM in a Pseudo-Spectral Navier-Stokes code \cite{chevalier2007simson} are presented. The performance of the two aforementioned models will be investigated in the following chapters, by means of LES of a channel flow, with friction Reynolds numbers $Re_\tau=590$ up to $Re_\tau=5200$, with relatively coarse resolutions. Data from each simulation will be compared to baseline DNS data. Results have shown that, in contrast to the DEVM, the EASSM has promising potentials for flow predictions at high friction Reynolds numbers: the higher the friction Reynolds number is the better the EASSM will behave and the worse the performances of the DEVM will be. The better performance of the EASSM is contributed to the ability to capture flow anisotropy at the small scales through a correct formulation for the SGS stresses. Moreover, a considerable reduction in the required computational resources can be achieved using the EASSM compared to DEVM. Therefore, the EASSM combines accuracy and computational efficiency, implying that it has a clear potential for industrial CFD usage.