Concurrent Programming in Linear Logic
スポンサーリンク
概要
著者
-
KOBAYASHI Naoki
Department of Physics, Chuo University
-
Shimizu Toshihiro
Department Of Information Science University Of Tokyo
-
Shimizu Toshihiro
Department Of Applied Physics School Of Science And Engineering Waseda University
-
Yonezawa Akinori
Department Of Information Science Tokyo Institute Of Technology
-
Yonezawa Akinori
Department Of Information Science University Of Tokyo
-
Kobayashi Naoki
Department Of Applied Physics And Chemistry The University Of Electro-communications
-
Yonezawa Akinori
Department of Computer Science, The University of Tokyo
関連論文
- A Newly Developed Angiotensin II Type 1 Receptor Antagonist, CS866, Promotes Regression of Cardiac Hypertrophy by Reducing Integrin β_1 Expression
- Angiogenesis Is Altered by Angiotensin Type 1 Receptor Blockade in Cardiomyopathic Hamster Hearts
- Angiotensin II Type 2 Receptor Expression Affects Remodeling after Myocardial Infarction in Mice
- Complete Freund's Adjuvant Can Activate TLR2 and Suppress Cardiac Necrosis in Cardiomyopathic Heart
- Blockade of T-cell costimulatory signals using adenovirus vectors attenuates experimental autoimmune myocarditis through the induction of antigen-specific T-cell anergy
- The Chronic Effect of Amlodipine on Cardiac Remodeling in Cardiomyopathic Hamster Hearts
- Complete Freund's Adjuvant can Suppress Cardiac Remodeling in Cardiomyopathic Heart, and Induce Pulmonary Granulomas
- Development of Atherosclerosis in Osteopontin Transgenic Mice
- Immunosuppressive Therapy in Refractory Heart Failure : Blockade of T Cell Costimulatory Signals
- Role of Microvasculature in Cardiac Remodeling Process
- Reconstruction and Extension of the Family-Vicsek Scaling Hypothesis for Growing Rough Interfaces(General)
- Multi-Affinity for Growing Rough Interfaces of Bacterial Colonies(Oscillation, Chaos and Network Dynamics in Nonlinear Science)
- Extended Dynamic Scaling for Growing Interfaces(General)
- Patterns of Expansion produced by a Structured Cell Population of Serratia marcescens in Response to Different Media
- Modelling and Numerical Analysis of the Colony Formation of Bacteria
- Dream of Sanetomo : His Portrait in the Azuma Kagami and the Legends of Prince Shotoku
- In Vivo Echocardiographic Detection of Cardiovascular Lesions in Apolipoprotein E-Knockout Mice Using a Novel High-Frequency High-Speed Echocardiography Technique
- Allogeneic Bone Marrow Transplantation as a Therapeutic Modality for Hematological Disorders : A Report Based on 39 Cases
- Fractal Structure and Statistics of Computer-simulated and Real Landforms(Cross-disciplinary physics and related areas of science and technology)
- Fabrication of GaN/Alumina/GaN Structure to Reduce Dislocations in GaN
- Association of the Japanese Orthopaedic Association Score With the Oswestry Disability Index, Roland-Morris Disability Questionnaire, and Short-Form 36
- Primitive Analysis of Chaotic Surface Discharge On Porcelain Housing of ZnO Surge Arrester under Pollution
- Novel Degradation of Sugar Skeleton by Diazidation
- Photoacoustic and Photoelectrochemical Characterization of Inverse Opal TiO_2 Sensitized with CdSe Quantum Dots
- Fatigue Crack Initiation and Early Growth Behavior of a Ferritic Stainless Steel in Laboratory Air and in 3%NaCl Aqueous Solution
- Study on Ferroelectric Transistions of Vinylidene Fluoride/Trifluoroethylene Copolymers by Means of ac Calorimetry Technique
- Neural Networks Application to the Fault Location in the Transformer Windings
- Intravenous gamma-globulin therapy improves hypercytokinemia in the acute phase of Kawasaki disease
- Phosphory lated Sites of M_r 25,000 Protein, a Putative Protein Phosphatase 2A Modulator, and Phosphorylation of the Synthetic Peptide Containing These Sites by Protein Kinase C^1
- Modelling and Numerical Analysis of the Colony Formation of Bacteria
- Effect of EOS on Break-Up of Shoemaker-Levy 9 Entering Jovian Atmosphere
- Dynamic Scaling of the Growing Rough Surfaces(General)
- Morphologic Changes in the Cervical Neural Foramen due to Flexion and Extension : In Vivo Imaging Study
- D-galactosamine/Lipopolysaccharide による肝障害モデルで cytochrome c はミトコンドリアから細胞質そして循環血液中へ移行する
- Homogenized In-Plane Elastic-Viscoplastic Behavior of Long Fiber-Reinforced Laminates(Special Issue on strength and Fracture, and Experimental Mechanics)
- Effect of a Platelet-Activating Factor Receptor Antagonist, E5880, on Cerebral Vasospasm after Aneurysmal Subarachnoid Hemorrhage : Open Clinical Trial to Investigate Efficacy and Safety
- 1P096 Long time folding simulations of a three-stranded antiparallel β-sheet peptide and a ββα-folded peptide(3. Protein folding and misfolding (I),Poster Session,Abstract,Meeting Program of EABS & BSJ 2006)
- Electric Characteristics of Li2O-Doped TiO2 Nanocrystalline Film and Its Application to Dye-Sensitized Solar Cells
- Room-Temperature Absorption Edge of InGaN/GaN Quantum Wells Characterized by Photoacoustic Measurement
- Reduction of Acyl Enolates of α-Substituted β-Keto Esters by Bakers' Yeast(Organic Chemistry)
- TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
- A Complete Type Inference System for Subtyped Recursive Types
- Comments on Monitors and Path-Expressions
- Concurrent Programming in Linear Logic
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- PROSTATE-SPECIFIC ANTIGEN IN MASS SCREENING FOR CARCINOMA OF THE PROSTATE
- THE COLONIC NEOBLADDER : A STOMA-FREE BLADDER SUBSTITUTE AFTER RADICAL CYSTECTOMY : PRELIMINARY RESULTS IN SIX PATIENTS
- Surgical Correction for Concave Skeletal Nasal Base
- EFFECT OF KANJI AND KANA READING ON CEREBRAL BLOOD FLOW PATTERNS MEASURED BY PET
- Hydrogen Evolution from p-GaN Cathode in Water under UV Light Irradiation
- On a New Decoupling Scheme for the Retarded Green Function and Its Application to the Heisenberg Ferromagnet
- On the Exact "Markoffian" Master Equation
- Damped Oscillation of the Longitudinal Spin-Spin Relaxation
- Relaxation Time, Asymptotic Value and Invariants of Motion
- Theory of Spin Resonance and Relaxation in an Interacting Spin System
- Theory of Saturational Narrowing
- Influence of Thickeners on the Fragmentation of Fish Meat Sausage by Mastication
- p-GaN Cathode Degradation Correlated with Hydrogen Passivation during Water Photolysis under UV Light
- Fractal Structure of Isothermal Lines and Loops on the Cosmic Microwave Background
- Repeated donor lymphocyte infusions overcome a myeloid sarcoma of the stomach resulting from a relapse of acute myeloid leukemia after allogeneic cell transplantation in long-term survival of more than 10 years
- Comparison of Forward and Reverse Reactions in Hydrogen Generation between GaN, InGaN, Nanocrystalline TiO2 and Pt Electrodes during Water Electrolysis
- Characterization of Conduction Band Offset in Nanocrystalline TiO2/p-InGaN for Application to Water Photolysis Using Visible Light
- An Incremental Variational Principle Minimizing Experimental Measurement Errors and Its Application to an Intelligent Hybrid Experimental-Numerical Method : Case of Nonlinear Elastic-Plastic Deformation Field
- Constants of the Motion in Nondissipative and Dissipative Systems
- Outcome of medium-dose VP-16/CY/TBI superior to CY/TBI as a conditioning regimen for allogeneic stem cell transplantation in adult patients with acute lymphoblastic leukemia
- Design and Implementation of A Highly Modularized Functional language
- Influence of Thickeners on the Fragmentation of Fish Meat Sausage by Mastication
- Fragmentation of a Viscoelastic Food by Human Mastication
- Multi-Affinity for Growing Rough Interfaces of Bacterial Colonies
- Statistical Features of Complex Systems ---Toward Establishing Sociological Physics---
- Crystal Growth of CdSe Quantum Dots Adsorbed on Nanoparticle, Inverse Opal, and Nanotube TiO2 Photoelectrodes Characterized by Photoacoustic Spectroscopy
- Effect of Ligand Carboxylation on Adsorption and Photosensitization in Ru(II)-Complex Dye-Sensitized Nanocrystalline TiO2 Solar Cell
- Simultaneous Monitoring of Hydrogen Generation and Flat-Band Potential by Measuring Bias Dependent Photoluminescence of n-Type GaN/Electrolyte System
- Monophotonic ionization mechanism of N,N,N',N'-tetramethyl-1,6-pyrenediamine in acetonitrile solution.
- Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
- A Comparative Study of Mobilization Efficiency with Three Regimens to Harvest Peripheral Blood Stem Cells(Symposium 1: Stem Cell Harvest)