Liquid film drag out in the presence of molecular forces

From a practical as well as a conceptual point of view, one of the most interesting problems of physicochemical hydrodynamics is the drag out of a liquid film by a moving solid out of a pool of liquid. The basic problem, sometimes denoted the Landau-Levich problem [L. Landau and B. Levich, “Dragging of a liquid by amoving plate,” Acta Physicochim. USSR 17, 42–54 (1942)], involves an interesting blend of capillary and viscous forces plus a matching of the static solution for capillary rise with a numerical solution of the film evolution equation, neglecting gravity, on the downstream region of the flow field. The original solution describes experimental data for a wide range of Capillary numbers but fails to match results for large and very small Capillary numbers. Molecular level forces are introduced to create an augmented version of the film evolution equation to show the effect of van derWaals forces at the lower range of Capillary numbers. A closed form solution for static capillary rise, including molecular forces, was matched with a numerical solution of the augmented film evolution equation in the dynamic meniscus region. Molecular forces do not sensibly modify the static capillary rise region, since film thicknesses are larger than the range of influence of van der Waals forces, but are determinant in shaping the downstream dynamic meniscus of the very thin liquid films. As expected, a quantitatively different level of disjoining pressure for different values of molecular constants remains in the very thin liquid film far downstream. Computational results for a wide range of Capillary numbers and Hamaker constants show a clear transition towards a region where the film thickness becomes independent of the coating speed.Fil: Schmidhalter, Ignacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química (i); ArgentinaFil: Cerro, R. L.. University of Alabama in Huntsville; Estados UnidosFil: Giavedoni, Maria Delia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química (i); ArgentinaFil: Saita, Fernando Adolfo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química (i); Argentin

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

Decision Support Methods and Tools

This paper is one of a set of papers, developed simultaneously and presented within a single conference session, that are intended to highlight systems analysis and design capabilities within the Systems Analysis and Concepts Directorate (SACD) of the National Aeronautics and Space Administration (NASA) Langley Research Center (LaRC). This paper focuses on the specific capabilities of uncertainty/risk analysis, quantification, propagation, decomposition, and management, robust/reliability design methods, and extensions of these capabilities into decision analysis methods within SACD. These disciplines are discussed together herein under the name of Decision Support Methods and Tools. Several examples are discussed which highlight the application of these methods within current or recent aerospace research at the NASA LaRC. Where applicable, commercially available, or government developed software tools are also discusse

A study of facilities and fixtures for testing of a high speed civil transport wing component

A study was performed to determine the feasibility of testing a large-scale High Speed Civil Transport wing component in the Structures and Materials Testing Laboratory in Building 1148 at NASA Langley Research Center. The report includes a survey of the electrical and hydraulic resources and identifies the backing structure and floor hard points which would be available for reacting the test loads. The backing structure analysis uses a new finite element model of the floor and backstop support system in the Structures Laboratory. Information on the data acquisition system and the thermal power requirements is also presented. The study identified the hardware that would be required to test a typical component, including the number and arrangement of hydraulic actuators required to simulate expected flight loads. Load introduction and reaction structure concepts were analyzed to investigate the effects of experimentally induced boundary conditions

Molecular Characterization of Growth Hormone-producing Tumors in the GC Rat Model of Acromegaly

D.A.C. was supported by the Nicolás Monardes program of the Andalusian Ministry of Health (C-0015-2014) and by a grant from the Andalusian Ministry of Science and Innovation (CTS-7478). A.S-M and A.L.C were supported by grants from the ISCIII-Subdirección General de Evaluación y Fomento de la Investigación co-funded with Fondos FEDER (PI12/0143 and PI13/02043, respectively) and the Andalusian Regional Government (CTS-444) and a grant from Pfizer Spain. R.L.C. was supported by a grant from Andalusian Ministry of Health (PI0302-2012). R.M.L. was supported by grants from Proyecto de Investigación en Salud (FIS) PI13- 00651 (funded by Instituto de Salud Carlos III), CTS-1406, PI-0639-2012, BIO-0139 (funded by Junta de Andalucía) and by Ayuda Merck Serono 2013. J. P. C. was funded by a grant (BFU2013-43282-R) from Ministerio de Economía y Competitividad. CIBER is an initiative of Instituto de Salud Carlos III, Ministerio de Sanidad, Servicios Sociales e Igualdad, Spain. J.F.M.R. is supported by the “Sara Borrell” program from the Instituto de Salud Carlos III. R.M. Luque and J.P. Castaño have received grants and lecture fees from Ipsen and Novartis. E. Venegas-Moreno and A. Soto-Moreno received grants and lecture fees from Ipsen, Novartis and Pfizer. A. Leal-Cerro received grants from Novartis and Pfizer. David Cano received a grant from Novartis

Patient reported outcomes (PROS) in psoriasis patients

P20 Introduction: Psoriasis is a chronic skin disease with negative physical, mental and social manifestations. Method: We carried out a longitudinal and prospective study under routine clinical practice conditions. The objective of the study was to measure quality of life with the Short Form-36 Survey (SF-36) and correlate the results with clinical variables using the PASI and BSA in a group of 17 patients with moderate to severe psoriasis treated with Ustekinumab. Results: In the baseline evaluation we observed the following results: 35.3% reported physical malfunction, 64.7% debilitating pain, 82.3% poor health in general, 76.4% bad vitality, 88.2% social malfunction, 100% emotional malfunction and 82.3% poor mental health. At week 78 we observed the following results: 41.15% reported very good physical functioning, 76.1% no pain, 58.8% good general health, 58.8% very good vitality, 70%, 5% good social functioning, 70.5% good emotional functioning and 52.9% good mental health. Conclusion: We observed that the perception of patients with moderate-severe psoriasis regarding their health at the beginning of treatment with Ustekinumab was poor and that they experienced a significant improvement throughout the successive weeks of treatment

Growth hormone as concomitant treatment in severe fibromyalgia associated with low IGF-1 serum levels. A pilot study

<p>Abstract</p> <p>Background</p> <p>There is evidence of functional growth hormone (GH) deficiency, expressed by means of low insulin-like growth factor 1 (IGF-1) serum levels, in a subset of fibromyalgia patients. The efficacy of GH versus placebo has been previously suggested in this population. We investigated the efficacy and safety of low dose GH as an adjunct to standard therapy in the treatment of severe, prolonged and well-treated fibromyalgia patients with low IGF-1 levels.</p> <p>Methods</p> <p>Twenty-four patients were enrolled in a randomized, open-label, best available care-controlled study. Patients were randomly assigned to receive either 0.0125 mg/kg/d of GH subcutaneously (titrated depending on IGF-1) added to standard therapy or standard therapy alone during one year. The number of tender points, the Fibromyalgia Impact Questionnaire (FIQ) and the EuroQol 5D (EQ-5D), including a Quality of Life visual analogic scale (EQ-VAS) were assessed at different time-points.</p> <p>Results</p> <p>At the end of the study, the GH group showed a 60% reduction in the mean number of tender points (pairs) compared to the control group (p < 0.05; 3.25 ± 0.8 <it>vs</it>. 8.25 ± 0.9). Similar improvements were observed in FIQ score (p < 0.05) and EQ-VAS scale (p < 0.001). There was a prompt response to GH administration, with most patients showing improvement within the first months in most of the outcomes. The concomitant administration of GH and standard therapy was well tolerated, and no patients discontinued the study due to adverse events.</p> <p>Conclusion</p> <p>The present findings indicate the advantage of adding a daily GH dose to the standard therapy in a subset of severe fibromyalgia patients with low IGF-1 serum levels.</p> <p>Trial Registration</p> <p>NCT00497562 (ClinicalTrials.gov).</p

Responsiveness of genes to manipulation of transcription factors in ES cells is associated with histone modifications and tissue specificity

<p>Abstract</p> <p>Background</p> <p>In addition to determining static states of gene expression (high vs. low), it is important to characterize their dynamic status. For example, genes with H3K27me3 chromatin marks are not only suppressed but also poised for activation. However, the responsiveness of genes to perturbations has never been studied systematically. To distinguish gene responses to specific factors from responsiveness in general, it is necessary to analyze gene expression profiles of cells responding to a large variety of disturbances, and such databases did not exist before.</p> <p>Results</p> <p>We estimated the responsiveness of all genes in mouse ES cells using our recently published database on expression change after controlled induction of 53 transcription factors (TFs) and other genes. Responsive genes (<it>N </it>= 4746), which were readily upregulated or downregulated depending on the kind of perturbation, mostly have regulatory functions and a propensity to become tissue-specific upon differentiation. Tissue-specific expression was evaluated on the basis of published (GNF) and our new data for 15 organs and tissues. Non-responsive genes (<it>N </it>= 9562), which did not change their expression much following any perturbation, were enriched in housekeeping functions. We found that TF-responsiveness in ES cells is the best predictor known for tissue-specificity in gene expression. Among genes with CpG islands, high responsiveness is associated with H3K27me3 chromatin marks, and low responsiveness is associated with H3K36me3 chromatin, stronger tri-methylation of H3K4, binding of E2F1, and GABP binding motifs in promoters.</p> <p>Conclusions</p> <p>We thus propose the responsiveness of expression to perturbations as a new way to define the dynamic status of genes, which brings new insights into mechanisms of regulation of gene expression and tissue specificity.</p

A modal theorem-preserving translation of a class of three-valued logics of incomplete information

International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range of three-valued logics can be translated into KD as a modal formula of depth 1, with modalities in front of literals only, while preserving all tautologies and inference rules of the original three-valued logic. This simple information logic is a two-tiered classical propositional logic with simple semantics in terms of epistemic states understood as subsets of classical interpretations. We study in particular the translations of Kleene, Gödel, ᴌukasiewicz and Nelson logics. We show that Priest’s logic of paradox, closely connected to Kleene’s, can also be translated into our modal setting, simply by exchanging the modalities possible and necessary. Our work enables the precise expressive power of three-valued logics to be laid bare for the purpose of uncertainty management