Regulation and Function of Versatile Aerobic and Anaerobic Respiratory Metabolism in Pseudomonas aeruginosa

Pseudomonas aeruginosa is a ubiquitously distributed opportunistic pathogen that inhabits soil and water as well as animal-, human-, and plant-host-associated environments. The ubiquity would be attributed to its very versatile energy metabolism. P. aeruginosa has a highly branched respiratory chain terminated by multiple terminal oxidases and denitrification enzymes. Five terminal oxidases for aerobic respiration have been identified in the P. aeruginosa cells. Three of them, the cbb3-1 oxidase, the cbb3-2 oxidase, and the aa3 oxidase, are cytochrome c oxidases and the other two, the bo3 oxidase and the cyanide-insensitive oxidase, are quinol oxidases. Each oxidase has a specific affinity for oxygen, efficiency of energy coupling, and tolerance to various stresses such as cyanide and reactive nitrogen species. These terminal oxidases are used differentially according to the environmental conditions. P. aeruginosa also has a complete set of the denitrification enzymes that reduce nitrate to molecular nitrogen via nitrite, nitric oxide (NO), and nitrous oxide. These nitrogen oxides function as alternative electron acceptors and enable P. aeruginosa to grow under anaerobic conditions. One of the denitrification enzymes, NO reductase, is also expected to function for detoxification of NO produced by the host immune defense system. The control of the expression of these aerobic and anaerobic respiratory enzymes would contribute to the adaptation of P. aeruginosa to a wide range of environmental conditions including in the infected hosts. Characteristics of these respiratory enzymes and the regulatory system that controls the expression of the respiratory genes in the P. aeruginosa cells are overviewed in this article

Reactivity of Blood Samples Spotted onto Filter Papers in the WST-8 Method for Screening of G6PD Deficiency.

Deficiency of glucose-6-phosphate dehydrogenase (G6PD) causes acute hemolytic anemia triggered by oxidative drugs such as primaquine. It is therefore essential in malaria-endemic areas for malaria patients to be confirmed for their G6PD activity before taking primaquine. The WST-8 method, a newly established screening method for G6PD deficiency, has been demonstrated to be suitable for field conditions, particularly for on-site malaria surveys. Here we report a laboratory evaluation by this method of the reactivity of blood-spotted filters. A time-course experiment was conducted to evaluate the reactivity of blood samples spotted onto 4 types of filter paper, Whatman 31ET Chr (ET), 3MM Chr (3MM), P81, and Advantec No. 2 (AD2). The rank of the relative reaction intensity was ET &#62; 3MM = AD2 &#62; P81. Blood-spotted filters stored at 4 degrees centigrade gradually decreased G6PD reactivity with the passage of storage time, whereas those stored at room temperature rapidly reduced their reactivity. Unexpectedly, saponin supplementation reduced the reactivity of blood-spotted filters. In conclusion, 1) ET is the most suitable filter for the WST-8 method ; 2) blood-spotted filters stored in cold condition can be assayed within 14 days, or those stored at room temperature should be tested within 3 days ; and 3) reaction mixtures should not contain saponin.</p

Numerical study on mixing of sprayed liquid in an LNG storage tank

This paper presents a numerical method to simulate the mixing of heavier LNG sprayed on lighter layer. Numerical results for evolutions of flow field and density field are obtained in a rectangular computational domain which includes the vicinity of the liquid surface. At the surface boundary, uniform distributions of the fluid velocity and the density are assumed. Detail structure of flow caused by impingements of liquid drops are neglected. But, to trigger a realistic motion, a series of random numbers is employed. It is used as an initial distribution of the density near the surface. This method successfully gives a realistic simulation of the mixing process. Numerical results for mixing velocity shows good agreement with experimental data

Properties of Primes and Multiplicative Group of a Field

In the [16] has been proven that the multiplicative group Z/pZ* is a cyclic group. Likewise, finite subgroup of the multiplicative group of a field is a cyclic group. However, finite subgroup of the multiplicative group of a field being a cyclic group has not yet been proven. Therefore, it is of importance to prove that finite subgroup of the multiplicative group of a field is a cyclic group. Meanwhile, in cryptographic system like RSA, in which security basis depends upon the difficulty of factorization of given numbers into prime factors, it is important to employ integers that are difficult to be factorized into prime factors. If both p and 2p + 1 are prime numbers, we call p as Sophie Germain prime, and 2p + 1 as safe prime. It is known that the product of two safe primes is a composite number that is difficult for some factoring algorithms to factorize into prime factors. In addition, safe primes are also important in cryptography system because of their use in discrete logarithm based techniques like Diffie-Hellman key exchange. If p is a safe prime, the multiplicative group of numbers modulo p has a subgroup of large prime order. However, no definitions have not been established yet with the safe prime and Sophie Germain prime. So it is important to give definitions of the Sophie Germain prime and safe prime. In this article, we prove finite subgroup of the multiplicative group of a field is a cyclic group, and, further, define the safe prime and Sophie Germain prime, and prove several facts about them. In addition, we define Mersenne number (Mn), and some facts about Mersenne numbers and prime numbers are proven.Arai Kenichi - Shinshu University, Nagano, JapanOkazaki Hiroyuki - Shinshu University, Nagano, JapanBroderick Arneson and Piotr Rudnicki. Primitive roots of unity and cyclotomic polynomials. Formalized Mathematics, 12(1):59-67, 2004.Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485-492, 1996.Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Yoshinori Fujisawa and Yasushi Fuwa. The Euler's function. Formalized Mathematics, 6(4):549-551, 1997.Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887-890, 1990.Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5):829-832, 1990.Michał Muzalewski and Lesław W. Szczerba. Construction of finite sequences over ring and left-, right-, and bi-modules over a ring. Formalized Mathematics, 2(1):97-104, 1991.Hiroyuki Okazaki and Yasunari Shidama. Uniqueness of factoring an integer and multiplicative group R/pZ*. Formalized Mathematics, 16(2):103-107, 2008, doi:10.2478/v10037-008-0015-1.Christoph Schwarzweller. The ring of integers, euclidean rings and modulo integers. Formalized Mathematics, 8(1):29-34, 1999.Dariusz Surowik. Cyclic groups and some of their properties - part I. Formalized Mathematics, 2(5):623-627, 1991.Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.Wojciech A. Trybulec. Subgroup and cosets of subgroups. Formalized Mathematics, 1(5):855-864, 1990.Wojciech A. Trybulec. Lattice of subgroups of a group. Frattini subgroup. Formalized Mathematics, 2(1):41-47, 1991.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990

Formalization of the Advanced Encryption Standard. Part I

In this article, we formalize the Advanced Encryption Standard (AES). AES, which is the most widely used symmetric cryptosystem in the world, is a block cipher that was selected by the National Institute of Standards and Technology (NIST) as an official Federal Information Processing Standard for the United States in 2001 [12]. AES is the successor to DES [13], which was formerly the most widely used symmetric cryptosystem in the world. We formalize the AES algorithm according to [12]. We then verify the correctness of the formalized algorithm that the ciphertext encoded by the AES algorithm can be decoded uniquely by the same key. Please note the following points about this formalization: the AES round process is composed of the SubBytes, ShiftRows, MixColumns, and AddRoundKey transformations (see [12]). In this formalization, the SubBytes and MixColumns transformations are given as permutations, because it is necessary to treat the finite field GF(28) for those transformations. The formalization of AES that considers the finite field GF(28) is formalized by the future article.Arai Kenichi - Tokyo University of Science Chiba, JapanOkazaki Hiroyuki - Shinshu University Nagano, JapanGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Bylinski. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.U.S. Department of Commerce/National Institute of Standards and Technology. FIPS PUB 197, Advanced Encryption Standard (AES). Federal Information Processing Standars Publication, 2001.Hiroyuki Okazaki and Yasunari Shidama. Formalization of the data encryption standard. Formalized Mathematics, 20(2):125-146, 2012. doi:10.2478/v10037-012-0016-y.Andrzej Trybulec. On the decomposition of finite sequences. Formalized Mathematics, 5 (3):317-322, 1996.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3):575-579, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Many argument relations. Formalized Mathematics, 1(4):733-737, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990

Discovery of Multiple High-Velocity Narrow Circumstellar Na I D Lines in Nova V1280 Sco

We discovered multiple high-velocity (ranging from -900 to -650 km/s) and narrow (FWHM = 15 km/s) absorption components corresponding to both the D2 and the D1 lines of Na I on a high dispersion spectrum of V1280 Sco observed on 2009 May 9 (UT), 814 d after the V-band maximum. Subsequent observations carried out on 2009 June and July confirmed at least 11 distinct absorption components in both systems. Some components had deepened during the two months period while their HWHMs and wavelengths remained nearly constant. We suggest these high velocity components originate in cool clumpy gas clouds moving on the line of sight, produced in interactions between pre-existing cool circumstellar gas and high velocity gas ejected in the nova explosion. The optical region spectrum of V1280 Sco in 2009 is dominated by the continuum radiation and exhibits no forbidden line characterizing the nebular phase of typical novae. Permitted Fe II lines show doubly peaked emission profiles and some strong Fe II lines are accompanied by a blue shifted (about -255 km/s) absorption component. However, no high-velocity and narrow components corresponding to those of Na I could be detected in Fe II lines nor in the Balmer lines. The 255 km/s low velocity absorption component is most probably originating in the wind from the nova.Comment: Accepted for PASJ letter, 5 pages, 8 figure

Recent Developments of Systemic Chemotherapy for Gastric Cancer

Gastric cancer (GC) is a molecularly heterogeneous disease. Its molecular background, epidemiology, and standard of care are quite different between Eastern and Western countries. Many efforts have been made in developing more effective surgeries and adjuvant chemotherapies for resectable GC in each region. Recently, an intensive combination of cytotoxic agents has been established as a new standard of adjuvant treatment. Meanwhile, palliative chemotherapy is a uniform standard treatment for unresectable GC worldwide. Recently, one of the most remarkable advances in therapy for unresectable GC has been the approval of immune checkpoint inhibitors (ICIs). The use of ICIs as frontline treatment is currently being investigated. In addition, novel combinations of ICIs and targeted drugs are being evaluated in clinical trials. Despite these advances, the complex biology of GC has resulted in the failure of targeted therapies, with the exceptions of HER2-targeted trastuzumab and VEGFR2-targeted ramucirumab. GC harbors many redundant oncogenic pathways, and small subsets of tumors are driven by different specific pathways. Therefore, a combination strategy simultaneously inhibiting several pathways and/or stricter patient selection for better response to targeted drugs are needed to improve clinical outcomes in this field