Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems)
スポンサーリンク
概要
著者
-
Matsuoka Satoshi
Department Of Biochemistry And Molecular Biology Graduate School Of Science And Engineering Saitama
-
Matsuoka Satoshi
Department Of Electrical And Computer Engineering Faculty Of Engineering Nagoya Institute Of Technol
関連論文
- Ionic Mechanisms Underlying the Positive Chronotropy Induced by β1-Adrenergic Stimulation in Guinea Pig Sinoatrial Node Cells : a Simulation Study
- A Simulation Study to Rescue the Na^+/Ca^ Exchanger Knockout Mice
- An In Silico Study of Energy Metabolism in Cardiac Excitation-Contraction Coupling
- Forefront of Na^+/Ca^ Exchanger Studies : Regulation Kinetics of Na^+/Ca^ Exchangers
- FRS-031 Additional Gene Modifiers Reduce Effectiveness of β-blockers in the Long QT Type 1 Syndrome(Arrhythmia-Basic : Molecular and Genetic : Basis (A) : FRS4)(Featured Research Session (English))
- Role of Individual Ionic Current Systems in the SA Node Hypothesized by a Model Study
- Role of Individual Ionic Current Systems in Ventricular Cells Hypothesized by a Model Study
- ECG Findings in Andersen's Syndrome : Action Potential Simulation Study
- Nonuniformity of Sarcomere Shortenings in the Isolated Rat Ventricular Myocyte
- Inhibition of Inward Rectifier K^+ Currents by Angiotensin II in Rat Atrial Myocytes : Lack of Effects in Cells from Spontaneously Hypertensive Rats
- Controlled Release of Matrix Metalloproteinase-1 Plasmid DNA Prevents Left Ventricular Remodeling in Chronic Myocardial Infarction of Rats
- Implementing MPI in a High-Performance, Multithreaded Language MPC++
- 4 Control-release of MMP-1 Plasmid DNA Improved Contractility and Altered Na/Ca Exchange of Cardiomyocytes Isolated from Rat Chronic Myocardial Infarction Heart(The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- PE-577 Reevaluation of β-adrenergic Regulation of Na^+-Ca^ Exchange in Mammalian Ventricular Myocytes(Excitation-contraction coupling/Ion channel-1 (A) PE100,Poster Session (English),The 70th Anniversary Annual Scientific Meeting of the Japanese Circu
- Increased O_2 consumption in excitation-contraction coupling in hypertrophied rat heart slices related to increased Na^+-Ca^ exchange activity
- PJ-179 Regulation of Mitochondria Function during Changing Cardiac Work Intensity in Single Guinea-pig Ventricular Myocytes(Excitation-contraction coupling/Ion channel-2 (A) PJ30,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of
- Identification of the nonA and nonB loci of Bacillus subtilis Marburg permitting the growth of SP10 phage
- Nondeterministic Linear Logic
- Involvement of PlsX and the acyl-phosphate dependent sn-glycerol-3-phosphate acyltransferase PlsY in the initial stage of glycerolipid synthesis in Bacillus subtilis
- Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems)
- Characterization of the Nuclear- and Plastid-Encoded secA-Homologous Genes in the Unicellular Red Alga Cyanidioschyzon merolae
- The Bacillus subtilis essential gene dgkB is dispensable in mutants with defective lipoteichoic acid synthesis
- Abnormal morphology of Bacillus subtilis ugtP mutant cells lacking glucolipids
- Expression and Localization of Two SecA Homologs in the Unicellular Red Alga Cyanidioschyzon merolae
- Self-Assembled Monolayers Directly Attached to Silicon Substrates Formed from 1-Hexadecene by Thermal, Ultraviolet, and Visible Light Activation Methods