Dimethyl sulfoxide-respiring bacteria in Suribati Ike, a hypersaline lake, in Antarctica and the marine environment

Dimethyl sulfoxide (DMSO) occurs worldwide, especially in marine environments as well as in lakes and rainwater. DMSO respiration by bacteria is assumed to play an important role in the sulfur cycle in Antarctica and on earth. We first studied whether DMSO-respiring bacteria existed in Antarctica. Eight strains were isolated that grew by DMSO respiration under anaerobic conditions from water of the halocline in a meromictic lake, Suribati Ike, near Syowa Station in Antarctica. All of them were related to known species belonging to the genus Marinobacter based on 16S rRNA gene sequences. Using a clone library analysis of 16S rRNA gene sequences, 38 of total 48 clones from water of the halocline were identified as Marinobacter. Studies on the various anaerobic respiration capabilities by bacteria in the halocline water found only DMSO respiration. Studies on bacteria with anaerobic respiration abilities in seawater from the Pacific Ocean and Seto Inland Sea, showed that either DMSO-respiring or nitrate-respiring bacteria were present and that all of isolates capable of DMSO respiration were closely related to Vibrio species

Introduction of thickened food for patient with dysphagia after surgical treatment for tumor in oral cavity

口腔腫瘍術後患者は,程度に差はあるが,嚥下･摂食障害をきたしやすい｡その経口摂取開始初期の栄養について,患者が満足して,より快適に摂取でき,経口のみで栄養が満たされるような食事を工夫した｡そのためには,食べやすさを増すためにトロメリンでとろみをつけ, また,食べ残しがないように患者の嗜好を取り入れた｡そして,この嗜好を取り入れたとろみ食を, 口腔腫瘍術後患者一例に提供した｡その結果, とろみ食は,食べやすく,全量摂取でき,良好な栄養状態を維持し,口内の移植皮弁へのトラブルもなく有効であるという結果が得られた｡また,患者が意欲や自信を持つという精神面への効果も見られた｡Following an operation to remove a tumor in the oral cavity, a patient with dysphagia who had received IVH and intubation feeding for 21 days, was given food thickened with proceeded starch and dextrin (Tromelin). The patient acceptance was good and he could chew and swallow safely and easily than if given ordinary food. The psychological and emotional effects of such postoperational care are also discussed

The Differentiable Functions from R into Rⁿ

In control engineering, differentiable partial functions from R into Rⁿ play a very important role. In this article, we formalized basic properties of such functions.Narita Keiko - Hirosaki-city, Aomori, JapanKorniłowicz Artur - Institute of Informatics, University of Białystok, Sosnowa 64, 15-887 Białystok, PolandShidama Yasunari - Shinshu University, Nagano, JapanGrzegorz 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 Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.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. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.Noboru Endou and Yasunari Shidama. Completeness of the real Euclidean space. Formalized Mathematics, 13(4):577-580, 2005.Noboru Endou, Yasunari Shidama, and Keiichi Miyajima. Partial differentiation on normed linear spaces Rn. Formalized Mathematics, 15(2):65-72, 2007, doi:10.2478/v10037-007-0008-5.Hiroshi Imura, Morishige Kimura, and Yasunari Shidama. The differentiable functions on normed linear spaces. Formalized Mathematics, 12(3):321-327, 2004.Takao Inoué, Adam Naumowicz, Noboru Endou, and Yasunari Shidama. Partial differentiation of vector-valued functions on n-dimensional real normed linear spaces. Formalized Mathematics, 19(1):1-9, 2011, doi: 10.2478/v10037-011-0001-x.Keiichi Miyajima and Yasunari Shidama. Riemann integral of functions from R into Rn. Formalized Mathematics, 17(2):179-185, 2009, doi: 10.2478/v10037-009-0021-y.Keiko Narita, Artur Kornilowicz, and Yasunari Shidama. More on the continuity of real functions. Formalized Mathematics, 19(4):233-239, 2011, doi: 10.2478/v10037-011-0032-3.Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics, 12(3):269-275, 2004.Hiroyuki Okazaki, Noboru Endou, Keiko Narita, and Yasunari Shidama. Differentiable functions into real normed spaces. Formalized Mathematics, 19(2):69-72, e2011, doi: 10.2478/v10037-011-0012-7.Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. More on continuous functions on normed linear spaces. Formalized Mathematics, 19(1):45-49, 2011, doi: 10.2478/v10037-011-0008-3.Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics, 12(1):39-48, 2004.Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329-334, 1990.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.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Hiroshi Yamazaki and Yasunari Shidama. Algebra of vector functions. Formalized Mathematics, 3(2):171-175, 1992

Differentiable Functions into Real Normed Spaces

In this article, we formalize the differentiability of functions from the set of real numbers into a normed vector space [14].Okazaki Hiroyuki - Shinshu University, Nagano, JapanEndou Noboru - Nagano National College of Technology, Nagano, JapanNarita Keiko - Hirosaki-city, Aomori, JapanShidama Yasunari - Shinshu University, Nagano, JapanGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.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.Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.Hiroshi Imura, Morishige Kimura, and Yasunari Shidama. The differentiable functions on normed linear spaces. Formalized Mathematics, 12(3):321-327, 2004.Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. More on continuous functions on normed linear spaces. Formalized Mathematics, 19(1):45-49, 2011, doi: 10.2478/v10037-011-0008-3.Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.Konrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.Laurent Schwartz. Cours d'analyse, vol. 1. Hermann Paris, 1967. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000271006300001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=b7bc2757938ac7a7a821505f8243d9f3Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.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.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Hiroshi Yamazaki and Yasunari Shidama. Algebra of vector functions. Formalized Mathematics, 3(2):171-175, 1992

Neural Correlates of Face and Object Perception in an Awake Chimpanzee (Pan Troglodytes) Examined by Scalp-Surface Event-Related Potentials

BACKGROUND: The neural system of our closest living relative, the chimpanzee, is a topic of increasing research interest. However, electrophysiological examinations of neural activity during visual processing in awake chimpanzees are currently lacking. METHODOLOGY/PRINCIPAL FINDINGS: In the present report, skin-surface event-related brain potentials (ERPs) were measured while a fully awake chimpanzee observed photographs of faces and objects in two experiments. In Experiment 1, human faces and stimuli composed of scrambled face images were displayed. In Experiment 2, three types of pictures (faces, flowers, and cars) were presented. The waveforms evoked by face stimuli were distinguished from other stimulus types, as reflected by an enhanced early positivity appearing before 200 ms post stimulus, and an enhanced late negativity after 200 ms, around posterior and occipito-temporal sites. Face-sensitive activity was clearly observed in both experiments. However, in contrast to the robustly observed face-evoked N170 component in humans, we found that faces did not elicit a peak in the latency range of 150-200 ms in either experiment. CONCLUSIONS/SIGNIFICANCE: Although this pilot study examined a single subject and requires further examination, the observed scalp voltage patterns suggest that selective processing of faces in the chimpanzee brain can be detected by recording surface ERPs. In addition, this non-invasive method for examining an awake chimpanzee can be used to extend our knowledge of the characteristics of visual cognition in other primate species

Atrasentan and renal events in patients with type 2 diabetes and chronic kidney disease (SONAR): a double-blind, randomised, placebo-controlled trial

Background: Short-term treatment for people with type 2 diabetes using a low dose of the selective endothelin A receptor antagonist atrasentan reduces albuminuria without causing significant sodium retention. We report the long-term effects of treatment with atrasentan on major renal outcomes. Methods: We did this double-blind, randomised, placebo-controlled trial at 689 sites in 41 countries. We enrolled adults aged 18–85 years with type 2 diabetes, estimated glomerular filtration rate (eGFR)25–75 mL/min per 1·73 m 2 of body surface area, and a urine albumin-to-creatinine ratio (UACR)of 300–5000 mg/g who had received maximum labelled or tolerated renin–angiotensin system inhibition for at least 4 weeks. Participants were given atrasentan 0·75 mg orally daily during an enrichment period before random group assignment. Those with a UACR decrease of at least 30% with no substantial fluid retention during the enrichment period (responders)were included in the double-blind treatment period. Responders were randomly assigned to receive either atrasentan 0·75 mg orally daily or placebo. All patients and investigators were masked to treatment assignment. The primary endpoint was a composite of doubling of serum creatinine (sustained for ≥30 days)or end-stage kidney disease (eGFR <15 mL/min per 1·73 m 2 sustained for ≥90 days, chronic dialysis for ≥90 days, kidney transplantation, or death from kidney failure)in the intention-to-treat population of all responders. Safety was assessed in all patients who received at least one dose of their assigned study treatment. The study is registered with ClinicalTrials.gov, number NCT01858532. Findings: Between May 17, 2013, and July 13, 2017, 11 087 patients were screened; 5117 entered the enrichment period, and 4711 completed the enrichment period. Of these, 2648 patients were responders and were randomly assigned to the atrasentan group (n=1325)or placebo group (n=1323). Median follow-up was 2·2 years (IQR 1·4–2·9). 79 (6·0%)of 1325 patients in the atrasentan group and 105 (7·9%)of 1323 in the placebo group had a primary composite renal endpoint event (hazard ratio [HR]0·65 [95% CI 0·49–0·88]; p=0·0047). Fluid retention and anaemia adverse events, which have been previously attributed to endothelin receptor antagonists, were more frequent in the atrasentan group than in the placebo group. Hospital admission for heart failure occurred in 47 (3·5%)of 1325 patients in the atrasentan group and 34 (2·6%)of 1323 patients in the placebo group (HR 1·33 [95% CI 0·85–2·07]; p=0·208). 58 (4·4%)patients in the atrasentan group and 52 (3·9%)in the placebo group died (HR 1·09 [95% CI 0·75–1·59]; p=0·65). Interpretation: Atrasentan reduced the risk of renal events in patients with diabetes and chronic kidney disease who were selected to optimise efficacy and safety. These data support a potential role for selective endothelin receptor antagonists in protecting renal function in patients with type 2 diabetes at high risk of developing end-stage kidney disease. Funding: AbbVie