Recognizing tautology by a deterministic algorithm whose while-loop's execution time is bounded by forcing
スポンサーリンク
概要
著者
-
Suzuki Toshio
Department Of Agronomy Faculty Of Agriculture Tohoku University
-
Suzuki Toshio
Department Of Mathematics And Information Sciences Osaka Prefecture University
関連論文
- Androgen Suppresses Corticotropin-Induced Increase in Plasma Cortisol Level but Enhances The Increase in Plasma Aldosterone Level in Goats(Physiology)
- Numerical Simulation of Peritectic Reaction in Fe-C Alloy Using a Multi-phase-field Model
- Phase-field modeling of rapid solidification in small alloy droplets
- Ostwald Ripening Analysis Using Phase-Field Model
- Numerical Prediction of the Secondary Dendrite Arm Spacing Using a Phase-feild Model
- Phase-field Model for Solidification of Ternary Alloys
- Numerical Simulation of the Critical Velocity for Particle Pushing/Engulfment Transition in Fe-C alloys Using a Phase-field Model
- Numerical Simulation of Interface Shape around an Insoluble Particle for Fe-C Alloys Using a Phase-field Model
- Design, Production, and Characterization of Recombinant Neocarzinostatin Apoprotein in Escherichia coli
- Identification of cell proliferation-associated epitope on CD98 oncoprotein using phage display random peptide library
- Molecular Structural and Functional Characterization of Tumor Suppressive Anti-ErbB-2 Monoclonal Antibody by Phage Display System
- Phage Display Cloning and Characterization of Monoclonal Antibody Genes and Recombinant Fab Fragment against the CD98 Oncoprotein
- 2-Hydroxyphenyl-1, 3-dimethylbenzimidazolines. Formal Two Hydrogen Atom-donors for Photoinduced Electron Transfer Reactions
- Recent Advances in the Phase-field Model for Solidification
- Sarcolemmal ATP-sensitive K^+ channels and cardiovascular function
- Numerical Simulation of Peritectic Reaction Using a Multi-phase-field Model
- Effects of lipo-prostaglandin E_1 on blood flow and oxygen pressure in lumbo-sacral nerve roots
- No Association of the G1287A Polymorphism in the Norepinephrine Transporter Gene and Susceptibility to Major Depressive Disorder in a Japanese Population(Biopharmacy)
- Genetic Polymorphism of C452T (T127I) in Humanγ-Glutamyl Hydrolase in a Japanese Population(Biopharmacy)
- Immunoliposome-Mediated Gene Transfer into Cultured Myotubes
- Examination of Local Anti-inflammatory Activities of New Steroids, Hemisuccinyl Methyl Glycolates
- Application of Sweet Potato Fiber to Skin Wound in Rat
- Chrono and clinical pharmacokinetic study of tacrolimus in continuous intravenous administration
- Effects of a phenolic compound, resveratrol, on the renal function and costimulatory adhesion molecule CD86 expression in rat kidneys with ischemia/reperfusion injury
- Analysis of Pion Photoproduction on Nucleons below 500 MeV
- The Production Asymmetry in γ+n⇾π^-+p Process with Polarized Photons
- Characterization of a Shiga Toxin 1-Neutralizing Recombinant Fab Fragment Isolated by Phage Display System
- Different Binding Property of Verotoxin-1 and Verotoxin-2 Against Their Glycolipid Receptor, Globotriaosylceramide
- A Rapid and Simple Detection of Genetic Defects Responsible for the Phenotypic Polymorphism of Cytochrome P450 2C19
- Recombinant Human Monoclonal Fab Fragments against Rotavirus from Phage Display Combinatorial Libraries
- S-C-7. Clinical and Experimental Studies on Whiplash Injury
- Calculation model of CO_2 emission by using a population balance model
- Sum Rules of the Multiple Giant Resonance States(Nuclear Physics)
- A Sum-Rule Constraint on the Soft Dipole Mode
- Cost-Effective Unbiased Straight-Line Fitting to Multi-Viewpoint Range Data (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
- Spectra of Neutrons Emitted from Excited/Ground States of ^24,25O
- Spectra of Neutrons Emitted from Excited/Ground States of ^O
- Numerical Simulation of Switching Behavior in Cu/Cu_2S Nanometer-Scale Switch
- A Molecular Dynamics Study of the Energy and Structure of the Symmetric Tilt Boundary of Iron
- Magnetic properties of light neutron-rich nuclei(International Workshop on Nuclear Structure-New Pictures in the Extended Isospin Space(NS07)-)
- Dynamical Effects beyond Mean Field in Drip Line Nuclei
- Syntheses of four possible enantioners of 2, 3-desubstituted-γ-butyrolactones from a single progenitor, (R) -2, 3-O-isopropylideneglyceraldehyde
- STUDY ON RE-ESTABLISHMENT OF OVULATION AFTER TERMINATION OF SEX-STEROIDAL TREATMENT : COMPARED WITH RE-APPEARANCE OF OVULATION AFTER ABORTION AND PREMATURE DELIVERY
- Orientation Relationship in Fcc-Bcc Phase Transformation Kinetics of Iron : a Molecular Dynamics Study
- A Molecular Dynamics Study of Thermodynamic and Kinetic Properties of Solid-Liquid Interface for Bcc Iron
- Electromagnetic Energy Shift of Nucleus between Conducting Plates : Nuclear Physics
- Numerical Simulation of Isothermal Dendritic Growth by Phase-field Model
- Comparison of Calculated Values with Measured Values on the Amount of TRU and FP Nuclides Accumulated in Gadolinium Bearing PWR Spent Fuels
- DESIGN AND SYNTHESIS OF COLON-SPECIFIC PRO-ANTEDRUGS, 20-GLUCOPYRANOSYLOXY METHYLPREDNISOLONATES, FOR ORAL TREATMENT OF ULCERATIVE COLITIS AND THEIR METABOLISM
- Simultaneous determination of lansoprazole enantiomers and their metabolites in plasma by liquid chromatography with solid-phase extraction
- IMMUNOHISTOCHEMICAL INVESTIGATION OF AMINOPEPTIDASE
- IMMUNOHISTOCHEMICAL STUDY ON ARGINASE IN THE BOVIEN LIVER
- IMMUNOHISTOCHEMICAL INVESTIGATION ON THE SEROUS GLAND OF CHICK OVIDUCT : I. ON THE LOCALIZATION OF OVALBUMIN
- LOCALIZATION OF DIAMINE OXIDASE AND D-AMINO ACID OXIDASE IN KIDNEY, DEMONSTRATED BY MEANS OF IMMUNOHISTOCHEMICAL METHOD
- Demosntration of Xanthine Oxidase on the Electron Microscopic Level
- Electron Microscopic Histochemistry of Succinate-ferricyanide Reductase in the Dark Cell of the Chick Liver
- Characterization of debonding energy release rate of FRP sheets bonded on mortar and concrete
- LOCALIZATION OF PAROTIN IN BOVINE PAROTID GLAND, DEMONSTRATED BY THE IMMUNOHISTOCHEMICAL METHOD
- Effects of GABAergic Drugs on the Recovery of Reflex Potentials after Spinal Cord Ischemia in Cats
- Pulmonary Shunting during Venovenous Bypass
- Role of the Landau-Migdal Parameters with the Pseudovector and Tensor Couplings in Relativistic Nuclear Models : The Quenching of the Gamow-Teller Strength(Nuclear Physics)
- The Continuity Equation of RPA
- High Efficiency Gas Cherenkov Counter
- Examination on Biological Activities and Fates of New Steroids, Steroid-17-yl Methyl Glycolate Derivatives
- Immunohistochemical Observation of Antigens in Tissues Embedded in GMA-Quetol 523
- STUDIES ON INFECTION AND THE MULTIPLICATION OF PLANT VIRUSES (III) RELATIONSHIP BETWEEN THE CELL NUCLELTS AND CUCUMBER MOSAIC VIRLTS REPLICATION
- Faceted Crystal Growth of Silicon from Undercooled Melt of Si-20mass%Ni Alloy
- Immunohistochemical Study of Aminopeptidase by Mean of Fluorescent Antibody Technique
- Three-dimensional Phase-field Simulation of Free Dendrite Growth of Iron
- Li^6 and Electron Scattering
- Recognizing tautology by a deterministic algorithm whose while-loop's execution time is bounded by forcing
- Accuracy and Computational Efficiency of Phase-field Models
- Free Dendrite Growth of Fe-0.5mass%C Alloy : Three-dimensional Phase-field Simulation and LKT Model
- Phase-Field Simulation of Free Dendrite Growth of Aluminum-4.5mass%Copper Alloy
- Halo Structure of ^Li and Gamow-Teller Transitions to ^Be
- Numerical Simulation of Initial Microstructure Evolution of Fe-C Alloys Using a Phase-field Model
- Inverse Iteration Method with Multiple Cyclotomically Shifted Parameters
- Flavonoids isolated from Allium cepa L. var. agrogatum Don(Natural Medicine Note)
- Immunohistochemical study of chick oviduct
- A Molecular Dynamics Study of Bidirectional Phase Transformation between bcc and fcc Iron
- Estimation of Solid-liquid Interfacial Energy from Gibbs-Thomson Effect : A Molecular Dynamics Study
- Gamow-Teller Strengths in Ni Isotopes and Nuclear Weak Processes(YKIS2011 papers, Frontier Issues in Physics of Exotic Nuclei)
- Role of the Landau-Migdal Parameters with the Pseudovector and Tensor Couplings in Relativistic Nuclear Models : The Quenching of the Gamow-Teller Strength(Nuclear Physics)
- Zeta potentials of metal oxides coated with titanate coupling agents in aqueous solution.
- The Solvent Effect on the Electron-Transfer Reactions of Cobalt(III) Complexes. The Reduction of the cis-Chloro-2-aminoethanolbis(ethylenediamine)cobalt(III) Ion by Iron(II) in Aqueous Solutions of Organic Solvents
- An immunohistochemical study of lysozyme in the human nasal mucosa.
- Effects of Naloxone ad Levallorphan on the Spinal Cord Reflex Potentials under the Spinal Ischemic Condition in Cats.
- Gamow-Teller Strengths in Ni Isotopes and Nuclear Weak Processes