Search Results - "FUTATSUGI, K"

Small structural changes of the imidazopyridine diacylglycerol acyltransferase 2 (DGAT2) inhibitors produce an improved safety profile by Futatsugi, K, Huard, K, Kung, D W, Pettersen, J C, Flynn, D A, Gosset, J R, Aspnes, G E, Barnes, R J, Cabral, S, Dowling, M S, Fernando, D P, Goosen, T C, Gorczyca, W P, Hepworth, D, Herr, M, Lavergne, S, Li, Q, Niosi, M, Orr, S T M, Pardo, I D, Perez, S M, Purkal, J, Schmahai, T J, Shirai, N, Shoieb, A M, Zhou, J, Goodwin, B

“…Small molecule DGAT2 inhibitors have shown promise for the treatment of metabolic diseases in preclinical models. Herein, we report the first toxicological…”
Get full text

Equational Approach to Formal Analysis of TLS by Ogata, K., Futatsugi, K.

“…TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of…”
Get full text

"Designer Acids": Combined Acid Catalysis for Asymmetric Synthesis by Yamamoto, Hisashi, Futatsugi, Kentaro

“…Lewis and Brønsted acids can be utilized as more‐effective tools for chemical reactions by sophisticated engineering (“designer acids”). The ultimate goal of…”
Get full text

A lightweight integration of theorem proving and model checking for system verification by Kong, W., Ogata, K., Seino, T., Futatsugi, K.

“…Theorem proving and model checking are known as two formal verification techniques that have complementary features. In this paper, we describe a lightweight…”
Get full text

Analysis of the Suzuki-Kasami algorithm with the Maude model checker by Ogata, K., Futatsugi, K.

“…We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to…”
Get full text

An object-oriented modeling method for algebraic specifications in CafeOBJ by Nakajima, Shin, Futatsugi, Kokichi

“…A scenario-based object-oriented modeling method for algebraic specifications is proposed. The method is based on the integration of a new algebraic…”
Get full text

Defining attribute templates for descriptions of distributed services by Tapabut, C., Senivongse, T., Futatsugi, K.

“…Service discovery is one key aspect in the enabling technologies for service-oriented system architecture. Current distributed technologies such as CORBA and…”
Get full text

Association of recombinant soluble IL-6-signal transducer, gp130, with a complex of IL 6 and soluble IL-6 receptor, and establishment of an ELISA for soluble gp130 by Yasukawa, K, Futatsugi, K, Saito, T, Yawata, H, Narazaki, M, Suzuki, H, Taga, T, Kishimoto, T

“…IL-6 mediates its pleiotropic functions through two membrane proteins, a ligand-binding molecule (IL-6 receptor, IL-6R) and a non-ligand-binding signal…”
Get more information

The support tool for highly reliable component-based software development by Matsumoto, M., Futatsugi, K.

“…We discuss a support tool for highly reliable component-based software development. The tool assures the high reliability of the output by verifying refinement…”
Get full text

Oxazaborolidine-Derived Lewis Acid Assisted Lewis Acid as a Moisture-Tolerant Catalyst for Enantioselective Diels-Alder Reactions by Futatsugi, Kentaro, Yamamoto, Hisashi

“…Reactive, selective, and tough, the chiral Lewis acid generated from 1 and SnCl4 catalyzes the enantioselective Diels–Alder reactions of various classes of…”
Get full text

Initial semantics in logics with constructors by G in , D., Futatsugi, K.

“…The constructor-based logics constitute the logical foundation of the so-called OTS/CafeOBJ method, a modelling, specification and verification method of the…”
Get full text

Preparation of soluble murine IL-6 receptor and anti-murine IL-6 receptor antibodies by Saito, T, Yasukawa, K, Suzuki, H, Futatsugi, K, Fukunaga, T, Yokomizo, C, Koishihara, Y, Fukui, H, Ohsugi, Y, Yawata, H

“…Starting with a previously isolated cDNA clone encoding murine IL-6R, a stable transformed Chinese hamster ovary cell line constitutively expressing soluble…”
Get full text

Verifying Specifications with Proof Scores in CafeOBJ by Futatsugi, K.

“…Verifying specifications is still one of the most important undeveloped research topics in software engineering. It is important because quite a few critical…”
Get full text

Fault tree and formal methods in system safety analysis by Xiang, J., Futatsugi, K., He, Y.

“…Fault tree analysis is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional fault trees often…”
Get full text

Logical foundations of CafeOBJ by Diaconescu, Răzvan, Futatsugi, Kokichi

“…This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adds to it…”
Get full text

Equational approach to formal verification of SET by Ogata, K., Futatsugi, K.

“…We have formally verified that a payment protocol, which is an abstract SET payment protocol but retains the essential part of the SET payment protocol, has…”
Get full text

Small structural changes of the imidazopyridine diacylglycerol acyltransferase 2 (DGAT2) inhibitors produce an improved safety profileAll authors were employed by Pfizer Inc. at the moment the experiments were conducted.Electronic supplementary information (ESI) available: Protocols and supporting data for all experiments and compound preparation. See DOI: 10.1039/c6md00564k by Futatsugi, K, Huard, K, Kung, D. W, Pettersen, J. C, Flynn, D. A, Gosset, J. R, Aspnes, G. E, Barnes, R. J, Cabral, S, Dowling, M. S, Fernando, D. P, Goosen, T. C, Gorczyca, W. P, Hepworth, D, Herr, M, Lavergne, S, Li, Q, Niosi, M, Orr, S. T. M, Pardo, I. D, Perez, S. M, Purkal, J, Schmahai, T. J, Shirai, N, Shoieb, A. M, Zhou, J, Goodwin, B

“…Small molecule DGAT2 inhibitors have shown promise for the treatment of metabolic diseases in preclinical models. Herein, we report the first toxicological…”
Get full text

Formal fault tree analysis of state transition systems by Xiang, J., Ogata, K., Futatsugi, K.

“…Fault tree analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does…”
Get full text

Analysis of the Suzuki-Kasami algorithm with SAL model checkers by Ogata, K., Futatsugi, K.

“…We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the…”
Get full text

A comparative study of the effect of granisetron and a combination of granisetron plus steroids on cancer chemotherapy induced emesis by Nukariya, N, Nakarai, I, Kobayashi, H, Koizumi, W, Komatsu, H, Uchiyama, T, Yamaguchi, T, Taira, O, Minato, K, Futatsugi, K

“…Effects of 40 micrograms/kg of granisetron monotherapy (K group) and concurrent therapy with a steroid (KS group) on acute and delayed emesis induced by cancer…”
Get more information