• Publications
  • Influence
Generalized quantifier and a bounded arithmetic theory for LOGCFL
  • S. Kuroda
  • Computer Science, Mathematics
  • Arch. Math. Log.
  • 23 March 2007
We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in $${\mathcal{F}_{LOGCFL}}$$ by way of a generalized quantifier that expresses computations of SAC1Expand
  • 3
  • 1
Design, synthesis, and structure-activity relationships of potent GPIIb/IIIa antagonists: discovery of FK419.
The discovery of the non-peptide antiplatelet injectable agent FK419 is reported. Based on the beta-turn structure of RGD peptide sequences in the alpha chain of fibrinogen, which binds theExpand
  • 12
Synthesis and antibacterial activity of novel 4-pyrrolidinylthio carbapenems--I. 2-Alkoxymethyl derivatives.
The synthesis and in vitro antibacterial activity of a novel series of 2-alkoxymethyl-4-pyrrolidinylthio-1 beta-methyl carbapenems are described. As a result of these studies, we discovered thatExpand
  • 8
A formal synthesis of aplysiatoxin: enantioselective synthesis of kishi's aldehyde
Abstract This paper describes the enantioselective synthesis of key fragments (12, 18, 24, and 35) for the synthesis of aplysiatoxin (1a), a potent cancer promoter, and their convergent assembly toExpand
  • 11
Synthesis of aplysiatoxin: stereoselective synthesis of key fragments
Abstract Stereoselective synthesis of key fragments for the synthesis of aplysiatoxin has been achieved. All the stereogenic carbons contained in fragments B≈E were elaborated on the basis of [2,3]Expand
  • 16
A formal total synthesis of aplysiatoxin
Abstract A total synthesis of aplysiatoxin was achieved formally by construction of Kishi's intermediate 13 which carried all the stereochemistry required for the synthesis of aplysiatoxin, from fourExpand
  • 7
Molecular cloning and expression in Escherichia coli of the cDNA coding for rabbit tumor necrosis factor.
cDNA clones containing the entire sequence of the precursor of rabbit tumor necrosis factor (TNF) were identified from a cDNA library prepared using poly(A)+RNA of lipopolysaccharide-induced rabbitExpand
  • 10
Synthesis and antibacterial evaluation of novel 2-[N-Imidoylpyrrolidinyl] carbapenems.
The synthesis, antibacterial activity and DHP-susceptibility of a series of novel carbapenems, directly linked with heterocyclic moiety are described. Especially, the compounds linkedExpand
  • 10
Rational design of inhibitors of the bacterial cell wall synthetic enzyme GlmU using virtual screening and lead-hopping.
An aminoquinazoline series targeting the essential bacterial enzyme GlmU (uridyltransferase) were previously reported (Biochem. J.2012, 446, 405). In this study, we further explored SAR through aExpand
  • 7